3 ideas
4748 | Anselm of Canterbury identified truth with God [Anselm, by Engel] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
5655 | Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton] |