Plane geometry: a system of axioms based on distance
Zusammenfassung: Bekanntlich hat Euklid (um 300 v.Chr.) als erster versucht, die Geometrie auf eine axiomatische Grundlage zu stellen; aber erst mit dem Erscheinen von Hilberts \glqq Grundlagen der Geometrie\grqq{} (1899) lag ein hieb- und stichfestes Axiomensystem vor. Im Gegensatz zu den Axiomen für algebraische Strukturen sind die Axiome der Geometrie von großer Zahl und unübersichtlich. Nach Hilbert sind daher verschiedene andere Ansätze zur Axiomatisierung versucht worden, so z. B. der Aufbau der Geometrie aus dem Spiegelungsbegriff oder aus dem Kollineationsbegriff. Der Autor nimmt im Anschluss an Blumenthal den Distanzbegriff als Grundlage, und er kommt mit sechs Axiomen aus, wovon die ersten drei die üblichen Axiome eines metrischen Raumes sind. Die \glqq quadratische Natur\grqq{} der Distanz macht es allerdings nötig, die beim weiteren Fortschreiten auftretenden Polynome mit Hilfe von Computeralgebra in Faktoren zu zerlegen
- Definitions and Nondefinability in GeometryThis paper was adapted from and expands on material in <strong>[23]</strong>. A shorter version was presented to the October 2008 congress, <em>Giuseppe Peano and His School between Mathematics, Logic, and Interlingua</em>, in Turin. Some of the text in Section 2 was adapted from <strong>[46</strong>, Chap. 2].
- A proposal for a variation on the axioms of classical geometry
This page was built for publication: Plane geometry: a system of axioms based on distance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1750156)
