Prosopographical Index of Persons

Geometers, Algebraists & Philosophers of the Projective and Axiomatic Tradition

Karl Georg Christian von Staudt (1798–1867)

Professor of Mathematics at the University of Erlangen (1835–1867); student of Carl Friedrich Gauss at Göttingen. In Geometrie der Lage (1847) and Beiträge zur Geometrie der Lage (1856–1860), he emancipated projective geometry from metrical length and numerical cross-ratio, defining harmonic tetrads, projectivities, conics, imaginary elements, and projective coordinates (Rechnung mit Würfen) purely through incidence and separation.

Moritz Pasch (1843–1930)

Professor of Mathematics at the University of Giessen. In Vorlesungen über neuere Geometrie (1882), he uncovered the unstated order hypotheses of classical and projective geometry, axiomatized linear betweenness and planar triangle separation (Pasch's Axiom), constructed ideal projective sheaves intrinsically from proper segments and planes, and articulated the modern hypothetico-deductive criterion of formal proof (§ 12, p. 98).

Euclid of Alexandria (fl. c. 300 BCE)

Author of the Elements, whose tacit reliance on diagram-based linear betweenness and planar crossbar intersections (notably in I.16 and I.21) was first diagnosed and deductively closed by Moritz Pasch.

Pappus of Alexandria (c. 290–c. 350 CE)

Author of the Synagoge, Book VII of which preserved the invariance of collinear four-point cross-ratios and the Hexagon Theorem (VII.139), which in von Staudt’s Algebra of Throws becomes the geometric law of multiplicative commutativity ($X \cdot Y = Y \cdot X$).

Girard Desargues (1591–1661)

French architect and projective pioneer (Brouillon project, 1639), whose Two-Triangle Theorem guarantees that von Staudt’s complete-quadrangle harmonic fourth depends solely on the three collinear base points and that projective addition and multiplication form a division ring.

Blaise Pascal (1623–1662)

Discoverer of the Hexagrammum Mysticum (1640) on hexagons inscribed in a conic, deduced synthetically without coordinates in von Staudt’s theory of planar polar systems and order curves (1847 § 19).

Charles Julien Brianchon (1783–1864)

Formulator of Brianchon’s Theorem (1806) on hexagons circumscribed about a conic, paired with Pascal’s Theorem through projective reciprocity.

Jean-Victor Poncelet (1788–1867)

Author of the Traité des propriétés projectives des figures (1822), who revived synthetic projective geometry, ideal elements, and pole–polar duality.

August Ferdinand Möbius (1790–1868)

Author of Der barycentrische Calcul (1827), originator of barycentric coordinates and the rational projective net (Möbiussches Netz) generated by iterated quadrangle constructions.

Jakob Steiner (1796–1863)

Swiss geometer at Berlin (1832, 1833) who generated conics from projective pencils and proved straightedge-only parallel constructions, yet retained metrical anharmonic ratios where von Staudt demanded pure incidence.

Michel Chasles (1793–1880)

French geometer who codified the signed metrical cross-ratio (rapport anharmonique) and homographic correspondences.

Felix Klein (1849–1925)

Author of the Erlangen Program and two landmark memoirs on non-Euclidean geometry (1871, 1873), who grounded Cayley’s projective metrics on von Staudt’s coordinates while pointing out the continuity gap later addressed by Darboux and Pasch.

Jean-Gaston Darboux (1842–1917)

French analyst and geometer who proved (1880) that over $\mathbb{R}$ every harmonic-preserving bijection is continuous and projective, vindicating von Staudt’s Fundamental Theorem over the real continuum.

David Hilbert (1862–1943)

Author of Grundlagen der Geometrie (1899), who adopted Pasch’s planar separation postulate as Axiom II 4 and adapted von Staudt’s Algebra of Throws into his Chapter III Streckenrechnung.

Bertrand Russell (1872–1970)

British philosopher and logician whose Essay on the Foundations of Geometry (1897) and Principles of Mathematics (1903) critically examined von Staudt’s quadrangle construction and Pasch’s descriptive order axioms.

Giovanni Vailati (1863–1909)

Italian logician of the Peano school (1895) who axiomatized cyclical separation of point pairs on closed projective lines.

Oswald Veblen (1880–1960)

American geometer who with J. W. Young (1910) recast von Staudt’s Algebra of Throws as the modern Algebra of Points over arbitrary division rings and fields.

Peter Hubert Jacob Hoenen, S.J. (1880–1961)

Author of De Noetica Geometriae (1954), analyzing Pasch’s Stammsätze and formalist deduction from the standpoint of Aristotelian-Thomistic epistemology.

Alfred Tarski (1901–1983)

Polish-American logician (1959) whose first-order elementary geometry distills planar order into the inner/outer five-point Pasch axiom.