4 ideas
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
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] |
16689 | The schools said spirits lack extension, and wonder how many could dance on a needle's point [More,H] |