Back to Search
Start Over
On G\'odel's theorem
- Source :
- J. Math. Soc. Japan 13, no. 1 (1961), 1-12
- Publication Year :
- 1961
- Publisher :
- Mathematical Society of Japan, 1961.
- Subjects :
- Mathematical logic
General Mathematics
02.74
Gödel's incompleteness theorems
Original proof of Gödel's completeness theorem
Algebra
Diagonal lemma
Compactness theorem
Gödel
Gödel's completeness theorem
Proof sketch for Gödel's first incompleteness theorem
computer
Mathematics
computer.programming_language
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- J. Math. Soc. Japan 13, no. 1 (1961), 1-12
- Accession number :
- edsair.doi.dedup.....7a084320c8a235acc2d35eb2ce583527