Abstract
We present the largely twentieth century history of the discovery of the significance of Pappus and Desargues for the axiomatics of geometry. Their significance is followed in projective, affine, and orthogonality contexts. There is an extensive bibliography, that should allow the interested reader to take a comprehensive look at the research literature on these axioms.
Non c’è un unico tempo: ci sono molti nastriche paralleli slittanospesso in senso contrario e raramentes’intersecano. Eugenio Montale, Tempo e tempi
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Il n’y a aucune construction de Géométrie descriptive qui ne puisse être traduite en Analyse; et lorsque les questions ne comportent pas plus de trois inconnues, chaque opération analytique peut être regardée comme l’écriture d’un spectacle en Géométrie. (All translations are by V.P.).
- 2.
Nun ist in der That in jeder exakten Wissenschaft die Einführung der Zahl ein vornehmstes Ziel.
- 3.
Aber, wenn die Wissenschaft nicht einem unfruchtbaren Formalismus anheimfallen soll, so wird sie auf einem späteren Stadium der Entwicklung sich wieder auf sich selbst besinnen müssen und mindestens die Grundlagen prüfen, auf denen sie zur Einführung der Zahl gekommen ist.
- 4.
What’s more, in the higher-dimensional case, there is not even a need for any configuration theorem to hold, for any at least 3-dimensional projective space must satisfy Des and thus surprisingly gives rise to the intricate algebraic structure of a skew field in terms of trivial geometrical statements.
- 5.
All known proofs that theorems π equivalent to Pappus (in its projective or in its affine form) imply theorems δ equivalent to Desargues resort to three uses of π (see, for example, [127]).
- 6.
[“Wir] können […] sagen, daß der Satz von Pascal der einzig wesentliche Schnittpunktsatz der Ebenen ist, daß die Konfiguration (93)1 die wichtigste Figur der ebenen Geometrie darstellt.”
- 7.
The word associative was coined by Hamilton in 1848 precisely to describe the fact that the octonions are non-associative.
- 8.
The connection between Blaschke—who would later author two books on webs ([31] (with G. Bol) and [30]) and a textbook on projective geometry [29]—and the foundations of affine and projective geometry was not only one giving an impetus to the discovery of so many configuration theorem central to the foundational approach, but also one of a personal friendship with Reidemeister, for whom he intervened in June 1933, after Reidemeister was dismissed from his position in Königsberg—which he had held since 1925, and where he had worked among others with Ruth Moufang—for having been a longtime critic of the National Socialists, by organizing a petition to persuade the government that forcing Reidemeister to retire at 40 was not in the interest of the teaching of mathematics and of mathematical research in Germany. The petition was successful and Reidemeister was appointed to Hensel’s chair at Marburg.
- 9.
Mit dem Hjelmslevschen Resultat haben wir den höchsten Punkt bezeichnet, den die moderne Mathematik über Euklid hinausgehend in der Begründung der Elementargeometrie erreicht hat: in der Ebene, mit Voraussetzungen nur über einen beschränkten Teil der Ebene, ohne Stetigkeit ist die analytische Geometrie zu begründen.
- 10.
Something that Hilbert apparently considered impossible in 1898–1899: “Der umgekehrte Weg, die Kongruenzaxiome und -sätze mit Hülfe des Bewegungsbegriffs zu beweisen ist falsch, da sich die Bewegung ohne den Kongruenzbegriff gar nicht definieren lässt.” [104, p. 335] (“The converse, proving the congruence axiom and theorems in terms of the concept of rigid motion is wrong, for rigid motions cannot be defined at all in the absence of the congruence notion.”).
References
P. Abellanas, Estructura analitica del segmento abierto definido por los postulados de incidencia y orden de Hilbert. Rev. Mat. Hisp.-Amer. (4) 6 (1946), 101–126.
S. A. Amitsur, Rational identities and applications to algebra and geometry. J. Algebra 3 (1966), 304–359.
S. A. Amitsur, Polynomial identities. Israel J. Math. 19 (1974), 183–199.
J. André, Über nicht-Desarguessche Ebenen mit transitiver Translationsgruppe. Math. Z. 60 (1954), 156–186.
J. André, Projektive Ebenen über Fastkörpern. Math. Z. 62 (1955), 137–160.
J. André, Über Parallelstrukturen. II: Translationsstrukturen. Math. Z. 76 (1961), 155–163.
A. Arana, P. Mancosu, On the relationship between plane and solid geometry. Rev. Symb. Log. 5 (2012), 294–353.
E. Artin, Über einen Satz von Herrn J. H. Maclagan Wedderburn. Abh. Math. Semin. Hamb. Univ. 5 (1927), 245–250.
E. Artin, Coordinates in affine geometry. Rep. Math. Colloquium (Second Series) 2 (1940). 15–20.
E. Artin, Geometric algebra. Interscience, New York, 1957.
R. Artzy, Non-Euclidean incidence planes. Israel J. Math. 4 (1966), 43–53.
R. Artzy, Pascal’s theorem on an oval. Amer. Math. Monthly 75 (1968), 143–146.
M. Avellone, A. Brigaglia, C. Zappulla, The foundations of projective geometry in Italy from De Paolis to Pieri. Arch. Hist. Exact Sci. 56 (2002), 363–425.
R. Baer, The fundamental theorems of elementary geometry. An axiomatic analysis. Trans. Amer. Math. Soc. 56 (1944), 94–129.
R. Baer, Linear algebra and projective geometry. Academic Press, New York, 1952.
F. Bachmann, Eine Begründung der absoluten Geometrie in der Ebene. Math. Ann. 113 (1936), 424–451.
F. Bachmann, Zur Begründung der Geometrie aus dem Spiegelungsbegriff. Math. Ann. 123 (1951), 341–344.
F. Bachmann, Eine Kennzeichnung der Gruppe der gebrochen-linearen Transformationen. Math. Ann. 126 (1953), 79–92.
F. Bachmann, Aufbau der Geometrie aus dem Spiegelungsbegriff. Zweite ergänzte Auflage. Springer-Verlag, Berlin, 1973.
J. T. Baldwin, Formalization, primitive concepts, and purity, Rev. Symb. Log. 6 (2013), 87–128.
J. Bamberg, T. Penttila, Completing Segre’s proof of Wedderburn’s little theorem. Bull. Lond. Math. Soc. 47 (2015), 483–492.
J. Bamberg, T. Harris, T. Penttila, On abstract ovals with Pascalian secant lines. J. Group Theory 21 (2018), 1051–1064.
A. Barlotti, Le possibili configurazioni del sistema delle coppie punto-retta (A, a) per cui un piano grafico risulta (A, a)-transitivo. Boll. Un. Mat. Ital. (3) 12 (1957), 212–226.
A. Barlotti, Sul gruppo delle proiettività di una retta in sè nei piani liberi e nei piani aperti. Rend. Sem. Mat. Univ. Padova 34 (1964), 135–159.
A. Barlotti, K. Strambach, Remarks on projectivities. Aequationes Math. 28 (1985), 212–228.
F. Bennhold, Zur synthetischen Begründung der projektiven Geometrie der Ebene. Math. Ann. 129 (1955), 213–229 .
G. M. Bergman, Skew fields of noncommutative rational functions, after Amitsur (preliminary version). Séminaire M. P. Schützenberger, A. Lentin et M. Nivat, 1969/70: Problèmes Mathématiques de la Théorie des Automates, Exp. 16, 1–18, Secrétariat mathématique, Paris, 1970.
M. Biliotti, V. Jha, N. L. Johnson, Foundations of translation planes. Marcel Dekker, New York, 2001.
W. Blaschke, Projektive Geometrie. 3. verbesserte Auflage. Birkhäuser Verlag, Basel, 1954.
W. Blaschke, Geometrie der Waben. Birkhäuser Verlag, Basel, Stuttgart, 1955.
W. Blaschke, G. Bol, Geometrie der Gewebe. Topologische Fragen der Differentialgeometrie. Julius Springer, Berlin, 1938.
R. Borges, Eine mit dem Satz von Pappos äquivalente Version des Scherensatzes. Math. Semesterber. 34 (1987), 246–249.
A. L. Bosworth, Begründung einer vom Parallelenaxiome unabhängigen Streckenrechnung. Dietrich, Göttingen, 1900.
O. Bottema, Eine Bemerkung über den Desarguesschen und den Pascalschen Satz. Math. Ann. 111 (1935), 68–70.
G. Braun, J. Narboux, A synthetic proof of Pappus’ theorem in Tarski’s geometry. J. Automat. Reason. 58 (2017), 209–230.
E. Brožíková, Existence of Schütte semiautomorphisms. Časopis Pěst. Mat. 107 (1982), 143–158, 188.
Bruck, R. H., Kleinfeld, E.: The structure of alternative division rings. Proc. Amer. Math. Soc. 2, 878–890 (1951).
F. Buekenhout, Plans projectifs à ovoides pascaliens. Arch. Math. (Basel) 17 (1966), 89–93.
F. Buekenhout, B Études intrinsèque des ovales. Rend. Mat. e Appl. (5) 25 (1966), 333–393.
F. Buekenhout, X. Hubaut, Groupes affins et projectifs. Acad. Roy. Belg. Bull. Cl. Sci. (5) 52 (1966), 368–381.
E. Burger, Über die Einzigkeit der Cayley-Zahlen. Bemerkung zu einer Arbeit von L. A. Skorniakov. Arch. Math. (Basel) 3 (1952), 298–302.
R. P. Burn, Bol quasi-fields and Pappus’ theorem. Math. Z. 105 (1968), 351–364.
H. Busemann, Paschsches Axiom und Zweidimensionalität. Math. Ann. 107 (1932), 324–328.
H. Busemann, The geometry of geodesics. Academic Press, New York, 1955.
H. Busemann, Quasihyperbolic geometry. Rend. Circ. Mat. Palermo, II. Ser. 4 (1955), 256–269.
H. Busemann, Recent synthetic differential geometry. Springer-Verlag, New York-Berlin, 1970.
H. Busemann, Planes with analogues to Euclidean angular bisectors. Math. Scand. 36 (1975), 5–11.
H. Busemann, Remark on ‘Planes with analogues to Euclidean angular bisectors’. Math. Scand. 38 (1976), 81–82.
H. Busemann, Selected works I & II. Edited by A. Papadopoulos. Springer, Cham, 2018.
C. Cerroni, Non-Desarguian geometries and the foundations of geometry from David Hilbert to Ruth Moufang. Hist. Math. 31 (2004), 320–336.
P. M. Cohn, Skew fields. Theory of general division rings. Cambridge University Press, Cambridge, 1995.
G. Conti, Piani proiettivi dotati di un ovale pascaliano. Boll. Unione Mat. Ital., IV. Ser. / 11 (1975), 330–338.
H. S. M. Coxeter, Desargues configurations and their collineation groups. Math. Proc. Cambridge Philos. Soc. 78 (1975), 227–246.
H. S. M. Coxeter, The Pappus configuration and its groups. Nederl. Akad. Wet. Verslag Afd. Natuurk. 85 (1976), 44–46.
H. S. M. Coxeter, The Pappus configuration and the self-inscribed octagon. I, II, III. Nederl. Akad. Wet. Proc. Ser. A 80 (1977), 256–269, 270–284, 285–300.
H. S. M. Coxeter, S. L. Greitzer, Geometry revisited. The Mathematical Association of America, Washington, 1967.
S. Crampe, Schließungssätze in projektiven Ebenen und dichten Teilebenen. Arch. Math. (Basel) 11 (1960), 136–145.
A. Cronheim, A proof of Hessenberg’s theorem. Proc. Amer. Math. Soc. 4 (1953), 219–221.
M. Dehn, Über die Grundlagen der projektiven Geometrie und allgemeine Zahlsysteme. Math. Ann. 85 (1922), 184–194.
M. Dehn, Über einige neue Forschungen in den Grundlagen der Geometrie. Mat. Tidsskr. B 3/4 (1931), 63–83.
P. Dembowski, Finite geometries. Springer-Verlag, Berlin-New York 1968.
G. Desargues, L’œuvre mathématique de G. Desargues. Textes publiés et commentés avec une introduction biographique et historique par René Taton. Presses Universitaires de France, Paris, 1951.
G. Donati, Pappus’ configuration in non commutative projective geometry with application to a theorem of A. Schleiermacher. Rend. Circ. Mat. Palermo (2) 50 (2001), 325–328.
M. L. Dubreil-Jacotin, L. Lesieur, R. Croisot, Leçons sur la théorie des treillis des structures algébriques ordonnées et des treillis géométriques. Gauthier-Villars, Paris, 1953.
M. Eklund, On how logic became first-order. Nordic J. Philos. Logic 1 (1996), 147–167.
E. Ellers, E. Sperner, Einbettung eines desarguesschen Ebenenkeimes in eine projektive Ebene. Abh. Math. Semin. Univ. Hamburg 25 (1962), 206–230.
G. Faina, Una estensione agli ovali astratti del teorema di Buekenhout sugli ovali pascaliani. Boll. Un. Mat. Ital. Suppl., 2 (1980), 355–364.
G. Faina, G. Korchmáros, Una caratterizzazione del gruppo lineare PGL(2, K) e delle coniche astratte nel senso di Buekenhout. Boll. Un. Mat. Ital. Suppl. 2 (1980), 195–208.
G. Fano, Sui postulati fondamentali della geometria projettiva in uno spazio lineare a un numero qualunque di dimensioni. Giornale di Matematiche 30 (1892), 106–132.
J. R. Faulkner, Lines with quadrangle section. J. Geom. 22 (1984), 31–46.
J. R. Faulkner, The role of nonassociative algebra in projective geometry. American Mathematical Society, Providence, 2014.
C.-A. Faure, A. Frölicher, Modern projective geometry. Kluwer, Dordrecht, 2000.
J. Ferreirós, The road to modern logic—an interpretation. Bull. Symbolic Logic 7 (2001), 441–484.
J. V. Field, J. J. Gray, The geometrical work of Girard Desargues. Springer-Verlag, New York, 1987.
W. K. Forrest, The fundamental configurations of linear projective geometry. Z. Math. Logik Grundlagen Math. 32 (1986), 289–306.
H. Freudenthal, Een niet-Desargues’se meetkunde en de invoeging van een vlakke Desargues’se meetkunde in de ruimtelijke projectieve meetkunde. Chr. Huygens 13 (1935), 247–256.
R. Fritsch, Synthetische Einbettung Desarguesscher Ebenen in Räume, Math. -Phys. Semesterber. 21 (1974), 237–249.
R. Fritsch, Ein “affiner” Beweis des Satzes von v. Staudt-Schleiermacher. Monatsh. Math. 86 (1978/79), 177–184.
M. Funk, Octagonality conditions in projective and affine planes. Geom. Dedicata 28 (1988), 53–75.
M. Funk, On the existence of little Desargues configurations in planes satisfying certain weak configurational conditions. Geom. Dedicata 31 (1989), 207–235.
A. M. Gleason, Finite Fano planes. Amer. J. Math. 78 (1956), 797–807.
B. Grünbaum, Configurations of points and lines. American Mathematical Society, Providence, 2009.
H. Guggenheimer, The theorem of Menelaus in axiomatic geometry. Geom. Dedicata 3 (1974), 257–261.
H. Hähl, B. Weber, Area functions on affine planes. J. Geom. 107 (2016), 483–507.
M. Hall, Projective planes. Trans. Amer. Math. Soc. 54 (1943), 229–277, correction 65 (1949), 473–474.
G. Hamel, Über die Geometrieen, in denen die Geraden die Kürzesten sind. Dissertation. Universität Göttigen, 1901.
G. Hamel, Über die Geometrieen, in denen die Geraden die Kürzesten sind. Math. Ann. 57 (1903), 231–264.
Z. R. Hartvigson, A non-Desarguesian space geometry. Fund. Math. 86 (1974), 143–147.
H. Havlicek, Einbettung projektiver Desargues-Räume. Abh. Math. Semin. Univ. Hamb. 52 (1982), 228–231.
H. Havlicek, Applications of results on generalized polynomial identities in Desarguesian projective spaces. R. Kaya, P. Plaumann and K. Strambach (eds.), Rings and geometry (Istanbul, 1984), pp. 39–77, Reidel, Dordrecht, 1985.
A. Herzer, Eine Verallgemeinerung des Satzes von Dandelin. Elem. Math. 27 (1972), 52–56.
A. Herzer, Dualitäten mit zwei Geraden aus absoluten Punkten in projektiven Ebenen. Math. Z. 129 (1972), 235–257.
A. Herzer, Ableitung zweier selbstdualer, zum Satz von Pappos äquivalenter Schließungssätze aus der Konstruktion von Dualitäten. Geom. Dedicata 2 (1973), 283–310.
A. Herzer, Neue Konstruktion einer Erweiterung von projektiven Geometrien. Geom. Dedicata 4 (1975), 199–213.
G. Hessenberg, Desarguesscher Satz und Zentralkollineation. Arch. der Math. u. Phys. (3) 6 (1903), 123–127.
G. Hessenberg, Über einen geometrischen Calcül (Verknüpfungs-Calcül). Acta Math. 29 (1904), 1–24.
G. Hessenberg, Neue Begründung der Sphärik, S.-Ber. Berlin. Math. Ges. 4 (1905), 69–77.
G. Hessenberg, Beweis des Desarguesschen Satzes aus dem Pascalschen. Math. Ann. 61 (1905), 161–172.
G. Hessenberg, J. Diller, Grundlagen der Geometrie. 2. Aufl. Walter de Gruyter, Berlin 1967.
A. Heyting, Axiomatic projective geometry. Second edition. V. Wolters-Noordhoff, Groningen; North-Holland, Amsterdam, 1980.
D. Hilbert, Über die gerade Linie als kürzestes Verbindung zweier Punkte. Math. Ann. 44(1895), 91–96.
D. Hilbert, Neue Begründung der Bolyai-Lobatschefskyschen Geometrie, Math. Ann. 57 (1903), 137–150.
D. Hilbert, Grundlagen der Geometrie. Leipzig, Teubner (1899) – translated by L. Unger, Open Court, La Salle, Ill., under the title: Foundations of Geometry, 1971, 14th German edition 1999.
D. Hilbert, David Hilbert’s lectures on the foundations of geometry, 1891–1902. Edited by M. Hallett and U. Majer. David Hilbert’s Foundational Lectures, 1. Springer-Verlag, Berlin, 2004.
D. Hilbert, S. Cohn-Vossen, Anschauliche Geometrie. J. Springer, Berlin, 1932.
J. W. P. Hirschfeld, Projective geometries over finite fields. Oxford University Press, New York, 1979.
J. W. P. Hirschfeld, Finite projective spaces of three dimensions. Oxford University Press, New York, 1985.
J. W. P. Hirschfeld, J. A. Thas, General Galois geometries. Springer, London, 2016.
J. Hjelmslev, Neue Begründung der ebenen Geometrie. Math. Ann. 64 (1907), 449–474.
J. Hjelmslev, Einleitung in die allgemeine Kongruenzlehre. I, II., Mat.-Fys. Medd. K. Dan. Vidensk. Selsk. 8 (1929), Nr. 11, 1–36; 10 (1929), Nr. 1, 1–28.
C. E. Hofmann, III, Specializations of Pascal’s theorem on an oval. J. Geom. 1 (1971), 143–153.
H. Hotje, Geometrische Bewertungen in affinen Räumen. Abh. Math. Sem. Univ. Hamburg 45 (1976), 82–90.
H. Hotje, Zur Definition des Flächeninhalts in affinen Ebenen. Elem. Math. 34 (1979), 25–31.
X. Hubaut, Groupes affins et groupes projectifs. Acad. Roy. Belg. Bull. Cl. Sci. (5) 53 (1967) 1266–1275.
N. L. Johnson, V. Jha, M. Biliotti, Handbook of finite translation planes. Chapman & Hall/CRC, Boca Raton, 2007.
F. Kalhoff, V. Pambuccian, An axiomatic look at the Erdős-Trost problem. J. Geom. 107 (2016), 379–385.
K.-R. Kannenberg, Grundgedanken einer Theorie der Gebilde zweiter Ordnung in Schiefkörpergeometrien. Dissertation, Universität Bonn, 1954.
J. Karamata, Eine elementare Herleitung des Desarguesschen Satzes aus dem Satze von Pappos-Pascal. Elem. Math. 5 (1950), 10–11.
H. Karzel, Ein Axiomensystem der absoluten Geometrie. Arch. Math. (Basel) 6 (1954), 66–76.
H. Karzel, Verallgemeinerte absolute Geometrien und Lotkerngeometrien. Arch. Math. (Basel) 6 (1955), 284–295.
H. Karzel, H.-J. Kroll, Zur projektiven Einbettung von Inzidenzräumen mit Eigentlichkeitsbereich. Abh. Math. Semin. Univ. Hamburg 49 (1979), 82–94.
H. Karzel, H.-J. Kroll, Geschichte der Geometrie seit Hilbert. Wissenschaftliche Buchgesellschaft, Darmstadt, 1988.
H. Karzel, K. Sörensen, Projektive Ebenen mit einem pascalschen Oval. Abh. Math. Semin. Univ. Hamburg 36 (1971), 123–125.
H. Karzel, K. Sörensen, Die lokalen Sätze von Pappus und Pascal. Mitt. Math. Ges. Hamburg 10 (1971), 28–55.
E. Kleinfeld, Alternative division rings of characteristic 2. Proc. Nat. Acad. Sci. U. S. A. 37 (1951), 818–820.
W. Klingenberg, Beziehungen zwischen einigen affinen Schließungssätzen. Abh. Math. Sem. Univ. Hamburg 18 (1952), 120–143.
W. Klingenberg, Beweis des Desarguesschen Satzes aus der Reidemeisterfigur und verwandte Sätze. Abh. Math. Sem. Univ. Hamburg 19 (1955), 158–175.
B. Klotzek, Ebene äquiaffine Spiegelungsgeometrie. Math. Nachr. 55 (1973), 89–131.
N. Knarr, B. Stroppel, M. J. Stroppel, Desargues configurations: minors and ambient automorphisms. J. Geom. 107 (2016), 357–378.
W. L. Kocay, One-point extensions in n 3 configurations. Ars Math. Contemp. 10 (2016), 291–322.
M. Kordos, Bisorted projective geometry. Bull. Acad. Polon. Sci. Sér. Sci. Math. 30 (1982), 429–432.
W. Krüger, Kegelschnitte in Moufangegebenen. Math. Z. 120 (1971), 41–60.
E. Kusak, Desarguesian Euclidean planes and their axiom system. Bull. Polish Acad. Sci. Math. 35 (1987), 87–92.
E. Kusak, On some configurational axioms characteristic of affine Moufang planes. Bull. Polish Acad. Sci. Math. 36 (1988), 583–592.
E. Kusak, K. Prażmowski, On affine reducts of Desargues axiom. Bull. Polish Acad. Sci. Math. 35 (1987), 77–86.
E. Kusak, K. Prażmowski, Non-Pappian Euclidean space does not exist. Bull. Polish Acad. Sci. Math. 36 (1988), 567–569.
F. Luci, On the theorem of Pappus-Pascal. J. Geom. 19 (1982), 154–165.
H. Lenz, Kleiner Desarguesscher Satz und Dualität in projektiven Ebenen. Jahresber. Deutsch. Math. Verein. 57 (1954), 20–31.
L. Lesieur, Sur la mesure des triangles en géométrie affine plane. Math. Z. 93 (1966), 334–344.
J. Lettrich, The orthogonality in affine parallel structure. Math. Slovaca 43 (1993), 45–68.
F. Levi, Geometrische Konfigurationen. S. Hirzel, Leipzig, 1929.
F. W. Levi, On a fundamental theorem of geometry. J. Indian Math. Soc. (2) 3 (1939), 182–192
R. Lingenberg, Über Gruppen mit einem invarianten System involutorischer Erzeugender, in dem der allgemeine Satz von den drei Spiegelungen gilt. I, II, III, IV. Math. Ann. 137 (1959), 26–41, 83–106, 142 (1961), 184–224, 158 (1965), 297–325.
R. Lingenberg, Grundlagen der Geometrie. 3. Auflage. Bibliographisches Institut, Mannheim, 1978.
R. Lingenberg, Metric planes and metric vector spaces. Wiley, New York, 1979.
L. Lombardo-Radice, Sull’immersione de un piano grafico in uno spazio grafico a tre dimensioni. Atti Accad. Naz. Lincei. Rend. Cl. Sci. Fis. Mat. Nat. (8), 10 (1951), 203–205.
L. Lombardo-Radice, Sur la définition de proposition configurationnelle et sur certaines questions algébro-géométriques dans les plans projectifs. Colloque d’algèbre supérieure (Bruxelles, 1956), 217–230. Centre Belge de Recherches Mathématiques Établissements Ceuterick, Louvain; Gauthier-Villars, Paris, 1957.
L. Lombardo-Radice, Sur la classification des théorèmes en géométrie projective plane abstraite. Hommage au Professeur Lucien Godeaux, 169–179. Librairie Universitaire, Louvain, 1968.
L. Lombardo-Radice, Sulla classificazione combinatoria dei teoremi proiettivi. Colloquio Internazionale sulle Teorie Combinatorie (Roma, 1973), Tomo I, 371–380. Atti dei Convegni Lincei, No. 17, Accad. Naz. Lincei, Roma, 1976.
H. Lüneburg, An axiomatic treatment of ratios in an affine plane. Arch. Math. (Basel) 18 (1967), 444–448.
H. Lüneburg, Translation planes. Springer-Verlag, Berlin-New York, 1980.
M. Mandelkern, Constructive coordinatization of Desarguesian planes. Beitr. Algebra Geom. 48 (2007), 547–589.
M. Mandelkern, A constructive real projective plane. J. Geom. 107 (2016), 19–60.
E. A. Marchisotto, The projective geometry of Mario Pieri: a legacy of Georg Karl Christian von Staudt. Historia Math. 33 (2006), 277–314.
V. Martinetti, Sulle configurazioni piane μ 3. Ann. Mat. Pura Appl. 15 (1887), 1–26.
T. A. McKee, Generalized equivalence and the phraseology of configuration theorems. Notre Dame J. Formal Logic 21 (1980), 141–147.
N. S. Mendelsohn, Non-Desarguesian projective plane geometries which satisfy the harmonic point axiom. Canad. J. Math. 8 (1956), 532–562.
Menelaus of Alexandria, Spherics. Early translation and al-Māhānı̄ / al-Harawı̄’s version by Roshdi Rashed and Athanase Papadopoulos. De Gruyter, Berlin, 2017.
K. Menger, Untersuchungen uber allgemeine Metrik. Math. Ann. 100 (1928), 75–163.
K. Menger, Independent self-dual postulates in projective geometry. Rep. Math. Colloq. (2), 8 (1948), 81–87.
M. Menghini, On configurational propositions. Pure Math. Appl. Ser. A, 2 (1991), 87–126.
H. Minkowski, Geometrie der Zahlen. B. G. Teubner, Leipzig, 1896.
R. Moufang, Zur Struktur der projektiven Geometrie der Ebene. Math. Ann. 105 (1931), 536–601.
R. Moufang, Die Einführung der idealen Elemente in die ebene Geometrie mit Hilfe des Satzes vom vollständigen Vierseit. Math. Ann. 105 (1931), 759–778.
R. Moufang, Die Schnittpunktsätze des projektiven speziellen Fünfecksnetzes in ihrer Abhängigkeit voneinander. (Das A-Netz). Math. Ann. 106 (1932), 755–795.
R. Moufang, Ein Satz über die Schnittpunktsätze des allgemeinen Fünfecksnetzes. (Das (A, B)-Netz.). Math. Ann. 107 (1932), 124–139.
R. Moufang, Die Desarguesschen Sätze vom Rang 10. (Eine Ergänzung zu “Ein Satz über die Schnittpunktsätze des allgemeinen Fünfecksnetzes. (Das (A, B)-Netz)”). Math. Ann. 108 (1933), 296–310.
R. Moufang, Alternativkörper und der Satz vom vollständigen Vierseit (D 9). Abh. Math. Sem. Hamb. Univ. 9 (1933), 207–222.
R. Moufang, Zur Struktur von Alternativkörpern. Math. Ann. 110 (1934), 416–430. .
F. R. Moulton, A simple non-Desarguesian plane geometry. Trans. Amer. Math. Soc. 3 (1902), 192–195.
H. J. Munkholm, On the classification of incidence theorems in plane projective geometry. Math. Z. 90 (1965), 215–230.
P. Nabonnand, La théorie des “Würfe” de von Staudt—une irruption de l’algèbre dans la géométrie pure. Arch. Hist. Exact Sci. 62 (2008), 201–242.
H. Naumann, Eine affine Rechtwinkelgeometrie. Math. Ann. 131 (1956), 17–27.
H. Naumann, K. Reidemeister, Über Schließungssätze der Rechtwinkelgeometrie. Abh. Math. Sem. Univ. Hamburg 21 (1957), 1–12.
M. Neumann, L. Stanciu, Über einige Rechenregeln und Äquivalenzrelationen in einem Alternativkörper. Inst. Politehn. Traian Vuia Timişoara Lucrăr. Sem. Mat. Fiz. (1982), 41–44.
M. Neumann, L. Stanciu, Über eine Begründung der Moufang-Ebene. Inst. Politehn. Traian Vuia Timişoara Lucrăr. Sem. Mat. Fiz. No. 2 (1984), 37–40.
T. G. Ostrom, Conicoids: conic-like figures in non-Pappian planes. P. Plaumann and K. Strambach (eds), Geometry—von Staudt’s point of view (Bad Windsheim, 1980), pp. 175–196, D. Reidel, Dordrecht 1981.
F. W. Owens, The introduction of ideal elements and a new definition of projective n-space. Trans. Amer. Math. Soc. 11 (1910), 141–171.
V. Pambuccian, Simple axiom systems for affine planes. Zeszyty Nauk. Geom. 21 (1995), 59–74.
V. Pambuccian, Two notes on the axiomatics of structures with parallelism. Note Mat. 20 (2000/2001), 93–104.
V. Pambuccian, Fragments of Euclidean and hyperbolic geometry. Sci. Math. Jpn. 53 (2001), 361–400.
V. Pambuccian, Early examples of resource-consciousness. Studia Logica 77 (2004), 81–86.
V. Pambuccian, The axiomatics of ordered geometry I. Ordered incidence spaces. Expo. Math. 29 (2011), 24–66.
V. Pambuccian, Orthogonality as single primitive notion for metric planes. With an appendix by H. and R. Struve. Beitr. Algebra Geom. 48 (2007), 399–409.
V. Pambuccian, Review of: M. Hallett and U. Majer (eds.), David Hilbert’s lectures on the foundations of geometry, 1891–1902. Springer-Verlag, Berlin, 2004, Philos. Math. (III) 21 (2013), 255–277.
V. Pambuccian, Prolegomena to any theory of proof simplicity. Philos. Trans. Royal Soc. A 377 (2019), 20180035.
A. Papadopoulos, Hilbert’s fourth problem. A. Papadopoulos and M. Troyanov (eds.), Handbook of Hilbert geometry, pp. 391–431, European Mathematical Society, Zürich, 2014.
Pappus d’Alexandrie, La collection mathématique. Œuvre traduite pour la première fois du grec au français avec une intriduction et des notes par Paul Ver Eecke. Desclée de Brouwer, Paris-Bruges, 1933.
Pappus of Alexandria, Book 7 of the Collection. Edited, with translation and commentary by Alexander Jones. Springer-Verlag, New York 1986.
K. H. Parshall, In pursuit of the finite division algebra theorem and beyond: Joseph H. M. Wedderburn, Leonard E. Dickson, and Oswald Veblen. Arch. Internat. Hist. Sci. 33 (1983), 274–299.
B. Pascal, Œuvres complètes. Texte établi, présenté et annoté par Jacques Chevalier. Bibliothèque de la Pléiade, Gallimard, Paris, 1976.
M. Pasch, Vorlesungen über neuere Geometrie. 1. Aufl. (1882), 2. Aufl. (Mit einem Anhang von M. Dehn: Die Grundlegung der Geometrie in historischer Entwicklung) J. Springer, Berlin, 1926.
J.-C. Petit, Caractérisation algébrique des plans affines munis d’une mesure des triangles. Algèbre Theorie Nombres, Sem. P. Dubreil, M.-L. Dubreil-Jacotin, L. Lesieur et C. Pisot 19 (1965/66), No. 22.
J.-C. Petit, Mesure des triangles et mesure des vecteurs à supports parallèles dans une géométrie plane affine. Math. Z., 94, 271–306 (1966), Zbl 156.19303.
J.-C. Petit, Mesure des vecteurs sur un groupe G et ternaires G-mesurables. Math. Z. 110 (1969), 223–256.
B. B. Phadke, The theorem of Desargues in planes with analogues to Euclidean angular bisectors. Math. Scand. 39 (1976), 191–194.
G. Pickert, Projektive Ebenen. Springer-Verlag, Berlin, 1955 (1st ed), 1975 (2nd ed).
G. Pickert, Der Satz von Pappos mit Festelementen. Arch. Math. (Basel) 10 (1959), 56–61.
G. Pickert, Projectivities in projective planes. P. Plaumann and K. Strambach (eds), Geometry—von Staudt’s point of view (Bad Windsheim, 1980), pp. 1–49, D. Reidel, Dordrecht, 1981.
G. Pickert, Bemerkungen zu einem Inzidenzsatz von W. Kroll. Math. Semesterber. 40 (1993), 55–62.
G. Pickert, Ceva-Transitivität. Geom. Dedicata 74 (1999), 73–78.
B. Polster, A geometrical picture book. Springer, New York, 1998.
M. Prażmowska, A proof of the projective Desargues axiom in the Desarguesian affine plane. Demonstratio Math. 37 (2004), 921–924.
K. Prażmowski, On affine localisations of minor Desargues axiom and related affine axioms. Bull. Pol. Acad. Sci. Math. 36 (1988), 571–581.
S. Prieß-Crampe, Angeordnete Strukturen. Gruppen, Körper, projektive Ebenen. Springer-Verlag, Berlin, 1983.
E. Quaisser, Metrische Relationen in affinen Ebenen. Math. Nachr. 48 (1971), 1–31.
E. Quaisser, Zum Aufbau affiner Ebenen aus dem Spiegelungsbegriff. Z. Math. Logik Grundlag. Math. 27 (1981), 131–140.
E. Quaisser, Zum Stufenaufbau von Translationsebenen in spiegelungsgeometrischer Darstellung. Z. Math. Logik Grundlag. Math. 34 (1988), 89–95.
E. Quaisser, Zu einer Orthogonalitätsrelation in Desarguesschen Ebenen (der Charakteristik ≠ 2). Beitr. Algebra Geom. 4 (1975), 71–84.
P. Rachevsky, Sur l’unicité de la géométrie projective dans le plan. Rec. Math. Moscou (Nouv. Sér.) 8 (1940), 107–119.
W. Rautenberg, Ein Beweis des Satzes von Pappus-Pascal in der affinen Geometrie. Math.-Phys. Semesterber. 12 (1965), 197–210.
W. Rautenberg, Beweis des Kommutativgesetzes in elementar-archimedisch geordneten Gruppen. Z. Math. Logik Grundlag. Math. 11 (1965), 1–4.
W. Rautenberg, Elementare Schemata nichtelementarer Axiome. Z. Math. Logik Grundlag. Math. 13 (1967), 329–366.
W. Rautenberg, The elementary Archimedean schema in geometry and some of its applications. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 16 (1968), 837–843.
W. Rautenberg, Euklidische und Minkowskische Orthogonalitätsrelationen. Fund. Math. 64 (1969), 189–196.
W. Rautenberg, E. Quaisser, Orthogonalitätsrelationen in der affinen Geometrie. Z. Math. Logik Grundlag. Math. 15 (1969), 19–24.
K. Reich, Der Desarguessche und der Pascalsche Satz: Hessenbergs Beitrag zu Hilberts Grundlagen der Geometrie. H. Hecht et al.(eds.), Kosmos und Zahl. Beiträge zur Mathematik- und Astronomiegeschichte, zu Alexander von Humboldt und Leibniz, pp. 377–393, Franz Steiner Verlag, Stuttgart, 2008.
K. Reidemeister, Topologische Fragen der Differentialgeometrie V. Gewebe und Gruppen. Math. Z. 29 (1928), 427–435.
K. Reidemeister, Vorlesungen über Grundlagen der Geometrie. J. Springer, Berlin, 1930.
J. F. Rigby, Collineations, correlations, polarities, and conics. Canad. J. Math. 19 (1967) 1027–1041.
J. F. Rigby, Pascal ovals in projective planes. Canad. J. Math. 21 (1969), 1462–1476.
L. H. Rowen, Polynomial identities in ring theory. Academic Press, New York-London, 1980.
A. Saam, Ein neuer Schließungssatz für projektive Ebenen. J. Geom. 29 (1987), 36–42.
A. Saam, Schließungssätze als Eigenschaften von Projektivitäten. J. Geom. 32 (1988), 86–130.
A. Schleiermacher, Bemerkungen zum Fundamentalsatz der projektiven Geometrie. Math. Z. 99 (1967) 299–304.
A. Schleiermacher, Über projektive Ebenen, in denen jede Projektivität mit sechs Fixpunkten die Identität ist. Math. Z. 123 (1971), 325–339.
A. Schmidt, Die Dualität von Inzidenz und Senkrechtstehen in der absoluten Geometrie, Math. Ann. 118 (1943), 609–625.
D. Schor, Neuer Beweis eines Satzes aus den ,,Grundlagen der Geometrie” von Hilbert. Math. Ann. 58 (1904), 427–433.
K. Schütte, Ein Schließungssatz für Inzidenz und Orthogonalität. Math. Ann. 129 (1955), 424–430.
K. Schütte, Die Winkelmetrik in der affin-orthogonalen Ebene. Math. Ann. 130 (1955), 183–195.
K. Schütte, Schließungssätze für orthogonale Abbildungen euklidischer Ebenen. Math. Ann. 132 (1956), 106–120.
F. Schur, Über den Fundamentalsatz der projectiven Geometrie, Math. Ann. 51 (1899), 401–409.
W. Schwabhäuser. W. Szmielew, A. Tarski, Metamathematische Methoden in der Geometrie. Springer-Verlag, Berlin, 1983 (re-issued by ISHI Press, New York, 2011).
W. Schwan, Streckenrechnung und Gruppentheorie. Math. Z. 3 (1919), 11–28.
B. Segre, Lectures on modern geometry. With an appendix by Lucio Lombardo-Radice. Edizioni Cremonese, Roma 1961.
A. Seidenberg, Pappus implies Desargues. Amer. Math. Monthly 83 (1976), 190–192.
H. L. Skala, Projective-type axioms for the hyperbolic plane, Geom. Dedicata 44 (1992), 255–272.
L. A. Skornyakov, Right-alternative fields. (Russian) Izvestiya Akad. Nauk SSSR. Ser. Mat. 15, (1951). 177–184.
L. A. Skornyakov, On the theory of alternative fields. (Russian) Uspehi Matem. Nauk (N.S.) 5 (1950), no. 5(39), 160–162.
L. A. Skornyakov, Alternative fields. (Russian) Ukrain. Mat. Žurnal 2 (1950), no. 1, 70–85.
L. A. Skornyakov, Alternative fields of characteristic 2 and 3. (Russian) Ukrain. Mat. Žurnal 2 (1950), no. 3, 94–99.
L. A. Skornyakov, The configuration D 9. (Russian) Mat. Sbornik (N.S.) 30(72) (1952), 73–78.
L. A. Skornyakov, Concerning the note “On the theory of alternative fields.” (Russian) Uspehi Matem. Nauk (N.S.) 9 (1954), no. 2(60), 185–188.
L. J. Smid, Über die Einführung der idealen Elemente in die ebene Geometrie mit Hilfe des Satzes vom vollständigen Vierseit. Math. Ann. 111 (1935), 285–288.
L. J. Smid, Eine absolute Axiomatik der Geometrie in einer begrenzten Ebene. Math. Ann. 112 (1935), 125–138.
K. Sörensen, Ebenen mit Kongruenz. J. Geom. 22 (1984), 15–30.
E. Sperner, Zur Begründung der Geometrie im begrenzten Ebenenstück. Schr. Königsberger Gel. Ges. Naturw. Kl. 14 (1938), Nr. 6, 121–143 = Max Niemeyer, Halle a. S., 1938.
E. Sperner, Ein gruppentheoretischer Beweis des Satzes von Desargues in der absoluten Axiomatik. Arch. Math. (Basel) 5 (1954), 458–468.
K. Strambach, Projektive Ebenen und Kegelschnitte. Arch. Math. (Basel) 64 (1995), 170–184.
H. Struve, Eine spiegelungsgeometrische Kennzeichnung der Desargues- und der Pappus-Konfiguration. Arch. Math. (Basel) 43 (1984), 89–96.
H. Struve, Affine Ebenen mit Orthogonalitätsrelation. Z. Math. Logik Grundlag. Math. 30 (1984), 223–231.
H. Struve, R. Struve, The Desargues configuration and inversive geometry. Beitr. Algebra Geom. 23 (1986), 15–25.
H. Struve, R. Struve, Endliche Cayley–Kleinsche Geometrien. Arch. Math. (Basel) 48 (1987), 178–184.
R. Struve, An axiomatic foundation of Cayley–Klein geometries. J. Geom. 107 (2016), 225–248.
Z. Szilasi, Notes on the Cevian nest property and the Newton property of projective planes. Elem. Math. 66 (2011), 1–10.
W. Szmielew, From affine to Euclidean geometry. An axiomatic approach. D. Reidel, Dordrecht; PWN-Polish Scientific Publishers, Warszawa, 1983.
H. Tecklenburg, A proof of the theorem of Pappus in finite Desarguesian affine planes. J. Geom. 30 (1987), 172–181.
K. Tent, Sharply 3-transitive groups. Adv. Math. 286 (2016), 722–728.
A. C. Thompson, Minkowski geometry. Cambridge University Press. Cambridge, 1996.
G. Thomsen, Un teorema topologico sulle schiere di curve e una caratterizzazione geometrica delle superficie isotermo-asintotiche. Boll. Un. Mat. Ital. 6 (1927), 80–85.
G. Thomsen, Topologische Fragen der Differentialgeometrie. XII: Schnittpunktssätze in ebenen Geweben. Abh. Math. Semin. Hamb. Univ. 7 (1929), 99–106.
J. Tits, Généralisations des groupes projectifs. Acad. Roy. Belgique. Bull. Cl. Sci. (5) 35 (1949), 197–208.
J. Tits, Généralisations des groupes projectifs. II. Acad. Roy. Belgique. Bull. Cl. Sci. (5) 35 (1949), 224–233.
J. Tits, Généralisations des groupes projectifs basées sur leurs propriétés de transitivité. Acad. Roy. Belgique. Cl. Sci. Mém. Coll. in 8 ∘ 27 (1952). no. 2.
O. Veblen, J. H. Maclagan-Wedderburn, Non-Desarguesian and non-Pascalian geometries. Trans. Amer. Math. Soc. 8 (1907), 379–388.
J.-D. Voelke, Le théorème fondamental de la géométrie projective: évolution de sa preuve entre 1847 et 1900. Arch. Hist. Exact Sci. 62 (2008), 243–296 .
W. Wagner, Über die Grundlagen der projektiven Geometrie und allgemeine Zahlensysteme. Math. Ann. 113 (1937), 528–567.
A. Wald, Axiomatik des Zwischenbegriffes in metrischen Räumen, Math. Ann. 104 (1931), 476–484.
G. Weiß, Fano’sche Moufang-Ebenen mit Gauss-Figur sind Pappos’sch. J. Geom. 17 (1981), 46–49.
H. Wiener, Über Grundlagen und Aufbau der Geometrie. Jahresber. Dtsch. Math.-Ver. 1 (1890–1891), 45–48.
H. Wiener, Sechs Abhandlungen über das Rechnen mit Spiegelungen, nebst Anwendungen auf die Geometrie der Bewegungen und auf die projective Geometrie. Breitkopf & Härtel, Leipzig, 1893.
L. Włodarski, On the Pappus, Desargues and related theorems of affine geometry. Bull. Acad. Polon. Sci. Sér. Sci. Math. 27 (1979), 869–873.
H. Zassenhaus, Kennzeichnung endlicher linearer Gruppen als Permutationsgruppen. Abh. Math. Semin. Hamb. Univ. 11 (1935), 17–40.
H. Zassenhaus, Über endliche Fastkörper. Abh. Math. Semin. Hamb. Univ. 11 (1935), 187–220.
H.-G. Zimmer, Bemerkungen zum Trapezdesargues. Math. Ann. 135 (1958), 274–278.
H.-G. Zimmer, Über Quadrate der affinen Rechtwinkelgeometrie. Math. Ann. 135 (1958), 340–351.
M. Zorn, Theorie der alternativen Ringe. Abh. Math. Semin. Hamb. Univ. 8 (1930), 123–147.
M. Zorn, Alternativkörper und quadratische Systeme. Abh. Math. Semin. Hamb. Univ. 9 (1933), 395–402.
Acknowledgements
Thanks are due to Hans Havlicek, Horst and Rolf Struve, and the referee for their very valuable suggestions and corrections. The second author was nominally supported by an NCUIRE Fellowship of the New College of Interdisciplinary Arts and Sciences at the West campus of Arizona State University.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Pambuccian, V., Schacht, C. (2019). The Axiomatic Destiny of the Theorems of Pappus and Desargues. In: Dani, S.G., Papadopoulos, A. (eds) Geometry in History. Springer, Cham. https://doi.org/10.1007/978-3-030-13609-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-13609-3_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-13608-6
Online ISBN: 978-3-030-13609-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)