4 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
10632 | The real numbers may be introduced by abstraction as ratios of quantities [Hale, by Hale/Wright] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |