Classical Antiquity: Demonstration, Elements & Projection¶
Aristotle · Euclid · Pappus of Alexandria · Proclus Lycius
Aristotle (384–322 BC)¶
GEOMETOR Edition: aristotle — Loci Geometrici et Noetici (Repo)
In Posterior Analytics, Physics, De Anima, and Metaphysics IX.9 (1051a21–33), Aristotle formulated the classical theory of demonstrative science (episteme) and observed how latent geometric relations are brought from potency into luminous actuality by the act of dividing and constructing the figure: “If the lines had already been divided, the theorems would have been obvious as soon as seen.”
Euclid of Alexandria (fl. c. 300 BC)¶
GEOMETOR Editions: euclid (Heath 13-Book Critical Codex) · elements (601-Node G-Index) · YouTube Playlist
Euclid’s thirteen books of the Elements established the enduring paradigm of deductive architecture: beginning from points, straight lines, and circles (Book I, Postulates 1–3), unfolding congruence, area application, division in Extreme and Mean Ratio (II.11, VI.30), Eudoxus’s theory of proportion (Book V), commensurability and irrationals (Books VII–X), and culminating in the cosmic construction of the five regular Platonic solids (Book XIII) governed by \(\phi\).
Pappus of Alexandria (c. 290 – c. 350 AD)¶
Last great synthesist of the Alexandrian mathematical school. Book VII of Pappus’s Synagoge (Collection) preserves the ancient treasury of geometric analysis and synthesis, invariance of the four-point cross-ratio under perspective projection, harmonic division, and Pappus’s Hexagon Theorem (Prop. 139)—the cornerstone of modern projective geometry, verified across all six \(S_3\) permutations and Steiner star points in geometor/pappus.
Proclus Lycius (412–485 AD)¶
Head (diadochus) of the Athenian Academy whose Commentary on the First Book of Euclid’s Elements preserves both Eudemus’s lost history of early Greek geometry and a profound philosophy of mathematical imagination (phantasia). For Proclus, geometric construction is projection (probole): the discursive intellect projects indivisible ratios onto the extended screen of imagination so that universal form can be contemplated in concrete multiplicity.