pure

← Home

Introduction

The myth has a founding document, and the founding document has a flaw worth naming before the rest.

In 1940, the number theorist G. H. Hardy published A Mathematician's Apology, a defense of doing mathematics for its own sake. Part of the case is aesthetic — serious mathematics justified as art, independent of use. Part of it is empirical: Hardy believed that most “real” mathematics, number theory above all, was then useless and unlikely to contribute materially to warfare for many years. He hedged the empirical part more than the popular telling of this story suggests — and was wrong about it anyway, on scope and on timescale.

What Hardy actually wrote

Verified against the original text (Hardy, A Mathematician's Apology, Cambridge University Press, 1940):

§21: “The ‘real’ mathematics of the ‘real’ mathematicians, the mathematics of Fermat and Euler and Gauss and Abel and Riemann, is almost wholly ‘useless’ (and this is as true of ‘applied’ as of ‘pure’ mathematics).”
§25: “The great modern achievements of applied mathematics have been in relativity and quantum mechanics, and these subjects are, at present at any rate, almost as ‘useless’ as the theory of numbers.”
§28: “Real mathematics has no effects on war. No one has yet discovered any warlike purpose to be served by the theory of numbers or relativity, and it seems very unlikely that anyone will do so for many years.”

Hardy hedges in his own words — “at present at any rate,” and elsewhere, “time may change all this” — and separately from the 1915 remark below, the annotated edition of the Apology reads the surrounding passage as sustained irony rather than a flat forecast. None of that changes the outcome: he still thought number theory and relativity had no practical near-term use, and both did.

And earlier still, from an address to the British Association for the Advancement of Science in 1915 (quoted by Hardy himself in a footnote to §21, and reportedly a conscious rhetorical flourish rather than a plain prediction): “The Theory of Numbers has always been regarded as one of the most obviously useless branches of Pure Mathematics.”

Both of Hardy's named examples are on the Ledger. Number theory became RSA cryptography — circulated in 1977, published in 1978 — roughly sixty years after the 1915 remark. Relativity needed differential geometry and became the correction every GPS satellite applies to its clock, without which your phone's idea of where you are would drift by kilometers a day.

The line most often paired with this story — that Gauss called number theory the “queen of mathematics” because of its supreme uselessness — is fake, and Hardy is the one who says so, in the same book: “The imputation is usually based on an incautious saying attributed to Gauss... I have never been able to find an exact quotation.” The real, well-attested Gauss line is just: “Mathematics is the queen of the sciences, and the theory of numbers is the queen of mathematics.” No uselessness attached.

Why survey every field, not a selected few

A field, a named dismissal, an application that proved it wrong: cases built to that pattern will always confirm the pattern, because they were selected for fitting it. Twelve confirming cases don't establish a base rate — they show that a search for flattering examples finds flattering examples.

The fix is to stop selecting. What follows covers every field the American Mathematical Society classified as pure mathematics when Mathematical Reviews introduced its subject scheme in 1959 (roughly sixty top-level sections in total), restricted to the subset that count as pure mathematics and were already established as fields by 1960: 34 fields, including the ones where nothing interesting happened — no dismissal, no application, or both.

Four patterns

Examining original texts where available, together with historical scholarship and later technical sources, turned up four genuinely different patterns across all 34 fields. The line between the last two matters more than it looks: “no major application” and “no application” are different claims, and collapsing them makes the whole exercise look rigged after the fact.

The bias no classification can fix

A 1959 classification is not bias-free just because it's exhaustive. It's a survivor: it only lists topics that were still active, organized, and taken seriously enough to name in 1959. Whatever genuinely went nowhere and was abandoned before then — a research program that fizzled in 1880 and left no trace — isn't in it, because there's no catalog of abandoned mathematics to check it against. That gap is permanent: no amount of care in tabulating the 34 named fields closes it.

One thing this does let us check: whether every field of pure mathematics was, at some point, called useless by somebody. It wasn't. Lie algebras, K-theory, and matrix theory all came back with no dismissal on record at all — not attacked, just ignored, which is a different and more common fate than being insulted and vindicated.

The method

For each field: its founding date and event; any historical, named, datable dismissal, or its absence; the first documented real-world application, or its absence; the gap from founding to application, the number that means the same thing whether or not a dismissal ever happened. Galois did not invent group theory in one desperate night before his fatal duel — he'd been developing it for three years; the night was a summary, not an origin. Citations are on the Sources page.

Continue to