6 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
2427 | Maybe understanding doesn't need consciousness, despite what Searle seems to think [Searle, by Chalmers] |
7389 | A program won't contain understanding if it is small enough to imagine [Dennett on Searle] |
7390 | If bigger and bigger brain parts can't understand, how can a whole brain? [Dennett on Searle] |
20696 | We can approach knowledge of God by negative attributes [Maimonides] |
19085 | Thinking of God as resembling humans results from a bad translation of Genesis 1:26 [Maimonides] |