Persons

Geometers, logicians, type theorists, typographers, and computer scientists referenced across GEOMETOR Codes.

Euclid of Alexandria (fl. 300 BCE)

Author of the thirteen books of the Elements, the canonical deductive architecture from plane congruence to the five Platonic solids.

Aristotle of Stagira (384–322 BCE)

Formulated demonstrative science (Posterior Analytics) and the epistemic actualization of latent geometric constructions (Metaphysics \(\Theta.9\)).

Archimedes of Syracuse (c. 287–c. 212 BCE)

Master of exhaustion, mechanical quadrature, spiral loci, and barycentric centroids.

Apollonius of Perga (c. 240–c. 190 BCE)

Author of Conics, establishing symptomata, conjugate diameters, and pole–polar reciprocity across ellipses, parabolas, and hyperbolas.

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

Author of the Synagoge (Book VII Treasury of Analysis), containing the foundational projective hexagon theorem (VII.139) and harmonic cross-ratio invariance.

Proclus Diadochus (412–485 CE)

Neoplatonic commentator on Book I of Euclid’s Elements, codifying the six formal parts of every geometric proposition (protasis, ekthesis, diorismos, kataskeue, apodeixis, symperasma).

Thomas Aquinas (1225–1274)

Scholastic philosopher whose theory of materia intelligibilis and resolutio ad phantasmata grounds mathematical judgment in imaginative geometric form.

Luca Pacioli (c. 1447–1517)

Franciscan mathematician whose De Divina Proportione (1509), illustrated by Leonardo da Vinci, united Euclid’s golden ratio with polyhedral architecture.

Johannes Kepler (1571–1630)

Astronomer-geometer whose Harmonices Mundi (1619) classified constructible polygons, star polyhedra, and golden proportions.

Girard Desargues (1591–1661)

Founder of synthetic projective geometry, introducing points at infinity, involution, and perspective triangles (1639).

Blaise Pascal (1623–1662)

Discovered the Hexagrammum Mysticum (1640), proving collinearity of opposite-side intersections for any hexagon inscribed in a conic.

Philippe de La Hire (1640–1718)

Codified projective pole–polar reciprocity (Sectiones Conicae, 1685).

Leonhard Euler (1707–1783)

Discovered the collinearity and \(2:1\) distance ratio of circumcenter, centroid, and orthocenter along the Euler line (1765).

Karl Wilhelm Feuerbach (1800–1834)

Proved the Nine-Point Circle theorem and its tangency to the incircle and three excircles (1822).

Jakob Steiner (1796–1863)

Formulated the algebraic power of a point with respect to a circle (1826), coaxial circle pencils, and projective conic generation.

Hermann Günther Grassmann (1809–1877)

Created exterior algebra (Ausdehnungslehre, 1844) with progressive (wedge ^) and regressive (vee &) products for geometric subspaces.

Oliver Byrne (1810–1880)

Irish civil engineer and mathematician whose landmark The First Six Books of the Elements of Euclid (Pickering / Chiswick Press, 1847) replaced vertex-letter pointers with four-color inline geometric value-tokens and structured visual pseudocode.

Arthur Cayley (1821–1895)

Unified Euclidean and non-Euclidean metrics inside complex projective geometry via an absolute conic (Sixth Memoir upon Quantics, 1859).

Émile Lemoine (1840–1912)

Co-founder of modern triangle geometry and author of La Géométrographie (1902), quantifying operational ruler-and-compass construction complexity.

William Kingdon Clifford (1845–1879)

Unified Grassmann’s exterior algebra and Hamilton’s quaternions into geometric (Clifford) algebra (1878), after whom the kingdon Python library is named.

Felix Klein (1849–1925)

Formulated the Erlangen Program (1872) and extended Cayley’s projective metric polarity into Cayley–Klein geometry.

D’Arcy Wentworth Thompson (1860–1948)

Biologist and classicist whose On Growth and Form (1917) modeled organic morphology through gnomonic spirals and projective/conformal coordinate transformations.

David Hilbert (1862–1943)

Author of Grundlagen der Geometrie (1899), partitioning synthetic geometry into five independent axiom groups and constructing field arithmetic from Pappus and Desargues.

Bertrand Russell (1872–1970)

Philosopher-logician whose Foundations of Geometry (1897) and Principles of Mathematics (1903) analyzed projective and metric space relationally.

Peter H. J. Hoenen, S.J. (1880–1961)

Philosopher of mathematics whose De Noetica Geometriae (1954) demonstrated how universal geometric necessity is grasped directly in the concrete Nexus of the figure (abstractio formalis intuitiva).

Alfred Tarski (1901–1983)

Logician who formulated first-order point-only Euclidean geometry (Bet and Cong, 1926–1959) and proved the decidability of elementary Euclidean geometry via real-closed quantifier elimination.

Wu Wen-Tsun (1919–2017)

Transformed automated geometric theorem proving in 1978 with Wu’s Characteristic Set method via Ritt polynomial triangulation.

Shang-Ching Chou (b. 1942)

Pioneer of mechanical geometry theorem proving; co-creator with Xiao-Shan Gao and Jing-Zhong Zhang of the coordinate-free Area Method, Full-Angle Method, and Deductive Database (JGEX).

Jing-Zhong Zhang (b. 1936)

Chinese mathematician whose signed-area pedagogy inspired the coordinate-free Area Method (Chou–Gao–Zhang, 1994).

Clark Kimberling (b. 1942)

Creator of the Encyclopedia of Triangle Centers (ETC), indexing more than 53,000 algebraic triangle centers X(1)–X(53144).

Norman J. Wildberger (b. 1955)

Formulated Rational Trigonometry (Divine Proportions, 2005) and Chromogeometry, replacing irrational distance and transcendental angle with polynomial quadrance \(Q\) and spread \(s\).

Xiao-Shan Gao (b. 1963)

Co-author of Machine Proofs in Geometry (1994) and lead architect of Geometry Expert (GEX / JGEX).

Jürgen Richter-Gebert (b. 1963)

Author of Perspectives on Projective Geometry (2011) and co-creator of Cinderella and CindyJS, pioneering Riemann-surface homotopy tracing in dynamic geometry.

Jeremy Avigad (b. 1968)

Co-creator (with Edward Dean and John Mumma, 2009) of Formal System E, rehabilitating the rigor of Euclidean diagrammatic proofs.

Nicholas Rougeux (fl. 2018)

Information designer whose acclaimed interactive web reconstruction of Oliver Byrne’s 1847 Elements (c82.net/euclid, 2018) linked inline SVG visual value-tokens to synchronized diagram highlighting.

Trieu H. Trinh (fl. 2024)

Lead author of DeepMind’s AlphaGeometry (Nature, 2024), coupling symbolic DD+AR saturation with neural auxiliary-point synthesis on Olympiad geometry.