| 書目名稱 | Portrait of Young G?del |
| 副標(biāo)題 | Education, First Ste |
| 編輯 | Jan von Plato |
| 視頻video | http://file.papertrans.cn/752/751762/751762.mp4 |
| 概述 | Deals with G?del‘s development from‘high school to his studies with Carnap in Vienna.Based upon primary sources from the archives at the Institute for Advanced Study in Princeton.Covers G?del‘s disser |
| 叢書名稱 | Vienna Circle Institute Library |
| 圖書封面 |  |
| 描述 | In the summer of 1928, Kurt G?del (1906–1978) embarked on his?logical journey that would bring him world fame in a mere three?years. By early 1929, he had solved an outstanding problem in logic,?namely the question of the completeness of the axioms and rules?of quantificational logic. He then went on to extend the result to?the axiom system of arithmetic but found, instead of completeness,?his famous incompleteness theorem that got published in 1931. It belongs?to the most iconic achievements of 20th century science and?has been instrumental in the development of theories of formal languages?and algorithmic computability – two essential components?in the birth of the information society..This book explores G?del’s way from an exceptional high-school?student to a firmly established young logician. Essays in G?del’s?hand from the high school show that his central philosophical and?scientific convictions were formed early on, before his university?studies. Particular emphasis is laid on the course that made G?del?one of the foremost logicians of all times. The scientific biography of?young G?del is followed by English translations from G?del’s German?Gabelsberger shorthand of all his |
| 出版日期 | Book 2024 |
| 關(guān)鍵詞 | G?del and philosophy; Completeness theorem; Vienna Circle and G?del; G?del and Carnap; G?del early years |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-51971-0 |
| isbn_softcover | 978-3-031-51973-4 |
| isbn_ebook | 978-3-031-51971-0Series ISSN 1571-3083 |
| issn_series | 1571-3083 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-30 18:58
發(fā)表于 2025-3-21 17:37:33
