David Hilbert: Problems, Axioms, and Mathematical Foundations

David Hilbert

David Hilbert (1862–1943) worked across an unusually large part of mathematics. His name is attached to Hilbert spaces, Hilbert's basis theorem, the Hilbert problems, Hilbert's Nullstellensatz, the Hilbert transform, the Einstein-Hilbert action, and Hilbert's program in the foundations of mathematics. That list can make his career look like a catalogue.

The stronger historical point is that Hilbert repeatedly changed the form of mathematical questions: from explicit calculation to structural existence, from geometric intuition to axiomatic systems, and from proof inside mathematics to metamathematics about proofs.

Algebra and the basis theorem

Hilbert's early reputation came from invariant theory. Nineteenth-century invariant theorists sought finite generating sets for polynomial invariants under transformation groups. Hilbert proved a finite basis result using a nonconstructive argument. In modern commutative-algebra language, one version of Hilbert's basis theorem states:

If $R$ is Noetherian, then the polynomial ring $R[x]$ is Noetherian.

Equivalently, every ideal of

is finitely generated whenever every ideal of $R$ is finitely generated. Iterating gives the same result for

The theorem is foundational in commutative algebra and algebraic geometry. Its proof was historically controversial because it established existence without necessarily constructing the generating objects explicitly. That methodological confidence in existence proofs became characteristic of Hilbert's mathematics.

Geometry as an axiomatic system

In 1899, Hilbert published Grundlagen der Geometrie. The goal was not merely to rewrite Euclid more carefully. Hilbert separated the logical relationships among geometric concepts from any particular intuitive interpretation of points, lines, and planes. A geometric theory became a system of primitive terms and axioms whose consistency, independence, and consequences could themselves be studied mathematically.

This was a major step toward the modern axiomatic method. A model of the axioms could interpret “points” and “lines” as objects entirely different from ordinary spatial intuition, provided the required relations were satisfied. The meaning of the theory lay in the structure imposed by the axioms.

The 23 problems

At the 1900 International Congress of Mathematicians in Paris, Hilbert presented a list of major open problems intended to guide research. The published list contained 23 problems. They ranged across set theory, number theory, geometry, analysis, mathematical physics, and the foundations of mathematics. Several became defining questions of twentieth-century mathematics.

The continuum hypothesis

Hilbert's first problem asked about the size of the continuum. Later work by Gödel and Paul Cohen showed that the continuum hypothesis is independent of the usual Zermelo-Fraenkel axioms with Choice, assuming those axioms are consistent. So the problem did not receive a simple yes-or-no theorem within the standard axiomatic framework.

The Riemann hypothesis

Hilbert's eighth problem included the Riemann hypothesis. It remains open. Its persistence is a reminder that Hilbert's list was not a checklist that twentieth-century mathematics simply completed.

Hilbert's tenth problem

Hilbert asked for a general procedure deciding whether an arbitrary Diophantine equation has an integer solution. The eventual answer was negative. Work by Martin Davis, Hilary Putnam, Julia Robinson, and Yuri Matiyasevich established that no such general algorithm exists. This result changed the meaning of “solution” to the original problem: the correct solution was a proof of impossibility.

Hilbert's program

Hilbert's foundational program is often summarized too loosely as an attempt to prove that mathematics is “complete and consistent.” The historical program was more specific. Hilbert wanted large parts of classical mathematics to be formalized axiomatically and then justified by a consistency proof using restricted finitary reasoning.

The intended direction was roughly

The distinction between the strong formal system being justified and the weaker reasoning used to justify it was central. This was not simply the slogan that all mathematical truth should come from finitely many axioms.

Gödel changed the program, but did not erase proof theory

Gödel's second incompleteness theorem showed that a sufficiently strong, effectively axiomatized consistent system cannot prove its own consistency by the ordinary internal means represented in the theorem. That result blocked the original Hilbertian hope in its strongest form. It did not make Hilbert's foundational work worthless. On the contrary, the program helped create modern proof theory and the systematic study of formal systems.

Later consistency proofs, ordinal analysis, reverse mathematics, and proof-theoretic reductions can all be understood partly as descendants of the questions Hilbert made explicit.

Hilbert spaces and analysis

Hilbert's work on integral equations helped motivate the abstraction now called a Hilbert space. A Hilbert space is a complete inner-product space. For vectors $x$ and $y$, the inner product

induces a norm

Completeness means that every Cauchy sequence converges to a point in the space. This framework became central to functional analysis and later to the mathematical formulation of quantum mechanics. The terminology developed after Hilbert's own original work, but his methods were central to the subject's emergence.

Physics and general relativity

Hilbert also worked on mathematical physics. In 1915 he developed a variational formulation of general relativity closely related to Einstein's field equations. The action now commonly written

is known as the Einstein-Hilbert action. The historical priority relationship between Hilbert and Einstein in November 1915 has generated extensive scholarship. It is safer to say that both men arrived at closely related formulations during an intense period of exchange than to reduce the episode to a simple priority story.

“We must know, we will know”

Hilbert's famous phrase

Wir müssen wissen. Wir werden wissen.

is often translated as

We must know. We will know.

It expresses the mathematical optimism for which Hilbert became known. Read after Gödel and undecidability results, the phrase can sound naïve. Historically, that is too simple. Hilbert's optimism helped produce exactly the formal methods that made mathematical limitations precise.

Conclusion

Hilbert's importance comes from more than the number of concepts bearing his name. He repeatedly made mathematical structure itself the object of study. In algebra, he proved finite-generation theorems. In geometry, he analyzed axioms. In 1900, he organized open problems into a research program. In foundations, he asked mathematics to study its own formal proofs.

That combination made him one of the central architects of twentieth-century mathematics.

References

• Hilbert, D. (1899). Grundlagen der Geometrie.
• Hilbert, D. (1900). Mathematical problems. Address to the International Congress of Mathematicians, Paris.
• Hilbert, D. (1926). On the infinite. Mathematische Annalen, 95, 161–190.
• MacTutor History of Mathematics. David Hilbert.
• Stanford Encyclopedia of Philosophy. Hilbert's Program.
• Corry, L. (2004). David Hilbert and the Axiomatization of Physics. Kluwer.