Gödel's Incompleteness Theorems

ISBN-13: 9781108986991 / Angielski / Miękka / 2022 / 90 str.

Juliette (University of Helsinki) Kennedy

Opis

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

Spis treści

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.