Carlo Cellucci: The Theory of Gödel | Buch

Cover: 9783031134166 | The Theory of Gödel | Carlo Cellucci | Buch | ix | Englisch | 2022

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

128,39 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Über den Autor

Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Breve storia della logica: Dall'Umanesimo al primo Rinascimento (with Mirella Capozzi, Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022).

Zusammenfassung

Presents Gödel's incompleteness theorems in a form most relevant to the philosophy of mathematics

Entirely self-contained

Discusses implications for Hilbert's Program

Inhaltsverzeichnis

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

Details

Erscheinungsjahr:	2022
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Buch
Inhalt:	ix 159 S.
ISBN-13:	9783031134166
ISBN-10:	3031134168
Sprache:	Englisch
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Cellucci, Carlo
Auflage:	1st ed. 2022
Hersteller:	Springer International Publishing Springer International Publishing AG
Maße:	241 x 160 x 16 mm
Von/Mit:	Carlo Cellucci
Erscheinungsdatum:	22.11.2022
Gewicht:	0,43 kg

Artikel-ID: 122067840