3 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
9545 | Late in life Frege abandoned logicism, and saw the source of arithmetic as geometrical [Frege, by Chihara] |
16745 | No one even knows the nature and properties of a fly - why it has that colour, or so many feet [Bacon,R] |