[FOM] inconsistency of P

[Panu Raatikainen]

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)



Best

Panu




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

E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/