Talk:Garden of Eden

Theorem

The last sentence in the section contradicts everything else, unless I'm mistaken: "However, surjective cellular automata do not need to be injective." implies that {surjective} > {injective} (and {injective} is contained by {surjective}), while previously it says stuff like "the class of surjective cellular automata and those which are injective over finite configurations coincide." which implies {surjective} = {injective}, which is further supported by "In other words, a cellular automaton has a Garden of Eden if and only if it has two different finite configurations that evolve into the same configuration in one step." and stuff. Although even if that last statement is right,the theorem still proves that Life has Gardens of Eden, so I'm not really sure whether it is or not. Elithrion 18:35, 14 February 2009 (UTC)