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) | 2 !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. | 2 !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 proved in 1936 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? | 1 !Resolved. Result: no, proved using Dehn invariants. | 1900 |
| 4th | Construct all metrics where lines are geodesics. | 4 !Too vague to be stated resolved or not. | – |
| 5th | Are continuous groups automatically differential groups? | 2 !Resolved by Andrew Gleason, 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 | 3 !Unresolved. | – |
| 7th | Is a b transcendental, for algebraic a ≠ 0,1 and irrational algebraic b ? | 1 !Resolved. Result: yes, illustrated by Gelfond's theorem or the Gelfond–Schneider theorem. | 1935 |
| 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 | 3 !Unresolved. | – |
| 9th | Find most general law of the reciprocity theorem in any algebraic number field | 2 !Partially resolved. | – |
| 10th | Find an algorithm to determine whether a given polynomial Diophantine equation with integer coefficients has an integer solution. | 1 !Resolved. Result: impossible, Matiyasevich's theorem implies that there is no such algorithm. | 1970 |
| 11th | Solving quadratic forms with algebraic numerical coefficients. | 2 !Partially resolved. | – |
| 12th | Extend the Kronecker–Weber theorem on abelian extensions of the rational numbers to any base number field. | 3 !Unresolved. | – |
| 13th | Partially solved 7-th degree equations using continuous functions of two parameters. | 2 !Unresolved. The problem was partially solved by Vladimir Arnold based on work by Andrei Kolmogorov. | 1957 |
| 14th | Is the ring of invariants of an algebraic group acting on a polynomial ring always finitely generated? | 1 !Resolved. Result: no, counterexample was constructed by Masayoshi Nagata. | 1959 |
| 15th | Rigorous foundation of Schubert's enumerative calculus. | 2 !Partially resolved. | – |
| 16th | Describe relative positions of ovals originating from a real algebraic curve and as limit cycles of a polynomial vector field on the plane. | 3 !Unresolved. | – |
| 17th | Expression of definite rational function as quotient of sums of squares | 1 !Resolved. Result: An upper limit was established for the number of square terms necessary. | 1927 |
| 18th | (a) Is there a polyhedron which admits only an anisohedral tiling in three dimensions? (b) What is the densest sphere packing? |
1 !(a) Resolved. Result: yes (by Karl Reinhardt). (b) Resolved by computer-assisted proof. Result: cubic close packing and hexagonal close packing, both of which have a density of approximately 74%. |
1928 !(a) 1928 (b) 1998 |
| 19th | Are the solutions of Lagrangians always analytic? | 1 !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? | 1 !Resolved. A significant topic of research throughout the 20th century, culminating in solutions for the non-linear case. | ? |
| 21st | Proof of the existence of linear differential equations having a prescribed monodromic group | 1 !Resolved. Result: Yes or no, depending on more exact formulations of the problem. | ? |
| 22nd | Uniformization of analytic relations by means of automorphic functions | 1 !Resolved. | ? |
| 23rd | Further development of the calculus of variations | 3 !Unresolved. | – |
Read more about this topic: Hilbert's Problems
Famous quotes containing the words table of, table and/or problems:
“Remember thee?
Ay, thou poor ghost, whiles memory holds a seat
In this distracted globe. Remember thee?
Yea, from the table of my memory
I’ll wipe away all trivial fond records,
All saws of books, all forms, all pressures past
That youth and observation copied there,
And thy commandment all alone shall live
Within the book and volume of my brain,”
—William Shakespeare (1564–1616)
“Thou preparest a table before me in the presence of mine enemies; thou anointest my head with oil; my cup runneth over.”
—Bible: Hebrew Psalms, 23:5.
“There are nowadays professors of philosophy, but not philosophers. Yet it is admirable to profess because it was once admirable to live. To be a philosopher is not merely to have subtle thoughts, nor even to found a school, but so to love wisdom as to live according to its dictates, a life of simplicity, independence, magnanimity, and trust. It is to solve some of the problems of life, not only theoretically, but practically.”
—Henry David Thoreau (1817–1862)