| 書目名稱 | Kurt G?del |
| 副標題 | The Princeton Lectur |
| 編輯 | Maria H?meen-Anttila,Jan von Plato |
| 視頻video | http://file.papertrans.cn/542/541301/541301.mp4 |
| 概述 | Offers indispensable reading for mathematicians and computer scientists.Gives insights into thework that is needed to solve scientific questions.Forms a basis for further investigations into G?del‘s v |
| 叢書名稱 | Sources and Studies in the History of Mathematics and Physical Sciences |
| 圖書封面 |  |
| 描述 | Paris of the year 1900 left two landmarks: the?.Tour Eiffel,.?and David Hilbert‘s celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt G?del, a logical icon of that time, showed Hilbert‘s ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called G?del‘s?.incompleteness theorem.. G?del then went on to attack Hilbert‘s first and second Paris problems, namely Cantor‘s?.continuum problem.?about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert‘s first question could not be answered by any known means, half of the credit of this seeming?.faux pas.?going to G?del. The second is a problem still wide open. G?del worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers.?.This book, G?del‘s lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert‘s second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. I |
| 出版日期 | Book 2021 |
| 關鍵詞 | axiomatic intuitionistic logic; properties of partial recursive functions; Heyting arithmetic; Arbeitsh |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-87296-0 |
| isbn_softcover | 978-3-030-87298-4 |
| isbn_ebook | 978-3-030-87296-0Series ISSN 2196-8810 Series E-ISSN 2196-8829 |
| issn_series | 2196-8810 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 00:18
發(fā)表于 2025-3-21 17:46:34
