3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
18203 | Avoid non-predicative classifications and definitions [Poincaré] |
9567 | Maths deals with quantities of physical significance, ignoring irrelevant features [Geroch] |