Greek Formalisation

History of Mathematics — Chapter 2 — Greek Formalisation

Sometime between the sixth century BCE and the fourth, in the Greek-speaking world that stretched from Ionia to southern Italy to Alexandria, mathematical practice acquired a new shape. Where the clay-tablet tradition transmitted technique through worked examples, the Greek tradition began to demand that results be derived, on the page, from explicit starting points by stated rules of inference. The form was not invented all at once. It crystallised through Pythagorean number-and-figure speculation, the Eleatic problems of the continuum, Eudoxus’s theory of proportion, and the Platonic and Aristotelian philosophical scaffolding, before Euclid compiled the Elements in Alexandria around 300 BCE and Archimedes and Apollonius drove the technique to peaks the medium would not surpass for nearly two millennia. The Mission-42 question this chapter opens: what changes about the meaning of knowledge when a discipline first asserts that something can be proved?

§1 — The question this discipline tries to answer

Mathematics asks what can be known with certainty about number, shape, and pattern, and what such knowledge actually consists of.

§2 — Pre-history

The Greek formalisation of mathematics did not begin in a vacuum. The numerical and computational substrate it drew on was largely Mesopotamian and Egyptian, transmitted through the eastern Mediterranean trade and intellectual networks that the Ionian Greek cities sat astride during the seventh and sixth centuries BCE ^[1]

[2]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The unit-fraction arithmetic of the Rhind Papyrus, the sexagesimal place-value computations of the Old Babylonian schools, the astronomical procedure-texts of the late-Babylonian period — all of this was technically more sophisticated than anything the early Greek world produced. What the early Greeks contributed was not better calculation but a new kind of question.

The Ionian natural philosophers of the sixth century — Thales of Miletus (c. 624 – c. 546 BCE), Anaximander, Anaximenes — left no mathematical texts. Later tradition, transmitted at several removes through Proclus’s fifth-century commentary on the Elements and the doxographical compendia of the Hellenistic period, credits Thales with the first deductive demonstrations: that a diameter bisects a circle, that the base angles of an isosceles triangle are equal, that vertical angles are equal ^[3]

[4]

Unresolved citation??

Source key katz-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The attributions are unreliable as biography. They are not unreliable as evidence of what the later Greek tradition believed had happened, and the picture they convey is consistent: at some point in the sixth century, in the Ionian and southern-Italian Greek cities, a new question about geometric figures began to be asked — not how to compute their measure but why their measure was what it was.

The Pythagorean tradition, named for Pythagoras of Samos (c. 570 – c. 495 BCE), is the second pre-formal current. The historical Pythagoras is biographically thin: nothing survives in his own hand, and the legendary accounts of his life were assembled centuries later, in part by writers with religious-philosophical agendas of their own ^[5]

[6]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The tradition that bears his name is better attested. It treated number — specifically the positive integers and their ratios — as the underlying structure of cosmos, music, and soul. It produced the figurate-number theory (triangular, square, oblong, pentagonal numbers) preserved in Nicomachus’s Introduction to Arithmetic and the arithmetical books of Euclid’s Elements (Books VII–IX) [7]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[8]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. It is also where the discovery of incommensurability — the existence of geometric ratios that cannot be expressed as ratios of whole numbers — was made, by an unknown member of the school, sometime in the late fifth century BCE [9]

Unresolved citation??

Source key knorr-1975 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

Two cautions belong here. First, the named tradition attached to Pythagoras is a school, not a person; the chapter holds the line that the lone-genius framing of Pythagoras in popular accounts traces to narrative shape rather than to the inscriptional or documentary record ^[10]

. Second, the Elements is centuries later than the Pythagorean tradition it preserves, and the arithmetic of Books VII–IX is presented in a deductive idiom the Pythagoreans themselves are unlikely to have used in that form [11]

Unresolved citation??

Source key knorr-1975 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[12]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The pre-history of formalisation is real and well-evidenced; the precise distribution of credit across named persons in it is not.

§3 — Founding moments

The chapter has two founding moments, sequential and bound together. The first is the late-fifth- and fourth-century BCE consolidation of geometric reasoning as deductive practice — culminating in Eudoxus of Cnidus’s theory of proportions — that supplied the conceptual machinery the Elements would later organise. The second is the Elements itself, compiled by Euclid in Alexandria around 300 BCE, which froze the form for two millennia.

The fourth-century groundwork is most visible in Eudoxus (c. 408 – c. 355 BCE), pupil of Plato’s Academy and of the astronomical tradition that pre-dated Plato ^[13]

[14]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Eudoxus’s contribution to mathematics has two parts. The first is the theory of proportions for incommensurable magnitudes preserved as Book V of the Elements, which avoids the older Pythagorean assumption that all ratios are ratios of whole numbers and instead defines equality of ratios by a condition of the form “for any multiples m and n…” [15]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[16]

Unresolved citation??

Source key knorr-1975 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The definition is rigorous in a way that anticipates the nineteenth-century rigorisation of analysis by Dedekind, who explicitly named Eudoxus as a predecessor [17]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The second is the method of exhaustion, preserved as Book XII, which proves area and volume results — the area of a circle, the volume of a pyramid and of a cone — by approximating curved figures with sequences of polygons and reasoning about the limit of the difference between the two [18]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[19]

Unresolved citation??

Source key knorr-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Elements itself, traditionally attributed to Euclid of Alexandria (fl. c. 300 BCE), is the surviving work that made the form canonical. Of Euclid the man we know almost nothing certain. The Alexandrian setting is attested by Proclus’s fifth-century commentary, which places him under Ptolemy I; the working assumption is that he was active in Alexandria around the founding of the Library, but the chapter follows the A9 §3 contested-attribution rule and does not extrapolate biographical detail beyond what the documentary record supports ^[20]

[21]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The work is the point. The Elements is a thirteen-book treatise that derives 465 propositions from a small set of definitions, postulates, and common notions stated at the head of Book I [22]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[23]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The deduction is presented in a uniform format: enunciation, setting-out with a specific diagram, construction, proof, conclusion [24]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The form is so distinctive that classicists writing about Greek mathematical practice now describe an entire cognitive style — the “lettered diagram,” the formulaic prose, the standard order of moves — that the Elements both codifies and transmits [25]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

What the Elements formalises is not the content of Greek geometry — most of the results were already in circulation, often in earlier and less polished form ^[26]

. What it formalises is the demand that every result be derived, on the page, from explicit starting points by stated rules of inference. The deductive chain is what is exhibited; the result is what falls out of the chain. Proclus’s commentary preserves a remark, possibly apocryphal, attributed to Euclid in response to Ptolemy I’s asking whether there was an easier way to learn geometry: “there is no royal road to geometry” [27]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The remark, whatever its historical status, is a fair summary of the form’s claim on its student: the chain of derivation is not optional.

§4 — The lineage

The lineage of Greek formal mathematics runs from the Pythagorean tradition through to the late-antique compilers, a span of roughly nine centuries. The chapter organises it in five named periods.

The Pythagorean tradition and the discovery of incommensurability, c. 530 – c. 430 BCE

The Pythagorean school of southern Italy and Magna Graecia preserved its work in oral tradition and ritual practice; nothing survives in writing from the early generations ^[28]

. The arithmetic the tradition produced is preserved indirectly, in the arithmetical Books VII–IX of the Elements and in Nicomachus’s later Introduction to Arithmetic [29]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[30]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Its central programme was the study of the positive integers and their ratios, with figurate numbers, even and odd, prime and composite, perfect and abundant numbers all introduced in this tradition. The most consequential single result was the discovery, sometime in the late fifth century, that the side and the diagonal of a square cannot be related by a ratio of whole numbers — that there exist incommensurable magnitudes [31]

Unresolved citation??

Source key knorr-1975 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[32]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The discovery is sometimes attributed to Hippasus of Metapontum; the attribution is late and uncertain [33]

Unresolved citation??

Source key knorr-1975 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. What is certain is that the discovery created a foundational problem the Pythagorean number-theoretic programme could not absorb: ratios of geometric magnitudes are not, in general, ratios of integers. Eudoxus’s theory of proportion was the eventual resolution; the period between the discovery and the resolution is, on Knorr’s reconstruction, the most active in pre-Euclidean Greek mathematics [34]

Unresolved citation??

Source key knorr-1975 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Eleatic problems and the Platonic Academy, c. 450 – c. 350 BCE

The Eleatic philosophers, principally Parmenides and Zeno, pressed a set of problems about motion, plurality, and the continuum whose mathematical bite was felt for centuries. Zeno’s paradoxes — Achilles and the tortoise, the dichotomy, the stadium — challenged the coherence of treating a magnitude as an unbounded collection of indivisible parts ^[35]

[36]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The paradoxes were not solved by Greek mathematics in any modern sense; they were the philosophical context in which the method of exhaustion was developed as a way of reasoning about continuous magnitudes without committing to infinite collections of indivisibles [37]

Unresolved citation??

Source key knorr-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Platonic Academy, founded c. 387 BCE, made mathematics central to philosophical education in a way that shaped its institutional setting for centuries ^[38]

. Plato’s dialogues — Meno, Republic Book VII, Timaeus — read mathematics as the discipline whose objects are most fully real and whose method most fully rational, and the curriculum he advocated (arithmetic, plane and solid geometry, astronomy, harmonics) became the canonical quadrivium that scholastic teaching transmitted to the medieval university [39]

Unresolved citation??

Source key cooper-1997 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

{loc=“Republic 521c–531c”} [40]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Academy’s mathematical productivity is mostly visible through its students — Theaetetus on the regular solids and the classification of irrationals; Eudoxus, who arrived from Cnidus carrying the astronomical and proportional results the Elements would later incorporate; Menaechmus, first to study the conic sections systematically [41]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[42]

Unresolved citation??

Source key knorr-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

Aristotle, Plato’s most consequential pupil, did not produce mathematics himself but produced the Posterior Analytics, the surviving Greek theory of demonstrative knowledge that the Elements presupposes ^[43]

{loc=“Posterior Analytics I.1–10”} [44]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Aristotle’s theory distinguishes common axioms shared across the sciences from proper principles specific to each discipline, and requires that any demonstrative science derive its theorems from principles that are prior, better-known, explanatory, and primitive. The Elements’ structure — common notions plus discipline-specific postulates, definitions of the primitive terms, theorems derived from those starting points — matches the Aristotelian schema closely enough that the historiographical consensus reads the Elements as Aristotelian demonstration realised in a mathematical case [45]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[46]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Euclidean synthesis, c. 320 – c. 280 BCE

The compilation of the Elements in Alexandria — almost certainly drawing on earlier compilations by Hippocrates of Chios, Leon, and Theudius, now lost — fixes the form ^[47]

[48]

Unresolved citation??

Source key knorr-1975 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Beyond the deductive organisation already described in §3, the Elements makes several substantive contributions: a definitive theory of proportion (Book V, after Eudoxus); similar figures (Book VI); the arithmetical Books VII–IX, which prove the infinitude of the primes (Book IX, Proposition 20) and the unique factorisation of integers; Book X on the classification of irrational magnitudes constructible by ruler and compass; and the stereometric Books XI–XIII, culminating in the classification of the five regular polyhedra and the proof that they are the only five [49]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[50]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Euclid also wrote on optics, on data, on conics (lost), and on division of figures; the Elements is one work in a productive scholarly career, not a solitary monument [51]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Archimedean and Apollonian peaks, c. 280 – c. 190 BCE

Archimedes of Syracuse (c. 287 – c. 212 BCE) drove the method of exhaustion to its furthest pre-modern range ^[52]

[53]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. His treatises on the quadrature of the parabola, the sphere and the cylinder, the spirals, and the equilibrium of planes contain results — the area of a parabolic segment, the volume and surface of the sphere, the centres of gravity of plane figures — mathematically equivalent to results later derived by the integral calculus, obtained by exhaustion arguments of striking ingenuity [54]

Unresolved citation??

Source key heath-1897 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

{loc=“On the Sphere and the Cylinder I, propositions 33–34”} [55]

Unresolved citation??

Source key knorr-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. His Method of Mechanical Theorems, preserved only in the Archimedes Palimpsest and recovered by twentieth-century imaging, shows him using heuristic mechanical reasoning — treating a parabolic segment as weighted slices balanced on a lever — to discover results he then re-derived in formally acceptable exhaustion form [56]

Unresolved citation??

Source key netz-noel-2007 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The methodological distinction is sharp: Archimedes used one mode of reasoning to find results and another to demonstrate them.

Apollonius of Perga (c. 240 – c. 190 BCE) produced the Conics, the systematic treatment of the curves obtained by sectioning a cone — the parabola, the ellipse, the hyperbola — including the modern terminology of those names ^[57]

[58]

Unresolved citation??

Source key toomer-1990 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The work survives in seven books, the first four in Greek and the next three in Arabic translation; the eighth is lost. Apollonius treats the conics geometrically, without coordinates in any modern sense, but the propositions he proves about asymptotes, conjugate diameters, and the focal properties of conics are mathematically equivalent to a great deal of what early-modern analytic geometry would later prove using coordinates [59]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[60]

Unresolved citation??

Source key knorr-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Conics is the high-water mark of pre-modern geometric technique on continuous curves, and the work Kepler, Newton, and Halley would all read carefully fifteen hundred years later.

Late antiquity: Diophantus, Pappus, and the compilers, c. 250 – c. 400 CE

By the third century CE the productive period of Greek formal mathematics was past, but two late authors deserve treatment. Diophantus of Alexandria, conventionally placed in the third century CE — tier-2 sources differ by up to a century, and the chapter flags this as a dating problem the record cannot yet resolve [VERIFY: Diophantus floruit] — produced the Arithmetica, a collection of problems on what would now be called Diophantine equations: equations in integers or rationals seeking integer or rational solutions ^[61]

[62]

Unresolved citation??

Source key christianidis-oaks-2013 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Arithmetica is a different kind of work from the Elements: problem-solving rather than axiomatic-deductive, deploying a quasi-symbolic notation for the unknown that has no clear precursor in earlier Greek practice [63]

Unresolved citation??

Source key heath-1910 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[64]

Unresolved citation??

Source key christianidis-oaks-2013 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Six of its thirteen books survive in Greek; four more were recovered in Arabic translation in the twentieth century [65]

Unresolved citation??

Source key sesiano-1982 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Diophantus’s work was the principal Greek mathematical inheritance the Arabic algebraic tradition would later build on.

Pappus of Alexandria (fl. c. 320 CE) compiled the Synagoge (Mathematical Collection), a survey of the Greek geometric tradition preserving results from earlier authors whose works are now otherwise lost — substantial reportage on Apollonius, Euclid’s lost works, and the conic-sections tradition more broadly ^[66]

[67]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Pappus is the principal late-antique transmitter of the Greek tradition; without the Synagoge the modern reconstruction of what the Greeks had achieved would be substantially poorer. The work also contains original results — the “Pappus problem” on the locus of a point that bears a given ratio of distances to given lines, which Descartes would later take as a problem of his own — but its historical importance is principally as a compilation.

The lineage closes with what was not achieved. The Greek tradition did not produce a positional notation for arithmetic, did not develop algebraic notation in any modern sense, did not treat zero or the negative numbers as numbers, did not produce a calculus, and treated the infinite only by methods that finitised it. Several of those gaps would be filled by the Indian and Arabic traditions the next chapter covers; some would not be filled until the seventeenth century.

§5 — Methodology

The methodology Greek formalisation introduced is deductive proof. A proposition counts as known when, and only when, it has been derived from accepted starting points by rules of inference whose validity is itself accepted ^[68]

[69]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The starting points of geometry, as the Elements presents them, are of three kinds: definitions (specifying what the primitive terms — point, line, surface — are to mean for the purposes of the work), postulates (specifically geometric assumptions, such as that a straight line can be drawn from any point to any point), and common notions (general logical principles, such as that things equal to the same thing are equal to one another) [70]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[71]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The rules of inference are not stated explicitly in the Elements. They are exhibited in the propositions themselves and codified philosophically in Aristotle’s Posterior Analytics ^[72]

{loc=“Posterior Analytics I.1–10”} [73]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The mode of demonstration is that of a deductive chain in which each step is justified either by appeal to a previous proposition, by appeal to a definition, postulate, or common notion, or by application of a previously demonstrated construction. Indirect argument — reductio ad absurdum, the assumption of the contradictory followed by derivation of an impossibility — is used freely [74]

Unresolved citation??

Source key heath-1956 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The standard format Netz has called the “lettered diagram”: every proposition refers to a specific figure with named points, and the prose tracks the figure rather than reasoning in a notation-only register [75]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

What this methodology produces is, in the first instance, a different epistemic object from the clay-tablet procedure-text. A clay-tablet procedure conveys a method; a Greek proof conveys a derivation. A scribe in Old Babylon who has worked through a problem can apply the method to a similar one. A reader of Euclid who has worked through a proof can do more: she can identify which starting points the proof rests on, and she can ask whether changing one of those starting points would change the result. The locus of answerability moves upstream. In the clay-tablet tradition, a procedure is checked at its output, by comparing the computed result with the measured field or the actual ration. In the Greek deductive tradition, a proof is checked at its derivation, by inspecting whether each step follows from the previous one by acceptable rules. The methodology of the discipline is what allows the discipline to ask of itself whether its results are necessary, conditional, or arbitrary — a question that did not have a determinable form in the procedure-text idiom.

A further methodological feature of Greek formalisation: the discipline became self-critical in a structurally new way. The Pythagorean discovery of incommensurability is the first surviving case of a mathematical programme refuted by its own internal work ^[76]

. Eudoxus’s response — the theory of proportions — is the first surviving case of a methodological repair of a foundational difficulty. The pattern of result → foundational difficulty → methodological repair is one the discipline would repeat many times over the next two millennia, but the Greek tradition is where the pattern first becomes visible in the documentary record [77]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[78]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The instruments of Greek geometry are the kanonōn (ruler) and diabētēs (compass), and the postulates of Book I specify what these instruments are taken to be capable of. The construction-problems of the Elements — to bisect an angle, to construct a square equal to a given rectangle, to circumscribe a circle about a given triangle — are not free-form designs but executions licensed by the postulates ^[79]

[80]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The methodology binds what can be constructed to what can be proved. Three problems of ancient Greek geometry — squaring the circle, doubling the cube, and trisecting the angle — were investigated for centuries precisely because the methodology made the question of constructibility a determinate one, even when the answer (negative, as the nineteenth century would eventually prove) was not yet within reach [81]

Unresolved citation??

Source key knorr-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[82]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The methodology’s fitness, recognised across the inquiry on this chapter, is not uniform across uses (inquiries/2026-05-11-math-ch02-greek-formalisation.md §3, §6). Where a body of knowledge is used across long temporal or causal horizons — astronomy across centuries, engineering at scale, navigation across oceans — the chain of derivation pays its overhead by making small inferential errors locatable and the resulting predictions correctable far downstream of the originator. Archimedes’s axiomatic treatment of the equilibrium of planes is the period’s clearest case of this fitness-payoff: a wrong inference about a lever, scaled to siege engines or to hoisting machinery, has compounding physical consequences that procedure-text reasoning cannot detect at the local scale ^[83]

{loc=“On the Equilibrium of Planes, postulates and propositions”}. Where the use is local and the output is immediately checkable on the spot — surveying a field, computing a ration — the chain is overhead the practitioner can do without. The Hellenistic world sustains both modes side by side: the formal demonstrative tradition that produced the Elements and the Conics, and the looser Heronic and Roman computational traditions used at scale by surveyors, builders, and merchants [84]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The chapter records this as a structural feature of the methodology rather than as a discipline-internal qualification: the demonstrative form is not uniformly better than procedure-text mathematics; it is differently suited, and the choice of form is itself a fitness-judgement about the use to which the knowledge will be put.

What counts as a primary source for this period, in the modern historian’s sense, is the manuscript transmission of the Greek mathematical texts together with the Arabic translations that preserve material lost in Greek ^[85]

[86]

Unresolved citation??

Source key toomer-1990 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The current methodological consensus on reading those sources is to attend carefully to the surface of the page — the diagrams, the formulaic prose, the variant manuscript traditions — rather than translating immediately into modern algebraic notation, which Netz’s Shaping of Deduction has argued imposes a register and a set of cognitive moves the Greek mathematicians did not themselves deploy [87]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

§6 — Cross-discipline edges

Edge → Philosophy: The deductive form of the Elements is read by the historiographical consensus as the realisation, in mathematical case, of the Aristotelian theory of demonstration set out in the Posterior Analytics ^[88]

[89]

Unresolved citation??

Source key barnes-1984 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

{loc=“Posterior Analytics I.1–10”}. The edge runs both ways: Aristotle’s theory was developed in part by reflecting on the mathematics of his Academy training and the work of his contemporaries, and the Elements’ codification of demonstrative practice provided philosophy with its principal case of a science actually conducted in the Aristotelian idiom. Plato’s mathematical realism — the doctrine that mathematical objects exist in their own right, independent of the physical world that approximates them — is the other principal philosophical edge; the question of what an Atlas Council would say a square is, given that Plato says it is real and Aristotle says it is real-as-abstracted, is one of the chapter’s bequests to the Philosophy article when Philosophy ships [90]

Unresolved citation??

Source key burnyeat-2000 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[91]

Unresolved citation??

Source key cooper-1997 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

{loc=“Republic 524d–525c, Timaeus 52a–53b”}.

Edge → Astronomy: Eudoxus’s homocentric-spheres model of planetary motion, Apollonius’s eccentric and epicyclic geometry, and Archimedes’s Sand Reckoner sit on Astronomy chapter 2’s territory; the chapter does not own the cosmological content but it does own the geometric content the cosmology uses ^[92]

[93]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Hipparchus of Nicaea (c. 190 – c. 120 BCE), whose chord-tables are the substrate of pre-modern trigonometry and whose canonical entry lives under Astronomy chapter 2, owes his mathematical apparatus to the Euclidean and Apollonian geometric tradition; the chapter notes the dependency and routes the canonical biographical and astronomical content to Astronomy. The Math↔Astronomy edge in this period is dense in both directions: mathematical technique flows toward astronomy, and the demand for astronomical prediction shapes what gets developed in mathematics.

Edge → Engineering and mechanics: Archimedes’s mechanical works — On the Equilibrium of Planes, On Floating Bodies, and the practical engineering that legend attributes to him at the siege of Syracuse — establish a mathematical physics in embryo ^[94]

{loc=“On the Equilibrium of Planes, postulates and propositions”} [95]

Unresolved citation??

Source key netz-noel-2007 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The chapter records the edge here and routes detail to the Engineering article when Engineering (Tier C, per spec §11) ships. The methodological move worth noting now is that Archimedes treats mechanical questions — the equilibrium of a lever, the centre of gravity of a parabolic segment — in the same axiomatic-deductive form as he treats geometric questions, and the postulates of On the Equilibrium of Planes are the first surviving postulates of a mathematical mechanics.

Edge → Theology and religious studies: The Pythagorean tradition braided mathematics with cosmology, soul-doctrine, and ritual life in a way that resists clean separation ^[96]

. The chapter names the institutional fact — the Pythagorean schools were religious communities as much as research programmes — without overrunning the Religion or Theology article (Tier C) that will eventually carry the substantive treatment of Greek philosophical-religious traditions. The edge is recorded here for the Cross-linker to surface once Theology ships.

§7 — Open questions

The historiographical record on Greek mathematics is exceptionally thin compared with the corresponding modern record, and several of the chapter’s open questions are open because the documentary base is too small to settle them.

The biographical reality of Pythagoras remains unresolved. The legendary biography in Iamblichus and Porphyry is centuries late, the contemporary references are scarce, and the Pythagorean school’s own oral tradition produced no contemporary writings ^[97]

. Whether the historical Pythagoras did mathematics of his own, or whether the tradition’s mathematical results were produced by later generations of the school, is a question the documentary record cannot at present settle.

The precise date of incommensurability’s discovery, and its assignment to a named member of the Pythagorean school, is similarly unresolvable on present evidence. Knorr’s reconstruction places the discovery around the middle of the fifth century BCE on internal-mathematical grounds, but the prosopographical claims attached to the discovery — Hippasus, the drowning legend — are not historically reliable ^[98]

.

The dating of Diophantus is a methodological open question of a different kind. Tier-2 canonical histories place his floruit anywhere from the second to the fourth century CE ^[99]

[100]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

, and the chapter has flagged the discrepancy [VERIFY: Diophantus floruit] for the Verifier rather than picking a side from memory. The dating matters because Diophantus is the Greek author whose work most directly informs the later Arabic algebraic tradition, and the question of whether his work could have been known to Hypatia, to the Christian Alexandrian commentators of the fifth and sixth centuries, or only to the Arabic translators of the ninth depends on the dating.

A methodological open question, currently live in the historiography rather than in the Greek mathematics itself: how much of the Elements’ deductive practice is editorial, imposed by Euclid on a body of inherited material that was less rigorously organised, and how much is genuinely already present in the pre-Euclidean tradition? Knorr’s Evolution of the Euclidean Elements and Mueller’s Philosophy of Mathematics and Deductive Structure read the question on opposite sides — Knorr emphasises the editorial layering, Mueller the structural continuity — and the question is at present open ^[101]

[102]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[103]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The question is the proximate Mission-42 question §8 will pick up: what changes about the meaning of a mathematical result when it is moved from informal practice into formal demonstration?

A final open question, methodologically live in the field: whether the historiographical move from “Greek mathematics as a set of results” to “Greek mathematics as a set of cognitive and inscriptional practices” — exemplified by Netz’s Shaping of Deduction — captures something the older history-of-results approach missed, or whether it imports modern cognitive-science framings into a documentary record that cannot support them ^[104]

[105]

Unresolved citation??

Source key acerbi-various was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The chapter takes Netz’s framing as informative but not decisive.

A genuine contradiction the inquiry on this chapter (inquiries/2026-05-11-math-ch02-greek-formalisation.md §4.1) flagged as live and unresolved, recorded here rather than papered over: is the demonstrative ideal exportable beyond mathematics, or is it constitutively bound to objects of geometry’s kind? Three positions can be motivated from the period’s record and from its later reception, each with its own test. (i) A structural reading: demonstrability is a property of how claims are held — chain-of-dependence form, displayed and inspectable — and in principle can be carried into any discipline whose claims admit that form ^[106]

[107]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. (ii) A substantive reading: the early-modern more geometrico experiments (Spinoza’s Ethics, Descartes’s Meditations read as Aristotelian demonstration in metaphysics, Hobbes’s Leviathan in political theory) attempted the export, and the historiographical consensus is that the form did not carry the inferential weight in disciplines whose objects of dispute include the choice of starting points [108]

Unresolved citation??

Source key burnyeat-2000 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. (iii) A developmental reading: the export succeeds only as a discipline crosses a starting-point-stabilisation threshold, and the question of which disciplines have or could cross it cannot be decided in advance [109]

Unresolved citation??

Source key knorr-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[110]

Unresolved citation??

Source key heath-1921 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The three resolutions are mutually exclusive: structural says the export is always available in principle, substantive says it fails wherever starting points are themselves substantive disagreement, developmental says it succeeds discipline-by-discipline as the threshold is crossed. The chapter does not resolve the question. The contradiction is bequeathed to the Philosophy article when it ships and to later Mathematics chapters — especially chapter 7 on the foundations crisis, where mathematics’ own stable starting points are themselves reopened.

A second genuine contradiction the inquiry flagged as live and unresolved (inquiries/2026-05-11-math-ch02-greek-formalisation.md §4.2): is the mathematical certainty Greek deduction produces an institutional achievement, a transmissible cognitive state, or a discovery about a cooperating world? (i) The framework-internal reading holds that the Elements’ theorems are certain given the postulates and the rules of inference; the value of the certainty is the value of the framework’s choice of starting points, and the nineteenth-century negative resolution of the three classical construction problems is the long-run evidence that a framework’s consequences are themselves determinate and discoverable ^[111]

[112]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. (ii) The experiential-access reading reads working through a proof as the transmissible acquisition of a distinctive mode of conviction — neither intuition nor empirical confirmation, but the felt tracing of conditions — and reads the Elements’ historical importance as partly the production of artefacts that carry this conviction rather than merely report it [113]

Unresolved citation??

Source key netz-1999 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. (iii) The long-run-survival reading takes the Elements’ twenty-three-century persistence as evidence that the discipline has stumbled on a class of claims the world cooperates with — that the Pythagorean theorem and the infinitude of primes are not merely framework-relative achievements but indicators of how counting and spatial extension actually behave. The three readings carry different metaphysical commitments and answer to different external tests, and they are not jointly stable. The chapter calibrates the contradiction as live and routes it forward to chapter 6 (the nineteenth-century rigorisation, where non-Euclidean geometries make the framework-internal reading testable in a sharper form), to chapter 7 (the foundations crisis), and to chapter 9 (mathematics now, where the discovery-versus-construction question is canonically posed).

§8 — Mission-42 implications

The Greek formalisation of mathematics is the first surviving case, in the documentary record of any culture, of a body of knowledge that begins to demand on its own behalf that its results be derivable from explicit starting points by stated rules. Mission-42 is, at its root, an inquiry into what counts as knowledge in the deep sense — what kinds of claim can sustain interrogation, what kinds of certainty are achievable about what kinds of object, and what the answer to those questions implies about the meaning a finite human life can be built on. This chapter contributes to that inquiry along several axes the Council will need to take separately.

It opens an inquiry question about what changes when a discipline first asserts that something can be proved, rather than merely computed or attested by practice. The clay-tablet tradition transmitted knowledge by curriculum and apprenticeship; the Greek tradition began to transmit knowledge by inferential structure made explicit on the page. The change is not from less knowledge to more — the Old Babylonian schools were demonstrably technically competent — but from one mode of holding knowledge to another. The Council should consider whether the move to demonstrability changes the meaning of certainty for the practitioners (a Babylonian scribe’s confidence in the reciprocal table is grounded in its working; Euclid’s confidence in Proposition I.47 is grounded in its derivation), and whether the change leaves any residue when the practice is applied outside the discipline — when, for example, the demonstrative ideal is later transported by the early-modern philosophers into ethics, theology, and political theory, where its objects are not the same kind of objects geometry treats. The question is open in both directions: it is not obvious that demonstrability is the right standard for every discipline that has wanted to lay claim to it.

It closes — or comes close to closing — an inquiry question about whether mathematical certainty is possible. The Greek tradition’s success is, by any external measure, immense. The Elements’ theorems are still true; the Archimedean results on the sphere and the cylinder are still correct; the unique factorisation of integers proved in Book IX of the Elements is the unique factorisation of integers proved in any modern algebra textbook. The Adversary on this chapter (inquiries/2026-05-11-math-ch02-greek-formalisation.md §9) presses a precise distinction here, which the chapter accepts: what has survived two and a half millennia is the theorem-content, and content-survival is not by itself evidence of form-validation. Most of the Elements’ content was in circulation before Euclid in earlier, less polished form ^[114]

; the form has been read alongside the content for most of the intervening period rather than independently re-evaluated against it. The content-survival argument therefore licenses only the narrower claim that within the discipline of mathematics, on the discipline’s own terms, certainty about the propositions has been achieved. The independent question — whether the demonstrative form itself has been validated against re-examination — is answered narrowly and affirmatively by Hilbert’s 1899 Grundlagen der Geometrie and the twentieth-century formal-axiomatic tradition, which redid the Elements’ foundational work and vindicated the deductive idiom even where they corrected the content of particular proofs, replacing the implicit continuity and existence assumptions Euclid’s proofs sometimes relied on with explicit axioms while preserving the chain-of-derivation form [115]

Unresolved citation??

Source key mueller-1981 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The form survives content-correction. That is the narrower and stronger ground the Mission-42 claim should rest on. The closure remains conditional: on the discipline’s own starting points being accepted, and on the rules of inference being accepted. The twentieth-century foundational disputes about classical versus constructive logic, about the axiom of choice, about set-theoretic foundations versus categorical foundations — none of those disputes overturns the chapter’s evidence, but they qualify the kind of certainty achieved.

It complicates an inquiry question about the relation between necessary and contingent knowledge. The Pythagorean discovery of incommensurability was a discovery, not a postulation: the discovery was forced by the discipline’s own internal work, not chosen by its practitioners. Eudoxus’s theory of proportions was a response to that forcing. Archimedes’s exhaustion arguments resolved the problem of how to reason about continuous magnitudes without committing to actual infinities, not because the discipline wanted to avoid actual infinities but because the Eleatic problems made the commitment untenable. Mathematics that begins as the work of human practitioners on chosen problems acquires, in the deductive idiom, a quality of resisting its practitioners’ preferences. The Council should think about what this implies for the meaning of human agency in the production of certain knowledge: the Greeks produced results their own programme could not absorb, and the discipline survived by changing its commitments. The pattern is one the inquiry will see again — in the foundations crisis at the end of the nineteenth century, in the Gödelian limits of the twentieth, in the constructive critiques of the late twentieth and early twenty-first — and the chapter’s evidence reads as a strong early instance of it.

It also opens a Mission-42 question whose force depends on the §7 open question about editorial layering. If the Elements’ deductive form is largely Euclid’s editorial achievement rather than an organic property of the inherited results, then mathematical formalisation is a contingent cultural-cognitive move, made by an identifiable person in an identifiable place at an identifiable time, that could in principle not have been made. If the deductive form is structurally continuous with pre-Euclidean Greek practice, then formalisation is a less choice-laden development of an already-emerging discipline. The Council should treat the question as open and notice that the two answers carry different implications: in the first case, formalisation is a human-cultural invention whose presence in the human record is more accidental; in the second, formalisation is something like the discipline finding its own form, and its presence is more nearly necessary.

The chapter hands the Council the following materials. A documentary base showing that demonstrative practice is achievable, transmissible, and durable. A foundational difficulty — incommensurability — that the discipline encountered and absorbed. A methodological repair — Eudoxus’s theory of proportion — that became the model for later such repairs. A philosophical companion — the Aristotelian theory of demonstration — that gave the discipline an account of what it was doing. And a forensic open question — the editorial-versus-organic question — whose answer would resolve the chapter’s contribution to the inquiry in either of two ways. The chapter does not pretend to decide any of this. It hands the Council what it has.

The chapter accepts the Adversary’s deeper challenge as a permanent qualification on its own §8 reasoning. The implicit move from the Elements’ theorems have survived to therefore the demonstrative form is fitness-bearing is not licensed by the survival record alone, because the content has been carried alongside the form for most of those twenty-three centuries. Two independent arguments are available and the chapter rests on them rather than on the bare content-survival appeal. First, the Grundlagen re-axiomatisation noted above, which vindicates the form across a content-correction the form itself made possible. Second, the form’s adoption in disciplines outside mathematics — formal logic, theoretical computer science, parts of analytic philosophy — where its fitness can be tested without the Elements’ theorems doing the carrying, and the more geometrico attempts in early-modern ethics and metaphysics that suggest the form’s bounds. The post-inquiry Mission-42 contribution the chapter forwards reads accordingly: the demonstrative form is a real and durable epistemic affordance, validated narrowly by re-foundational work and by export to disciplines whose objects admit stable starting points, and constitutively tied to such disciplines in a way that the export to substantive ethics, theology, and political theory tested and largely did not extend. That is the chapter’s surviving claim — narrower than the §8 first reading made it, stronger for being so, and an instance of the spec §0 forcing function operating as intended: the Atlas entry earns its publication by surviving contact with the meaning-of-life inquiry rather than escaping it.

§9 — Sources cited

Tier 1 — Primary works (in canonical scholarly editions)

• Aristotle. Posterior Analytics; Metaphysics M and N. In Barnes, J. (ed.) (1984). The Complete Works of Aristotle: The Revised Oxford Translation (2 vols). Princeton: Princeton University Press. ISBN 978-0-691-01650-4. Inline key: barnes-1984. Tier 1 (translation of primary).
• Apollonius of Perga. Conics, Books I–IV. Heath, T. L. (trans.) (1896). Treatise on Conic Sections. Cambridge: Cambridge University Press. Inline key: heath-1896. Tier 1 (translation of primary).
• Apollonius of Perga. Conics, Books V–VII. Toomer, G. J. (trans.) (1990). Apollonius: Conics, Books V to VII. New York: Springer. ISBN 978-0-387-97216-1. Inline key: toomer-1990. Tier 1 (translation of primary).
• Archimedes. Works. Heath, T. L. (trans.) (1897). The Works of Archimedes. Cambridge: Cambridge University Press; Dover reprint 2002, ISBN 978-0-486-42084-4. Inline key: heath-1897. Tier 1 (translation of primary).
• Archimedes. The Method of Mechanical Theorems; reading apparatus in Netz, R., & Noel, W. (2007). The Archimedes Codex. Cambridge, MA: Da Capo Press. ISBN 978-0-306-81580-5. Inline key: netz-noel-2007. Tier 1 (palimpsest reading + commentary).
• Diophantus of Alexandria. Arithmetica (Greek books). Heath, T. L. (trans.) (1910). Diophantus of Alexandria: A Study in the History of Greek Algebra (2nd ed.). Cambridge: Cambridge University Press; Dover reprint 1964. Inline key: heath-1910. Tier 1 (translation of primary).
• Diophantus of Alexandria. Arithmetica (Arabic books IV–VII). Sesiano, J. (1982). Books IV to VII of Diophantus’ Arithmetica in the Arabic Translation Attributed to Qusta ibn Luqa. New York: Springer. ISBN 978-0-387-90690-7. Inline key: sesiano-1982. Tier 1 (translation of primary).
• Euclid. Elements. Heath, T. L. (trans.) (1908/1925). The Thirteen Books of Euclid’s Elements (3 vols). Cambridge University Press; Dover reprint 1956. ISBN 978-0-486-60088-8 (vol. 1), 978-0-486-60089-5 (vol. 2), 978-0-486-60090-1 (vol. 3). Inline key: heath-1956. Tier 1 (translation of primary).
• Pappus of Alexandria. Synagoge (selections). Thomas, I. (trans.) (1939, 1941). Greek Mathematical Works (Loeb Classical Library 335 and 362). Cambridge, MA: Harvard University Press. Inline key: thomas-1939. Tier 1 (translation of primary).
• Plato. Meno; Republic book VII; Timaeus. In Cooper, J. M. (ed.) (1997). Plato: Complete Works. Indianapolis: Hackett. ISBN 978-0-87220-349-5. Inline key: cooper-1997. Tier 1 (translation of primary).

Tier 2 — Canonical histories

• Boyer, Carl B., and Uta C. Merzbach. 2011. A History of Mathematics (3rd ed.). Hoboken, NJ: Wiley. ISBN 978-0-470-52548-7. Inline key: boyer-merzbach-2011. Tier 2.
• Heath, T. L. 1921. A History of Greek Mathematics (2 vols). Oxford: Clarendon Press; Dover reprint 1981. ISBN 978-0-486-24073-2 (vol. 1), 978-0-486-24074-9 (vol. 2). Inline key: heath-1921. Tier 2.
• Katz, Victor J. 2009. A History of Mathematics: An Introduction (3rd ed.). Boston: Pearson / Addison-Wesley. ISBN 978-0-321-38700-4. Inline key: katz-2009. Tier 2.
• Knorr, Wilbur R. 1975. The Evolution of the Euclidean Elements. Dordrecht: Reidel. ISBN 978-90-277-0509-9 [VERIFY: ISBN]. Inline key: knorr-1975. Tier 2.
• Knorr, Wilbur R. 1986. The Ancient Tradition of Geometric Problems. Boston: Birkhäuser; Dover reprint 1993, ISBN 978-0-486-67532-9. Inline key: knorr-1986. Tier 2.
• Mueller, Ian. 1981. Philosophy of Mathematics and Deductive Structure in Euclid’s Elements. Cambridge, MA: MIT Press; Dover reprint 2006, ISBN 978-0-486-45300-2. Inline key: mueller-1981. Tier 2.
• Netz, Reviel. 1999. The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History. Cambridge: Cambridge University Press. ISBN 978-0-521-62279-0. Inline key: netz-1999. Tier 2.

Tier 3 — Peer-reviewed scholarship

• Acerbi, Fabio. (various, 2003–present). Articles in Archive for History of Exact Sciences on the textual transmission of the Elements and Apollonius. Inline key: acerbi-various. Tier 3.
• Burnyeat, Myles F. 2000. “Plato on why mathematics is good for the soul”. Proceedings of the British Academy 103, 1–81. Inline key: burnyeat-2000. Tier 3.
• Christianidis, Jean, and Jeffrey A. Oaks. 2013. “Practicing algebra in late antiquity: the problem-solving of Diophantus of Alexandria”. Historia Mathematica 40(2), 127–163. DOI 10.1016/j.hm.2012.09.001. Inline key: christianidis-oaks-2013. Tier 3.

Tier 4 — Contemporary reassessment & narrative references

• Bell, Eric Temple. 1937. Men of Mathematics. New York: Simon & Schuster. ISBN 978-0-671-62818-5 (Touchstone reprint). Inline key: bell-1937. Tier 4 — narrative reference only, not cited for fact.

---

End of Math Chapter 2 — Greek Formalisation. Status: revised (post-Inquiry, R1). Inquiry session: inquiries/2026-05-11-math-ch02-greek-formalisation.md (D-M2-INQUIRY). Revision delta log: revisions/math-ch02-r1.md (D-M2-REVISE). Verification still pending: dates flagged [VERIFY: ...] to be cleared by the Verifier two-pass before status moves to published. The §4.1 exportability contradiction and the §4.2 achievement-versus-discovery contradiction from the inquiry are explicitly held open in §7. The §9 content-vs-form conflation objection is engaged in §8 — never papered over.