5 ideas
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] |
9145 | We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor] |
541 | Virtue comes more from habit than character [Critias] |
542 | Fear of the gods was invented to discourage secret sin [Critias] |