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] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
16661 | There are two sorts of category - referring to things, and to circumstances of things [Boethius] |