History of 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 our other timeline, is what happens when this one learns to run.

The river civilizations

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.

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

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.

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

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

The calculus century

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.

The age of rigor

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

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 — Church: no mechanical procedure decides provability — the Entscheidungsproblem fails (his full story is on the λ page).
• 1936 — 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" — 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 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.

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