[FOM] Kreisel, Löb, and G2

[John Kadvany]

In George Boolos, The Unprovability of Consistency (p.11), Boolos cites p.155
of Kreisel's 'Mathematical Logic', published in T. L. Saaty, ed. Lectures on
Modern Mathematics vol. III (1965) as the source for this direction of the
equivalence. For the converse (i.e. Second Incompleteness implies Lob's
Theorem) Boolos cites a conversation with Kripke, who Boolos says was 'perhaps
the first' to make the observation.

Best, JK 

-----Original Message-----
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of Panu
Raatikainen
Sent: Thursday, March 29, 2012 7:30 AM
To: fom at cs.nyu.edu
Subject: [FOM] Kreisel, Löb, and G2

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/

_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom