Juliette Kennedy

Gödel's Incompleteness Theorems (eBook, ePUB)

• Format: ePub

Produktbeschreibung

A deep dive into the historical and philosophical background of Gödel's famed 1931 paper on incompleteness.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Erscheinungstermin: 30. April 2022
• Englisch
• ISBN-13: 9781108990097
• Artikelnr.: 66181443

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.