4 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
15998 | Perfect love is not in spite of imperfections; the imperfections must be loved as well [Kierkegaard] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |