All Posts
Mathematics

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 π\pi), 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 RR is a Noetherian ring, then the polynomial ring R[x]R[x] is also Noetherian. In particular, every ideal in k[x1,,xn]k[x_1, \ldots, x_n] (where kk 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:

I(V(J))=JI(V(J)) = \sqrt{J}

where V(J)V(J) is the vanishing set of an ideal JJ, I()I(\cdot) is the ideal of vanishing polynomials, and J\sqrt{J} is the radical of JJ. 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:

#ProblemStatus
1Cantor's continuum hypothesisIndependent of ZFC (Gödel 1940, Cohen 1963)
2Consistency of arithmeticUnprovable within arithmetic (Gödel 1931)
3Equality of polyhedral volumesSolved by Dehn (1900) — No
7Irrationality/transcendence of aba^bSolved by Gelfond–Schneider (1934)
8The Riemann hypothesisUnsolved
10Solvability of Diophantine equationsUnsolvable (Matiyasevich 1970)
13Solution of 7th-degree equationsPartially resolved (Kolmogorov, Arnold)
18Sphere packingSolved by Hales (1998), verified 2017
23Calculus of variationsLargely 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 H\mathcal{H} is a vector space over R\mathbb{R} or C\mathbb{C} with an inner product ,\langle \cdot, \cdot \rangle that is complete with respect to the induced norm x=x,x\|x\| = \sqrt{\langle x, x \rangle}. The key examples are:

  • 2\ell^2: sequences (an)(a_n) with an2<\sum |a_n|^2 < \infty
  • L2[a,b]L^2[a,b]: square-integrable functions on [a,b][a,b]

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:

  1. Formalize all of mathematics in a complete formal system
  2. 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 k[x1,,xn]k[x_1, \ldots, x_n] has a free resolution of length at most nn.
  • General relativity: Hilbert submitted the field equations of general relativity almost simultaneously with Einstein in November 1915. The Einstein–Hilbert action is:

S=Rgd4xS = \int R \sqrt{-g} \, d^4x

where RR is the scalar curvature and gg 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