×
Dawson, John

The Gödel incompleteness theorem from a length-of-proof perspective. (English) Zbl 0426.03061

Am. Math. Mon. 86, 740-748 (1979).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0426.03061

Cited in 2 Documents

MSC:

03F20 Complexity of proofs
03F30 First-order arithmetic and fragments
01A65 Development of contemporary mathematics
03H15 Nonstandard models of arithmetic
03C99 Model theory
03-03 History of mathematical logic and foundations

Keywords:

Gödel incompleteness theorem
Cite Review PDF
Full Text: DOI