Philosophy of Mathematics / Intuitionism
Mathematics Isn't Discovered — It's Built, One Mind at a Time
A century ago, a Dutch mathematician looked at the infinite and decided that most of it simply doesn't exist yet.
The Idea
Most people who think about mathematics at all assume it occupies a kind of eternal realm — that prime numbers and triangles were waiting to be found, the way continents were waiting to be mapped. This view, Platonism, has enormous intuitive pull. It feels like we discover mathematical truths rather than invent them. Intuitionism, developed by the Dutch mathematician L.E.J. Brouwer in the early twentieth century, cuts against this completely. For Brouwer, mathematics is a mental construction — it exists only insofar as a human mind has actually built it, step by step. There is no pre-existing mathematical universe to explore. There is only the activity of constructing. This sounds almost whimsical until you follow it to its consequences, which are radical. Classical mathematics uses a principle called the Law of Excluded Middle: any statement is either true or false, with no third option. Brouwer rejected this. If you haven't yet constructed a proof that something is true or false, then it is neither — it is simply unresolved, genuinely open, not merely unknown. The infinite, in this view, is never a completed object you can survey whole. It is always an ongoing process, perpetually unfinished. What makes intuitionism philosophically alive today is what it implies about certainty and knowledge more broadly: that to assert something exists, you must be able to show how to get there. Existence without a construction is, for the intuitionist, a kind of empty noise.
In the World
In 1928, David Hilbert — arguably the most influential mathematician of his era — stood before the International Congress of Mathematicians and declared that every mathematical problem must have a solution. 'We must know, we will know,' he said, in a phrase that became a rallying cry for mathematical optimism. Hilbert's programme was to place all of mathematics on an unshakeable, consistent foundation. Brouwer had already been arguing for decades that this ambition was built on sand. The two men shared a famous, bitter feud — partly professional, partly personal, partly a genuine clash of worldviews so deep that normal academic disagreement couldn't contain it. Brouwer believed Hilbert's classical mathematics was riddled with constructions that had no real meaning, proofs of existence that pointed to nothing a human mind could actually locate or build. The sharpest illustration of this is something called a non-constructive existence proof. Classical mathematics can prove that a solution to an equation exists by assuming it doesn't exist and deriving a contradiction — without ever producing the solution itself. For Brouwer, this was philosophically bankrupt. Proving something exists by showing the alternative is absurd is not the same as knowing what or where that thing is. Think of it this way: telling someone there must be a path through a forest because otherwise the forest would be impassable is not the same as walking them through it. Brouwer wanted the walk. He wasn't interested in the argument from the armchair.
Why It Matters
Intuitionism might seem like a quarrel inside a very specialised room, but the underlying tension it names is one most of us bump into quietly and often. How much weight should you give to an argument that proves something must be true without ever showing you the thing itself? How often do we accept conclusions — in economics, in planning, in relationships — derived from the logical elimination of alternatives, without anyone having demonstrated a real, constructive path forward? The intuitionist instinct is to ask: where, exactly, is this thing you're claiming exists? Show me how to get there. There's also something quietly mindful in the intuitionist picture of infinity — never a totality, always a process. It resists the very human temptation to treat the future as a complete object we can reason about from the outside. The future, like the intuitionist's infinite, is something we build as we go, moment by moment, never finished. Encountering Brouwer's ideas is a useful reminder that even our most apparently solid foundations — logic, mathematics, certainty — rest on choices about what counts as real, and those choices carry consequences that ripple outward further than they first appear.
A Question to Ponder
When you believe something is true, are you actually thinking of a path to it — or just convinced that the alternatives are impossible?
Get a new one of these every morning.
Start learning with Thinkable