3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
14470 | Explanatory exclusion: there cannot be two separate complete explanations of a single event [Kim] |