3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
7845 | When we need to do something, we depute an inner servant to remind us of it [Proust] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |