| 書目名稱 | The Theory of G?del |
| 編輯 | Carlo Cellucci |
| 視頻video | http://file.papertrans.cn/922/921129/921129.mp4 |
| 概述 | Presents G?del‘s incompleteness theorems in a form most relevant to the philosophy of mathematics.Entirely self-contained.Discusses implications for Hilbert’s Program |
| 叢書名稱 | Synthese Library |
| 圖書封面 |  |
| 描述 | .This book presents G?del’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help..?. |
| 出版日期 | Textbook 2022 |
| 關鍵詞 | Limitative results; Philosophy of Mathematics; Incompleteness Theorems; Hilbert‘s Programs; Foundations |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-13417-3 |
| isbn_softcover | 978-3-031-13419-7 |
| isbn_ebook | 978-3-031-13417-3Series ISSN 0166-6991 Series E-ISSN 2542-8292 |
| issn_series | 0166-6991 |
| 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-8 09:03
發(fā)表于 2025-3-21 16:52:21
