David Hilbert

David Hilbert was born on 23 January 1862 in Wehlau (now Znamensk), near Konigsberg, East Prussia. His father Otto was a city judge, and his mother Maria was fascinated by philosophy and astronomy.

Young Hilbert was not considered a prodigy. He was a steady, diligent student rather than a brilliant one, finding his stride only at the Gymnasium. At the University of Konigsberg, he fell under the influence of Heinrich Weber and Ferdinand von Lindemann.

He formed a lifelong intellectual friendship with Hermann Minkowski and Adolf Hurwitz, with whom he would take daily walks discussing mathematics — a habit that shaped his broad vision of the subject.

Hilbert worked during a time of foundational crisis in mathematics. The discovery of paradoxes in set theory (Russell, Burali-Forti) threatened the logical foundations that mathematicians had taken for granted.

Three competing philosophies emerged: Logicism (Frege, Russell), Intuitionism (Brouwer), and Hilbert's own Formalism. The "Grundlagenkrise" was not merely academic; it questioned whether mathematical proof itself could be trusted.

Meanwhile, Gottingen under Hilbert and Klein became a magnet for talent: Minkowski, Noether, Weyl, Courant, Born, and many others passed through its halls. The rise of Nazism in 1933 destroyed this mathematical paradise when Jewish scholars were expelled.

Hilbert did not merely list unsolved problems. He articulated a vision for mathematics itself. Each problem was chosen to represent a frontier where progress would open entirely new fields.

Problem 1 (Continuum Hypothesis) and Problem 2 (Consistency of arithmetic) directly addressed foundations. Problem 8 (Riemann Hypothesis) remains the most famous open problem in all of mathematics, with a $1 million Millennium Prize.

Problem 10, asking for an algorithm to determine solvability of Diophantine equations, was proven impossible by Matiyasevich in 1970, building on work by Davis, Putnam, and Robinson — connecting Hilbert's program directly to computability theory.

Scorecard (approximate)

• 13 problems substantially resolved
• 4 problems partially resolved
• 3 problems still open
• 2 problems shown independent/impossible
• 1 problem too vague to classify

Key Properties

• A complete inner product space: every Cauchy sequence converges
• The inner product generalises the dot product: ⟨f, g⟩ = ∫ f(x)&overline;g(x)} dx
• Possesses an orthonormal basis (may be uncountable)
• The projection theorem: every closed subspace has an orthogonal complement
• The Riesz representation theorem links functionals to inner products

Why It Matters

In quantum mechanics, states are vectors in Hilbert space and observables are self-adjoint operators. Schrodinger's equation, Heisenberg's matrix mechanics, and Dirac's bra-ket notation all live in Hilbert space.

The spectral theorem for self-adjoint operators on Hilbert space generalises diagonalisation of symmetric matrices, providing the mathematical backbone for quantum measurement theory.

Hilbert's 1899 Grundlagen der Geometrie replaced Euclid's axioms with a rigorous system of 20 axioms organised into five groups:

The revolutionary insight was that the undefined terms (point, line, plane) derive meaning solely from the axioms. Hilbert famously said one should be able to replace "points, lines, and planes" with "tables, chairs, and beer mugs" and the theorems would still hold.

He proved the independence of his axioms by constructing models where each axiom fails while the rest hold, and proved the system's consistency relative to the real number system.

This work inaugurated the modern axiomatic method: start with undefined terms, state axioms, and derive everything by pure logic.

The Existence Proof

Hilbert championed non-constructive existence proofs. His 1888 proof of the finite basis theorem for invariants showed the existence of a basis without constructing one — Gordan famously called it "theology, not mathematics." Yet Hilbert showed that such proofs were valid and enormously powerful.

Universalist Vision

Unlike specialists, Hilbert moved across every branch of mathematics: invariant theory, algebraic number theory, geometry, analysis, integral equations, physics, logic, and foundations. His motto was that mathematics is a unified whole, not a collection of separate disciplines.

Hilbert vs. Brouwer

The most bitter mathematical controversy of the 20th century pitted Hilbert's formalism against Brouwer's intuitionism. Brouwer rejected the law of excluded middle, non-constructive proofs, and completed infinities.

For Hilbert, this was an attack on mathematics itself: "Taking the principle of excluded middle from the mathematician would be the same as prohibiting the telescope to the astronomer or the boxer the use of his fists."

The conflict turned personal. Hilbert manoeuvred to remove Brouwer from the editorial board of Mathematische Annalen in 1928, causing a crisis that split the mathematical community.

Hilbert vs. Godel

Hilbert's Program sought to prove the consistency and completeness of mathematics using finitistic methods. In 1931, Kurt Godel proved this was impossible:

Hilbert was reportedly furious, then dismayed. His dream of a complete, consistent foundation was shattered, though the tools he developed remained invaluable.