[FOM] Kreisel, Löb, and G2

Panu Raatikainen panu.raatikainen at helsinki.fi
Thu Mar 29 10:29:48 EDT 2012


Apparently the observation that the second incompleteness theorem can  
be easily derived as a consequence of Löb’s theorem is due to Kreisel...

But is there a definite reference ?


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/



More information about the FOM mailing list