[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