[FOM] inconsistency of P
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)
Ph.D., University Lecturer
Docent in 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