LEADER 03758nam  22006255  450 
001 9910568292603321
005 20230810174808.0
010   $a9783030971342$b(electronic bk.)
010   $z9783030971335
024 7 $a10.1007/978-3-030-97134-2
035   $a(MiAaPQ)EBC6977396
035   $a(Au-PeEL)EBL6977396
035   $a(CKB)22046310900041
035   $a(DE-He213)978-3-030-97134-2
035   $a(EXLCZ)9922046310900041
100   $a20220506d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aChapters from Gödel?s Unfinished Book on Foundational Research in Mathematics /$fby Jan von Plato
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (221 pages)
225 1 $aVienna Circle Institute Library ;$v6
311 08$aPrint version: von Plato, Jan Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics Cham : Springer International Publishing AG,c2022 9783030971335 
320   $aIncludes bibliographical references and index.
327   $aPreface -- 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.
330   $aThis 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.
410  0$aVienna Circle Institute Library ;$v6
606   $aMathematics$xPhilosophy
606   $aMathematical logic
606   $aPhilosophy$xHistory
606   $aIntellectual life$xHistory
606   $aPhilosophy of Mathematics
606   $aMathematical Logic and Foundations
606   $aHistory of Philosophy
606   $aIntellectual History
615  0$aMathematics$xPhilosophy.
615  0$aMathematical logic.
615  0$aPhilosophy$xHistory.
615  0$aIntellectual life$xHistory.
615 14$aPhilosophy of Mathematics.
615 24$aMathematical Logic and Foundations.
615 24$aHistory of Philosophy.
615 24$aIntellectual History.
676   $a193
700   $aVon Plato$b Jan$0766770
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910568292603321
996   $aChapters from Gödel's Unfinished Book on Foundational Research in Mathematics$92849891
997   $aUNINA