Content of type 'notes'
Prologue Part I: Mathematical Being & Common Science — GEOMETOR Commentary & Concordance Notes
Proclus vs. Aristotle on Abstraction (`Friedlein 12–18`) and Hoenen’s Synthesis: In geometor/hoenen (De Noetica Geometriae, Caput III, p. 67), Petrus Hoenen directly cites Friedlein 12, 14–22 as the locus classicus of antiquity’s critique of naive empiricism in geometry. Proclus asks how exactitude (ἀκρίβεια) and necessary demonstration could ever be extracted from sensible bodies that are continually shifting and never realize an indivisible point or breadthless line. Hoenen uses Proclus’s objection to distinguish empirical induction from genuine Scholastic-noetic insight into intelligible extension in the phantasm—showing a deep structural convergence between Proclus’s critique of hysterogenes empiricism and Hoenen’s critique of positivist-empiricist theories of geometry.
Prologue Part II: Philosophy & History of Geometry — GEOMETOR Commentary & Concordance Notes
*Phantasia*, *Probole*, and *Materia Intelligibilis* (`Friedlein 48–57, 78–79`): Proclus’s identification of mathematical imagination with Aristotle's intelligible matter (ὕλη νοητή, Friedlein 49–53) is one of the central pillars of Hoenen's De Noetica Geometriae (Caput I §1; Caput III, p. 67, citing Friedlein 49, 12–17 and 49, 17 sqq.; Caput IV passim). Where pure dianoia holds the unextended universal logos of the circle, probole projects that logos onto the spatial continuum of phantasia, generating plural, intersecting circles and segments—the exact cognitive counterpart of a constructive geometric graph!
Commentary on the Definitions (I.Def.1–23) — GEOMETOR Commentary & Concordance Notes
Numbering of the Definitions (Euclid/Friedlein 1–23 vs. Taylor/Barocius I–XXXV): In modern critical editions of Euclid (Heiberg, Heath in geometor/euclid, and geometor/elements) as well as Friedlein's Greek text, Book I contains 23 Definitions (I.Def.1–I.Def.23). Renaissance editors (Barocius 1560) and Thomas Taylor subdivided compound definitions—such as obtuse/acute angles, the seven species of triangles, and the five species of quadrilaterals—into 35 numbered sub-headings (DEFINITION I–XXXV). Our Codex preserves Taylor’s full text while grouping sections strictly by Euclid’s canonical 23 Definitions (sec-def-01 through sec-def-23) so every :just: link resolves directly to euclid and elements.
Hypotheses, Postulates, Axioms & Propositional Form — GEOMETOR Commentary & Concordance Notes
Geminus on Postulate 1 (`Friedlein 185`) in Hoenen’s *De Noetica Geometriae*: In Caput IV, §4, p. 121 (proclus:in-euclid:p185), Hoenen quotes Friedlein 185 in the original Greek: «ἑπόμενόν ἐστι τῷ ῥύσιν εἶναι τοῦ σημείου τὴν γραμμὴν καὶ τὴν εὐθεῖαν ὁμαλὴν καὶ ἀπαρέγκλιτον ῥύσιν» (“it follows from the line’s being the flux of a point, and the straight line a uniform and undeviating flux”). For Hoenen, this passage proves that ancient constructive postulates were grounded in intelligible genetic intuition of spatial continuity rather than arbitrary formalist conventions.
Commentary on Propositions I.1–I.15: Triangles, Congruence & Perpendiculars — GEOMETOR Commentary & Concordance Notes
Zeno of Sidon’s Continuity & Uniqueness Critiques (`Friedlein 214–218`): In Prop. I.1, two questions arise that modern axiomatics (Pasch, Hilbert) later formalized: (a) why must the two circles intersect? and (b) as Zeno of Sidon asked, how do we know the two radii $CA, CB$ do not share a common segment near $C$? In geometor/model, exact polynomial intersection of the two unit circles $(x)^2 + y^2 = 1$ and $(x - 1)^2 + y^2 = 1$ algebraically exhibits the two conjugate equilateral vertices $(1/2, \pm \sqrt{3}/2)$ over $\mathbb{Q}(\sqrt{3})$, while Zeno’s uniqueness critique highlights the implicit uniqueness content of Postulates 1–2 defended by Posidonius.
Commentary on Propositions I.16–I.32: Inequalities, Parallels & Angle-Sum — GEOMETOR Commentary & Concordance Notes
Neutral vs. Euclidean Geometry (`I.16`–`I.28` vs. `I.29`–`I.32`): Proclus’s commentary makes visible the exact deductive fault line of Book I: every proposition through Prop. I.28 belongs to neutral (absolute) geometry, independent of Postulate 5 (provided straight lines are unbounded, as assumed in Prop. I.16). Note Taylor’s two 1792 typographic heading misprints in this span—PROPOSITION XXIV for XXI and PROPOSITION XV for XXVI—silently corrected in our English section headings.
Commentary on Propositions I.33–I.48: Areas, Application & Pythagoras — GEOMETOR Commentary & Concordance Notes
Locus Theorems (`Friedlein 394–396`) & Textual Lacuna at `I.36`–`I.37` (`Friedlein 403, 5`): Proclus’s recognition of Prop. I.35 as the prototype of locus theorems (τοπικὰ θεωρήματα) links elementary area-shearing to higher Greek locus geometry (Hermotimus, Aristaeus, Apollonius). Note at Friedlein 403, 5 (cited by Heath, Vol. I, p. 332) a famous manuscript lacuna spanning the end of Proclus’s note on I.36 and the opening of I.37, present in all extant Greek codices and noted by Barocius and Friedlein. (Also note Taylor’s 1792 heading misprint PROPOSITION LXVIII for XLVIII, normalized in our heading.)