[FOM] Smallest universal machine

Arnon Avron aa at tau.ac.il
Fri Oct 26 12:46:11 EDT 2007

On Fri, Oct 26, 2007 at 08:50:21AM -0700, Martin Davis wrote:

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

Once mathematical proofs really become a sociological 
matter, and their essential property of being open to
the individual verification of each mathematician is
abandoned, it would not take long before money and strength 
of organizations will be a major factor in "acceptance" 
of mathematical "proofs".
(of course, I don't mean by this that the suggested proof
of Smith to what he has proved is necessarily incorrect).

Arnon Avron

More information about the FOM mailing list