display all the ideas for this combination of texts
2 ideas
18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
Full Idea: One of the culminating achievements of Euclidean geometry was categorical axiomatisations, that describe the geometric structure so completely that any two models of the axioms are isomorphic. The axioms are second-order. | |
From: Vann McGee (Logical Consequence [2014], 7) | |
A reaction: [He cites Veblen 1904 and Hilbert 1903] For most mathematicians, categorical axiomatisation is the best you can ever dream of (rather than a single true axiomatisation). |
10718 | A natural number is a property of sets [Maddy, by Oliver] |
Full Idea: Maddy takes a natural number to be a certain property of sui generis sets, the property of having a certain number of members. | |
From: report of Penelope Maddy (Realism in Mathematics [1990], 3 §2) by Alex Oliver - The Metaphysics of Properties | |
A reaction: [I believe Maddy has shifted since then] Presumably this will make room for zero and infinities as natural numbers. Personally I want my natural numbers to count things. |