The Theory of Gödel
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...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2022, 2022
|
Edition: | 1st ed. 2022 |
Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Summary: | 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. |
---|---|
Physical Description: | IX, 159 p online resource |
ISBN: | 9783031134173 |