4 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |