Hilbert's problems

In 1900, the mathematician David Hilbert published a list of 23 unsolved mathematical problems. The list of problems turned out to be very influential.

After Hilbert's death, another problem was found in his writings; this is sometimes known as Hilbert's 24th problem today. This problem is about finding criteria to show that a solution to a problem is the simplest possible.^[1]

Of the 23 problems, three were unresolved in 2012, three were too vague to be resolved, and six could be partially solved. Given the influence of the problems, the Clay Mathematics Institute formulated a similar list, called the Millennium Prize Problems in 2000.

Overview

The formulation of certain problems is better than that of others. Of the cleanly-formulated Hilbert problems, problems 3, 7, 10, 11, 13, 14, 17, 19, 20, and 21 have a resolution that is accepted by consensus. On the other hand, problems 1, 2, 5, 9, 15, 18⁺, and 22 have solutions that have partial acceptance, but there exists some controversy as to whether it resolves the problem.^[source?]

The solution for problem 18, the Kepler conjecture, uses a computer-assisted proof. This is controversial, because a human reader is unable to verify the proof in reasonable time.^[source?]

That leaves 16, 8 – the Riemann hypothesis – and 12 unresolved. On this classification 4, 16, and 23 are too vague to ever be described as solved. The withdrawn 24 would also be in this class. 6 is considered as a problem in physics rather than in mathematics.^[source?]

Table of problems

Hilbert's twenty-three problems are:

Problem	Brief explanation	Status	Year Solved
1st	The continuum hypothesis (that is, there is no set whose cardinality is strictly between that of the integers and that of the real numbers)	Proven to be impossible to prove or disprove within the Zermelo–Fraenkel set theory with or without the Axiom of Choice (provided the Zermelo–Fraenkel set theory with or without the Axiom of Choice is consistent, i.e., contains no two theorems such that one is a negation of the other). There is no consensus on whether this is a solution to the problem.	1963
2nd	Prove that the axioms of arithmetic are consistent.	There is no consensus on whether results of Gödel and Gentzen give a solution to the problem as stated by Hilbert. Gödel's second incompleteness theorem, proved in 1931, shows that no proof of its consistency can be carried out within arithmetic itself. Gentzen's consistency proof (1936) shows that the consistency of arithmetic follows from the well-foundedness of the ordinal ε0.	1936?
3rd	Given any two polyhedra of equal volume, is it always possible to cut the first into finitely many polyhedral pieces which can be reassembled to yield the second?	Resolved. Result: no, proved using Dehn invariants.	1900
4th	Construct all metrics where lines are geodesics.	Too vague to be stated resolved or not.[n 1]	–
5th	Are continuous groups automatically differential groups?	Resolved by Andrew Gleason or Hidehiko Yamabe, depending on how the original statement is interpreted. If, however, it is understood as an equivalent of the Hilbert–Smith conjecture, it is still unsolved.	1953?
6th	Axiomatize all of physics	Partially resolved. [2] [3] [4] [n 2]	–
7th	Is a b transcendental, for algebraic a ≠ 0,1 and irrational algebraic b ?	Resolved. Result: yes, illustrated by Gelfond's theorem or the Gelfond–Schneider theorem.	1934[5]
8th	The Riemann hypothesis ("the real part of any non-trivial zero of the Riemann zeta function is ½") and other prime number problems, among them Goldbach's conjecture and the twin prime conjecture	Unresolved.	–
9th	Find most general law of the reciprocity theorem in any algebraic number field	Partially resolved.[n 3]	–
10th	Find an algorithm to determine whether a given polynomial Diophantine equation with integer coefficients has an integer solution.	Resolved. Result: impossible, Matiyasevich's theorem implies that there is no such algorithm.	1970
11th	Solving quadratic forms with algebraic numerical coefficients.	Partially resolved.[source?]	–
12th	Extend the Kronecker–Weber theorem on abelian extensions of the rational numbers to any base number field.	Partly resolved by class field theory, though the solution is not as explicit as the Kronecker–Weber theorem.	–
13th	Solving 7-th degree equations using continuous functions of two parameters.	Unresolved. The problem was partially solved by Vladimir Arnold based on work by Andrey Kolmogorov. [n 5]	1957
14th	Is the ring of invariants of an algebraic group acting on a polynomial ring always finitely generated?	Resolved. Result: no, counterexample was constructed by Masayoshi Nagata.	1959
15th	Rigorous foundation of Schubert's enumerative calculus.	Partially resolved.[source?]	–
16th	Describe relative positions of ovals originating from a real algebraic curve and as limit cycles of a polynomial vector field on the plane.	Unresolved.	–
17th	Expression of definite rational function as quotient of sums of squares	Resolved by Emil Artin and Charles Delzell. Result: An upper limit was established for the number of square terms necessary. Finding a lower limit is still an open problem.	1927
18th	(a) Is there a polyhedron which admits only an anisohedral tiling in three dimensions? (b) What is the densest sphere packing?	(a) Resolved. Result: yes (by Karl Reinhardt). (b) Resolved by Thomas Callister Hales using computer-aided proof. Result: cubic close packing and hexagonal close packing, both of which have a density of approximately 74%.[n 6]	(a) 1928 (b) 1998
19th	Are the solutions of Lagrangians always analytic?	Resolved. Result: yes, proven by Ennio de Giorgi and, independently and using different methods, by John Forbes Nash.	1957
20th	Do all variational problems with certain boundary conditions have solutions?	Resolved. A significant topic of research throughout the 20th century, culminating in solutions[source?] for the non-linear case.	–
21st	Proof of the existence of linear differential equations having a prescribed monodromic group	Resolved. Result: Yes or no, depending on more exact formulations of the problem.[source?]	–
22nd	Uniformization of analytic relations by means of automorphic functions	Resolved.[source?]	–
23rd	Further development of the calculus of variations	Unresolved.	–

Other websites

 Wikilivres:Mathematische Probleme – source texts, documents, translations, media

• Listing of the 23 problems, with descriptions of which have been solved Archived 2004-09-07 at the Wayback Machine
• Original text of Hilbert's talk, in German Archived 2012-02-05 at the Wayback Machine
• English translation of Hilbert's Mathematical Problems on Wikisource
• Details on the solution of the 18th problem Archived 2006-09-03 at the Wayback Machine
• "On Hilbert's 24th Problem: Report on a New Source and Some Remarks."
• The Paris Problems Archived 2007-02-22 at the Wayback Machine
• Hilbert's Tenth Problem page!
• 'From Hilbert's Problems to the Future' Archived 2008-05-14 at the Wayback Machine, lecture by Professor Robin Wilson, Gresham College, 27 February 2008 (available in text, audio and video formats).