Combining Texts

Ideas for 'The Gettier Problem', 'On Formally Undecidable Propositions' and 'The Emperor's New 'Knows''

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

6. Mathematics / A. Nature of Mathematics / 1. Mathematics

10132	There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman]
	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.
	From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.8