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
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
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
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
I like the typo in the post. In this case, Wolfram paid a nice price to get more publicity
Reply to this