Philosophy of Mathematics / Formalism
Mathematics Has No Meaning — And That Might Be Its Superpower
The most powerful language in the universe might be, at its core, pure symbol-shuffling with nothing behind it.
The Idea
Most of us carry a quiet assumption about mathematics: that it describes something real, something out there — that when we write '2 + 2 = 4', we are stating a truth about the fabric of reality. Formalism, developed most rigorously by the mathematician David Hilbert in the early twentieth century, challenges this at the root. For the formalist, mathematics is not a discovery of eternal truths. It is a game — a rigorous, extraordinarily disciplined game — played with symbols according to explicit rules. The symbols themselves mean nothing. Only the rules matter. This is a stranger position than it first appears. Hilbert proposed that all of mathematics could, in principle, be reduced to a finite set of axioms and inference rules, and that any valid proof is simply a sequence of symbol manipulations that follows those rules — no intuition required, no reference to the world outside. The system is self-contained. What mathematicians call 'truth' is just what can be derived within the system. The payoff is enormous: formalism gives mathematics its universality. Because the symbols carry no fixed meaning, the same structure can describe planetary orbits, financial risk, evolutionary dynamics, and quantum states. You plug in the meaning later. The architecture is neutral — and that neutrality is precisely why it fits everything. The unsettling corollary: if meaning is always imported from outside the system, then mathematics, on its own, says nothing about the world at all.
In the World
In 1900, David Hilbert stood before the International Congress of Mathematicians in Paris and issued what became the most famous to-do list in intellectual history: twenty-three unsolved problems he believed mathematics needed to resolve in the coming century. Underlying several of them was a single dream — his Entscheidungsproblem, or 'decision problem': could a purely mechanical procedure determine the truth or falsity of any mathematical statement? If formalism was right, and mathematics was just rule-following, then surely a sufficiently powerful algorithm could settle any question automatically. The dream collapsed spectacularly in 1931, when Kurt Gödel — a shy, twenty-five-year-old Austrian — published his incompleteness theorems. Gödel proved that any formal system powerful enough to express basic arithmetic will contain true statements that cannot be proved within that system. The rules, however precise, will always leave something out. Hilbert's programme was not just incomplete — it was, in a deep sense, impossible. Then Alan Turing arrived. His response to Hilbert's decision problem was to imagine a purely mechanical symbol-manipulating machine — what we now call a Turing machine. In proving the limits of such machines, Turing inadvertently sketched the architecture of every computer that has since been built. The attempt to fully formalise mathematics failed. But the failure was so precise, so generative, that it produced the digital world we inhabit. Formalism, pushed to its breaking point, broke open into something entirely new.
Why It Matters
There is something almost meditative in the formalist stance — a reminder that the frameworks we use to understand the world are not the world itself. The map is not the territory, as Korzybski put it. And yet we habitually mistake structure for substance, especially in areas where the structure is impressively precise. This matters beyond mathematics. We do the same thing with language, with economic models, with psychological categories — we treat the formal system as if it were the thing it was built to represent, and we stop noticing where meaning was quietly slipped in by human hands. Formalism asks: what is actually in the system, and what are you projecting onto it? There is also something quietly liberating in the idea that even the most rigorous intellectual edifice humans have ever built rests, at its base, on chosen axioms — starting points we adopt, not eternal truths we uncover. That choice is always there, even when it feels invisible. Sitting with that recognition, rather than rushing past it, is a genuinely philosophical act — and a useful one, for anyone who wants to think more clearly about what they actually know versus what they have simply inherited.
A Question to Ponder
In the systems you rely on most — moral, professional, personal — which rules did you consciously choose, and which did you simply find already running?
Get a new one of these every morning.
Start learning with Thinkable