Transcription
In 1931, a 25-year-old Austrian logician published a paper that would quietly change the world. That paper was entitled On Formally Undecidable Propositions of Principia Mathematica and Related Systems, and the logician was Kurt Gödel. Over my more than 13 years as a peer-reviewed scholar and educator, I've come to realize how little credit this one paper has gotten, not only for shaping the greatest minds of the 20th century, but also for subsequently leading to some of the greatest scientific innovations. In this video, I'm going to walk you through four of the minds this paper reshaped, and then I'll hand you the one lesson from all of it that will permanently reshape your own thinking.
So, let's start with the first of these minds, John von Neumann, because the moment he first encountered Gödel's idea is perhaps the best possible illustration of exactly why it mattered. You see, the year was 1930. At a conference in the city of Königsberg, Gödel quietly announced his result for the first time. Most of the brilliant people in that room didn't grasp what they'd heard. Yet, one man did, instantly. Von Neumann, already considered one of the sharpest minds alive, and he understood it so deeply that within weeks, he had independently worked out its most unsettling consequence entirely on his own.
But to understand what von Neumann realized in that room, we need to understand what Gödel had actually just proved. And to do that, you have to understand the dream Gödel's work shattered. In the 1920s, the most powerful mathematician alive was a German named David Hilbert, and Hilbert had a dream for the whole of mathematics. He wanted to put it on a perfect foundation, a single formal system, a fixed set of axioms and rules from which every mathematical truth could in principle be proved. A system that was complete, meaning every true statement was provable inside it. A system that was also consistent, meaning it could never contradict itself, and able to prove its own reliability. Settle the foundations once, and mathematics would never again rest on anything but solid ground. And he wasn't alone, either. A circle of brilliant thinkers in Vienna were chasing the very same dream for human knowledge as a whole.
But then, this quiet young man, Gödel, wrecked it with a single sentence. And it's very similar to what philosophers call the liar paradox. Let's take the sentence, "This sentence is false." Well, try to pin it down, and it collapses into paradox, again and again. You see, if it's true, it's false. And if it's false, it's true. And so, Gödel's genius was to change this statement just slightly, so that it applied to mathematics. Instead of a sentence that says, "This statement is false," he built a mathematical one that essentially states, "This statement cannot be proved within this system."
And let's take a look at how he achieved this, because the consequences of it transcend pure mathematics. In fact, it's arguably this core insight that made computers, such as the phone you're holding in your hand today, possible. You see, the trouble is, arithmetic can't make statements at all. It has no words to do so. It knows how to do exactly one thing: work with numbers. And so, Gödel's solution is the single most ingenious move in the entire paper. And once you see it, you can't unsee it. Gödel invented a coding scheme, what we now call Gödel numbering. He gave every symbol a number, then assigned each formula a single number built by raising prime numbers to those symbol values and multiplying them. 2 to the first, 3 to the second, 5 to the third, and so on. And because every whole number breaks down into primes in exactly one way, that one big number could be unpacked right back into the original formula. Think of it like a catalog number that doesn't point to a book on a shelf. Instead, that catalog number itself actually contains the entire book, letter for letter. And so, once formulas are numbers, statements about formulas become statements about numbers. And arithmetic then gains the power to describe itself. And that self-reference, what is called the first incompleteness theorem, is the whole engine here. It's what let Gödel build a number that, when you decode it, says the following: The formula with this number is not provable.
Now, what von Neumann grasped in that room, he grasped so fast that within weeks he'd independently derived the corollary. And the corollary is arguably worse. Remember that last piece of Hilbert's dream, a system that proves its own consistency from the inside? What is called the second incompleteness theorem says it can't. No consistent system powerful enough for arithmetic can prove it will never contradict itself. Now, sit with that for a moment. The systems we most want to trust, such as math, logic, and so on, are precisely the ones that cannot validate themselves. So then, how do you prove a system is consistent? You step outside it into a larger system and prove it there. But what proves that system? Well, a larger one. And that one? Well, you see the problem. There's no bottom, no final framework that stands on its own and validates everything beneath it. We actually know this feeling outside of mathematics. A map can never contain a complete, full-scale copy of itself. A company can't truly audit its own independence, which is exactly why you bring in an outside firm. You can't lift yourself off the ground by pulling on your own bootstraps, no matter how hard you pull.
And here's a key part about von Neumann that often goes overlooked, namely that he went on to design the computing architecture that nearly every machine still uses today. Namely, the idea of a computer that stores its own instructions as data in the same memory it operates on. In other words, a machine that can read and rewrite its own program. And that is the very same sort of self-reference Gödel had just turned into a weapon in pure logic. And von Neumann, having watched it done, helped turn it into the foundation of the digital age.
But while von Neumann saw how to build things with self-reference, our second great mind, Alan Turing, saw how to map its limits. And in doing so, invented the very idea of the computer. In 1936, Turing took Gödel's question, what can and can't be settled inside a formal system, and asked a different one. Is there a mechanical procedure that can decide every mathematical question? To even ask it rigorously, he had to invent a precise definition of mechanical procedure. And that definition was an imaginary device that reads and writes symbols on a tape according to fixed rules. We call it the Turing machine, and it is the theoretical blueprint for every computer that has ever existed. His answer to that question, by the way, was no. Turing proved there are certain problems no algorithm can ever solve. The most famous being whether an arbitrary program will eventually stop or run forever. That's what's called the halting problem, and it's a direct descendant of Gödel's self-referential sentence. And so, the device you're watching this on exists in part because one logician went looking for the limits of logic, and a younger one had to invent the entire concept of computation just to chart those limits.
Gödel's impossibility of having neat, complete, stable systems didn't shut down progress. Instead, it was the acceptance of the inherent instability of formal systems that opened up a whole new field. But the impact didn't stop at machines. It hit philosophy just as hard. And our third mind, Hillary Putnam, is where it landed. Putnam used Gödel's results alongside related work in logic to take apart one of the oldest assumptions in Western thought. The idea that there is a single fixed mind-independent god's eye view of reality that our words simply mirror. However, what Gödel's work suggests, and what the failed work of the philosophers Bertrand Russell and Alfred Whitehead implicitly showed, was that math isn't reducible to logic, but instead are their own self-contained systems. In fact, logic itself isn't even simply reducible to one system. As logicians have discovered, logic is reducible to perhaps dozens of separate self-contained systems, such as modal logic, tense logic, fuzzy logic, paraconsistent logic, and so on, that aren't reducible to each other. In fact, as many philosophers and logicians, such as the logician Graham Priest, have suggested, it's not even clear that language is what is called isomorphic to logic. That is, it's not even clear that language and logic have a clean correspondence to each other. They, too, might simply be mutually irreducible, self-contained formal systems. And so, for many, Putnam's argument was deeply unsettling. A theory can be perfect. It can fit every fact flawlessly, and still be mapped onto wildly different interpretations of what its words actually refer to.
Yet finally, Gödel's idea reached the people whose entire job it is to describe the universe at its most fundamental level, physicists. And so, our fourth mind here is Stephen Hawking. For most of his career, Hawking chased the same dream Hilbert had, only for physics, a single theory of everything, one master set of equations that it would explain the entire universe. But then, he gave it up. In a lecture he titled Gödel and the end of physics, Hawking argued that any physical theory is, at bottom, a formal system. And formal systems, Gödel had proven, are never the whole story. There would always be true things about the universe that no final theory could reach. And he wasn't alone among physicists in this. Freeman Dyson argued that Gödel had effectively guaranteed that science would never end, that no finite set of laws could ever close the book on a universe that, like mathematics itself, may simply be inexhaustible. And so, what originally looked like a wall started to be understood as a horizon.
But then, what's the lesson underneath all four of these stories? Well, here's where most people might make a wrong turn. You might hear all this and conclude, "Well, nothing is really true then. Every framework is as good as any other. It's all relative. Just believe whatever you like." And that is exactly the wrong lesson. And we know it's wrong because of what Gödel himself believed. Gödel was not a radical relativist. In fact, he was a Platonist. In other words, he believed mathematical truths were real, objective, and out there to be discovered. And he read his own theorem as evidence for that view, not against it. For instance, think about what the first theorem actually says. There exist statements that are true, but unprovable. If truth were nothing more than whatever our system can prove, that sentence would be incoherent. The fact that truths can outrun proof means truths is bigger than any system we build to capture it, not smaller, not arbitrary, not up for grabs. Inside a system, things are genuinely true or false. 2 + 2 is not a matter of opinion. And so, what Gödel humbles is not truth itself. Instead, it's our confidence that any single framework we happen to be standing in has captured all of that truth.
You see, when you feel certain, bone deep, case closed certain, what you're really feeling is the internal consistency of your own model. Every clue fits, the logic holds, the data line up. But internal consistency is not the same thing as contact with reality. A detective can have every clue point flawlessly at one suspect and yet be flawlessly wrong because those clues were only ever speaking the language of his theory. Your certainty often simply measures how tightly you're wrapped inside your own framework. It does not measure how well that framework matches the world. For instance, that's precisely what Putnam points out when he speaks of what he calls internal realism. Simply because we can slice and dice reality in one way or describe it using a specific system does not entitle us to the supremely arrogant position that this is the only way of describing or representing reality.
And so, the real takeaway here is a mental discipline we all need to practice more. And it goes far beyond the idea of simply having an open mind. You see, when you are most sure of something, that is the exact moment to ask, "What perspective would I have to step outside of to even notice that I'm wrong? What system am I reasoning inside of that I've mistaken for reality itself?" That's what makes Gödel's quiet little paper one of the hinges of modern thought. He didn't tell us the world is unknowable. He told us something more precise and something far more useful, that every system we use to know it, every theory, every method, every confident conclusion has an edge it cannot see past from the inside.
Yet von Neumann, Turing, Putnam, and Hawking didn't meet that conclusion with despair. Instead, they met it by building computers, rethinking reality, and holding their own certainty a little more closely. And you can do the same. Stay rigorous inside your [music] framework, but stay humble about the framework itself. If you want to keep leveling up your critical thinking to make a massive impact not only on your own life, but also on the lives of countless others, then be sure to watch this next video.