back to ideas for this text


Single Idea 3198

[from 'On Formally Undecidable Propositions' by Kurt Gödel, in 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic ]

Full Idea

Gödel's theorem states that either arithmetic is incomplete, or it is inconsistent.

Gist of Idea

Gödel showed that arithmetic is either incomplete or inconsistent

Source

report of Kurt Gödel (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