Six Reimaginings of Number and Form — from calculus to category theory, six moments that expanded what we mean by "mathematics."
England & Germany, 1660s–1680s • Newton vs. Leibniz: Fluxions vs. Differentials
Two of the seventeenth century's greatest minds, working independently and largely in secret, invented the same revolutionary tool. Isaac Newton called it the "method of fluxions." Gottfried Wilhelm Leibniz called it the differential and integral calculus. The result — a precise mathematical language for instantaneous rates of change and accumulated quantities — transformed physics, engineering, and economics. The bitter priority dispute that followed split European mathematics into hostile camps for over a century, but Leibniz's elegant notation eventually won out. Every modern science is downstream of this revolution.
Newton 1643–1727 • Leibniz 1646–1716 • Independent co-inventors
Newton developed his fluxional calculus during the plague years of 1665–1666 at Woolsthorpe but kept it largely private, circulating only among friends. Leibniz arrived at his version in Paris in 1675–1676, publishing first in 1684. Newton's notation was clumsy (dotted variables); Leibniz's dy/dx and integral sign were intuitive and won every textbook. The two never met, but their followers waged war for a century.
Italian Jesuat whose "method of indivisibles" (1635) treated areas as sums of infinitely thin lines — a key precursor to integration.
French jurist and amateur mathematician who developed methods for tangents and maxima/minima — essentially the differential calculus — well before Newton or Leibniz.
Jakob (1655–1705) and Johann (1667–1748) Bernoulli evangelized Leibniz's calculus across Europe, inventing variational calculus and solving the brachistochrone.
Swiss colossus who turned the calculus into modern analysis. His Introductio in analysin infinitorum (1748) introduced the function as the central object of mathematics.
For two millennia, mathematics had been the science of static quantity — counting and geometry. Calculus made it the science of change. Velocity, acceleration, and rates became as tractable as triangles and squares. The simultaneous invention by Newton and Leibniz also marked the beginning of mathematics as a competitive, internationally networked enterprise — setting a precedent for every later revolution.
Russia, Hungary, Germany, 1820s–1850s • Mathematics Discovers Multiple Realities
For 2,100 years after Euclid, mathematicians took for granted that there is one true geometry — the one with the parallel postulate, the geometry of flat space. The fifth postulate's awkward phrasing tormented generations who tried unsuccessfully to derive it from the others. Then, almost simultaneously, Nikolai Lobachevsky in Kazan and János Bolyai in Transylvania showed that consistent geometries could exist where the postulate fails — where through a point not on a line, infinitely many parallels exist. Bernhard Riemann completed the picture in 1854 with the geometry of curved manifolds, which Einstein would borrow sixty years later for general relativity.
~1820s–1854 • Three independent overthrows of Euclid
Nikolai Lobachevsky (1792–1856), rector of Kazan University, published "On the Principles of Geometry" in 1829 — in obscure Russian. János Bolyai (1802–1860), a Hungarian army officer, published a 24-page appendix to his father's textbook in 1832. Carl Friedrich Gauss had similar ideas privately but never published, fearing the "outcry from the Boeotians." Riemann's 1854 habilitation lecture at Göttingen unified them all under "manifolds."
"Prince of mathematicians." Privately developed non-Euclidean geometry decades before Lobachevsky and Bolyai but never published, fearing controversy.
Rector of Kazan University. Called the "Copernicus of geometry" by Clifford. Spent his last years blind, dictating his final treatise.
Hungarian army officer and the finest swordsman in the imperial army. Devastated by Gauss's response, withdrew into bitter obscurity.
Göttingen professor whose 1854 lecture and 1859 paper on the zeta function reshaped geometry and number theory before his death from tuberculosis at 39.
The discovery of non-Euclidean geometry destroyed the Kantian thesis that Euclidean space was a synthetic a priori truth, given by the structure of the mind itself. Kant was wrong; geometry was not unique. This was the first time mathematics generated alternatives to apparently self-evident truths — opening the philosophical door for set theory's hierarchies of infinity, Gödel's incompleteness, and the modern view of mathematics as a creative discipline rather than a descriptive one.
Halle, Germany, 1874–1897 • Mathematicians Confront the Actual Infinite
Georg Cantor was a professor of mathematics at Halle who, in 1874, did something Aristotle had explicitly forbidden: he treated the infinite as a completed object that could be counted, compared, and ranked. He proved the rationals are countable and the reals are not — meaning there are "more" real numbers than fractions. His diagonal argument, the cleanest proof in mathematics, opened a hierarchy of transfinite numbers (ℵ₀, ℵ₁, ℵ₂...) that shocked his contemporaries. Henri Poincaré called it "a disease from which mathematics will eventually recover." It did not. Set theory became the foundation of modern mathematics.
1845–1918 • Russian-born German mathematician
Born in Saint Petersburg, Cantor spent his career at the modest University of Halle — blocked from positions at Berlin and Göttingen by Leopold Kronecker, who detested actual infinity and hounded him professionally. Cantor suffered repeated nervous breakdowns from 1884 onward, dying in a psychiatric clinic in 1918. David Hilbert later defended his work: "No one shall expel us from the paradise that Cantor has created."
"God made the integers; all else is the work of man." Cantor's tormentor. Kronecker rejected actual infinity entirely and used his Berlin influence to block Cantor's career.
Cantor's intellectual confidant. Constructed the real numbers from rationals via "Dedekind cuts" (1872). Their letters are the founding documents of set theory.
British logician who discovered Russell's paradox in 1901, derailing Frege's lifework. With Whitehead, wrote Principia Mathematica (1910–13) attempting a foundation.
Stanford mathematician who invented "forcing" in 1963 to prove the Continuum Hypothesis independent of ZFC. Won the Fields Medal (1966) for the work.
Cantor turned the infinite from a forbidden topic into a quantitative subject. He showed that mathematics could legitimately treat objects whose existence Aristotle had denied for two millennia. Set theory provided a single language that could express almost all of mathematics — turning it into a unified structural enterprise. The diagonal argument became the most reused proof technique of the twentieth century, reappearing in Gödel, Turing, and Chaitin.
Vienna, 1931 • Mathematics Discovers Its Own Limits
In 1900, David Hilbert had set the agenda: provide a complete and consistent axiomatization for all of mathematics, with a finitary proof of consistency. By 1928 the goal seemed within reach. Then in September 1930, at a conference in Königsberg, a quiet 24-year-old Austrian named Kurt Gödel rose at coffee break and announced — almost casually — that the program was impossible. Any consistent formal system rich enough to express arithmetic must contain true statements that cannot be proved within it. The dream of a complete mathematics was over before it had really begun.
1906–1978 • Austrian, later American, logician
Born in Brünn (now Brno), Moravia. Joined the Vienna Circle but never quite fit; his Platonism contradicted their logical positivism. Married a divorced cabaret dancer over his family's protests; fled Nazi Vienna via the Trans-Siberian railway in 1940; became Einstein's closest friend at Princeton's IAS. Suffered lifelong paranoia about being poisoned; died in 1978 weighing 65 pounds, after refusing to eat any food not prepared by his hospitalized wife.
The Göttingen titan whose program Gödel demolished. He responded with characteristic dignity: incompleteness is real, but mathematicians' work must continue regardless.
The only person at Königsberg to immediately grasp Gödel's result. Independently derived the second incompleteness theorem before reading Gödel's paper.
Polish-American logician whose 1933 truth-undefinability theorem complemented Gödel's: truth itself cannot be defined inside the system that contains it.
Gödel's daily walking companion at Princeton. Einstein said in his last years that he came to the Institute "just to have the privilege of walking home with Gödel."
For 2,300 years — since Euclid — mathematics had been the paradigm of certain knowledge. Gödel proved that no formal system could capture even all the truths of arithmetic. Mathematical truth turns out to be wider than mathematical proof. Like quantum mechanics for physics, incompleteness installed an irreducible "edge" at the foundation of the discipline. It is the only mathematical result that has entered general intellectual culture as a metaphor — sometimes appropriately, often not.
Cambridge, England, 1936 • Defining What an Algorithm Actually Is
Hilbert's third great question, after consistency and completeness, was the Entscheidungsproblem: is there an algorithm that, given any mathematical statement, decides whether it is true? In 1936, two papers settled it negatively. Alonzo Church at Princeton used his lambda calculus; Alan Turing, a 24-year-old at King's College Cambridge, used an imaginary machine reading symbols on a tape. Turing's paper did far more: it defined "algorithm" rigorously for the first time, showed a universal machine could simulate any other, and proved the halting problem undecidable. Out of pure logic, the modern computer was born.
1912–1954 • English mathematician, logician, code-breaker
Trinity-rejected, King's-accepted, Turing wrote "On Computable Numbers" as a 23-year-old fellow of King's College Cambridge. Crossed the Atlantic to Princeton to take a PhD with Church (1936–1938). Led Hut 8 at Bletchley Park 1939–1945; designed the Bombe. Prosecuted for "gross indecency" in 1952, chemically castrated; died of cyanide poisoning June 7, 1954, aged 41. Pardoned by Queen Elizabeth in 2013.
Princeton logician, Turing's PhD advisor. Father of the lambda calculus — ancestor of modern functional programming languages (Lisp, Haskell, ML).
Church's student, formalized recursive functions and regular expressions. Proved the equivalence of lambda-definability, Turing-computability, and general recursion (Kleene normal form).
Turned Turing's universal machine into the practical stored-program computer. Hungarian-American polymath whose architectural template every modern processor follows.
American logician who independently proposed an equivalent computational model in 1936 ("Post production systems"). Often overlooked due to delayed publication.
Before 1936, "algorithm" was an informal idea. Turing turned it into a precise mathematical object — and in the same paper proved limitations on what algorithms can do. He also produced a universal machine: one program/data unification that became the architectural template for every digital computer. The revolution that began as pure logic became, within a decade, the most economically consequential idea in human history.
Princeton, Paris, Montreal, 1945–Present • Mathematics About Mathematics
By the 1940s, algebraic topology was suffocating in technical bookkeeping: every theorem had to be re-proved for every category of object. Samuel Eilenberg and Saunders Mac Lane introduced "natural transformations" in a 1945 paper to make the bookkeeping rigorous — and ended up inventing a new foundational language for mathematics. Alexander Grothendieck, between 1957 and 1970, used categories to rebuild algebraic geometry from scratch, then walked away from mathematics entirely. By the 21st century, category theory had spread from pure math into physics, computer science, linguistics, and even neuroscience. It is the most general mathematical revolution of all.
1945–present • Three pillars of categorical thinking
Samuel Eilenberg (1913–1998), Polish-American algebraic topologist, was a founding "Bourbaki" member who hated abstraction for its own sake. Saunders Mac Lane (1909–2005), University of Chicago algebraist, gave categories their canonical textbook. Alexander Grothendieck (1928–2014), the stateless prodigy of IHÉS, used schemes, sites, and topoi to build a category-theoretic algebraic geometry, won the Fields Medal in 1966, and abandoned mathematics in 1970 over its militarization.
Stateless mystic mathematician. Reshaped algebraic geometry, then withdrew to the Pyrenees and refused all contact for decades. The Grothendieck circle compares his impact to Newton's.
Co-founder of category theory. Wrote the canonical textbook. University of Chicago professor whose students included Mac Lane's "co-founders" of topos theory (Lawvere, Tierney).
Pioneer of topos foundations and categorical logic. His 1963 thesis "Functorial Semantics of Algebraic Theories" remains foundational.
Russian-American Fields medalist. Founded Univalent Foundations / Homotopy Type Theory, attempting to use category theory and types as the foundation of all mathematics.
Where set theory provided objects, category theory provides relations. It is mathematics one level up: instead of asking what things are, it asks how they map. This shift from ontology to morphism enabled deep cross-pollination — algebraic geometry borrowing from logic, physics borrowing from topology, computer science borrowing from algebra. Many working mathematicians believe category theory is the natural sequel to set theory as the foundation of the field.
| Revolution | Founding Year | Founder(s) | Core Idea | Key Tool/Result | Status |
|---|---|---|---|---|---|
| Calculus | 1666 / 1675 | Newton, Leibniz | Mathematics of continuous change | Fundamental theorem of calculus | Universal |
| Non-Euclidean | 1829 / 1854 | Lobachevsky, Bolyai, Riemann | Multiple consistent geometries | Riemannian manifolds | Reigning |
| Set Theory | 1874 | Georg Cantor | Hierarchies of infinity | Diagonal argument; ZFC | Foundational |
| Gödel | 1931 | Kurt Gödel | Truth outruns proof | Two incompleteness theorems | Permanent limit |
| Computability | 1936 | Turing, Church, Post | Algorithms have a precise definition | Universal machine; halting problem | Reigning |
| Category Theory | 1945 | Eilenberg, Mac Lane, Grothendieck | Mathematics of structure-preserving maps | Functors; topoi; higher categories | Spreading |
Cantor in Halle, Gödel in Vienna, Turing in Cambridge, Grothendieck in the Pyrenees — foundational mathematical revolutions tend to come from outsiders working against the grain, often paying a personal price for it.
Leibniz's dy/dx beat Newton's dotted fluxions. Cantor's ℵ survived. Eilenberg-Mac Lane's commutative diagrams swept the field. The right notation makes new abstractions tractable; the wrong notation kills them.
Cantor's diagonal proof of uncountability begat Gödel's incompleteness theorem and Turing's halting problem. The same logical trick — self-reference via diagonalization — underlies the three deepest limitative results of 20th-century mathematics.
The parallel postulate (independent of the others), the Continuum Hypothesis (independent of ZFC), incompleteness, undecidability — mathematics keeps discovering that its statements are not all decidable. Truth has a richer structure than provability.
Riemannian geometry (1854) waited 60 years for general relativity. Hilbert spaces awaited quantum mechanics. Boolean algebra (1854) waited for Shannon (1937). Pure mathematics consistently provides the language a future revolution will need.
From Euclid alone, to ZFC, to topos theory, to homotopy type theory: there is no longer a single agreed foundation of mathematics. The discipline has become a multiverse of interrelated foundational systems — all turning out to be equally legitimate.
Drag to pan • Scroll to zoom • Hover for details