3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
23559 | We have the concept of 'knowledge' as a label for good informants [Craig, by Fricker,M] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |