Geoffrey West
Cities scale like organisms—but the 15% salary bump isn’t a law, it’s a rough correlation with no mechanism, margin of error, or boundary conditions.
Mathematics
The language that keeps turning out to describe things it was not built for.
- 59
- in science
- 11:21
- average
- 670 min
- in total
- 79
- across the network
All briefs
Per Bak
Self-organized criticality is not a law of nature—it’s a sandbox with one working toy.
Hypatia
Hypatia didn’t invent new mathematics—she rebuilt the foundations others relied on.
Abdus Salam
Salam didn’t discover a particle — he built the grammar that lets physicists speak about weak and electromagnetic forces as one thing.
Al-Khwarizmi
He didn’t invent algebra—he founded it as a discipline with rules, not rhetoric.
Aryabhata
Aryabhata didn’t just anticipate Copernicus — he built a working, quantified geocentric model that outperformed contemporaries for a millennium.
Aubrey de Grey
A gerontologist broke a 60-year-old maths stalemate—and used graveyard soil to test an anti-ageing idea no one else would touch.
Bayes' theorem
Thomas Bayes · 1763
Bayes's 1763 essay solves a narrow inverse probability problem using conditional probability. It computes limits on a binomial parameter—not a general theory of belief updating. Its power lies in precision, not generality.
Benoit Mandelbrot
Fractals do not explain nature — they rename its roughness with precision.
Bernhard Riemann
Riemann did not solve physics — he rebuilt its grammar.
Bhāskara II
Bhāskara II didn’t invent calculus — but he derived its central insight while calculating planetary motion in Ujjain.
Boolean algebra
George Boole wrote down an algebra for pure logic in 1854 with no interest in machinery; Claude Shannon's 1937 thesis is why every digital computer runs on it anyway.
Brahmagupta
Brahmagupta didn’t invent zero — he made it calculate.
Carl Friedrich Gauss
Gauss didn’t just find Ceres — he proved mathematics could outpace observation.
Catastrophe theory
René Thom classified every possible way a stable system can suddenly break into seven geometric templates. The mathematics is settled; its 1970s use to explain animal and human behaviour was not, and a public critique said so.
Cellular automaton
Von Neumann built a grid of simple cells following fixed local rules to answer a question about machines copying themselves, and the idea outgrew its original purpose entirely.
Cauchy–Riemann equations
A pair of equations written down in 1752 to study fluid resistance turned out, a century later, to be the exact test for whether a complex function is differentiable — functions that pass it are so much more rigid than ordinary ones that complex analysis follows from it.
David Hilbert
Hilbert didn’t build tools—he built the rules for building tools, and then proved some tools can’t be built at all.
Special relativity
Einstein's 1905 paper resolved a conflict between mechanics and electromagnetism by making the speed of light constant for every observer, at the cost of absolute time, absolute length, and separate mass and energy.
Emmy Noether
Noether didn’t just find links between symmetry and conservation—she rebuilt mathematics so those links were inevitable.
Évariste Galois
Galois didn’t just solve an old problem — he invented the language to say why some problems can’t be solved at all.
Felix Klein
Klein didn’t discover space—he discovered how to stop arguing about it.
Fermat's Last Theorem
Andrew Wiles · 1638
Wiles proved Fermat’s Last Theorem by establishing the modularity theorem for semistable elliptic curves — a result that, combined with Ribet’s theorem, ruled out integer solutions to a^n + b^n = c^n for n > 2. His initial 1993 proof contained a flaw in the Selmer group argument; he and Taylor repaired it in 1994 using Galois representations and Iwasawa theory. The complete proof appeared in the Annals of Mathematics in 1995.
Fourier analysis
Joseph Fourier claimed in 1807, studying how heat spreads through a solid, that almost any function could be rebuilt from sine and cosine waves alone — a claim reviewers thought too bold to be rigorous, and one still central to JPEG images and digital audio.
Georg Cantor
Cantor didn’t discover infinity — he broke it into pieces you can count, compare, and order.
Gödel's incompleteness theorems
Kurt Gödel
Gödel’s 1931 incompleteness theorems show that no consistent, effectively axiomatized formal system capable of arithmetic can be both complete and self-consistent. They ended Hilbert’s program. Their method — Gödel numbering and diagonalisation — became foundational for computability theory. They do not apply outside formal systems satisfying strict technical conditions.
Seven Bridges of Königsberg
In 1735 Leonhard Euler proved that no walk through Königsberg could cross all seven of its bridges exactly once, by throwing away the map entirely and reducing the city to dots and lines — the first proof in what became graph theory, and arguably the birth of topology.
Group theory
At eighteen, Évariste Galois worked out exactly which polynomial equations can be solved with a formula and which cannot, by studying the symmetries of their roots — then died in a duel at twenty before anyone understood what he had actually found.
Henri Poincaré
Poincaré didn’t just anticipate relativity — he built its mathematical skeleton before Einstein published.
Hilbert's problems
David Hilbert
Hilbert’s problems are not a discovery in the empirical sense. They are a curatorial act—23 unsolved questions published in 1900 to define mathematics’ trajectory for the next century. Their influence stems from uptake, not truth. They succeeded because mathematicians treated them as a syllabus—not because they were complete, precise or even consistent.
James Clerk Maxwell
Maxwell didn’t discover light — he discovered that light is electricity dancing with magnetism.
Jing Fang
A Han dynasty mathematician calculated musical temperaments to 0.0145-cent precision — and declared the Moon a mirror centuries before Europe.
John Maynard Smith
He didn’t watch evolution — he turned it into a set of rules you could calculate.
John von Neumann
Von Neumann didn’t build computers—he built the logical floor they stand on, and then proved the floor could hold two floors at once.
Joseph-Louis Lagrange
Lagrange didn’t describe motion — he abolished the need to describe it at all.
Katherine Johnson
Human calculation didn’t just support early spaceflight—it certified the machines that replaced it.
Knot theory
A wrong theory that atoms were knotted loops of ether pushed nineteenth-century mathematicians to catalogue every possible knot — the classification survived even after the physics it was built to explain was abandoned.
Kurt Gödel
Gödel didn’t break mathematics — he mapped its borders with surgical precision.
Lambda calculus
Alonzo Church built computation from three constructs and one substitution rule in the 1930s, a system minimal enough that its equivalence to Turing machines still defines what "computable" means, and specific enough to have real blind spots.
Liu Hui
Liu Hui didn’t borrow from Greece — he built a parallel mathematics, complete with proof, algorithms, and limits.
Mitchell Feigenbaum
Chaos isn’t random — it’s tuned to a single number, discovered on a pocket calculator.
Nash equilibrium
A 28-page dissertation defined stability in a game as nobody being able to do better by switching strategy alone, a simple condition that says nothing about whether the outcome is actually good for anyone.
Nasir al-Din al-Tusi
Al-Tusi didn’t fix Ptolemy — he exposed the logic that held him together.
Noether's theorem
Emmy Noether
Noether's theorem is the rigorous, general proof that continuous symmetries of the action imply conservation laws. It was published in 1918 in Invariante Variationsprobleme. It applies only to smooth, differentiable symmetries in conservative systems. It resolved energy conservation in general relativity. It reshaped theoretical physics’ emphasis toward symmetry.
Non-Euclidean geometry
For two thousand years mathematicians tried proving Euclid's parallel postulate from his other axioms. In 1829 and 1832, Lobachevsky and Bolyai independently showed the opposite: denying it produces a consistent geometry, one Gauss had already found and hidden.
Oliver Heaviside
Heaviside didn’t just tidy up Maxwell—he rewrote the rules of signal, space, and time.
Omar Khayyam
Omar Khayyam didn’t just do maths and astronomy — he built tools that outlived empires.
Pierre-Simon Laplace
Laplace didn’t just calculate the heavens — he built the grammar that lets us compute them.
Ramsey theory
At any party of six people, mathematics guarantees either three mutual acquaintances or three mutual strangers — a provable fact built on an idea so simple it dates to 1622, and one that grows, in Ramsey theory generally, into numbers too large to compute.
Sophie Germain
Germain’s mathematics was right where it counted—and wrong where it mattered most.
Srinivasa Ramanujan
Intuition without proof is not mathematics—until the proofs catch up.
Axiom of choice
In 1904 Ernst Zermelo introduced a rule letting mathematicians pick one item from each of infinitely many sets, with no procedure for how, purely to prove a separate theorem — strange enough to prove a ball can be split and reassembled into two of the original size.
Continuum hypothesis
Georg Cantor believed, and spent years failing to prove, that no set's size sits strictly between the integers and the real numbers — a question later shown by Gödel in 1940 and Cohen in 1963 to be neither provable nor disprovable from mathematics' own standard axioms.
Four color theorem
In 1976 Kenneth Appel and Wolfgang Haken proved that any map can be coloured with just four colours so no two neighbouring regions match, by having a computer check over 1,800 configurations for more than 1,000 hours — the first major theorem no human could verify by hand.
Fundamental theorem of calculus
Newton and Leibniz independently found that finding a curve's area and its rate of change are the same operation reversed, then spent decades accusing each other of theft — a dispute the Royal Society, with Newton as president, judged in his own favour.
Halting problem
Turing's 1936 proof that no algorithm can tell, for every program and input, whether that program will ever stop running set a permanent boundary on what computation can decide.
Riemann hypothesis
Bernhard Riemann
Riemann’s 1859 hypothesis is a precise, unproven claim about zeta zeros — central to prime distribution, yet untouched by proof for 165 years.
Turing machine
Alan Turing's 1936 paper described a machine that never got built, made of an infinite tape and a table of rules, to answer a narrow question about mathematical logic — and in doing so proved some problems can never be solved by any computer at all.
Zu Chongzhi
Zu Chongzhi didn’t just approximate π — he built a 24,576-sided polygon and used geometry to outcompute Europe by nine centuries.