Back to Search Start Over

Gödel's First Theorem

Authors :
Peter Smith
Source :
An Introduction to Gödel's Theorems
Publication Year :
2013
Publisher :
Cambridge University Press, 2013.

Subjects

Subjects :
Model theory
Pure mathematics
Gödel's incompleteness theorems
Original proof of Gödel's completeness theorem
Algebra
Diagonal lemma
Compactness theorem
Dialectica interpretation
Calculus
Gödel
Gödel's completeness theorem
Proof sketch for Gödel's first incompleteness theorem
computer
Mathematics
computer.programming_language

Details

Database :
OpenAIRE
Journal :
An Introduction to Gödel's Theorems
Accession number :
edsair.doi.dedup.....56a32fd8238639c895c2a2686eba0c35

Tools

Authors Abstract Subjects Details