Juliette Kennedy (University of Helsinki)

Gödel's Incompleteness Theorems

• Broschiertes Buch

Produktbeschreibung

This Element takes a deep dive into Goedel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a.

Produktdetails

• Elements in Philosophy and Logic
• Verlag: Cambridge University Press
• Seitenzahl: 90
• Erscheinungstermin: 29. März 2022
• Englisch
• Abmessung: 229mm x 152mm x 6mm
• Gewicht: 144g
• ISBN-13: 9781108986991
• ISBN-10: 1108986994
• Artikelnr.: 63223045

Inhaltsangabe

Introduction
1. The first version of the proof
2. Gödel's 'intuitionistically acceptable' second proof of the First Incompleteness Theorem
3. The unprovability of consistency
4. Löb conditions and adequacy
5. Other proofs of the First and Second Theorems
6. Mathematical Incompleteness
7. Set Theoretical Incompleteness
8. Further philosophical consequences of the Incompleteness Theorems.