3 ideas
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
4316 | Either all action is rational, or reason dominates, or reason is only concerned with means [Cottingham] |
5954 | All inventions of the mind aim at pleasure, and those that don't are worthless [Metrodorus of Lamp., by Plutarch] |