4 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
23832 | We both desire what is beautiful, and want it to remain as it is [Weil] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |