4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
3912 | I must exist in order to be mistaken, so that even if I am mistaken, I can't be wrong about my own existence [Augustine] |
6683 | The contact of spirit and body is utterly amazing, and incomprehensible [Augustine] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |