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] |
19398 | Minds are best explained by their ends, and bodies by efficient causes [Leibniz] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |