Index of Persons

Prosopographical Registry of Geometers, Physicists, and Philosophers

Jules Henri Poincaré (1854–1912)

Role: French mathematician, theoretical physicist, celestial mechanician, and philosopher of science; creator of the conformal hyperbolic disk/half-plane models and geometric conventionalism

Educated at the École Polytechnique and École des Mines, Poincaré discovered Fuchsian and Kleinian automorphic functions in 1880–1882 by identifying the unit disk and upper half-plane with Lobachevsky’s hyperbolic plane, inaugurated Analysis Situs (algebraic topology, 1895), debated metric apriority and logicism with Bertrand Russell (1898–1900), and synthesized his philosophy of arithmetic, geometry, mechanics, and physics in La Science et l’Hypothèse (Paris: Flammarion, 1902).

Nikolai Ivanovich Lobachevsky (1792–1856)

Role: Russian geometer and rector of Kazan University; co-discoverer of hyperbolic geometry

Replacing Euclid’s Fifth Postulate with the axiom that through a point outside a line pass at least two parallels, Lobachevsky developed a complete, self-consistent ‘Imaginary Geometry’ (1829–1840) in which the angle sum of every triangle is strictly less than two right angles and angular defect is proportional to area.

János Bolyai (1802–1860)

Role: Hungarian mathematician and military engineer; independent co-discoverer of absolute and hyperbolic geometry

Published the Appendix scientiam spatii absolute veram exhibens (1832) in his father Farkas Bolyai’s Tentamen, distinguishing theorems valid independently of Postulate V (‘absolute science of space’) from hyperbolic theorems depending on an undetermined curvature parameter.

Georg Friedrich Bernhard Riemann (1826–1866)

Role: German mathematician; founder of Riemannian differential geometry and spherical/elliptic non-Euclidean geometry

In his 1854 Göttingen Habilitationsvortrag (‘Über die Hypothesen, welche der Geometrie zu Grunde liegen’, published 1867), Riemann distinguished unboundedness from infinitude, introduced n-dimensional manifolds with quadratic metric ds², and showed that abandoning the infinitude of the straight line yields constant-positive-curvature geometry where triangle angle sums exceed π.

Eugenio Beltrami (1835–1900)

Role: Italian mathematician; pioneer of Euclidean models and relative-consistency proofs for non-Euclidean geometry

In Saggio di interpretazione della geometria non-euclidea (1868) and Teoria fondamentale degli spazii di curvatura costante (1868), Beltrami modeled fragments of the Lobachevskian plane on the pseudosphere and mapped the entire hyperbolic plane onto the interior of a Euclidean disk via straight projective chords.

Felix Christian Klein (1849–1925)

Role: German mathematician; author of the Erlanger Programm (1872) and architect of Cayley–Klein projective metrics

Showed in Über die sogenannte Nicht-Euklidische Geometrie (1871–1873) that elliptic, parabolic (Euclidean), and hyperbolic geometries all arise inside projective geometry relative to an absolute conic via Arthur Cayley’s cross-ratio metric, and defined geometry as the invariant theory of a transformation group.

Marius Sophus Lie (1842–1899)

Role: Norwegian mathematician; creator of the theory of continuous transformation groups (Lie groups)

Collaborating closely with Felix Klein in Paris and Berlin, Lie classified all finite-dimensional continuous groups of transformations preserving free mobility in 3-space (1886–1893), proving that only constant-curvature Riemann–Helmholtz–Lie geometries satisfy the axioms of rigid displacement.

Hermann von Helmholtz (1821–1894)

Role: German physicist, physiologist, and philosopher of geometry and perception

In Über die Thatsachen, die der Geometrie zum Grunde liegen (1868), derived Riemannian quadratic metrics from physical axioms of free mobility of rigid bodies (freie Beweglichkeit starrer Körper) and analyzed visual and motor space—a program critically refined by Lie and Poincaré.

David Hilbert (1862–1943)

Role: German mathematician; author of Grundlagen der Geometrie (1899)

Axiomatized Euclidean geometry into five rigorous axiom groups (incidence, order, congruence, parallels, continuity) and constructed algebraic non-Archimedean models over ordered rational-function fields Ω(t)—explicitly praised and analyzed by Poincaré in Chapter III (‘Les Géométries de Hilbert’, pp. 63–64) and Chapter IV (p. 90).

Giuseppe Veronese (1854–1917)

Role: Italian projective geometer; pioneer of synthetic non-Archimedean geometry

In Fondamenti di geometria a più dimensioni (1891), constructed synthetic continua containing actual infinitesimals and infinite segments violating Archimedes’ axiom—cited alongside Hilbert by Poincaré in Chapter II (continuum of the third order) and Chapter III.

Bertrand Arthur William Russell (1872–1970)

Role: British philosopher, logician, and mathematician; author of An Essay on the Foundations of Geometry (1897) and Principles of Mathematics (1903)

Engaged Poincaré in a celebrated philosophical exchange across Mind (1898) and the Revue de Métaphysique et de Morale (1899–1900) over geometric conventionalism, distance vs. projective order, the definition of straight lines, and logicism versus synthetic a priori induction.

Petrus Hubertus Jacobus Hoenen, S.J. (1880–1961)

Role: Dutch Jesuit mathematical physicist and philosopher at the Pontifical Gregorian University; author of De Noetica Geometriae (1954)

Critiqued Poincaré’s geometric conventionalism and Hilbert’s pure formalism by rehabilitating Aristotelian–Thomistic abstraction in materia intelligibilis, arguing that intellectual judgment (judicium) grasps genuine nexus necessities in imagined spatial extension prior to arbitrary linguistic conventions.

Euclid of Alexandria (fl. c. 300 BCE)

Role: Alexandrian mathematician; author of the Elements

Separated his Fifth Postulate (on lines meeting when interior angles sum to less than two right angles) from Postulates I–IV and proved the first 28 propositions of Book I without invoking it, anticipating Bolyai’s ‘absolute geometry’.

Giovanni Girolamo Saccheri, S.J. (1667–1733)

Role: Italian Jesuit logician and geometer; author of Euclides ab omni naevo vindicatus (1733)

Investigated birectangular isosceles quadrilaterals (Saccheri quadrilaterals) under the Hypotheses of the Obtuse, Right, and Acute Angle, inadvertently deriving a vast body of hyperbolic geometry while attempting to refute the Acute Angle Hypothesis.

Adrien-Marie Legendre (1752–1833)

Role: French mathematician; author of Éléments de géométrie (1794)

Proved via Archimedean continuity that in neutral geometry the angle sum of a triangle cannot exceed two right angles (first Saccheri–Legendre theorem) and that if a single triangle has angle sum π, every triangle has angle sum π.

Julius Wilhelm Richard Dedekind (1831–1916)

Role: German mathematician; creator of Dedekind cuts for the real continuum

In Stetigkeit und irrationale Zahlen (1872), rigorously defined irrational numbers as partitions (Schnitte) of the ordered field of rational numbers Q—adopted and analyzed by Poincaré in Chapter II as the creative act generating the mathematical continuum.

Leopold Kronecker (1823–1891)

Role: German algebraist and number theorist; proponent of arithmetization

Cited by Poincaré in Chapter II for arithmetizing incommensurable magnitudes such as √2 via modular congruence classes Q[x]/(x^2 - 2) without appealing to geometric intuition.

Gustav Theodor Fechner (1801–1887)

Role: German experimental physicist and founder of psychophysics

Formulated Weber–Fechner differential threshold experiments (Elemente der Psychophysik, 1860) showing that weights of 10 g and 11 g, and 11 g and 12 g, can be perceptually indistinguishable while 10 g and 12 g are clearly distinguished—Poincaré’s canonical signature of the physical continuum (A = B, B = C, A < C).

Immanuel Kant (1724–1804)

Role: German philosopher; author of Kritik der reinen Vernunft (1781 / 1787)

Held that both arithmetic and Euclidean geometry consist of synthetic a priori judgments grounded in pure intuitions of time and space. Poincaré famously split Kant’s thesis in two: affirming synthetic a priori intuition for mathematical induction in arithmetic while rejecting it for Euclidean geometry in favor of conventions.

Gottfried Wilhelm Leibniz (1646–1716)

Role: German polymath, logician, and co-creator of the calculus

Discussed in Chapter I for attempting to prove ‘2 + 2 = 4’ purely analytically from definitions and the identity principle—a proof Poincaré shows achieves verification on particular numbers rather than genuine universal mathematical reasoning.

John Stuart Mill (1806–1873)

Role: British empiricist philosopher; author of A System of Logic (1843)

Critiqued by Poincaré in Chapter III for claiming that geometric definitions (such as ‘through two points passes only one straight line’) rest on empirical generalizations about observed physical objects.

John Casey (1820–1891)

Role: Irish geometer; author of A Sequel to the First Six Books of the Elements of Euclid (1881–1892)

Codified the synthetic geometry of coaxial pencils, radical axes, circle inversion, and orthogonal circles that provides the exact Euclidean toolkit underlying Poincaré’s conformal disk dictionary.

Émile Michel Hyacinthe Lemoine (1840–1912)

Role: French geometer; creator of Géométrographie (1902)

Published Géométrographie in Paris in 1902—the exact year of Poincaré’s La Science et l’Hypothèse—quantifying the ruler-and-compass simplicity of circle inversion and orthogonal-circle constructions.

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

Role: Alexandrian geometer; author of the Synagoge (Mathematical Collection)

Established projective cross-ratio invariance in Book VII of the Synagoge—the exact anharmonic invariant whose logarithm defines hyperbolic distance in Cayley–Klein and Poincaré geometry.

Norman John Wildberger (b. 1956)

Role: Canadian-Australian mathematician; creator of Rational Trigonometry, Chromogeometry, and Universal Hyperbolic Geometry

Replaced transcendental angles and hyperbolic logarithms with purely algebraic quadrance and spread over Q and arbitrary fields—realized directly in geometor.poincare via Wildberger’s rational hyperbolic quadrance q_UHG(P, Q) = -4τ/(1-τ)^2.

William John Greenstreet (1861–1930)

Role: British mathematician, editor of The Mathematical Gazette, and translator of Science and Hypothesis (1905)

Longtime editor of The Mathematical Gazette (1897–1930) who produced the 1905 British English translation of Poincaré’s Science and Hypothesis published by Walter Scott with a preface by Joseph Larmor.

George Bruce Halsted (1853–1922)

Role: American mathematician and historian of non-Euclidean geometry; translator of Bolyai, Lobachevsky, Saccheri, and Poincaré

Student of J. J. Sylvester at Johns Hopkins who translated Bolyai’s Science Absolute of Space (1891), Lobachevsky’s Geometrical Researches on the Theory of Parallels (1891), and the authorized 1905 American edition of Poincaré’s Science and Hypothesis (with a special preface written for him by Poincaré).

Sir Joseph Larmor (1857–1942)

Role: Irish physicist and Lucasian Professor of Mathematics at Cambridge

Author of Aether and Matter (1900) and contributor of the philosophical preface to the 1905 London edition of Poincaré’s Science and Hypothesis.