[FOM] Smallest universal machine

[Martin Davis]

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


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