5 ideas
18261 | A simplification which is complete constitutes a definition [Kant] |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
18260 | If we knew what we know, we would be astonished [Kant] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |