Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Axiomatic formulations

📜

The statement of the theorem

Geometry is the science of correct reasoning on incorrect figures. — George Pólya, How to Solve It, p. 208 - Euclid's axioms: In his dissertation to Trinity College, Cambridge, Bertrand Russell summarized the changing role of Euclid's geometry in the minds of philosophers up to that time. It was a conflict between certain knowledge, independent of experiment, and empiricism, requiring experimental input. This issue became clear as it was discovered that the parallel postulate was not necessarily valid and its applicability was an empirical matter, deciding whether the applicable geometry was Euclidean or non-Euclidean. - Hilbert's axioms: Hilbert's axioms had the goal of identifying a simple and complete set of independent axioms from which the most important geometric theorems could be deduced. The outstanding objectives were to make Euclidean geometry rigorous (avoiding hidden assumptions) and to make clear the ramifications of the parallel postulate. - Birkhoff's axioms: Birkhoff proposed four postulates for Euclidean geometry that can be confirmed experimentally with scale and protractor. This system relies heavily on the properties of the real numbers. The notions of angle and distance become primitive concepts. - Tarski's axioms: Alfred Tarski (1902–1983) and his students defined elementary Euclidean geometry as the geometry that can be expressed in first-order logic and does not depend on set theory for its logical basis, in contrast to Hilbert's axioms, which involve point sets. Tarski proved that his axiomatic formulation of elementary Euclidean geometry is consistent and complete in a certain sense: there is an algorithm that, for every proposition, can be shown either true or false. (This does not violate Gödel's theorem, because Euclidean geometry cannot describe a sufficient amount of arithmetic for the theorem to apply.) This is equivalent to the decidability of real closed fields, of which elementary Euclidean geometry is a model. - ^Bertrand Russell (1897). "Introduction". An essay on the foundations of geometry. Cambridge University Press. - ^George David Birkhoff; Ralph Beatley (1999). "Chapter 2: The five fundamental principles". Basic Geometry (3rd ed.). AMS Bookstore. pp. 38 ff. ISBN0-8218-2101-6. - ^James T. Smith (10 January 2000). "Chapter 3: Elementary Euclidean Geometry". Cited work. John Wiley & Sons. pp. 84 ff. ISBN9780471251835. - ^Edwin E. Moise (1990). Elementary geometry from an advanced standpoint (3rd ed.). Addison–Wesley. ISBN0-201-50867-2. - ^John R. Silvester (2001). "§1.4 Hilbert and Birkhoff". Geometry: ancient and modern. Oxford University Press. ISBN0-19-850825-5. - ^Alfred Tarski (2007). "What is elementary geometry". In Leon Henkin; Patrick Suppes; Alfred Tarski (eds.). Studies in Logic and the Foundations of Mathematics – The Axiomatic Method with Special Reference to Geometry and Physics (Proceedings of International Symposium at Berkeley 1957–8; Reprint ed.). Brouwer Press. p. 16. ISBN978-1-4067-5355-4. We regard as elementary that part of Euclidean geometry which can be formulated and established without the help of any set-theoretical devices - ^Keith Simmons (2009). "Tarski's logic". In Dov M. Gabbay; John Woods (eds.). Logic from Russell to Church. Elsevier. p. 574. ISBN978-0-444-51620-6. - ^Cite error: The named reference Tarski 1951 was invoked but never defined (see the help page). - ^Franzén, Torkel (2005). Gödel's Theorem: An Incomplete Guide to its Use and Abuse. AK Peters. ISBN1-56881-238-8. Pp. 25–26.