5 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] |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
6606 | Consider: "Imagine this butterfly exactly as it is, but ugly instead of beautiful" [Wittgenstein] |