The Theory of Gödel

1. Auflage 2022
ISBN: 978-3-031-13419-7
Verlag: Springer International Publishing

Buch, Englisch, Band 470, 159 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 271 g

Reihe: Synthese Library

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.

Zielgruppe

Graduate

Autoren/Hrsg.

Cellucci, Carlo

Fachgebiete

• Geisteswissenschaften Philosophie Philosophie der Mathematik, Philosophie der Physik
• Geisteswissenschaften Geschichtswissenschaft Geschichtliche Themen Wissenschafts- und Universitätsgeschichte
• Mathematik | Informatik Mathematik Mathematik Allgemein Geschichte der Mathematik
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik Mathematik Mathematik Allgemein Philosophie der Mathematik

Inhaltsverzeichnis

First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.

Über Autor(innen)

Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: (Boringhieri, 1978); (Laterza, 1998); (Laterza, 2003); (Laterza, 2008); (Springer, 2013); (with Mirella Capozzi, Lulu Press, 2014); (Springer, 2017); (Springer, 2022).