David Hilbert and His 23 Problems That Shaped a Century
The life of David Hilbert, whose famous 23 problems set the agenda for twentieth-century mathematics, and whose vision of formalism, axiomatics, and the unity of mathematics transformed the discipline forever.
From Königsberg to Göttingen
David Hilbert was born on 23 January 1862 in Wehlau, near Königsberg, Prussia (now Kaliningrad, Russia). His father, Otto Hilbert, was a city judge; his mother, Maria Therese Erdtmann, was interested in philosophy and astronomy. David attended the Friedrichskolleg Gymnasium and then the University of Königsberg.
At Königsberg, Hilbert formed a close friendship with Hermann Minkowski and Adolf Hurwitz — two young mathematicians of extraordinary talent. The three met almost daily for mathematical walks and discussions, a practice that profoundly shaped Hilbert's mathematical education.
Hilbert earned his doctorate in 1885 under Ferdinand von Lindemann (who had proved the transcendence of ), with a thesis on invariant theory. He completed his habilitation the same year and remained at Königsberg as a lecturer and then professor until 1895, when he accepted a chair at the University of Göttingen — then the world's leading center for mathematics.
Hilbert transformed Göttingen into the unquestioned capital of world mathematics, attracting brilliant students and colleagues from around the globe. He remained there for the rest of his career.
Invariant Theory: Hilbert's Basis Theorem
Hilbert's first major contribution came in invariant theory. The subject, which concerned polynomial expressions unchanged under group actions, had been dominated by explicit computation. In 1888, Hilbert proved his basis theorem:
Hilbert's Basis Theorem
If is a Noetherian ring, then the polynomial ring is also Noetherian. In particular, every ideal in (where is a field) is finitely generated.
The proof was non-constructive — it showed that a finite basis exists without providing an algorithm to find it. This outraged the leading invariant theorist Paul Gordan, who reportedly declared: "This is not mathematics; this is theology!" But Hilbert's approach triumphed, essentially ending classical invariant theory by making explicit computation unnecessary.
Hilbert also proved the Nullstellensatz ("theorem of zeros"), a fundamental result connecting algebra and geometry:
where is the vanishing set of an ideal , is the ideal of vanishing polynomials, and is the radical of . This theorem is a cornerstone of algebraic geometry.
The Foundations of Geometry
In 1899, Hilbert published Grundlagen der Geometrie ("Foundations of Geometry"), which provided a rigorous axiomatic treatment of Euclidean geometry. Where Euclid's original axioms had been vague and incomplete, Hilbert gave 20 precise axioms organized into five groups: incidence, order, congruence, continuity, and parallels.
Hilbert's approach emphasized the independence and consistency of axioms. He showed, for example, that the parallel postulate is independent of the other axioms by constructing models in which it fails. His famous remark captures the spirit:
"One must be able to say at all times — instead of points, straight lines, and planes — tables, chairs, and beer mugs." — David Hilbert
The point was that the logical content of an axiomatic system should be independent of any particular interpretation of its terms. This perspective laid the groundwork for modern formalism in the foundations of mathematics.
The 23 Problems
On 8 August 1900, at the International Congress of Mathematicians in Paris, Hilbert delivered an address that would shape the direction of mathematics for the entire twentieth century. He presented a list of 23 unsolved problems that he considered the most important challenges facing mathematics.
Selected Hilbert Problems and Their Status:
| # | Problem | Status |
|---|---|---|
| 1 | Cantor's continuum hypothesis | Independent of ZFC (Gödel 1940, Cohen 1963) |
| 2 | Consistency of arithmetic | Unprovable within arithmetic (Gödel 1931) |
| 3 | Equality of polyhedral volumes | Solved by Dehn (1900) — No |
| 7 | Irrationality/transcendence of | Solved by Gelfond–Schneider (1934) |
| 8 | The Riemann hypothesis | Unsolved |
| 10 | Solvability of Diophantine equations | Unsolvable (Matiyasevich 1970) |
| 13 | Solution of 7th-degree equations | Partially resolved (Kolmogorov, Arnold) |
| 18 | Sphere packing | Solved by Hales (1998), verified 2017 |
| 23 | Calculus of variations | Largely developed in 20th century |
The problems ranged across all of mathematics — from foundations and logic to number theory, algebra, geometry, and mathematical physics. Hilbert's address opened with one of the most famous declarations in the history of mathematics:
"Wir müssen wissen — wir werden wissen." ("We must know — we will know.") — David Hilbert
This motto expressed his deep conviction that every mathematical problem is solvable — a belief that Gödel would famously challenge just 31 years later.
Hilbert Spaces and Functional Analysis
Between 1904 and 1910, Hilbert developed the theory of integral equations, introducing what are now called Hilbert spaces — complete inner product spaces that generalize Euclidean space to infinite dimensions.
A Hilbert space is a vector space over or with an inner product that is complete with respect to the induced norm . The key examples are:
- : sequences with
- : square-integrable functions on
Hilbert spaces became the mathematical framework for quantum mechanics (as developed by von Neumann), functional analysis, and much of modern analysis and mathematical physics.
Hilbert's Program
In the 1920s, Hilbert launched an ambitious program to establish the consistency of all mathematics through finitary methods. Hilbert's program aimed to:
- Formalize all of mathematics in a complete formal system
- Prove the consistency of this system using only finitely many steps and elementary reasoning
In 1931, Kurt Gödel's incompleteness theorems showed that Hilbert's program, in its original form, is impossible:
- First Incompleteness Theorem: Any consistent formal system capable of expressing basic arithmetic contains statements that are true but unprovable within the system.
- Second Incompleteness Theorem: Such a system cannot prove its own consistency.
Hilbert was reportedly shaken by Gödel's results, but never fully acknowledged the implications. Nevertheless, modified versions of Hilbert's program continue to influence proof theory and the foundations of mathematics.
Other Contributions
- The Hilbert class field: In algebraic number theory, Hilbert developed the theory of class fields and formulated the Hilbert class field — the maximal unramified abelian extension of a number field.
- Hilbert's syzygy theorem: Every finitely generated module over a polynomial ring has a free resolution of length at most .
- General relativity: Hilbert submitted the field equations of general relativity almost simultaneously with Einstein in November 1915. The Einstein–Hilbert action is:
where is the scalar curvature and is the determinant of the metric tensor.
The Nazi Period and Decline
The rise of the Nazis in 1933 devastated the Göttingen mathematics department. Jewish and politically undesirable mathematicians — including Emmy Noether, Richard Courant, Hermann Weyl, and many others — were forced to leave. When the Nazi education minister Bernhard Rust asked Hilbert, "How is mathematics in Göttingen, now that it is free from the Jewish influence?" Hilbert reportedly replied:
"Mathematics in Göttingen? There is really none anymore." — David Hilbert
Hilbert spent his later years in relative isolation, saddened by the destruction of the mathematical community he had built. He died on 14 February 1943 in Göttingen. Only a small number of people attended his funeral.
His tombstone bears the inscription of his famous motto: Wir müssen wissen. Wir werden wissen.
Legacy
Hilbert's influence on mathematics is almost without parallel. His 23 problems directed the course of twentieth-century mathematics. His axiomatic method became the standard approach to mathematical foundations. Hilbert spaces are the language of quantum mechanics and functional analysis. His students and intellectual descendants include von Neumann, Weyl, Courant, and Zermelo.
"No one shall expel us from the paradise that Cantor has created."
— David Hilbert, defending transfinite set theory
References
- Hilbert, D., "Mathematische Probleme," Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, 1900. English translation in Bulletin of the AMS, 8(10), 1902.
- Hilbert, D., Grundlagen der Geometrie, Teubner, 1899. English translation: Foundations of Geometry, Open Court, 1902.
- Reid, C., Hilbert, Springer, 1970.
- Gray, J., The Hilbert Challenge, Oxford University Press, 2000.
- Wikipedia — David Hilbert
- MacTutor — David Hilbert
- Clay Mathematics Institute — Millennium Problems