Mathematics

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.

Self-organized criticality is not a law of nature—it’s a sandbox with one working toy.

Hypatia didn’t invent new mathematics—she rebuilt the foundations others relied on.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Stephen Cook's 1971 paper didn't solve P versus NP — it proved one problem could stand for all of them, which is why the question cryptography rests on is still open.

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.