Can you cut a key for a lock whose existence no one yet knows? Bernhard Riemann did exactly that.
In 1854, the mathematician Bernhard Riemann formulated the geometry of curved spaces. It was a wholly abstract inquiry, a pure thought experiment born of internal logical constraints, with no physical purpose on the horizon. Riemann did not know, and could not have known, that he was shaping the exact framework Albert Einstein would use six decades later to describe the spacetime of general relativity.
This startling precedence is not an isolated event. It is a recurring pattern in modern science, and it confronts us with one of the most pointed questions in human thought: what comes first – the physical world, or the mathematical structure that describes it?
Our intuition says that the world comes first. First there are phenomena; then we approach them, measure them, and formulate an equation to fit them. In this picture, mathematics is like a map: flexible, sometimes brilliant, but always secondary. First we observe the terrain; the map comes afterward. This is one of the two longstanding positions on what mathematics is. According to the first, formalism, mathematics is a human invention: a consistent game of rules, much like chess. A game of chess can have remarkably consistent rules and deep strategies, yet it has no commitment to the world beyond the board. It is neither “true” nor “false” in relation to reality; it is simply an invented game. We posit axioms, derive consequences from them, and obtain a system that is internally consistent – with no commitment to reality. There are infinitely many such systems, each with its own rules, and none is more “true” than another. On this view, mathematics’ fit with the world is at most a convenient coincidence.
Opposed to it is the view of mathematics as discovery, often called Platonism: the mathematician does not invent but discovers; the structures and laws already exist, and discovery uncovers rather than creates them. The ratio of a circle’s circumference to its diameter was pi (π) before human beings gave it a name. Human beings uncovered a regularity that already existed, independently of their minds, and gave it a symbol. Many mathematicians, incidentally, describe their work in exactly these terms – not as people who invent a rule, but as people who encounter one.
The strongest argument for formalism – mathematics as invention – gained force in the nineteenth century, when it became clear that one could construct several different geometries, mutually contradictory, each entirely consistent within itself – and none describing any space we know. Mathematics therefore came to seem like a free creation of the mind, consistent only within itself. The clearest example of that “freedom” was precisely the geometry of curved spaces: an abstract construction, detached from all experience, that seemed decisive proof that mathematics floats free of reality. At first glance, this was evidence that mathematics has nothing to do with the world: humanity invents countless mathematical structures, the overwhelming majority of them without any use. In retrospect, we choose from the pile those that happened to fit nature and marvel at the fit as though it were a miracle. But there is no miracle here – there is survivorship bias. We forget the thousands of failures and remember the few hits.
The argument is plausible, but it explains fit after the fact – not precedence. Granted, from a large stock one can find a tool that fits a task which already exists; a key can lie in a drawer and turn out to fit a lock already set in a door. But selection does not explain how a key was cut – from its own internal necessity, with no hint of any door – decades before the door was built. Here Riemann returns, and the reversal is cruel to the formalist: the very geometry presented as the clearest evidence for mathematics’ freedom from reality became, a generation later, the architecture of spacetime. The strongest card in favor of the invention view became the strongest card in favor of precedence – mathematics as discovery. We did not choose Riemannian geometry from a pile in order to make it fit relativity; relativity had not yet been born, and there was no physical theory for which one could select this structure. The structure preceded not only the theory, but the question itself, by decades.
This is far from a single case. The pattern recurs at the deepest points in science. Group theory emerged in the nineteenth century as an abstract study of symmetry, and about a century later became the foundational language of particle physics. Complex numbers entered mathematics as a somewhat suspect computational device – and then it became clear that the wave function of quantum mechanics cannot be written without them: they sit at the heart of the dynamics, not at its margins.
Most striking of all is the power to predict: mathematics does not merely describe what has been measured – it predicts what has not yet been seen. Maxwell’s equations preceded the measurement of electromagnetic waves. Dirac’s equation required the existence of antimatter before anyone had seen it, and four years later the positron was found. The Standard Model contained the Higgs boson decades before it was detected in an accelerator. In fact, it took half a century of technological development and billions of dollars to build an immense particle accelerator simply to confirm what mathematical logic had already determined in advance.
The pattern was so common that it became known as “the unreasonable effectiveness of mathematics,” a phrase coined by the physicist Eugene Wigner – as though giving the wonder a name had already settled it. But effectiveness is not the deeper point. What undermines every interpretation that sees mathematics as a mere tool is not that it works – but that it comes first. It does not merely organize what has already been measured; it constrains in advance what physics will be able to find.
When structure precedes the physical task again and again, the very idea of an invented “tool” stops holding water. A tool receives its shape and function from the practical need of its maker. A hammer is designed to drive a nail. But a mathematical structure that waits in all its elegance and consistency for decades before physics can even formulate the question does not behave like a product of human psychology. It behaves like a fixed, objective element that is there independently of us. A local invention, born to solve one problem, should not repeatedly reveal itself as the internal skeleton of a reality we did not yet know how to ask about. A language we invented to solve a local problem should come after the problem and serve it – not precede by decades a world that remained unknown. We are transient creatures who arrived late; these structures behaved as though they were already there, ready and waiting for the world – and for us within it – to answer to them.
Consider the deep asymmetry. We are contingent, transient creatures, products of local biological evolution on a small planet. How can our limited biological consciousness “invent” eternal and necessary truths that preceded our existence by billions of years and will endure long after our sun has faded? If mathematics were an invention of the human mind, it ought to reflect the contingent structure of our psychology or biology, and to change with them. Science has a history of corrections – a long chain of useful errors: the geocentric model gave way to heliocentrism, Newton was revised by Einstein, and contemporary physics itself knows that it is not the end of the road. Mathematics has no such history. Mathematics has a history of discoveries, not a history of corrections to truth. The Pythagorean theorem has not “improved” or been “refuted” in the last 2,500 years, because there is nothing in it to correct. Once the axioms are laid down, the conclusions follow from them by absolute logical necessity. We do not legislate mathematics; we are its students.
To claim that mathematics is merely an invented game that happened to hit upon truth is like a person locked in a completely sealed room, drawing from wild imagination a detailed map of a city they have never heard of. When the door opens and they step outside, the map turns out to match London exactly, street by street and alley by alley. If this happened once, one could call it blind luck. But the history of science is not a collection of isolated cases; it bears witness to a systematic pattern in which pure mathematics precedes the scientific field and sets its terms in advance.
The dispute between discovery and invention is not a philosophical pastime; it determines the status of everything we call reality. If mathematics were only a language we invented, we would expect it to come after the world: first we see, then we measure, then we formulate. Yet again and again, at the deepest points, the structure appears before the measurement, before the instrument, sometimes before physics even knows how to ask the question.
None of this yet proves that mathematics is reality itself – that is the next claim, and I will present it as such: a claim to be examined, not a conclusion forced by the examples. What the examples do establish clearly enough is this: they pull the ground out from under the assumption that mathematics is a game of symbols we invented. An invented game can be consistent and may even prove useful – but when it repeatedly precedes measurement, the instrument, and sometimes the very question physics will learn to ask, it becomes harder and harder to see it as a local invention of the human mind. And if it is not our invention, and not merely a language for describing the world – what is its ontological status? Where exactly does this structure exist when no mind is there to think it?
That is for the next post.