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.)Related PostsShareTweetShareRedditMorePrevious PostPhilosophy Carnival #47Next PostRescuing Philosophy Dissertations 3 Comments Aizawa May 16, 2007 at 5:57 pm 14 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?Loading... gualtiero May 17, 2007 at 11:32 am 14 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.Loading... marcin miłkowski October 24, 2007 at 6:23 pm 14 years ago I like the typo in the post. In this case, Wolfram paid a nice price to get more publicity 😉Loading...Comments are closed.