Abstract

1. Godel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Godel is one of the most extensive in the two volumes of Godel's collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, constructivity, set theory, the philosophy of mathematics, and post- Kantian philosophy, and contains Godel's thoughts on many topics that are not expressed elsewhere. In addition, it testifies to their life-long warm personal relationship. I have given a detailed synopsis of the Bernays Godel correspondence, with explanatory background, in my introductory note to it in Vol. IV of Godel's Collected Works, pp. 41-

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.