3 ideas
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |