3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
2604 | We must have expressive power BEFORE we learn language [Fodor] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |