Goedel's Incompleteness Theorems

Goedel's Incompleteness Theorems

Kennedy, Juliette

Cambridge University Press

04/2022

75

Mole

Inglês

9781108986991

15 a 20 dias

133

Introduction; 1. The first version of the proof; 2. Goedel's 'intuitionistically acceptable' second proof of the First Incompleteness Theorem; 3. The unprovability of consistency; 4. Loeb 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.