Wolfram Offers Prize for Proof of Universality of (2,3) Turing Machine Gualtiero Piccinini May 16, 2007 UncategorizedPrice announcement. Some comments on it. (Courtesy of Zvi Biener.)Share this:Click to email this to a friend (Opens in new window)Click to print (Opens in new window)Click to share on Facebook (Opens in new window)Click to share on Twitter (Opens in new window)Click to share on Reddit (Opens in new window)RelatedPrevious PostPhilosophy Carnival #47Next PostRescuing Philosophy Dissertations 3 Comments Aizawa May 16, 2007 at 5:57 pm 13 years ago Just to rib Big G a little on a paper of his I just commented on, the Wolfram folks appear to say that a universal TM “emulates” any Turing machine, where Big G says that a universal TM “executes” any TM. Is that one vote for Aizawa’s skepticism? gualtiero May 17, 2007 at 11:32 am 13 years ago FWIW, I wouldn’t say that a universal TM executes another TM. I would say that a universal TM executes a program that encodes another TM. I would also say that, in virtue of executing such a program, the universal TM emulates (or simulates) the other TM. marcin miłkowski October 24, 2007 at 6:23 pm 12 years ago I like the typo in the post. In this case, Wolfram paid a nice price to get more publicity 😉Comments are closed.