[FOM] The Derivability Conditions

Peter Smith ps218 at cam.ac.uk
Mon Oct 1 02:41:29 EDT 2012

A very close variant of Richard Heck's argument is spelt out a trifle more 
laboriously on p. 225 of my *Introduction to Gödel's Theorem* (before I 
turn to Löb's Theorem six pages later). I can't recall, though, where I 
first picked it up from or when.

Dr Peter Smith, University of Cambridge

More information about the FOM mailing list