6 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |
16745 | No one even knows the nature and properties of a fly - why it has that colour, or so many feet [Bacon,R] |