Talk:Garden of Eden

From LifeWiki
Jump to navigation Jump to search

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)

The important distinction is between simply injective and injective over finite patterns. The theorem says that injective over finite patterns iff surjective. Thus, surjective implies injective over finite patterns, but not injective overall (that is, there may be two *infinite* patterns that are mapped to by the same infinite pattern). This could perhaps be made more clear in the article. Anyway, yes, the "picture" is {surjective} = {injective over finite patterns} > {injective}. Nathaniel 19:07, 14 February 2009 (UTC)
Ah, thanks. I guess I overlooked that distinction. Elithrion 20:42, 14 February 2009 (UTC)

I managed to find a paper documenting the Garden of Eden theorem: [[1]]. (Mutually erasable is equivalent to being finitely non-injective.) Now that I understand the situation better, I'll try to detail a proof that finitely non-injective implies non-surjective, due to a proof in Conway's Winning Ways. FractalFusion 08:23, 25 March 2009 (UTC)

Records

What do you think about insertion of following-like table? --Mtve (talk) 10:20, 7 April 2016 (UTC)

(The table has been moved to main page)--Mtve (talk) 07:26, 23 April 2016 (UTC)

Hello, Mtve. I would just insert it into the article without attempting to discuss it. From my experience, nobody bothers to discuss anything anymore on this wiki. Posting it on talk pages only increases the chance that the information will never make it to the main page.

I would avoid using things like "C2dia" and "D4" as symmetries, because those labels might be ambiguous. FractalFusion (talk) 18:22, 8 April 2016 (UTC)

Thanks for the feedback, FractalFusion! I'm going to improve links and references and then move it to the main page as you've suggested. Meanwhile, Steven Eker has made another breakthru! --Mtve (talk) 16:31, 10 April 2016 (UTC)
Well, FractalFusion, I personally don't think you give good advice to Mtve, especially having in mind your recent careless renaming of Triple pseudo still life and Quad pseudo still life without discussion. Mtve, your table is great, but if you could provide references, it would be perfect. Codeholic (talk) 06:32, 20 April 2016 (UTC)
Thanks! Links added. Please help with wording to start the paragraph about records, I really can not write anything readable. Mtve (talk) 18:38, 20 April 2016 (UTC)

Wikipedia

Would link to the Wikipedia [[2]] be appropriate here?

It discusses more then only Game of Life, but has some interesting topics covered, also in Talk page --Mtve (talk) 16:16, 12 July 2016 (UTC)

I'd say having that link would be great. Apple Bottom (talk) 18:17, 12 July 2016 (UTC)

Merging all GoE examples into this article?

User:AwesoMan3000 has proposed on every GoE page that "pretty much none of these are extremely notable on their own, and would probably be better off merged into the main article". The broken templates with multiple parameters and the long red links are quite annoying, but it's not polite to solve the problem immediately by removing them as well.

Compared with the case of pure glider generator, a completely obsolete subject, Gardens of Eden are still partly of modern interest and it is encouraged to discover record-breaking GoEs. Yet both are lack of applications to some degree, and there isn't much to write about for each individual example other than the discovery information.

What do you think? GUYTU6J (talk) 10:28, 21 July 2020 (UTC)

Looking at the issue again, I suppose a new design of the table that could possibly replace the individual articles... (EDIT: moved to the main page)

Any suggestions? GUYTU6J (talk) 09:12, 7 December 2020 (UTC)

Added a line to the table above. Achim's page has been updated and therefore some references are missing, but I can't get access to Wayback Machine currently. GUYTU6J (talk) 16:11, 24 December 2020 (UTC)
What references do you need access to, exactly? Ian07 (talk) 16:19, 24 December 2020 (UTC)
Ooops, after checking the refs I didn't found any actually missing ones so never mind. Now I've completed constructing the table and thus the remaining job is to move it to the article and redirect the individual pages there. GUYTU6J (talk) 15:25, 26 December 2020 (UTC)