Title
The Theory of Gödel [electronic resource] / by Carlo Cellucci.
Publication
Cham : Springer International Publishing : Imprint: Springer, 2022.
Physical Description
1 online resource (IX, 159 p.)
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
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. .
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Printed edition:
Added to Catalog
December 01, 2022
Series
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 470
Contents
First-Order Logic
Completeness
First-Order Theories
Primitive Recursive Arithmetic
Encoding
Incompleteness
Other Limitative Results
Second-Order Logic
Second-Order Arithmetic
Appendix.
Also listed under
SpringerLink (Online service)