8 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
17435 | Objects do not naturally form countable units [Koslicki] |
17433 | We can still count squares, even if they overlap [Koslicki] |
17439 | There is no deep reason why we count carrots but not asparagus [Koslicki] |
17434 | We struggle to count branches and waves because our concepts lack clear boundaries [Koslicki] |
17436 | We talk of snow as what stays the same, when it is a heap or drift or expanse [Koslicki] |
9111 | God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham] |
9112 | We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham] |