Kurt Gödel (eBook, PDF)

The Princeton Lectures on Intuitionism

• Format: PDF

Produktbeschreibung

Produktdetails

• Verlag: European Research Council / Springer International Publishing
• Erscheinungstermin: 15. Dezember 2021
• Englisch
• ISBN-13: 9783030872960
• Artikelnr.: 63147741

Inhaltsangabe

---

Gödel's Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The Functional Interpretation.- References.- Name Index.

Rezensionen

"This book covers the lectures that Kurt Gödel gave in the spring of 1941 at the Institute

for Advanced Study in Princeton. ... The importance of the book: it is an essential addition to Gödel studies, extending the original audience of three to all interested researchers." (Jean Paul Van Bendegem, Mathematical Reviews, November, 2023)
"This careful edition of Gödel's notes for his 1941 Princeton lectures is a highly relevant publication which should be consulted by anybody who wants to learn about Gödel's thoughts on intuitionsm at this time or is interested in functional interpretations." (Ulrich Kohlenbach, Philosophia Mathematica, July 9, 2022)