6 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
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] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |