Monumental and foundational. The axiomatic method, the 23 problems, the rigorous re-grounding of geometry, Hilbert spaces — Hilbert shaped the architecture of modern mathematics and physics as much as any one person could.
His specific dream was impossible. Gödel (1931) killed completeness & provable self-consistency; Church & Turing (1936) killed decidability. Math can't be all three. But the failure birthed computability theory.
His optimism was half wrong. His epitaph promises no unknowables; yet there are true-but-unprovable and undecidable statements. The quest for total knowledge was unreachable — and built the computer on the way.
To teach how strange Cantor's infinity is, Hilbert imagined a hotel with infinitely many rooms, every one occupied. A classic "no vacancy" — yet it can take in more. One new guest? Ask each guest to shift up one room (room n → n+1); now room 0 is empty, though nobody left. A whole infinite busload? Ask each guest to move to double their room (n → 2n); every odd room opens up — infinitely many vacancies. Run it.
"We must know. We will know." — David Hilbert, Königsberg, 1930 (carved on his grave)
Formalise all mathematics; then prove with finite, surveyable methods that the system is complete, consistent, and decidable. Settle every question, forever, mechanically.
[[kurt-godel]]: no — incompleteness & no self-proof of consistency. [[alonzo-church]] & [[alan-turing]]: no — the Entscheidungsproblem is undecidable. The dream cannot be had.
It is the great irony of this whole lineage: Hilbert asked, with total confidence, for a machine that decides all mathematical truth — and the answer, "no such machine exists," required mathematicians to define what a machine even is. That definition — Turing's machine, Church's λ — is the computer. Hilbert's tenth problem (a decision procedure for Diophantine equations) was answered "impossible" only in 1970; his first (the Continuum Hypothesis) turned out independent. He demanded certainty and received, instead, the precise map of certainty's limits — and that map became computer science. The program failed; the failure is the foundation of [[psephos-processors-domain]].
Gate kept on. The honest reckoning is that Hilbert was magnificently right about almost everything except the one thing he cared most about. The axiomatic method, his rescue of Euclidean geometry from its hidden gaps (the Grundlagen der Geometrie, 1899), the 23 problems that organised a century, Hilbert spaces at the heart of quantum mechanics — all monumental and enduring. But his formalist program, the dream of a complete and self-certifying mathematics, was not merely unfinished; it was proven impossible by the very students and successors his questions had inspired — and he took Gödel's result hard. Yet here is the deeper honesty: this was the most productive failure in the history of thought. To prove "no procedure decides all of mathematics," Turing and Church had to invent the precise notion of procedure — and so the computer was born from the ashes of Hilbert's certainty. The man: he led Göttingen, the world's center of mathematics, and watched the Nazis destroy it after 1933, purging his Jewish colleagues and students; asked by a minister whether mathematics at Göttingen had suffered from "the departure of the Jews," he answered, "Suffered? It doesn't exist any longer." He died in 1943 in a city emptied of the school he built, his optimistic epitaph already half-refuted — and wholly vindicated as the question that made the modern world. [[alonzo-church]] ← · next → Łukasiewicz.