UID:
almahu_9949407254102882
Format:
IX, 159 p.
,
online resource.
Edition:
1st ed. 2022.
ISBN:
9783031134173
Series Statement:
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 470
Content:
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. .
Note:
First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic -- Encoding -- Incompleteness -- Other Limitative Results -- Second-Order Logic -- Second-Order Arithmetic -- Appendix.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783031134166
Additional Edition:
Printed edition: ISBN 9783031134180
Additional Edition:
Printed edition: ISBN 9783031134197
Language:
English
DOI:
10.1007/978-3-031-13417-3
URL:
https://doi.org/10.1007/978-3-031-13417-3
Bookmarklink
