[FOM] Kreisel, Löb, and G2

John Kadvany jkadvany at sbcglobal.net
Sun Apr 1 11:41:20 EDT 2012

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



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

E-mail: panu.raatikainen at helsinki.fi


FOM mailing list
FOM at cs.nyu.edu

More information about the FOM mailing list