4 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |