7 ideas
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] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
12696 | Bodies are recreated in motion, and don't exist in intervening instants [Leibniz] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |