The Godel Incompleteness Theorem from a Length-of-Proof Perspective

DOI10.2307/2322023zbMath0426.03061OpenAlexW4247665078MaRDI QIDQ3861388

No author found.

Publication date: 1979

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2322023

zbMATH Keywords

Gödel incompleteness theorem

Mathematics Subject Classification ID

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

Related Items (2)

Theorems for a price: Tomorrow's semi-rigorous mathematical culture ⋮ The death of proof? Semi-rigorous mathematics? You've got to be kidding!

This page was built for publication: The Godel Incompleteness Theorem from a Length-of-Proof Perspective