Timeline for Wolfram's 2-state 3-symbol Turing machine
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 27, 2010 at 0:00 | comment | added | Kaveh | See Alexander Smith's posts on the FOM. I think he himself agreed at some point that his proof has a problem, don't remember if it was corrected. As far as I remember, no one said that she/he agrees with Wolfram, though I might be wrong. I consider it as a kind of consensus. (IMHO as a non-expert, the question is not completely well defined, and even if it was, it is not as important as it seems.) | |
| Jul 26, 2010 at 21:10 | comment | added | k2forever | I've looked through that, but I still can't quite figure out what the (non-Wolfram) consensus is. As Junkie says, it seems it boils down who accepts what definition. | |
| Jul 26, 2010 at 13:04 | history | answered | Kaveh | CC BY-SA 2.5 |