4 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
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] |