6 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] |
12695 | Epicurean atomists say body is sensible, to distinguish it from space. [Garber] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
12705 | Epicurean atoms are distinguished by their extreme hardness [Garber] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |