more from Kurt Gdel

Single Idea 3198

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic]

Full Idea

Gdel's theorem states that either arithmetic is incomplete, or it is inconsistent.

Gist of Idea

Gdel showed that arithmetic is either incomplete or inconsistent

Source

report of Kurt Gdel (On Formally Undecidable Propositions [1931]) by Georges Rey - Contemporary Philosophy of Mind 8.7

Book Reference

Rey,Georges: 'Contemporary Philosophy of Mind' [Blackwell 1997], p.224