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.
| ISBN: | 9783031134166 |
| Publication date: | 22nd November 2022 |
| Author: | Carlo Cellucci |
| Publisher: | Springer International Publishing AG |
| Format: | Hardback |
| Pagination: | 159 pages |
| Series: | Synthese Library |
| Genres: |
Philosophy: logic Philosophy of mathematics History of mathematics |
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.
The Theory of Gödel features in the following genres: Philosophy: logic, Philosophy of mathematics, History of mathematics
The Theory of Gödel is available in Hardback
The Theory of Gödel was written by Carlo Cellucci and published by Springer International Publishing AG
The Theory of Gödel has 159 pages
Yes it is part of Synthese Library series
£98.99