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] |
12314 | Audience-relative explanation, or metaphysical explanation based on information? [Stanford] |
12313 | Explanation is for curiosity, control, understanding, to make meaningful, or to give authority [Stanford] |
12315 | We can explain by showing constitution, as well as showing causes [Stanford] |
13097 | Force in substance makes state follow state, and ensures the very existence of substance [Leibniz] |