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] |
594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
19436 | Bare or primary matter is passive; it is clothed or secondary matter which contains action [Leibniz] |
2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |