We Will Know

In September of 1930, in the city of Königsberg, an old man stood up to give a speech about the future.

His name was David Hilbert, and he was the most famous mathematician alive. He was retiring, and his hometown had made him an honorary citizen, and he had come back to say what a lifetime of thinking had taught him. The speech was carried on the radio. You can still hear the recording. At the very end his voice speeds up, and he says six words in German, and then he laughs — a short, delighted laugh, the laugh of a man who is sure.

The six words were: Wir müssen wissen. Wir werden wissen.

We must know. We will know.

He meant it as a battle cry against a gloomy idea that was going around at the time — the idea that some questions are simply beyond us, that there are riddles the human mind will never crack. Nonsense, Hilbert said. In mathematics there is no such thing as an unsolvable problem. Give us time and we will solve every one. There are no limits. We must know, and we will.

He believed it so completely that when he died, those words were carved onto his gravestone, where they sit in Göttingen to this day.

Here is the thing about that afternoon, the thing that makes it one of the strangest scenes in the history of thought. The day before Hilbert stood up to promise that mathematics had no limits, a quiet, sickly young man of twenty-four had stood up across the same city, at a different meeting, and — almost in passing, near the end of a discussion — had said something that proved Hilbert wrong forever.

His name was Kurt Gödel. Almost no one in the room understood what he had just done. Hilbert wasn’t even there to hear it. He gave his speech the next day, glowing with confidence, never knowing that the door he was promising to walk through had already been locked, and that a boy across town was holding the proof that it could never be opened.

To understand why that scene matters — why it’s not just a sad coincidence but one of the most important moments in the story of the human mind — we have to back up. We have to talk about a dream. It’s a dream you probably share, even if you’ve never put it into words.

The dream you already have

Here is something most of us believe, deep down, without ever being taught it.

We believe there is one right way to think.

Call it being logical. Call it being rigorous. Call it reason. Whatever you call it, the belief goes like this: good thinking is good thinking, no matter what you’re thinking about. A smart, careful person reasons the same way about a bridge, a business, a marriage, and a murder trial. And the gold standard for this kind of thinking — the purest, cleanest example of the human mind getting things exactly right — is mathematics.

Think about how math feels. Two plus two is four. Not usually. Not most of the time. Not “in my experience.” Always, everywhere, for everyone, forever. A triangle’s angles add up to a straight line, and no amount of arguing or voting or wishing can change it. When you prove something in math, you don’t just believe it. You know it, with a certainty that nothing in ordinary life can match.

Now here’s the dream. If we could take that certainty — the diamond-hard, no-arguments certainty of mathematics — and spread it to everything else, imagine what we could do. Imagine settling questions in politics the way we settle questions in geometry. Imagine an argument about right and wrong that ends the way a math proof ends, with both people nodding, because there is simply nothing left to say. No more shouting. No more “well, that’s just your opinion.” Just answers.

This dream is the engine under a huge amount of how we live. It’s why we say “the facts don’t care about your feelings,” and “let’s be logical about this,” and “you can’t argue with math.” It’s why a certain kind of person believes that if the messy fields — ethics, art, politics — would just get more rigorous, more scientific, more mathematical, they’d finally start producing real answers instead of endless debate. From this point of view, the messiness of those fields isn’t in the subject. It’s a failure of nerve. The people in them just haven’t been strict enough.

And behind all of it sits the quiet, comforting assumption that at the very bottom, in mathematics, we have finally reached solid rock. Everything else may wobble. But math stands on bedrock. Whatever else we’re unsure of, we’re sure of that.

I want you to sit with how reasonable this all sounds, because it is one of the most reasonable-sounding beliefs a person can have. It isn’t the belief of a fool. It was the belief of some of the greatest minds who ever lived, and for a while it looked like they were going to be proven completely right. They came within sight of the finish line.

The dream had a name. It was called the search for a universal method — one way of reasoning, mathematical and airtight, that could in principle handle anything. And the story of what happened to it is not the story of the dream slowly fading, or running out of money, or getting boring.

It’s the story of the dream being killed. From the inside. By the one weapon everyone was sure it could trust.

By rigor itself.

First crack: reasoning wears different clothes

Start with a small, nagging problem — the kind you can push aside at first, but that never quite goes away.

Watch how people actually reason in different corners of life, and something strange jumps out. They don’t all reason the same way. Not even close.

A geometer proving a theorem moves in tiny, locked steps. Each one clicks into the next, and when the proof is done, it is done. There is no appeal. The conclusion is forced.

Now walk into a courtroom. A jury also reasons carefully. But nothing there is forced. They weigh testimony. They ask whether a witness seems trustworthy. They arrive at “beyond a reasonable doubt” — which is a high bar, but notice, it is not the geometer’s bar. It’s not “beyond any doubt.” A verdict is a judgment made by people who could, in theory, be wrong, and everyone in the room knows it.

Now sit with a doctor looking at a patient. She reasons from symptoms to a likely cause, then treats, then watches to see if she guessed right. Her thinking is a kind of skilled betting. A good doctor is one who bets well.

A geometer, a jury, a doctor. Three careful thinkers. Three completely different shapes of thought. And here’s the point: it would be insane to swap them. Imagine a juror demanding a mathematical proof that the defendant is guilty. He’d never convict anyone, because that kind of proof doesn’t exist for that kind of question. Now imagine a geometer accepting a theorem because twelve reasonable people found it convincing beyond a reasonable doubt. We’d laugh. That’s not how math works.

Aristotle noticed this almost twenty-four hundred years ago, and he said it about as well as it can be said. It is the mark of an educated person, he wrote, to look for exactly as much precision in each subject as that subject allows — and no more. You don’t demand poetry from arithmetic. You don’t demand arithmetic from poetry. It is, he said, equally foolish to accept a mathematician talking in mere probabilities and to demand ironclad proofs from someone giving a speech.

Notice what that does to the dream. If reasoning really came in one universal shape, this wouldn’t happen. There’d be one method, and the courtroom and the clinic would just be sloppy, low-resolution versions of the geometry class. But that’s not what they feel like. They feel like different kinds of thinking, each one fitted to its own kind of question, the way a key is fitted to its own lock.

Still — and here’s where the dream digs in and refuses to die — you can wriggle out of this. Fine, you might say. Maybe the courtroom and the clinic are messy. Maybe they’ll always be a little messy, because life is messy. But that’s exactly why we have mathematics: to show us what perfect certainty looks like when we finally get everything right. The other fields are the muddy foothills. Math is the solid peak. The dream retreats up the mountain, to the one place it feels truly safe.

So let’s follow it up there. Let’s go stand on the bedrock.

And let’s find out it isn’t bedrock at all.

Second crack: the floor was laid, not found

Open Euclid’s Elements, the book that taught the Western world what proof means. Before Euclid proves a single thing, he lays down his starting points — the handful of statements he’ll build everything else on top of. And he splits them into two kinds, and the split matters more than almost anyone notices.

Some of his starting points he calls common notions. These are things that seem to shine with their own truth: the whole is greater than the part; things equal to the same thing are equal to each other. You look at them and you just see it. Nobody has to talk you into it.

But others he calls postulates, and postulates have a different flavor. A postulate isn’t something you can’t help but see. It’s something Euclid asks you to grant him. It’s an assumption. He’s saying: let me take this as given, and watch what I can build. He isn’t claiming you’re forced to agree. He’s asking for a handshake.

Most of Euclid’s postulates go down easy. You can draw a straight line between any two points — sure, fine, granted. But there is one, the fifth, that always felt different. It’s long and clunky and awkward, and boiled down it says: if you have a line, there’s exactly one line parallel to it through any point off to the side. Just one. Not zero, not two. One.

For two thousand years, this postulate drove mathematicians a little crazy. It felt too complicated to just assume. It felt like something you should be able to prove from the simpler, cleaner starting points. Generation after generation tried. The greatest minds in the field took a swing at it. Every single one of them failed.

And then, in the 1800s, a few mathematicians — Lobachevsky, Bolyai, Riemann — got tired of trying to prove it, and asked a question so simple it was almost rude.

What if it’s false?

What if we just assume the opposite — assume there are many parallel lines through that point, or none at all — and see what happens? Everyone expected the whole thing to blow up, to collapse into nonsense and contradiction. That would have finally shown the fifth postulate was true, by proving that denying it was impossible.

It didn’t blow up.

Instead, out came whole new geometries. Strange, complete, perfectly consistent worlds where the rules are different. Worlds where a triangle’s angles add up to more than a straight line, or less. And these weren’t broken. They weren’t math with a mistake in it. They were as solid and sound as Euclid’s — just built on a different handshake. Later, we’d learn that one of them describes the actual shape of space near a star better than Euclid ever could. The “wrong” geometry turned out to be the universe’s.

Now step back and feel what just happened to the bedrock.

The great mathematician Henri Poincaré said it without flinching. The starting points of geometry, he wrote, are not truths burning with their own light, and they’re not facts we dug up from nature. They are conventions. They’re choices. They are, in his wonderful phrase, “definitions in disguise.” And then he asked the question that should stop you cold. Is Euclid’s geometry true? And he answered: the question has no meaning. You might as well ask whether the metric system is true, or whether inches are false. One geometry can’t be truer than another. It can only be more convenient.

Be careful what this does and doesn’t mean. It doesn’t mean geometry is a free-for-all where any answer is as good as any other. Centuries later, Einstein showed that the space around a star really is curved — that one of these “impossible” geometries, not Euclid’s, is the one the universe actually runs on. So there’s a hard fact about the shape of space. But notice where the fact lives. Which geometry describes the real world is something we had to go out and discover, by looking at starlight. It is not something the math handed us for free. The math just lays out the possible worlds, cleanly and certainly, each one true to its own starting handshake. Which world we live in is a different question, answered by a different kind of knowing. Even here, the certainty and the fact-about-reality come through two different doors.

So this is the peak the dream fled to. And it turns out the peak is not solid rock. It’s a floor. A magnificent, beautiful floor — but one that human beings laid down, plank by plank, by choosing which planks to use. And we could have chosen others, and built a different room, just as sturdy, with different furniture in it.

The certainty of math is real. But it’s the certainty of if-then. If you grant me these starting points, then this follows, and nothing can stop it. The “then” is diamond. The “if” is a decision.

That’s already a serious wound. But the dream isn’t dead yet. It’s stunned, but it can still stand — because look what these people were doing. Even after all this, they were building. Non-Euclidean geometry didn’t shrink mathematics; it exploded it, opened new worlds. Maybe, the dreamer thinks, that’s the real lesson. Maybe the dream isn’t dead. Maybe it’s about to be born.

And for a while, it really did look that way. Because this is the moment the dream stopped being a mood and became a plan.

The dream gets a name — and almost comes true

Roll back to a cold night in November of 1619. A young French soldier is holed up in a small room in Germany, warming himself by a stove, and he has three dreams in a single night that will echo for three hundred years.

He wakes up shaking, convinced he has glimpsed the foundations of what he calls “a marvelous science.” His name is René Descartes, and the vision that grabbed him that night was exactly our dream, seen whole for the first time: the idea that all of human knowledge might be unified by a single method. One way of reasoning, as certain as mathematics, that could unlock everything.

Descartes wasn’t just daydreaming. He went and did something staggering to back it up. Up to his time, algebra and geometry were separate worlds — numbers over here, shapes over there. Descartes fused them. He showed you could write a curve as an equation and an equation as a curve, that the two were secretly the same thing seen from two sides. If you’ve ever plotted a line on graph paper, you’ve used his idea. It’s still under everything.

And to Descartes, this fusion wasn’t just a neat trick. It was proof of concept for the dream. He came to believe his method of analysis was, in his own words, “a more powerful instrument of knowledge than any other” handed down to us — “the source of all others.” Not a tool. The tool. The master key. He thought the same basic method that cracked geometry could, in time, crack everything: nature, the body, maybe even the mind and God.

For the next three centuries, brilliant people carried that torch. And as they did, the dream got sharper and more concrete, until it turned into an actual to-do list. By the early 1900s, two Englishmen named Bertrand Russell and Alfred North Whitehead sat down to try to finish it. Their book was called Principia Mathematica, and its goal was breathtaking: to show that all of mathematics is really just logic. That every mathematical truth — every one — could be built up, step by locked step, from a tiny handful of pure logical rules. Take the rules, turn the crank, and out comes all of math, guaranteed.

It’s famously hard going. It takes them hundreds of pages to get to a point where they can prove that one plus one equals two. But you have to see what they were reaching for. If it worked, mathematics would finally rest on a foundation that couldn’t be questioned. Not a handshake. Not a convention. Pure logic, all the way down.

This is where our old friend Hilbert comes in, and where the dream reached its absolute peak. Hilbert looked at what Russell and Whitehead were building and laid out a plan to finish it once and for all. He wanted mathematicians to prove two things about the whole system of mathematics, the way you’d sign off on a finished building.

First: that it’s complete. That every true statement in math can actually be proven inside the system. Nothing true gets left out. No true statement floats around forever with no proof.

Second — and this is the one that mattered most to him — that it’s consistent. That the system will never, ever prove two things that contradict each other. That you could never, by following the rules correctly, arrive at both “this is true” and “this is false.” Because a system that can contradict itself is worthless; from one contradiction, you can technically “prove” anything at all.

Complete and consistent. Prove those two things, and the dream is done. Mathematics is sealed, airtight, forever. And then — this was always the hope — you take that same sealed method and start spreading it outward, to everything else. This was Hilbert’s life’s work. This is why he stood up in Königsberg, an old man full of joy, and promised the world: there are no limits. We must know, and we will know.

He was standing at the summit of a mountain three hundred years in the climbing. He could see the flag.

He did not know that the ground under the summit had already given way.

The murder weapon was rigor

Here is what the quiet young man, Kurt Gödel, had figured out.

He was looking at Hilbert’s dream — this perfect, sealed system of mathematics — and he asked a sneaky, brilliant question. He asked: what happens if the system tries to talk about itself?

Math is a language for making statements. Usually those statements are about numbers, or shapes. But Gödel found a way to build a mathematical statement that, when you decode it, isn’t about numbers at all. It’s about the system. And the particular statement he built says, more or less, this:

“This statement cannot be proven.”

Sit with that for a second, because everything hinges on it. Ask yourself: is that statement true or false?

Suppose the system can prove it. Then it’s proven something that says it can’t be proven — the system has proven a falsehood. It has contradicted itself. So a system that’s consistent, that never lies, can’t do that.

So suppose instead the system can’t prove it. Well — then the statement is telling the truth. It really can’t be proven. Which means here is a statement that is true, sitting right there in mathematics, that the system can never reach. A true thing it cannot prove.

Look at what just happened. Either the system contradicts itself, or it is incomplete. There is no third door. If math is trustworthy — if it never lies — then it must have true statements it can never prove. Hilbert’s first wish, completeness, was not just unmet. It was impossible. Gödel didn’t fail to find the proof of completeness. He proved there could never be one.

And then he drove the knife the rest of the way in, with a second result that was somehow even worse for the dream.

Remember Hilbert’s most important wish — that mathematics could prove its own consistency, could guarantee from the inside that it would never contradict itself. Gödel showed that this, too, is impossible. A system rich enough to do ordinary arithmetic can never prove its own consistency using only its own tools. The one guarantee Hilbert wanted most — the promise that the whole thing wouldn’t someday collapse — is exactly the promise mathematics can never make about itself.

You can try to escape. You can say: fine, I’ll step outside arithmetic and build a bigger system, and use that to prove arithmetic is safe. And you can! But now the bigger system needs its consistency guaranteed, and it can’t do that for itself either. So you build a bigger one still. And a bigger one. The floor you’re looking for keeps receding, one level up, forever. There is no final floor. There is no bottom of the stack where you can finally set everything down and rest.

Now here is the part I most want you to feel, because it’s the heart of the whole thing.

The dream didn’t die because mathematicians got sloppy. It didn’t die because they weren’t rigorous enough. It died because they were rigorous at all. Gödel’s proof isn’t a loophole or a trick of sloppy language. It is one of the most rigorous, airtight arguments ever constructed by a human being. It meets the diamond standard completely. The tighter you make your system, the more powerful and exact, the more surely this thing bites — because a system has to be strong enough to talk about itself before Gödel’s statement can even be written down inside it.

That’s the terrible beauty of it. Rigor was supposed to be the tool that built the universal method. Instead, rigor was the tool that proved the universal method can’t exist. The dream handed reason a scalpel to perfect itself with, and reason used the scalpel to show, perfectly, exactly where it must stop.

And notice, finally, that this was never really only about math. It was always about the bigger dream — the hope that we could find one master method and spread its certainty over everything. What Gödel showed is that even in the purest, cleanest, most rigorous room in the whole house of human thought — even there, in arithmetic itself — the master method cannot finish the job. It cannot seal even its own room. This is the dream’s purest, hardest form — the one you could actually write down and check — and it’s the one Gödel breaks outright. He doesn’t have to march through every field and refute it by hand. He shows that in the cleanest room in the whole house, the master method can’t even seal itself. And the messier rooms we already visited: the courtroom, the clinic, the argument about how to live. We saw back at the start that those were never going to fold into one method either. So it isn’t that Gödel alone slays the dream everywhere. It’s that the earlier doubts already fenced the dream into this one last stronghold — pure mathematics, where it looked invincible — and then Gödel took the stronghold.

What’s actually left standing

It would be easy to read all this as a tragedy, or worse, as an excuse. If even math can’t be sealed up tight, a person might shrug and say: then nothing is really certain, everything is just opinion, believe whatever you like. That’s the reaction of someone who was quietly still hoping for the master key, and is now sulking because they can’t have it.

But look again at what actually survived, because almost everything did.

Two plus two is still four. Every theorem Euclid ever proved is still proven. Gödel didn’t break a single piece of mathematics; you can’t point to one sum that stopped working. Math is exactly as rock-solid today as it was the morning before Königsberg. What died wasn’t math’s certainty. What died was one specific fantasy about that certainty — the fantasy that it could be made total, self-guaranteeing, and stretched to cover the whole world.

And once you let that fantasy go, the thing that’s left isn’t despair. It’s something older and wiser, something the best thinkers understood long before Gödel proved it. The philosopher David Hume called it a “mitigated” skepticism — not the wild kind that throws up its hands and says nothing can be known, but the humble, useful kind that carefully learns the shape of what can be known and what can’t, and then works cheerfully inside those limits.

It brings us right back to Aristotle and his educated mind — the one that seeks exactly as much precision as each subject can bear, and no more. That’s not a consolation prize for failing to find the universal method. That is the wisdom. There was never going to be one key. There was always going to be a ring of them, each cut to its own lock. The certainty of arithmetic for arithmetic. The careful betting of the doctor for the body. The “beyond reasonable doubt” of the jury for questions of guilt. And for the deepest human questions — how to live, whom to love, what’s worth doing — there are better and worse ways to reason, wiser and more foolish paths, but there is no proof coming that will end the conversation the way a proof ends a theorem. Not because we haven’t been strict enough. Because that’s not the shape of those questions, and it never was.

The person who keeps demanding one method for all of it — who thinks every real question must have a math-proof answer or else it’s just noise — isn’t being more rigorous than everyone else. They’ve simply misunderstood what rigor is. Rigor, followed all the way to the end, is the very thing that turns around and tells you where it can and cannot go. The most rigorous mind is not the one that claims the master key. It’s the one that knows precisely which door needs which key — and which doors have no key at all, only better and worse ways of knocking.

Königsberg, again

So come back, one last time, to that afternoon.

An old man stands in his hometown. His voice, preserved on a scratchy recording, picks up speed at the end. He is happy. He has spent his whole life building toward a single magnificent idea, and he believes with his whole heart that it is about to come true, that the last stones are being set, that the human mind is on the verge of knowing everything it could ever wish to know. He says his six words, and he laughs that short, sure laugh.

We must know. We will know.

He is wrong. He is, in that exact moment, more wrong than he will ever understand, because the proof that he is wrong already exists, already sits finished in the notebook of a shy young man who tried to explain it, the day before, to a room that mostly wasn’t listening. The door Hilbert is promising to open has already been shown, with total certainty, to be a wall.

And yet.

I don’t think the scene is really a tragedy, and I don’t think we should laugh at him. Because Hilbert was chasing the most magnificent wrong idea a person can chase, and in chasing it he and the people around him drove human reason so hard, so rigorously, that reason finally became strong enough to find its own edge. The dream had to be pushed all the way to the summit before anyone could see, from up there, that the summit wasn’t the top. Hilbert didn’t get the answer he wanted. He got something rarer. His life’s work created the exact conditions under which the truth could be found — even though the truth turned out to be the opposite of what he was sure of.

His confident words are still carved in stone in Göttingen. And they’re worth reading now the way you’d read the whole story at once, both halves held together: the promise and the wall, the reaching and the limit. We must know. We will know. It’s still, in a way, the noblest thing a mind can say.

You just have to hear the quiet part underneath it, the part Gödel added, the part that doesn’t make the reaching smaller but makes it wiser.

We will know. We just won’t know it all — and the proof of that is the sharpest thing we know.