1958Godel's ProofErnest Nagel and James R. Newman
MathematicsBook · 1958
Godel's Proof
Ernest Nagel and James R. Newman
Any system strong enough to do arithmetic contains truths it cannot prove. This is the clearest short account of why.
Why you should read this
This is the classic short explanation of Gödel's incompleteness theorems for readers without formal training in logic, walking through the strategy of the proof rather than just stating its consequences. Assumes careful attention rather than mathematics beyond high school.
- Field
- Mathematics
- Form
- Non-fiction
- Published
- 1958
- Themes
- Mathematics
