Brains: Wolfram Offers Prize for Proof of Universality of (2,3) Turing Machine

Brains

On Philosophy of Mind and Related Matters

Wolfram Offers Prize for Proof of Universality of (2,3) Turing Machine

Price announcement. Some comments on it. (Courtesy of Zvi Biener.)

Posted by gualtiero piccinini at 5/16/2007 10:16 AM

Display comments as (Linear | Threaded)

5/16/2007 11:57 AM Aizawa wrote:
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?
Reply to this
1. 5/17/2007 5:32 AM gualtiero wrote:
  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.
  Reply to this
10/24/2007 12:23 PM marcin miłkowski wrote:
I like the typo in the post. In this case, Wolfram paid a nice price to get more publicity
Reply to this