Timeline for Undecidability in Conway's Game of Life
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 9, 2010 at 17:02 | comment | added | Timothy Chow | One link is here dx.doi.org/10.1145/800290.811303 but you need a subscription to get the full text. How complete is this proof? My impression is that fully fleshed-out proofs of the universality of Life didn't appear until much more recently than 1974. | |
| Nov 9, 2010 at 0:28 | comment | added | Alex B. | Unfortunately, I don't have it in electronic form, so maybe you can post the link here if your hunt is successful. | |
| Nov 9, 2010 at 0:21 | comment | added | sleepless in beantown | +1 for knowing the original reference! I remember reading about the Turing completeness of Life, but could not recall or find a link for where it was originally stated and/or proven . Thanks, Alex. Now, off to the hunt for a link to an online version of these proceedings from the caveman-ARPAnet days of computer science... Let me know if you know where to find it. It probably exists on cellulose somewhere. | |
| Nov 9, 2010 at 0:05 | history | answered | Alex B. | CC BY-SA 2.5 |