4 ideas
7911 | Theory vanishes when one has obtained wisdom [Rahulabhadra] |
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |