| 书目名称 | The Theory of Gödel |
| 编辑 | Carlo Cellucci |
| 视频video | |
| 概述 | 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 |
发表于 2025-3-21 16:52:21
