display all the ideas for this combination of texts
4 ideas
10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
17817 | Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau] |
17815 | We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau] |
17821 | You can ask all sorts of numerical questions about any one given set [Yourgrau] |