Do Numbers Really Exist, or Are They Just Useful Fictions?
A strange question in math class
You are in math class. The teacher writes 2 + 2 = 4. Everyone nods. But then someone asks, “Does the number four actually exist somewhere — like, for real — or is it just a mark on the board?” The room goes quiet. That question is older than you think, and philosophers have been fighting over it for centuries. They call it the ontology of mathematics — the study of what mathematical things are, if they are anything at all.
One side says: yes, numbers, triangles, and functions are as real as mountains — just not something you can touch. The other side says: no, mathematics is a brilliant human invention, a game we play with symbols. The fight matters because mathematics is everywhere: in your phone, in rockets, in the way bridges stand up. If numbers aren’t real, how does math do all that work? If they are real, how do we ever know about them? Buckle up — we’re about to peek at the invisible furniture of the universe.
If numbers are real: the platonists
Imagine a perfect circle. Not a drawing — the drawing always wobbles — but true, flawless roundness. Many philosophers, called platonists, believe that such perfect mathematical things really exist. They are abstract objects: not located anywhere in space or time, and they can’t push or bump anything. You can’t trip over the number seven. Yet platonists say the number seven is as real as the chair you sit on, just in a different way.
This idea goes back to Plato, but modern platonists like Kurt Gödel (1906–1978) and W. V. Quine (1908–2000) gave it a scientific twist. They argued that our best scientific theories — the ones that explain how the world works — are loaded with mathematics. If we believe in electrons and galaxies because they are indispensable to physics, why not also believe in numbers and sets? The indispensability argument says: we ought to believe in the existence of whatever is essential to our best theories of the world. Mathematics is essential; therefore, mathematical objects exist.
But here’s the trouble. If numbers are outside space and time, how do we ever know anything about them? You learn about rocks by looking and touching. You can’t look at the number eight. Platonists have to explain how our brains, made of meat and electricity, can grab hold of something that never touches the physical world. This is the epistemological problem of mathematics, and it’s a real headache for platonism.
Five problems that shake the debate
To get a grip on the fight, philosophers have organized the trouble into five big puzzles. They cut both ways — some trouble platonism, some trouble the other side.
The epistemological problem we just met: if numbers are real but non-physical, how can we get knowledge of them? Then there’s the problem of the application of mathematics. Mathematics works staggeringly well in science. If numbers are just fictions, why does plugging them into equations help us predict eclipses and land rovers on Mars? Platonists think it’s because the world really is built out of mathematical patterns. Their opponents, the nominalists, disagree. Nominalists say mathematical objects do not exist — or at least we don’t have to believe in them to do mathematics.
But nominalists inherit their own headaches. One is the problem of uniform semantics. Platonists can use the same kind of “true” for both “Electrons have negative charge” and “Seven is prime.” Nominalists often need to rewrite mathematical talk, which leads to the problem of taking mathematical discourse literally. If a mathematician says “There are infinitely many prime numbers,” shouldn’t we take that at face value? Finally, there’s the ontological problem: whatever position you take, you must be clear about what you’re really saying exists, and why that commitment is reasonable. Now let’s see how three nominalist strategies try to solve these puzzles.
Option 1: math as a helpful story — fictionalism
Hartry Field (born 1946) thought the whole indispensability argument could be beaten. He accepted that mathematical theories aren’t true, but argued they are still useful because they make reasoning shorter. His view is called mathematical fictionalism.
Think of a calculator. It helps you find the answer to a tricky division problem. But you don’t believe there are tiny people inside doing arithmetic for real — it’s just a device. Field said mathematics is like that. The key idea is conservativeness. A mathematical theory is conservative if, whenever you add it to a body of true claims about the physical world that don’t mention numbers, you never get a new physical conclusion you couldn’t already reach. So mathematics is a tremendous shortcut, but it doesn’t add any new information about the world.
Field went further. He showed how to rewrite a chunk of physics — Newton’s theory of gravity — without using numbers at all. Instead of saying “the gravitational potential is 9.8,” you speak only about comparative relations: “the difference in potential here is less than there.” By doing this, he hoped to show that numbers aren’t indispensable; you can do science without believing in them.
It’s an impressive trick, but many philosophers worry. His method uses heavy mathematical logic to prove conservativeness, and that logic itself talks about sets and proofs — the very things he wants to avoid. And even if the rewriting works for one old theory, can it work for modern quantum physics? Nobody has yet shown it can. On top of that, fictionalism changes what mathematicians mean: “There are infinitely many primes” comes out false unless we sneak in a “According to the arithmetic story…” prefix. That means we can’t take math literally.
Option 2: math as possible patterns — modal structuralism
What if mathematics is not about actual objects, but about possible structures? That’s the heart of modal structuralism, developed by Geoffrey Hellman (born 1943). He noticed that mathematicians study patterns: the pattern of the natural numbers, the pattern of geometric spaces. Maybe we don’t need those patterns to exist in the real world — we only need them to be logically possible.
Hellman translated mathematical sentences using two steps. First, the hypothetical part: “If there were a structure satisfying the axioms of arithmetic, then 2+2=4 would hold in it.” Second, the categorical part: “It is possible that such a structure exists.” Since the translation only commits you to the possibility, you don’t have to believe in any actual ghostly numbers.
Applied mathematics works by claiming that a possible mathematical structure and a real physical structure are isomorphic — they share the same pattern, like two melodies written in different keys. If a flock of birds forms a V-shape, that’s a pattern that matches a geometric triangle.
Critics point out that to know a structure is possible you often need to know that its description contains no hidden contradictions — a deep mathematical fact itself. And, like fictionalism, modal structuralism rewrites every mathematical sentence with the words “it is possible that…” So we still aren’t taking mathematics literally. The search for a view that keeps both the success and the straight talk of mathematics continues.
Option 3: ‘There are numbers’ can be true without numbers existing — deflationary nominalism
Jody Azzouni (born 1954) offered a surprising way out. His deflationary nominalism accepts that mathematics is indispensable to science and even true — but denies that this forces us to believe in numbers.
Azzouni separates two ideas that many philosophers had glued together. Quantifier commitment happens whenever a theory says “There is an x such that…” — like “There is a prime number larger than a million.” But ontological commitment — really believing something exists — requires more. We only commit to the existence of things that are ontologically independent of our minds and language: things like rocks and stars, which don’t need us to be there. If something is just made up by our language practices, like a character in a novel, we can truthfully say “There are hobbits” in the story without believing hobbits actually exist.
Numbers, Azzouni argues, are like that. They are “ultrathin” posits: simply writing down axioms and working out consequences is enough to bring them into our talk. They are ontologically dependent on us, so we owe them no existence. The payoff is huge: we can say “infinitely many prime numbers exist” and mean it literally, without adding any story-operator or possibility-wiggle. The same semantics applies to math and science.
But even this easy road has bumps. To mark what really exists, Azzouni introduces a special existence predicate into our language, a tool that doesn’t obviously belong to ordinary speech. Some wonder whether that counts as taking math entirely literally after all.
Why this fight still matters to you
You might think: “Who cares whether numbers exist? Math still works!” And you’re right — the bus still runs on time, and your video game still renders. But the answer changes how we see ourselves. If platonism is right, mathematics is a discovery, and the universe has a built-in, eternal language. If nominalism is right, mathematics is a glorious invention of the human mind, a set of tools we made up and then wielded with incredible skill.
The debate also touches whether we should fully trust mathematics to describe reality. If numbers are merely helpful stories, why does the story keep coming true? If numbers are abstract objects, how can a brain born from mud and stars ever know them? The arguments we’ve surveyed — fictionalism, modal structuralism, deflationary nominalism — are attempts to answer these questions without giving up on science or clear thinking.
The next time you solve an equation, remember: philosophers are still arguing about whether the equals sign links up real things or just links up useful thoughts. You don’t have to pick a side today, but you can enjoy the strangeness of knowing that even the simplest sum hides a mystery.
Think about it
- If a scientist could rewrite every physical theory without using numbers, would numbers still “exist” in your mind? Why or why not?
- Imagine you design a new board game with rules and tokens. Do the rules exist before any human plays the game? How is that like the debate over numbers?
- If you can’t see, touch, or hear something, what would count as good evidence that it’s real? Does the way that mathematics works in science count as that kind of evidence?
