7 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
13412 | Obtaining numbers by abstraction is impossible - there are too many; only a rule could give them, in order [Benacerraf] |
13413 | We must explain how we know so many numbers, and recognise ones we haven't met before [Benacerraf] |
13411 | If numbers are basically the cardinals (Frege-Russell view) you could know some numbers in isolation [Benacerraf] |
13415 | An adequate account of a number must relate it to its series [Benacerraf] |
6606 | Consider: "Imagine this butterfly exactly as it is, but ugly instead of beautiful" [Wittgenstein] |