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 announcement.  Some 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
    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
    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.



      
    Copyright . http://PHILOSOPHYOFBRAINS.COM. All rights reserved.