Combining Texts

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

expand 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]