6 ideas
18192 | Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
13432 | The essence of a circle is the equality of its radii [Leibniz] |
12696 | Bodies are recreated in motion, and don't exist in intervening instants [Leibniz] |