Overview
- 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
Part of the book series: Synthese Library (SYLI, volume 470)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
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.
Authors and Affiliations
About the author
Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Breve storia della logica: Dall’Umanesimo al primo Rinascimento (with Mirella Capozzi, Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022).
Bibliographic Information
Book Title: The Theory of Gödel
Authors: Carlo Cellucci
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-3-031-13417-3
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Hardcover ISBN: 978-3-031-13416-6Published: 22 November 2022
Softcover ISBN: 978-3-031-13419-7Published: 22 November 2023
eBook ISBN: 978-3-031-13417-3Published: 21 November 2022
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: IX, 159
Topics: Logic, Philosophy of Mathematics, History of Mathematical Sciences