LEADER 01579cmm a2200229 a 4500

001 368313

003 DE-He213

005 20220506214943.0

006 m d

007 cr nn 008maaau

008 221113s2022 sz s 0 eng d

020 $a9783030971342$q(electronic bk.)

020 $a9783030971335$q(paper)

041 0 $aeng

082 04$a510.1

090 $aEB/510.1///UE060238

100 1 $aVon Plato, Jan.$3667840

245 10$aChapters from Godel's unfinished book on foundational research in mathematics$h[electronic resource] /$cby Jan von Plato.

260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2022.

300 $aix, 214 p. :$bill., digital ;$c24 cm.

490 1 $aVienna Circle Institute library ;$vv. 6

520 $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.

600 10$aGodel, Kurt.$3667841

650 0$aMathematics$xPhilosophy.$3143476

650 14$aPhilosophy of Mathematics.$3420023

650 24$aMathematical Logic and Foundations.$3404933

650 24$aHistory of Philosophy.$3405920

650 24$aIntellectual History.$3662913

710 2 $aSpringerLink (Online service)$3374217

773 0 $tSpringer Nature eBook

830 0$aVienna Circle Institute library ;$vv. 6.$3667842

856 40$uhttps://erm.library.ntpu.edu.tw/login?url=https://doi.org/10.1007/978-3-030-97134-2$z線上閱讀(Springer)

網路資源：

• 線上閱讀(Springer)