Königsberg, September 1930. David Hilbert is sixty-eight years old, the most influential mathematician of his generation, and in excellent spirits. The day before, he stepped in front of a microphone at the end of his retirement lecture and closed with eight words that will be carved on his tombstone: "Wir müssen wissen. Wir werden wissen." We must know. We will know. After forty years he has handed over the mathematics department at Goettingen -- the finest in the world, he made it that -- and the programme he announced to the radio audience is the work of his life: to formalise all of mathematics, axioms and rules of inference, and to prove the result consistent. In mathematics, he says, there is no ignorabimus. Every well-posed question has an answer. He believes this absolutely. Paula has come to tell him it is not quite true. Season two of The Paula Scale begins here. Every foundation laid in season one has a limit. This one belongs to the man who refused any limit. The conversation Paula has come to have is about a result presented the day before, at the same Koenigsberg conference, by a twenty-four-year-old logician from Vienna named Kurt Goedel -- a result Hilbert was not in the room to hear and does not yet know about. The slogan is one day old. The proof that breaks it is one day older. Hilbert does not know that his epitaph and the most famous theorem in modern mathematics are about to share a city. The conversation moves first through the work. The twenty-three problems Hilbert posed in Paris in 1900: "as long as a branch of science offers an abundance of problems, so long is it alive." Paula tells him that the Riemann hypothesis is still open in her time, and Hilbert laughs in disbelief that two centuries have not been enough. Then the programme itself. Hilbert wants to defend Cantor's paradise of the infinite against Brouwer and the intuitionists. He wants a finitary proof that the formal systems containing the infinite are consistent. He has staked his retirement on the claim that this can be done. He has told a student at a train station that geometry should make sense even if you replace points, lines, and planes with tables, chairs, and beer mugs -- the meaning lives in the formal relations, not in the names. But the relations must not contradict themselves. He wants the proof. Paula brings out the news from yesterday. Goedel assigned numbers to every formula and proof in the system. The proof relation became arithmetic. Then he constructed a sentence -- not directly self-referential, but circling back through its own Goedel number -- that asserts its own unprovability. If the system is consistent, the sentence is true but cannot be proved. The system is incomplete. And worse: no such system can prove its own consistency. Hilbert listens. He calls the construction ingenious. He sees, before Paula has to spell it out, that this is the negation of his programme. The room turns. Hilbert was the man who in 1916 told a faculty meeting that the sex of a candidate should be irrelevant to whether she could lecture -- "meine Herren, eine Fakultaet ist doch keine Badeanstalt" -- and got Emmy Noether into Goettingen anyway, even though the salary did not follow. He played billiards with the junior faculty when he first arrived. He walked his students through the town because offices were for bureaucrats. Forty years of his department: Klein, Minkowski, Noether, Weyl, Courant, Born, von Neumann. He has built the mathematics department of the century. He is retiring with the conviction that the building will outlast him. The episode closes on the slogan. Paula tells him that Goedel has been right about provability and that, strictly speaking, the slogan is wrong. But the spirit behind it -- the refusal to accept ignorance, the will to know in the face of evidence that knowing has limits -- that spirit is what mathematics has worked in ever since. The programme fails. The will does not. Hilbert built the telescope. Goedel showed the horizon. Both were necessary. They part on the two halves of the line: Hilbert says "wir muessen wissen", and Paula answers "wir werden wissen" -- eventually, in some branch. Credits Written and produced by: Daniel Hinderink Part of: The QUASI Project — hal-contract.org Podcast: paulascale.hal-contract.org AI Disclosure All voices in this podcast are AI-generated. No real person is speaking. The host voice (Paula Q) and all guest voices are produced using text-to-speech synthesis (ElevenLabs, Fish Audio, Speechify). Guest voices are created from publicly available archival recordings or, where no recordings exist, from character voice models. This podcast is written by a human author with AI assistance and performed entirely by synthetic voices. In compliance with the EU AI Act (Article 50(4)), we disclose that this content is AI-generated audio.
