Back to Search Start Over

The Gödel theorem

Authors :
Norwood Russell Hanson
Source :
Notre Dame J. Formal Logic 2, no. 2 (1961), 94-110
Publication Year :
1961
Publisher :
Duke University Press, 1961.

Subjects

Subjects :
Algebra
Mathematical logic
Model theory
Logic
Diagonal lemma
Compactness theorem
Gödel's completeness theorem
Gödel's incompleteness theorems
Original proof of Gödel's completeness theorem
Proof sketch for Gödel's first incompleteness theorem
Mathematics

Details

ISSN :
00294527
Volume :
2
Database :
OpenAIRE
Journal :
Notre Dame Journal of Formal Logic
Accession number :
edsair.doi.dedup.....9324760213d2ec6a33ef7fe262eaa9be

Tools

Authors Abstract Subjects Details