back to ideas for this text


Single Idea 10132

[from 'On Formally Undecidable Propositions' by Kurt Gödel, in 6. Mathematics / A. Nature of Mathematics / 1. Mathematics ]

Full Idea

Gödel's far-reaching work on the nature of logic and formal systems reveals that there can be no single consistent theory from which all mathematical truths can be derived.

Gist of Idea

There can be no single consistent theory from which all mathematical truths can be derived

Source

report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.8

Book Reference

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.215