Brains


A dialogue on Philosophy of Mind and Related Matters

Brains is a forum for discussing the philosophy of: mind, neuroscience, psychology, and cognitive science.  If you work in these areas and would like to become a contributor, please contact the administrator.

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

Print the article

This entry was posted on 5/16/2007 10:16 AM and is filed under Computation and Logic.

Price announcementSome comments on it.  (Courtesy of Zvi Biener.)

 

What did you think of this article?




Trackbacks
Trackback specific URL for this entry
  • No trackbacks exist for this entry.
Comments

    • 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
    Leave a comment

    Submitted comments will be subject to moderation before being displayed.

     Enter the above security code (required)

     Name

     Email (will not be published)

     Website

    Your comment is 0 characters limited to 3000 characters.