David Hilbert

Few mathematicians have shaped as many fields at once as David Hilbert, and fewer still have left behind a tool that physicists now reach for every single day. He is the reason a quantum state can be written as a vector, the reason a qubit has a precise mathematical meaning, and the reason an entire branch of analysis carries the name Hilbert space. His career ran from pure geometry through the foundations of logic to the mathematics of general relativity, and almost everywhere he worked he left the subject more orderly than he found it.

Born in the Prussian city of Koenigsberg and based for most of his life at the University of Goettingen, David Hilbert turned a single department into the world capital of mathematics. He believed that every well posed problem could in principle be solved, and he spent decades trying to put that conviction on a rigorous footing. The story of how that vision succeeded, failed, and ultimately seeded both modern logic and quantum theory is one of the richest in the history of science.

The man who organised modern mathematics

David Hilbert was born in 1862 and studied at Koenigsberg, where he formed lifelong friendships with Hermann Minkowski and Adolf Hurwitz. He took his doctorate there in 1885 and made his first major mark in invariant theory, proving a sweeping existence result that unsettled contemporaries who were used to explicit constructions. His finite basis theorem showed that whole classes of problems could be settled without ever building the answer by hand, and the non-constructive style he introduced had become standard practice within a generation.

In 1895 David Hilbert moved to Goettingen, the university of Gauss and Riemann, and he remained there for the rest of his working life. His early years produced the Zahlbericht, a report on algebraic number theory that reorganised the entire field, and the Foundations of Geometry, which rebuilt Euclid on a clean and explicit set of axioms. That axiomatic method, which treats the basic objects as undefined and the axioms as the only rules, became the signature of his approach and a template for much of twentieth century mathematics.

His faith in solvability found its most famous expression in a single phrase. We must know, we will know, he declared, and the words were later carved on his gravestone in Goettingen. The remark captured a temperament that refused to accept any problem as permanently beyond reach.

What a Hilbert space actually is

A Hilbert space is, at heart, a generalisation of ordinary flat space to any number of dimensions, including infinitely many. It is a vector space equipped with an inner product, which is the operation that lets you measure the length of a vector and the angle between two of them. The inner product is what turns a bare collection of vectors into a genuine geometry where ideas like distance and perpendicularity make sense.

What makes the construction that carries his name so powerful is the extra requirement of completeness, meaning that sequences which ought to converge actually do converge to a point inside the space. Completeness is the technical condition that allows calculus, limits and approximation to work safely in infinitely many dimensions. Without it the infinite dimensional setting would be full of gaps, and the analytical machinery of physics would have nowhere solid to stand.

The diagram below shows the basic picture in three of those dimensions. A state is a vector, the basis vectors play the role of coordinate axes, and the components along those axes record how much of each basis state the vector contains. In a full Hilbert space there can be infinitely many such axes, which is exactly what quantum theory turns out to need.

A Hilbert space in three of its dimensions. The state vector is the sum of its components along the orthonormal basis vectors, and a full space can carry infinitely many such axes.

Why quantum mechanics needs an infinite home

When quantum mechanics arrived in the 1920s it was a clash of competing formalisms, with Heisenberg’s matrices on one side and Schroedinger’s wave functions on the other. It was John von Neumann who showed, in 1932, that both were simply different descriptions of vectors and operators living in a Hilbert space. The framework that David Hilbert had built for pure analysis turned out to be the precise language the new physics required.

In this picture a physical state is a unit vector, and a measurement corresponds to projecting that vector onto the axes that represent the possible outcomes. The squared length of each projection gives the probability of the matching result, which is the rule first written down by Max Born. Observable quantities such as energy and position become operators that act on the vectors, and their allowed values emerge as the spectrum of those operators.

Superposition, the feature that makes quantum behaviour so strange, is nothing more exotic than vector addition in this setting. A particle that can be here or there is described by a sum of the here vector and the there vector, and interference is the geometry of those sums. Infinite dimensionality matters because a single particle moving along a line already needs infinitely many basis states to capture every possible wave.

The twenty-three problems that set a century’s agenda

In 1900 David Hilbert stood before the International Congress of Mathematicians in Paris and presented a list of problems he believed should guide the new century. The list eventually ran to twenty-three questions spanning logic, number theory, geometry and physics, and it was less a set of puzzles than a programme for the whole discipline. Few documents have done more to shape what mathematicians chose to work on.

Some of the problems were solved within a few years, while others have resisted every assault and remain open today. The Riemann hypothesis, which sits among them, is still regarded as the most important unsolved problem in mathematics and now carries a million dollar prize. Others, such as the question of the continuum, turned out to have answers far stranger than anyone in 1900 could have anticipated.

What unified the list was a conviction that mathematics advances by confronting sharply stated problems rather than by drifting. Generations of researchers have measured their progress against it, and settling even one of the Hilbert problems remains a route to lasting fame.

Hilbert’s program and the dream of certainty

By the 1920s David Hilbert had turned his attention to the foundations of mathematics itself, troubled by the paradoxes that had appeared in set theory. He proposed an ambitious rescue, now called Hilbert’s program, which aimed to place all of mathematics on a finite set of axioms and then prove, using only simple and uncontroversial reasoning, that those axioms could never lead to a contradiction.

The goal was a kind of permanent security for mathematical knowledge. If the consistency of arithmetic could be established once and for all, then the alarming paradoxes would be banished and the whole edifice would rest on unshakeable ground. Hilbert regarded this as not merely desirable but achievable, and he gathered a generation of logicians to pursue it.

How Godel and Turing answered the dream

The answer, when it came, was not the one David Hilbert had hoped for. In 1931 the young logician Kurt Godel proved his incompleteness theorems, showing that any consistent system rich enough to describe arithmetic must contain true statements it can never prove, and that it can never demonstrate its own consistency from within. The dream of a complete and self certifying mathematics was, in that single stroke, shown to be impossible.

A few years later Alan Turing took up a related question that Hilbert had posed, the decision problem, which asked for a mechanical procedure to determine whether any given statement was provable. Turing showed that no such universal procedure can exist, and in doing so he invented the abstract machine that now underlies every computer. The collapse of one Hilbert dream gave birth to the entire theory of computation.

Hilbert space inside the quantum computer

Every quantum computer ever built operates inside a Hilbert space, even if its engineers rarely pause to thank David Hilbert for it. A single qubit is a unit vector in a two dimensional Hilbert space, and the familiar Bloch sphere is just a way of drawing that small space on paper. The state of the machine is always a point in this geometric arena, and computation is the controlled movement of that point.

The power of the approach becomes clear when qubits are combined. Two qubits live in a four dimensional space, three in an eight dimensional space, and a register of n qubits requires a Hilbert space with two to the power n dimensions. This exponential growth is the mathematical root of the promise of quantum computing, because the machine can hold and steer a vast superposition of states at once.

Quantum gates are rotations of this space, represented by operators that preserve length and angle, while entanglement appears as those joint states that cannot be split into independent parts. The deep correlations of quantum entanglement and the careful bookkeeping of quantum error correction are both, in the end, statements about the geometry of a Hilbert space.

Goettingen and the cost of history

Under David Hilbert the mathematics department at Goettingen became the most important in the world, drawing students and visitors from every continent. Among the talents who worked there or alongside him were Hermann Weyl, John von Neumann and Emmy Noether, whose theorem on symmetry would become central to modern physics. For a few decades the small university town was the place where the future of the subject was being written.

That world was dismantled with shocking speed after 1933, when the new German government dismissed Jewish and dissident academics and Goettingen lost most of its mathematical strength almost overnight. The story is often told that a minister asked Hilbert how mathematics was faring in Goettingen now that it was free of Jewish influence, and that he replied there was simply none left. He died in 1943, in a city and a discipline that the war had emptied of the people he had gathered.

The legacy of a formalist

The influence of David Hilbert is now so woven into mathematics that it is easy to overlook. The axiomatic method he championed is simply how modern mathematics is written, and functional analysis, the study of infinite dimensional spaces, grew directly out of his work on integral equations. His name attaches to spaces, to transforms, to a famous hotel that dramatises the paradoxes of infinity, and to the problems that still guide research.

His deepest legacy may be an attitude toward knowledge. Hilbert insisted that clarity, rigour and explicit assumptions were not obstacles to creativity but the very conditions for it, and that conviction shaped the century that followed. That the same structures he built for abstract reasons now run inside quantum machines is a vindication he did not live to see, and a reminder that pure mathematics has a habit of becoming indispensable.

Frequently asked questions