Index of Persons

Prosopographical Registry of Mathematicians & Philosophers

Archimedes of Syracuse (c. 287 – c. 212 BC) — Ancient Greek Mathematician, Physicist & Engineer

Formulated in On the Sphere and Cylinder the lemma of comparability of magnitudes (earlier attributed by him to Eudoxus of Cnidus) that Hilbert canonizes in § 8 as Group V: the Axiom of Archimedes (Archimedisches Axiom). Much of Hilbert’s Grundlagen (Chapters III–VI) investigates how far Euclidean proportion, area, and projective algebra reach when Archimedes’s Axiom is deliberately suspended.

Aristotle (384 – 322 BC) — Ancient Greek Philosopher (Author of the Posterior Analytics)

Codified the classical theory of demonstrative science (episteme) in the Posterior Analytics, distinguishing indemonstrable true principles grasped by intellectual insight (nous) from syllogistic conclusions. In De Noetica Geometriae (Caput V § 1), Peter Hoenen contrasts Aristotle’s truth-grounded axiomatics with Hilbert’s purely formal hypothetico-deductive method.

János Bolyai (1802 – 1860) — Hungarian Mathematician & Co-Discoverer of Hyperbolic Geometry

Published the Appendix scientiam spatii absolute veram exhibens (1832), establishing absolute and hyperbolic geometry independently of Lobachevsky. Hilbert’s § 10 model proves the consistency and independence of Bolyai–Lobachevsky geometry relative to real arithmetic.

Farkas Bolyai (1775 – 1856) — Hungarian Mathematician & Friend of Gauss

Father of János Bolyai; proved (independently of Paul Gerwien, 1833) that any two Euclidean polygons of equal area are equidecomposable into finitely many congruent triangles—a theorem Hilbert shows in Chapter IV (§ 21, Theorem 31) depends essentially upon the Axiom of Archimedes.

Georg Cantor (1845 – 1918) — German Mathematician & Creator of Transfinite Set Theory

Pioneered the rigorous theory of real numbers, point-sets, and continuity. Hilbert aligns his Group V Continuity investigations (§ 8, Axiom of Completeness) with Dedekind’s and Cantor’s arithmetic characterization of the linear continuum.

Antonio De Zolt (1847 – 1926) — Italian Mathematician

Highlighted in Principii della eguaglianza di poligoni (1881) that Euclid’s Common Notion 5 (‘The whole is greater than the part’) requires geometric proof for polygonal dissection: a polygon cannot be equidecomposable with a proper sub-polygon. Hilbert proves De Zolt’s postulate without Archimedes’s Axiom in § 20 (Theorem 30) via signed triangle area.

Max Dehn (1878 – 1952) — German-American Mathematician & Student of Hilbert

Under Hilbert’s supervision in Göttingen (1899–1900), investigated non-Legendrian and non-Archimedean geometries and became the first mathematician to solve one of Hilbert’s 23 Paris Problems (Problem 3, 1900), proving via the Dehn invariant that two tetrahedra of equal base and altitude need not be equidecomposable or equicomplementable—cited by Hilbert in the 1900/1902 Conclusion.

Girard Desargues (1591 – 1661) — French Mathematician, Architect & Founder of Projective Geometry

Discovered the perspective-triangle theorem bearing his name (published by Abraham Bosse, 1648). In Chapter V (§§ 22–30), Hilbert proves that Desargues’s Theorem is the exact necessary and sufficient condition for a planar incidence-order-parallel geometry to be embeddable in 3-space and coordinatizable over an associative skew-field.

René Descartes (1596 – 1650) — French Philosopher & Mathematician

Introduced segment multiplication via parallel lines in La Géométrie (1637)—the direct ancestor of Hilbert’s purely geometric Streckenrechnung in § 15 and § 24, where Descartes’s construction is freed from metric continuity.

Euclid of Alexandria (fl. c. 300 BC) — Ancient Greek Geometer (Author of the Elements)

Author of the Stoicheia (Elements), whose definitions, five postulates, and common notions stood for over two millennia as the paradigm of deductive rigor. Hilbert’s Grundlagen der Geometrie reconstructs Euclid’s entire edifice while supplying its missing order, continuity, and congruence axioms and isolating the algebraic content of Books I, V, VI, and XI.

Eudoxus of Cnidus (c. 408 – c. 355 BC) — Ancient Greek Mathematician & Astronomer

Created the classical theory of proportion for commensurable and incommensurable magnitudes in Book V of Euclid’s Elements (V.Def.4–5). In Chapter III (§§ 13–17), Hilbert bypasses Eudoxus’s Archimedean definition entirely by deriving proportion from planar congruence and Pappus’s (Pascal’s) Hexagon Theorem.

Gottlob Frege (1848 – 1925) — German Mathematician, Logician & Philosopher

Engaged Hilbert in the famous 1899–1900 Frege–Hilbert correspondence immediately following publication of the Grundlagen, challenging Hilbert’s doctrine that axioms serve as ‘implicit definitions’ of primitive terms rather than assertions about antecedently known concepts.

Hans Freudenthal (1905 – 1990) — German-Dutch Mathematician & Historian of Geometry

Author of classic essays on the history of geometric foundations (‘Zur Geschichte der Grundlagen der Geometrie’, 1957, celebrating Hilbert’s Festschrift); cited by Peter Hoenen in Caput V § 1.3 as representative of ‘semi-axiomatics’ grounded in pre-geometry.

Carl Friedrich Gauss (1777 – 1855) — German Mathematician, Astronomer & Physicist

Göttingen’s Princeps Mathematicorum, who privately discovered non-Euclidean hyperbolic geometry and characterized ruler-and-compass constructible regular polygons via Fermat primes. Hilbert’s Grundlagen der Geometrie was written as the mathematical centerpiece of the June 1899 Festschrift unveiling the Gauss–Weber Monument in Göttingen.

Godfrey Harold Hardy (1877 – 1947) — British Mathematician

In his landmark 1929 Mind lecture ‘Mathematical Proof’, analyzed Hilbert’s metamathematics and wrote—in a passage quoted and endorsed by Peter Hoenen (Caput V § 3.2.B)—that ‘if Hilbert’s axioms are to mean anything to us, we must draw figures’ and grasp the spatial order of symbols intuitively.

Sir Thomas Little Heath (1861 – 1940) — British Historian of Ancient Greek Mathematics & Translator of Euclid

Author of the definitive three-volume English edition of The Thirteen Books of Euclid’s Elements (1908; 2nd ed. 1926). Heath repeatedly integrates Hilbert’s Grundlagen into his commentary—most notably on Postulate 4 (p. 200), Common Notion 4 (pp. 228–230), I.1 (p. 242), I.4 (pp. 249–250), and I.35 (p. 328).

Hermann von Helmholtz (1821 – 1894) — German Physicist, Physiologist & Philosopher of Science

Initiated the group-theoretic characterization of space (‘Über die Thatsachen, die der Geometrie zum Grunde liegen’, 1868) through free mobility of rigid bodies—refined by Sophus Lie and re-examined topologically by Hilbert in the 1902 Appendix.

David Hilbert (1862 – 1943) — German Mathematician & Professor at Göttingen

Delivered his Göttingen lectures on the elements of Euclidean geometry in winter 1898–1899 and published Grundlagen der Geometrie in June 1899 for the unveiling of the Gauss–Weber Monument, inaugurating modern axiomatics, model-theoretic independence proofs, geometric algebra (Streckenrechnung), and metamathematics.

Petrus Hubertus Jacobus Hoenen, S.J. (1880 – 1961) — Dutch Jesuit Philosopher of Science & Professor at the Gregorian University

Author of De Noetica Geometriae: Origine Theoriae Cognitionis (1954), which conducts a sustained philosophical and textual critique of Hilbert’s Grundlagen der Geometrie (Caput I, Caput IV, Caput V), arguing that formal axiomatics presupposes intuitive abstraction of intelligible extension (materia intelligibilis) and spatial symbol order.

Camille Jordan (1838 – 1922) — French Mathematician

Formulated the Jordan curve theorem in his Cours d’analyse (1887/1893). In § 4 (Theorem 6), Hilbert proves the polygonal separation theorem purely from the planar incidence and order axioms I 1–2 and II 1–5 without metric or topological limits.

Immanuel Kant (1724 – 1804) — German Philosopher (Author of the Critique of Pure Reason)

Hilbert places Kant’s dictum from the Critique of Pure Reason (A 702 / B 730)—‘All human knowledge begins with intuitions, thence passes to concepts and ends with ideas’—as the epigraph of the Grundlagen, signaling the progression from spatial intuition (Anschauung) through axiomatic concepts (Begriffe) to metamathematical completeness and purity of method (Ideen).

Wilhelm Killing (1847 – 1923) — German Mathematician

Co-architect of Lie algebra classification and author of Einführung in die Grundlagen der Geometrie (2 vols., 1893–1898), examining non-Euclidean, non-Archimedean, and group-theoretic space forms immediately prior to Hilbert’s 1899 treatise.

Felix Klein (1849 – 1925) — German Mathematician & Colleague of Hilbert at Göttingen

Author of the Erlangen Program (1872) and projective Cayley–Klein models of non-Euclidean geometry (1871–1873), which inspired Hilbert’s analytic independence models in Chapter II and non-Desarguesian/non-Pascalian geometries in Chapters V–VI.

Joseph-Louis Lagrange (1736 – 1813) — Italian-French Mathematician & Mechanician

Proved in 1770 that every positive integer (and hence every positive rational number) is a sum of four squares—invoked by Hilbert in § 38 to prove that totally positive rational and quadratic expressions are sums of squares constructible with the segment-transferer.

Léonce Laugel (1848 – c. 1920) — French Mathematical Translator

Translated Hilbert’s treatise into French as Les principes fondamentaux de la géométrie (Gauthier-Villars, Paris, 1900), incorporating Hilbert’s first additions—notably the Axiom of Completeness (Vollständigkeit) and Max Dehn’s polyhedral theorem—from which E. J. Townsend drew for the 1902 English edition.

Sophus Lie (1842 – 1899) — Norwegian Mathematician & Creator of Continuous Transformation Groups

Solved the Riemann–Helmholtz space problem via differentiable transformation groups (Theorie der Transformationsgruppen, Vol. III, 1893). In his 1902 Mathematische Annalen memoir—summarized by Townsend in the Appendix—Hilbert eliminated Lie’s differentiability assumptions using Jordan curves and topological group axioms (foreshadowing Hilbert’s Fifth Problem).

Nikolai Ivanovich Lobachevsky (1792 – 1856) — Russian Mathematician & Pioneer of Hyperbolic Geometry

Published the first public treatises on hyperbolic (‘imaginary’) geometry (1829–1840) denying Euclid’s Fifth Postulate; honored alongside Bolyai and Gauss in Hilbert’s § 10 independence proof for Axiom III.

Hermann Minkowski (1864 – 1909) — German Mathematician & Lifelong Collaborator of Hilbert

Creator of the geometry of numbers and Minkowski spacetime; reviewed and discussed early drafts of Hilbert’s 1899 Festschrift and explored convex metrics closely related to Hilbert’s § 11 counterexample to SAS congruence.

Eliakim Hastings Moore (1862 – 1932) — American Mathematician & Head of Mathematics at Chicago

Proved in ‘On the Projective Axioms of Geometry’ (Transactions of the AMS, Jan. 1902) that Hilbert’s 1899 linear order Axiom II 4 is deducible from the planar incidence axioms and Pasch’s Axiom II 5—prompting Hilbert to convert II 4 into Theorem 5 in subsequent German editions (a point highlighted by Hoenen in Caput V § 3.2.A).

Pappus of Alexandria (c. 290 – c. 350 AD) — Late Antique Greek Geometer (Author of the Mathematical Collection / Synagoge)

Proved in Synagoge Book VII, Propositions 138–139, the collinearity/parallelism theorem for hexagons inscribed between two straight lines—known in modern projective geometry as Pappus’s Hexagon Theorem and called by Hilbert ‘Pascal’s Theorem’ (der Pascalsche Satz, degenerate conic case). Hilbert’s Chapters III and VI reveal Pappus’s Theorem to be the exact geometric equivalent of commutative multiplication ab = ba.

Blaise Pascal (1623 – 1662) — French Mathematician, Physicist & Philosopher

Discovered at age sixteen the mystic hexagram theorem for conics (Essai pour les coniques, 1640). Following Hermann Wiener and Friedrich Schur, Hilbert calls the degenerate case of a hexagon inscribed in two intersecting lines ‘Pascal’s Theorem’ (Pascalscher Satz, historically Pappus’s Hexagon Theorem, §§ 14 & 31–35).

Moritz Pasch (1843 – 1930) — German Mathematician & Pioneer of Empirical-Deductive Axiomatics

In Vorlesungen über neuere Geometrie (1882), gave the first rigorous axiomatization of projective/descriptive order and formulated the planar triangle-piercing axiom immortalized by Hilbert in § 3 as Axiom II 5 (‘Pasch’s Axiom’).

Giuseppe Peano (1858 – 1932) — Italian Mathematician & Symbolic Logician

Axiomatized arithmetic and geometric order in I principii di geometria logicamente esposti (1889) and Grundzüge des geometrischen Calculs (1891), developing symbolic axiomatics in parallel with Pasch, Pieri, and Hilbert.

Mario Pieri (1860 – 1913) — Italian Geometer of the Peano School

Published Della geometria elementare come sistema ipotetico deduttivo (1899) simultaneously with Hilbert’s Grundlagen, axiomatizing Euclidean geometry from just two primitives (‘point’ and ‘motion’).

Henri Poincaré (1854 – 1912) — French Mathematician, Theoretical Physicist & Philosopher of Science

Wrote an influential 1902 review of Hilbert’s Grundlagen der Geometrie in the Bulletin des sciences mathématiques, praising Hilbert’s non-Desarguesian and non-Pascalian models while debating the role of arithmetic induction and geometric convention.

Jean-Victor Poncelet (1788 – 1867) — French Geometer & Engineer

Conjectured in Traité des propriétés projectives des figures (1822) that all straightedge-and-compass constructions can be performed with a straightedge alone once a single circle and its center are drawn—sharpened by Jakob Steiner (1833) and analyzed axiomatically by Hilbert in Chapter VII (§§ 36–39).

Proclus Lycius (Diadochus) (412 – 485 AD) — Neoplatonic Philosopher & Commentator on Euclid Book I

Preserved the ancient history of Greek geometry and scrutinized Euclid’s Fourth and Fifth Postulates—anticipating both Hilbert’s Theorem 15 (proving Postulate 4 on right angles) and the independence of Postulate 5.

Bernhard Riemann (1826 – 1866) — German Mathematician & Successor to Gauss at Göttingen

Revolutionized geometry in his 1854 Göttingen Habilitationsvortrag ‘Über die Hypothesen, welche der Geometrie zu Grunde liegen’, grounding geometry in differential manifolds and metric tensors.

Bertrand Russell (1872 – 1970) — British Philosopher, Logician & Mathematician

Analyzed Euclid’s superposition fallacy in The Principles of Mathematics (1903, p. 405), quoted by T. L. Heath on Euclid I.4 alongside Hilbert’s axiomatic resolution via Congruence Axiom IV 6.

Hans von Schaper (1874 – c. 1940) — German Mathematician & Göttingen Student of Hilbert

Obtained his Göttingen doctorate under Hilbert (1898) and worked out detailed geometric constructions for Hilbert’s Chapter VII (§ 36 footnote), showing how elementary problems are executed with straightedge and segment-transferer (Streckenübertrager).

Friedrich Schur (1856 – 1932) — German Geometer

Proved in ‘Über den Fundamentalsatz der projectiven Geometrie’ (Mathematische Annalen, Bd. 51, 1898) that Pappus’s/Pascal’s Theorem can be deduced in 3D projective space using congruence without Archimedes’s Axiom. Hilbert credits Schur in § 14 while discovering a simpler purely planar proof.

Julius Sommer (1871 – 1943) — German Mathematician & Colleague at Göttingen

Constructed an alternative spatial model demonstrating the independence of Congruence Axiom IV 6 without altering Euclidean distance formulas on lines, cited by Hilbert in § 11 and reviewed in Bulletin of the AMS (1900).

Jakob Steiner (1796 – 1863) — Swiss-German Synthetic Geometer

Proved in Die geometrischen Constructionen, ausgeführt mittelst der geraden Linie und eines festen Kreises (1833) that a straightedge and one fixed circle with known center suffice for all ruler-and-compass constructions; Hilbert determines in § 39 (Theorem 44) exactly how many circles/compass steps are needed when only a segment-transferer is available.

Otto Stolz (1842 – 1905) — Austrian Mathematician

Investigated non-Archimedean magnitudes (1883, prior to Veronese) and published ‘Die ebenen Vielecke und die Winkel mit Einschluss der Berührungswinkel als Systeme von absoluten Grössen’ (Monatshefte für Mathematik und Physik, 1894), cited by Hilbert in §§ 12 and 18 on Archimedes’s Axiom and polygonal area.

Edgar Jerome Townsend (1864 – 1955) — American Mathematician & Authorized English Translator of Hilbert

Earned his Ph.D. under David Hilbert at Göttingen in 1900 (Über den Begriff und die Anwendung des Doppellimes) before serving as Professor and Dean at the University of Illinois; prepared the authorized 1902 English edition The Foundations of Geometry (Open Court, Chicago), incorporating Hilbert’s 1900 additions and an Appendix on Lie groups.

Giuseppe Veronese (1854 – 1917) — Italian Geometer & Pioneer of Non-Archimedean Geometry

Constructed the first synthetic non-Archimedean geometries with actual infinitesimals and infinite segments in Fondamenti di geometria (1891; German trans. Grundzüge der Geometrie, 1894), cited by Hilbert in § 12 alongside Hilbert’s far simpler algebraic field Ω(t).

Wilhelm Eduard Weber (1804 – 1891) — German Physicist & Collaborator of Gauss at Göttingen

Co-inventor with Carl Friedrich Gauss of the electromagnetic telegraph (1833) and member of the ‘Göttingen Seven’. The unveiling of the Gauss–Weber Monument in Göttingen on June 17, 1899 was the occasion for which Hilbert wrote Grundlagen der Geometrie.

Hermann Wiener (1857 – 1939) — German Geometer

Delivered a seminal 1891 Halle lecture (‘Weiteres über Grundlagen und Aufbau der Geometrie’, Jahresbericht der DMV, Bd. 1 & 3) proposing that Desargues’s and Pascal’s (Pappus’s) theorems serve as purely incidence-based axioms replacing continuity in projective geometry—inspiring Hilbert’s Chapters III, V, and VI as well as Hilbert’s legendary remark on ‘tables, chairs, and beer mugs’.