The Dawn of Proof: From Babylonian Computation to Greek Axioms

The clay tablets of ancient Babylon, inscribed with cuneiform wedges around 1800 BCE, record more than grain yields and celestial omens; they encode the earliest known systematic approaches to quantitative problem-solving. Yet these computations, sophisticated as they are, remain anchored in the particular—a specific field’s area, a particular loan’s interest. The transformative leap occurs centuries later in the Greek colonies of Ionia, where thinkers begin to ask not merely *how* to compute but *why* a procedure works, seeking truths that hold independent of context. This chapter traces that pivotal transition from practical arithmetic to theoretical mathematics, a metamorphosis driven by philosophical introspection, conceptual crises, and the monumental syntheses of figures like Euclid, whose *Elements* would stand for over two millennia as the archetype of deductive reasoning. Central to this narrative is the emergence of a new conception of mathematical truth: not as a human convention or a tool for commerce, but as an immutable, universal reality accessible through pure logic.

1.1 The Algorithmic Foundations: Babylonian and Egyptian Computational Practices

Long before the abstract notion of proof took root in the Aegean, the river valleys of Mesopotamia and the Nile had already cultivated sophisticated numerical traditions. These were not mathematics in the Greek sense—there was no pursuit of general theorems or deductive certainty—but they represented a profound mastery of algorithmic procedures, honed by administrative and astronomical needs. The surviving artifacts—thousands of clay tablets and papyri—reveal a pragmatic mathematics: reliable, efficient, and strikingly modern in its computational techniques, yet devoid of the logical scaffolding that would later define the discipline.

Babylonian Mathematics: The Cuneiform Computational Corpus

The Babylonian mathematical corpus, primarily from the Old Babylonian period (c. 1900–1600 BCE), is distinguished by its positional sexagesimal (base-60) system and its algebraic problem-solving methods. Unlike the decimal system, sexagesimal allowed for easy manipulation of fractions because 60 has many divisors (2, 3, 4, 5, 6, 10, 12, 15, 20, 30), facilitating exact representations of common fractions such as 1/2 (30), 1/3 (20), and 1/4 (15). This numerical flexibility is evident in tablets like Plimpton 322 (c. 1800 BCE, housed at Columbia University), which lists fifteen Pythagorean triples—integer solutions to $a^2 + b^2 = c^2$—arranged in descending order of the ratio $c/a$. The numbers are impressively large; the first row corresponds to the triple (119, 120, 169), satisfying $119^2 + 120^2 = 169^2$. The tablet’s purpose is debated—some scholars argue it is a trigonometric table for right triangles, others a number-theoretic compilation—but its existence proves that Babylonians could generate such triples systematically, likely via the identity:

$$ (p^2 - q^2)^2 + (2pq)^2 = (p^2 + q^2)^2 $$

for integers $p > q$. They did not, however, state this identity as a general theorem; instead, they applied it as a recipe for specific cases.

Babylonian algebra was rhetorical: problems were posed in prose, and solutions were given as sequences of operations without symbolic notation. A typical problem from tablet YBC 6967 asks: “I have added the area of my square and its side: 3/4. What is the side?” In modern terms, $x^2 + x = 3/4$. The Babylonian solution proceeds by completing the square: take half of 1 (the coefficient of $x$), square it (1/4), add to 3/4 to get 1, take the square root (1), subtract the half (1/2) to obtain $x = 1/2$. The steps are algorithmic and correct, yet there is no generalized formula $x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$; each problem is handled individually. The Babylonians also approximated $\sqrt{2}$ to a remarkable degree: tablet YBC 7289 gives a value of 1;24,51,10 in sexagesimal, which equals $1 + \frac{24}{60} + \frac{51}{3600} + \frac{10}{216000} \approx 1.414213$, correct to six decimal places. How they arrived at this approximation is unknown, but it likely involved an iterative method akin to the modern “Babylonian method” for square roots:

$$ x_{n+1} = \frac{1}{2} \left( x_n + \frac{S}{x_n} \right) $$

applied with a suitable initial guess.

What is striking is the absence of proof. The Babylonians verified procedures by checking them against specific numerical examples, but they did not demonstrate why an algorithm works in general. Their mathematics was constructive and empirical: a method was validated by its consistent success in computation, not by logical deduction from first principles. This is not a shortcoming but a different paradigm—one optimized for practical outcomes rather than theoretical certainty.

Egyptian Mathematics: The Rhind Papyrus and the Arithmetic of Fractions

In Egypt, mathematical activity is epitomized by the Rhind Mathematical Papyrus (c. 1550 BCE, copied by the scribe Ahmes from an older source) and the Moscow Papyrus. Egyptian mathematics shares the Babylonian algorithmic character but differs in notation and emphasis. Egyptians used a decimal system with distinct hieroglyphs for powers of ten, but their handling of fractions was uniquely restrictive: with the exception of 2/3, all fractions were expressed as sums of distinct unit fractions (fractions with numerator 1). For instance, $2/5$ was written as $1/3 + 1/15$, and $3/7$ as $1/3 + 1/11 + 1/231$. The Rhind Papyrus includes a table of expansions for $2/n$ for odd $n$ from 5 to 101, providing a toolkit for decomposition. The reason for this convention is unclear—perhaps it aided in dividing goods like loaves of bread—but it forced scribes to develop systematic methods for finding such representations.

Geometric problems also appear, primarily for practical tasks: computing the area of rectangular fields, volumes of granaries, and the slope of pyramids. The area of a circle is given by the formula $A = \left( \frac{8}{9}d \right)^2$, where $d$ is the diameter, implying an approximation $\pi \approx 3.1605$ (since $A = \pi r^2 = \pi (d/2)^2 = \frac{\pi}{4} d^2$, so $\frac{\pi}{4} \approx (8/9)^2 = 64/81$, thus $\pi \approx 256/81 \approx 3.1605$). Again, there is no proof that this formula holds for all circles; it is presented as a rule derived from measurement or tradition.

The Egyptian and Babylonian traditions share a problem-solution format: a concrete scenario is posed, a procedure is described, and a numerical answer is given. There is no abstraction from specific numbers to general variables, no notion of a variable or unknown, and no attempt to establish universal truths. The mathematics is context-bound, serving administration, taxation, and astronomy. Yet within these constraints, they achieved remarkable computational feats, demonstrating that algorithmic sophistication does not require deductive structure.

The Paradigm Gap: Computation vs. Deduction

The contrast with the later Greek approach is stark. For the Babylonians, mathematics was a collection of heuristics—reliable techniques for obtaining answers. Correctness was established by verification (checking the answer against the problem conditions) and by repeated successful application. For the Greeks, mathematics became a dedive system where truth flows inexorably from axioms through logical inference. This shift did not happen overnight; it required a fundamental reconceptualization of what mathematical knowledge is and how it is justified.

> 📱 电子版提示： 交互式时间轴可在此处展示巴比伦、埃及与希腊数学方法的关键对比，包括算法步骤与证明结构的可视化差异。

The Babylonians and Egyptians asked, “How do I solve this problem?” The Greeks began to ask, “Why must this be true?” This interrogative turn is the seed of proof. It arises not from practical necessity but from philosophical speculation—a desire to grasp eternal, unchanging truths in a world of flux. The next section explores how