4 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
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] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |