3 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
10632 | The real numbers may be introduced by abstraction as ratios of quantities [Hale, by Hale/Wright] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |