[FOM] inconsistency of P

Panu Raatikainen panu.raatikainen at helsinki.fi
Mon Oct 3 01:48:53 EDT 2011

Lainaus "Edward Nelson" <nelson at math.princeton.edu>:

> The outline was only a plan for future work, and Tao and Tausk pointed out an
> error in that plan. Cheers, Ed

I find myself in a puzzling situation.

Nelson himself thinks that Tao and Tausk have refuted his proof.

I am not totally convinced, however, that Tao and Tausk have found the  
true flaw, as so many things that they claim about Chaitin's theorem  
sesem to me plainly false.

(Not that I feel I've understood correctly all the further steps of  
the attempted proof)



Panu Raatikainen

Ph.D., University Lecturer
Docent in Theoretical Philosophy

Theoretical Philosophy
Department of Philosophy, History, Culture and Art Studies
P.O. Box 24  (Unioninkatu 38 A)
FIN-00014 University of Helsinki

E-mail: panu.raatikainen at helsinki.fi


More information about the FOM mailing list