[FOM] Smallest universal machine

Martin Davis martin at eipye.com
Fri Oct 26 11:50:21 EDT 2007

Vaughan Pratt wrote:
 >Assuming it is indeed a universal machine, which I take it the committee
 >is confident of, Alex Smith certainly deserves the credit for completing
 >the argument, which of itself would appear to have been a tour de force.

As far as I know, no member of the committee has passed on the 
validity of this 40 page proof. The determination that Smith's proof 
is correct seems to have been made entirely by the Wolfram 
organization. My understanding is that the I/O involves complex encodings.


                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)

More information about the FOM mailing list