03758nam 22006255 450 991056829260332120230810174808.09783030971342(electronic bk.)978303097133510.1007/978-3-030-97134-2(MiAaPQ)EBC6977396(Au-PeEL)EBL6977396(CKB)22046310900041(DE-He213)978-3-030-97134-2(EXLCZ)992204631090004120220506d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierChapters from Gödel’s Unfinished Book on Foundational Research in Mathematics /by Jan von Plato1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (221 pages)Vienna Circle Institute Library ;6Print version: von Plato, Jan Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics Cham : Springer International Publishing AG,c2022 9783030971335 Includes bibliographical references and index.Preface -- Dedication -- Part I: Gödel’s “Own Book on Foundations” -- Chapter 1. A Gödel puzzle -- Chapter 2. The Ergebnisse book project -- Chapter 3. Gödel’s reading of the logical literature -- Chapter 4. Gödel’s manuscript for the Ergebnisse book series -- Part II: Own Book (Foundations) -- Chapter 5. Introduction -- Chapter 6. Logicism -- Chapter 7. Antinomies -- Chapter 8. Clear version, from the beginning to the antinomies -- Chapter 9. The epistemological standpoint of the logicists -- Chapter 10. Logical calculus -- Chapter 11. Metamathematics -- Chapter 12. General metamathematics (Princeton) -- Part III: Gödel’s Reading Notes -- Chapter 13. Editorial remarks -- Chapter 14. The untitled notebook -- Chapter 15. The Altes Excerptenheft -- References -- Index.This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Gödel's understanding of the situation of foundational research in mathematics after his great discovery, the incompleteness theorem of 1931. It is also a source for his views on his logical predecessors, from Leibniz, Frege, and Russell to his own times. Gödel's "own book on foundations," as he called it, is essential reading for logicians and philosophers interested in foundations. Furthermore, it opens a new chapter to the life and achievement of one of the icons of 20th century science and philosophy.Vienna Circle Institute Library ;6MathematicsPhilosophyMathematical logicPhilosophyHistoryIntellectual lifeHistoryPhilosophy of MathematicsMathematical Logic and FoundationsHistory of PhilosophyIntellectual HistoryMathematicsPhilosophy.Mathematical logic.PhilosophyHistory.Intellectual lifeHistory.Philosophy of Mathematics.Mathematical Logic and Foundations.History of Philosophy.Intellectual History.193Von Plato Jan766770MiAaPQMiAaPQMiAaPQ9910568292603321Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics2849891UNINA