The theory of Gödel / Carlo Cellucci.
This book presents Godels 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 Hilberts Program for th...
Saved in:
Main Author: | |
---|---|
Format: | Ebook |
Language: | English |
Published: |
Cham :
Springer,
[2022]
|
Series: | Synthese library ;
v. 470. |
Subjects: | |
Online Access: | Springer eBooks |
Summary: | This book presents Godels 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 Hilberts 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: | 1 online resource (ix, 159 pages). |
Bibliography: | Includes bibliographical references and index. |
ISBN: | 3031134168 9783031134166 3031134176 9783031134173 |