Hilbert's problems

Table of problems

Hilbert's 23 problems, and the unpublished 24th problem, are listed below. For details on the solutions and references, see the articles that are linked to in the first column.

Nature and influence of the problems

Hilbert's problems ranged greatly in topic and precision. Some of them, like the 3rd problem, which was the first to be solved, or the 8th problem (the Riemann hypothesis), which still remains unresolved, were presented precisely enough to enable a clear affirmative or negative answer. For other problems, such as the 5th, experts have traditionally agreed on a single interpretation, and a solution to the accepted interpretation has been given, but closely related unsolved problems exist. Some of Hilbert's statements were not precise enough to specify a particular problem, but were suggestive enough that certain problems of contemporary nature seem to apply; for example, most modern number theorists would probably see the 9th problem as referring to the conjectural Langlands correspondence on representations of the absolute Galois group of a number field. Still other problems, such as the 11th and the 16th, concern flourishing mathematical subdisciplines, like the theories of quadratic forms and real algebraic curves.

There are two problems that are not only unresolved but may in fact be unresolvable by modern standards. The 6th problem concerns the axiomatization of physics, a goal that 20th-century developments seem to render both more remote and less important than in Hilbert's time. Also, the 4th problem concerns the foundations of geometry, in a manner that is generally judged to be too vague to enable a definitive answer.

The 23rd problem was purposefully set as a general indication by Hilbert to highlight the calculus of variations as an underappreciated and understudied field. In the lecture introducing these problems, Hilbert made the following introductory remark to the 23rd problem:

"So far, I have generally mentioned problems as definite and special as possible, in the opinion that it is just such definite and special problems that attract us the most and from which the most lasting influence is often exerted upon science. Nevertheless, I should like to close with a general problem, namely with the indication of a branch of mathematics repeatedly mentioned in this lecture—which, in spite of the considerable advancement lately given it by Weierstrass, does not receive the general appreciation which, in my opinion, is its due—I mean the calculus of variations."

The other 20 problems have all received significant attention, and late into the 20th century work on these problems was still considered to be of the greatest importance. Paul Cohen received the Fields Medal in 1966 for his work on the first problem, and the negative solution of the tenth problem in 1970 by Yuri Matiyasevich (completing work by Julia Robinson, Hilary Putnam, and Martin Davis) generated similar acclaim. Aspects of these problems remain of great interest.

Knowability

Following Gottlob Frege and Bertrand Russell, Hilbert sought to define mathematics logically using the method of formal systems, i.e., finitistic proofs from an agreed-upon set of axioms. One of the main goals of Hilbert's program was a finitistic proof of the consistency of the axioms of arithmetic: that is his second problem.

However, Gödel's second incompleteness theorem gives a precise sense in which such a finitistic proof of the consistency of arithmetic is provably impossible. Hilbert lived for 12 years after Kurt Gödel published his theorem, but does not seem to have written any formal response to Gödel's work.

Hilbert's tenth problem does not ask whether there exists an algorithm for deciding the solvability of Diophantine equations, but rather asks for the construction of such an algorithm: "to devise a process according to which it can be determined in a finite number of operations whether the equation is solvable in rational integers". That this problem was solved by showing that there cannot be any such algorithm contradicted Hilbert's philosophy of mathematics.

In discussing his opinion that every mathematical problem should have a solution, Hilbert allows for the possibility that the solution could be a proof that the original problem is impossible. He stated that the point is to know one way or the other what the solution is, and he believed that we always can know this, that in mathematics there is not any "ignorabimus" (statement whose truth can never be known). It seems unclear whether he would have regarded the solution of the tenth problem as an instance of ignorabimus.

On the other hand, the status of the first and second problems is even more complicated: there is no clear mathematical consensus as to whether the results of Gödel (in the case of the second problem), or Gödel and Cohen (in the case of the first problem) give definitive negative solutions or not, since these solutions apply to a certain formalization of the problems, which is not necessarily the only possible one.

Follow-ups

Mathematicians and mathematical organizations have announced numerous problem lists which have, with few exceptions, failed to generate nearly as much influence or work as Hilbert's problems. Notable examples include the Weil conjectures, Paul Erdős's problems, Thurston's 24 questions, and Smale's problems.

The four Weil Conjectures, made by André Weil in the late 1940s, are important to the fields of algebraic geometry and number theory. The first conjecture was proven by Bernard Dwork; a different proof of the first two, via ℓ-adic cohomology, was given by Alexander Grothendieck. The last and deepest of the Weil conjectures, an analogue of the Riemann hypothesis, was proven by Pierre Deligne. Both Grothendieck and Deligne were awarded the Fields Medal. However, the Weil conjectures were more like a single Hilbert problem in scope, and Weil never intended them as a programme for all mathematics.

Erdős posed hundreds, possibly thousands, of problems, often offering monetary rewards; the size of the reward depended on the perceived difficulty of the problem.

William Thurston published a list of 24 mathematical problems in a 1982 paper, but Thurston's list was focused on problems from geometric topology of 3-dimensional manifolds, unlike Hilbert's list that covered many different branches of mathematics, Also unlike Hilbert's problems, many of which took decades to resolve or are still open, 22 of 24 Thurston's problems were resolved in 30 years after publication.

Several mathematicians proposed problem lists at the turn of the millennium, such as Fields Medalist Steve Smale who responded to a request by Vladimir Arnold to propose a list of 18 problems.

At least in the mainstream media, the de facto 21st century analogue of Hilbert's problems is the list of seven Millennium Prize Problems chosen during 2000 by the Clay Mathematics Institute. Unlike the Hilbert problems, where the primary award was the admiration of Hilbert in particular and mathematicians in general, each prize problem includes a million-dollar bounty. While most of Hilbert's problems were not recognised widely in mathematical community before publication of his list, all of Millennium Prize Problem was well-known from decades and earned many attempted proofs. As with the Hilbert problems, one of the prize problems (the Poincaré conjecture) was solved relatively soon after the problems were announced.

The Riemann hypothesis is noteworthy for its appearance on the list of Hilbert problems, Smale's list, the list of Millennium Prize Problems, and even the Weil conjectures, in its geometric guise. Although it has been attacked by major mathematicians of our day, many experts believe that it will still be part of unsolved problems lists for many centuries. Hilbert himself declared: "If I were to awaken after having slept for a thousand years, my first question would be: Has the Riemann hypothesis been proved?"

In 2008, DARPA announced its own list of 23 problems that it hoped could lead to major mathematical breakthroughs, "thereby strengthening the scientific and technological capabilities of the DoD". The DARPA list also includes a few problems from Hilbert's list, e.g. the Riemann hypothesis.