11–16 of 16 posts
Where's the paper? And most importantly, how the hell did he go about proving that? Published proofs are often so opaque, but I always wonder what the mental thought process was to get to the proof. What were you tinkering with, what were the failures, etc
Where's the paper? And most importantly, how the hell did he go about proving that? Published proofs are often so opaque, but I always wonder what the mental thought process was to get to the proof. What were you tinkering with, what were the failures, etc
Here's the paper: http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf
I am not familiar with Wolfram's style, but there seemed to be an unsatisfying lack of Alex Smith, but lots of Me, NKS, and PCE, in that post. The headline deserves note because the proof is by a 20-yo but the post doesn't do him justice. Interesting nevertheless and I hope to get to read more news about the author.
1) Wolfram is a genius: the next Newton.
2) Buy Mathematica.
I am not familiar with Wolfram's style, but there seemed to be an unsatisfying lack of Alex Smith, but lots of Me, NKS, and PCE, in that post. The headline deserves note because the proof is by a 20-yo but the post doesn't do him justice. Interesting nevertheless and I hope to get to read more news about the author.
There are always two underlying themes in all Wolfram's writings: 1) Wolfram is a genius: the next Newton. 2) Buy Mathematica.
Apparently someone working at Wolfram labs discovered a one dimensional, universal Turing equivalent cellular automata, announced it, and then tried to publish it under his own name. Wolfram apparently sued to keep him from ever speaking of the proof, but the court documents _included_ speaking to Wolfram about it.
So for about a year (or more?), there was a universal Turing machine, but no proof.
I guess this is a different machine, but it still seems really sketchy.