9 ideas
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
13163 | Circles must be bounded, so cannot be infinite [Leibniz] |
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] |
13162 | Sloth's Syllogism: either it can't happen, or it is inevitable without my effort [Leibniz] |
1757 | The Electra: she knows this man, but not that he is her brother [Eucleides, by Diog. Laertius] |
3028 | The chief good is unity, sometimes seen as prudence, or God, or intellect [Eucleides] |
19339 | Evil is a negation of good, which arises from non-being [Leibniz] |
13164 | God only made sin possible because a much greater good can be derived from it [Leibniz] |