6 ideas
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
10855 | Actual infinities are not allowed in mathematics - only limits which may increase without bound [Gauss] |
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |