7 ideas
9182 | Ancient names like 'Obadiah' depend on tradition, not on where the name originated [Dummett] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
9181 | The causal theory of reference can't distinguish just hearing a name from knowing its use [Dummett] |
12709 | Motion is not absolute, but consists in relation [Leibniz] |