Combining Texts

All the ideas for 'Foundations of Geometry', 'On Motion' and 'On Platonism in Mathematics'

expand these ideas     |    start again     |     specify just one area for these texts

8 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10304 Very few things in set theory remain valid in intuitionist mathematics [Bernays]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
13472 Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
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]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10303 Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
10306 Mathematical abstraction just goes in a different direction from logic [Bernays]
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
12709 Motion is not absolute, but consists in relation [Leibniz]