Diff — History of Mathematics

{{infobox

| title = History of mathematics

| image = euler-dupin-engraving.jpg

| caption = Leonhard Euler — engraving by Dupin after a medallion, published by Esnauts et Rapilly, Paris (Smithsonian Libraries, public domain)

| span = ~20,000 BCE tally bones → computer-verified proofs

| first_texts = Babylonian tablets · Rhind papyrus, c. 1800–1650 BCE

| pivotal_inventions = zero · proof · algebra · calculus · set theory · the algorithm

| great_crises = irrationals · infinitesimals · non-Euclidean space · Russell's paradox · incompleteness

| modern_era = formalized proofs · Millennium Problems · machine-checkable mathematics

}}

The **history of mathematics** is the story of the longest-running project the human mind has ever attempted: turning counting into certainty. It begins with notches cut in a bone twenty thousand years ago and arrives — through Babylonian clay, Greek proof, Indian zero, Baghdadi algebra, and the calculus wars — at a present where proofs are checked by machines and the word "algorithm" is on everyone's lips. Programming, the youngest craft on [[History of Programming|our other timeline]], is what happens when this one learns to run.

```fact The oldest artifact

The **Ishango bone** — a fibula found in the Congo, roughly 20,000 years old — carries three columns of deliberate notches: grouped counts, primes between 10 and 20, pairs doubling and halving. We can't be sure what it counted. We can be sure it was *counting* — mathematics before writing, before farming, before cities.

```

## The river civilizations

[[File:plimpton322.jpg|right|320px|Plimpton 322 — a Babylonian tablet of Pythagorean triples, a thousand years before Pythagoras (public domain)]]

Real mathematics — tables, procedures, worked problems — begins where grain needed counting and rivers needed surveying.

**Babylon** (c. 1800–1600 BCE) did astonishing work in **base sixty** — the reason your clock and your compass still divide by 60s and 360s. Their scribes solved quadratic problems, computed compound interest, and recorded **Plimpton 322**: a tablet of fifteen exact Pythagorean triples — *a*, *b*, *c* with a² + b² = c² — a millennium before Pythagoras was born. They had no proof; they had *methods*, passed hand to hand on clay.

**Egypt** (Rhind papyrus, c. 1650 BCE) ran a practical mathematics of unit fractions, granary volumes, and pyramidal slopes — cruder than Babylon's, but written for *students*: the oldest math homework that survives.

```note Why no proofs?

Neither civilization asked *why* a method worked — only that it did. Mathematics was a civil service skill. The idea that a statement could be *demonstrated forever*, rather than verified each time, had to be invented. The Greeks invented it.

```

## The Greeks invent proof

Somewhere in the sixth century BCE, around **Thales of Miletus**, a different question enters the record: not "what is the answer?" but "*why must it be so?*" **Pythagoras**' brotherhood made numbers into a cosmology — until their own theorem detonated inside it. The diagonal of a unit square, √2, cannot be written as any ratio of whole numbers. To a school built on "all is number," the **irrational** was a heresy; legend says the secret got a man drowned. The first foundational crisis in mathematics was a religious one.

**Euclid's *Elements*** (c. 300 BCE) answered the crisis with the most successful textbook ever written: five postulates, and three hundred years of geometry rebuilt as proof-upon-proof. For two thousand years, "studying Euclid" and "studying mathematics" were nearly the same sentence — Lincoln studied it to learn what a demonstration was.

**Archimedes** (c. 287–212 BCE) was the ancient summit: he computed π by squeezing a circle between 96-sided polygons, found volumes of spheres by a method astonishingly close to integral calculus — nineteen centuries early — and wrote that his greatest discovery was the ratio between a sphere and its cylinder. He asked that it be carved on his tomb. It was.

Then **Apollonius** mapped the conic sections — ellipses, parabolas, hyperbolas — apparently pure geometry, until Kepler needed them for planets 1,900 years later. The Greeks' last great voice was **Hypatia** of Alexandria (d. 415), geometer and teacher, murdered by a mob as the classical world closed.

## While Europe slept

```chart The road to modern numbers

process bab "Babylon\nbase-60"

process ind "India\nzero, place value"

process bag "Baghdad\nal-Khwārizmī"

process fib "Fibonacci\n1202"

process mod "Europe\nsymbolic age"

bab -> ind -> bag -> fib -> mod

```

**China** built a parallel tradition of brilliant practicality: the *Nine Chapters on the Mathematical Art* (Han era) contained linear equation solving with negative numbers — a concept Europe took another 1,500 years to accept — and **Zu Chongzhi** computed π to seven decimals in the fifth century, a record that stood for nearly a millennium.

**India** made the single most consequential contribution in this entire history: **zero** — not merely "nothing," but a number, with rules of arithmetic, in a **positional decimal system**. **Brahmagupta** (628) wrote the rules for arithmetic with zero and negatives; **Āryabhaṭa** had earlier computed π and worked in astronomy. Every number you have ever typed is built on this Indian invention.

**Baghdad's House of Wisdom** translated and fused everything: Greek proof, Indian numerals, Persian practice. **Al-Khwārizmī** (c. 820) wrote two books whose echoes are literally in your mouth: *Al-Jabr* gave us **algebra**, and the Latin rendering of his name, *Algoritmi*, gave us **algorithm** — the word the computer age runs on. **Omar Khayyam** — the poet of the *Rubáiyát* — classified cubics and solved them geometrically.

```fact Two names in your mouth

Every programmer says *algorithm* and every schoolchild says *algebra*. Both trace to one Persian scholar at the court of Baghdad, c. 820 — the most linguistically productive mathematician who ever lived.

```

## Europe wakes up

**Fibonacci** (1202) carried the Indian–Arabic numerals west in *Liber Abaci* — and planted a rabbit problem that grew into the sequence hiding in every sunflower. But real mathematics returned to Europe through the most dramatic feud in its history: the **cubic wars**. **Tartaglia**, a self-taught teacher who stammered from a war wound, cracked the general cubic; **Cardano** begged the secret, swore on the gospels to keep it, then published it anyway in his *Ars Magna* (1545) — alongside his student Ferrari's quartic. Scandal, insults, a public mathematical duel in Milan. The quartic solved, the quintic was now the open wound — and it would stay open for 250 years.

**Viète** (1590s) finally gave algebra *letters* — vowels for unknowns, consonants for parameters — and **Descartes** (1637) fused algebra to geometry: curves became equations, equations became curves. Mathematics had a notation worth its ideas.

### The notation table

| Symbol | Inventor | Year |

|---|---|---|

| + − | Johannes Widmann | 1489 |

| = | Robert Recorde — "no two things can be more equal" | 1557 |

| × | William Oughtred | 1631 |

| ∞ | John Wallis | 1655 |

| π for the ratio | William Jones, spread by Euler | 1706 |

| *e*, *i*, f(x), Σ | Leonhard Euler | 1700s |

| ∫ | Leibniz | 1675 |

The right symbol is a theorem you get for free — a lesson programming languages relearn constantly.

## The calculus century

[[File:newton-1689.jpg|left|280px|Newton in 1689 — two years after the *Principia* (public domain)]]

**Newton** (1660s–87) and **Leibniz** (1670s–86) built **calculus** independently — Newton in secret during plague years, Leibniz in print with the better notation (the ∫ and the d's you still use are his). The priority fight turned ugly and nationalistic, poisoned a generation of English mathematics, and settled nothing except that two men could invent the same revolution at once — the first modern instance of the phenomenon.

Newton's *Principia* (1687) used the new mathematics to make the heavens mechanical: one law, everywhere, from apples to moons. The **Bernoulli** dynasty — eight mathematicians over three generations — turned calculus into a power tool, and then came **Euler**: blind in his last seventeen years, dictating to his children, producing a paper a week, touching essentially every branch of mathematics and naming most of the notation in your toolbox: *e*, *i*, *f*(x), Σ, the *π* we settled on.

```quote

"Read Euler, read Euler, he is the master of us all."

— Laplace

```

## The age of rigor

[[File:gauss.jpg|right|280px|Gauss in 1840 — the Prince of Mathematics (public domain)]]

The eighteenth century ran on brilliant, unrigorous power; the nineteenth demanded proofs again — and found whole new worlds by demanding them.

- **Gauss** (1777–1855), "the Prince," corrected his father's payroll at three, summed 1-to-100 instantly at school (the story goes), proved the fundamental theorem of algebra at twenty-two, and quietly knew half the discoveries others later made famous — he just hadn't published.

- **Non-Euclidean geometry**: for 2,000 years Euclid's fifth postulate (parallels) looked provable; **Lobachevsky** and **Bolyai** dared to drop it and found consistent geometries where parallels multiply — a crisis that became a liberation: axioms were *choices*, and space itself was a variable. Riemann's lecture of 1854 built the curved spaces Einstein would need.

- **Abel** proved the quintic *unsolvable* (1824) — the impossible proven impossible, a new kind of theorem — and died of tuberculosis at 26, unknown, days before a professorship offer reached him.

- **Galois** went further before dying at twenty in a duel over... politics, love, or both (1832): the night before, he scribbled a theory — **group theory** — that explained *why* some equations can be solved and others cannot, founding abstract algebra in a letter begging posterity to read him. It did.

- **Cauchy** and **Weierstrass** rebuilt calculus on limits and ε–δ definitions — the rigor that made analysis trustworthy.

- **Cantor** tamed the untamable: **infinities of different sizes**, more reals than whole numbers, a paradise — said Hilbert — "from which no one shall expel us." The paradise had a serpent.

## The foundations crisis

[[File:hilbert.jpg|left|260px|David Hilbert — he set the century's homework (public domain)]]

In 1901 **Russell's paradox** — "the set of all sets that don't contain themselves" — detonated inside Cantor's infinity and Frege's logic. If mathematics' foundations contained a contradiction, what did proof mean?

**Hilbert** answered with the boldest possible program (echoing his 1900 list of twenty-three problems that set the century's agenda): formalize *all* mathematics, then prove the formalization consistent — with only its own finitary methods. Mechanical, complete, certain.

The 1930s answered in sequence, and history had to keep up:

- **1931 — Gödel**: any consistent system strong enough for arithmetic contains truths it cannot prove. Incompleteness: the dream of completeness was itself provably impossible.

- **1936 — [[Alonzo Church|Church]]**: no mechanical procedure decides provability — the Entscheidungsproblem fails (his full story is on [[Lambda calculus|the λ page]]).

- **1936 — [[Alan Turing|Turing]]**: the same boundary drawn by a machine — and in defining "procedure," he invented the theoretical computer.

The crisis that looked like the end of mathematics turned out to be the birth certificate of **computing**: three different formalisms of "mechanical procedure" — [[Konrad Zuse|Zuse]]'s living-room relays among the physical witnesses — all marking the same wall.

## The machine age

Mathematics and machinery then began merging in both directions:

- **Bourbaki** (1935– ) — a collective French pseudonym that rewrote mathematics as pure structure, ruthlessly axiomatic; the "mathematical monoculture" debate it started still runs.

- **The four-color theorem** (1976) — first major proof *requiring* a computer; mathematicians argued for decades whether a proof no human can check is a proof.

- **Fermat's Last Theorem** (1995) — a margin note from 1637, finally closed by **Wiles** after 358 years and one heart-stopping gap in the first attempt.

- **Millennium Problems** (2000) — seven questions, a million dollars each; **Perelman** solved Poincaré (2003) and declined everything, proof that the field's strangeness outlives its fame.

- **Proof assistants** — Coq, Lean, Agda — now verify real mathematics line-by-line. The descendants of [[Lambda calculus|Church's typed λ]] check theorems Gödel said machines would only ever partially reach — *partially* being, it turns out, quite a lot of ground.

## The through-line

The plot of this entire page, in one line: **humans invented increasingly precise ways to say what must be true** — from tally marks to proof, from zero to calculus, from sets to formal systems — until in 1936 the precision became so exact it *described a machine*, and in 1941 a man in Berlin built it out of relays.

```alb Where ALB inherits

Every `LET` in [[AdaLogic BASIC]] descends from Viète's letters. Every `OR`/`AND` from the logic Frege, Church, and Turing made mechanical. Every floating-point number from the Indian zero that let a 1941 relay machine compute. Mathematics is the longest engineering project in history — and programming is its construction crew.

```

## See also

- [[History of Programming]] — the younger twin timeline

- [[Lambda calculus]] · [[Alonzo Church]] · [[Alan Turing]] — where proof became machine

- [[Konrad Zuse]] · [[Z3]] — where machine became real

- [[Ada Lovelace]] · [[Bernoulli numbers]] — the first program, written as mathematics

- [[Charles Babbage]] · [[Analytical Engine]] — the machine mathematics dreamed first

- [[History of Science]]

- [[History of Electricity]]

- [[History of Language]]

[[Category:Mathematics]]

[[Category:History]]