TOPICS
Search

Hilbert's Problems


Hilbert's problems are a set of (originally) unsolved problems in mathematics proposed by Hilbert. Of the 23 total appearing in the printed address, ten were actually presented at the Second International Congress in Paris on August 8, 1900. In particular, the problems presented by Hilbert were 1, 2, 6, 7, 8, 13, 16, 19, 21, and 22 (Derbyshire 2004, p. 377). Furthermore, the final list of 23 problems omitted one additional problem on proof theory (Thiele 2001).

Hilbert's problems were designed to serve as examples for the kinds of problems whose solutions would lead to the furthering of disciplines in mathematics. As such, some were areas for investigation and therefore not strictly "problems."

1. "Cantor's problem of the cardinal number of the continuum." The question of if there is a transfinite number between that of a denumerable set and the numbers of the continuum was answered by Gödel and Cohen in their solution to the continuum hypothesis to the effect that the answer depends on the particular version of set theory assumed. The question of if the continuum of numbers be considered a well ordered set is related to Zermelo's axiom of choice. In 1963, the axiom of choice was demonstrated to be independent of all other axioms in set theory. There is universal consensus on whether these results give a solution to this problem.

2. "The compatibility of the arithmetical axioms." Gödel's second incompleteness theorem indicated that it is cannot be proven that the axioms of logic are consistent in the sense that any formal system interesting enough to formulate its own consistency can prove its own consistency iff it is inconsistent. There is no consensus if the results of Gödel and Gentzen provide a solution.

3. Give two tetrahedra that cannot be decomposed into congruent tetrahedra directly or by adjoining congruent tetrahedra. Dehn (1900, 1902) showed that a regular tetrahedron cannot be decomposed into a finite number of congruent tetrahedra (directly or by joining congruent tetrahedra) which can be reassembled to make a cube. It follows immediately form this result that two tetrahedra cannot be decomposed, as Hilbert proposed.

4. Find geometries whose axioms are closest to those of Euclidean geometry if the ordering and incidence axioms are retained, the congruence axioms weakened, and the equivalent of the parallel postulate omitted. This problem was solved by G. Hamel.

5. Can the assumption of differentiability for functions defining a continuous transformation group be avoided? (This is a generalization of the Cauchy functional equation.) Solved by John von Neumann in 1930 for bicompact groups. Also solved for the Abelian case, and for the solvable case in 1952 with complementary results by Montgomery and Zippin (subsequently combined by Yamabe in 1953). Andrew Gleason showed in 1952 that the answer is also "yes" for all locally bicompact groups.

6. Can physics be axiomatized?

7. Let alpha!=1!=0 be algebraic and beta irrational. Is alpha^beta then transcendental? In particular, are the Gelfond-Schneider constant 2^(sqrt(2)) and Gelfond's constant e^pi transcendental (Wells 1986, p. 45)? alpha^beta is known to be transcendental for the special case of beta an irrational algebraic number, as proved in 1934 by Aleksander Gelfond in a result now known as Gelfond's theorem (Courant and Robins 1996). However, the case of nonalgebraic irrational beta has not been resolved, with solutions known only for degenerate constructions such as alpha=2, beta=ln3/ln2.

8. Prove the Riemann hypothesis. The conjecture has still been neither proved nor disproved.

9. Construct generalizations of the reciprocity theorem of number theory.

10. Does there exist a universal algorithm for solving Diophantine equations? The impossibility of obtaining a general solution was proven by Yuri Matiyasevich in 1970 (Matiyasevich 1970, Davis 1973, Davis and Hersh 1973, Davis 1982, Matiyasevich 1993) by showing that the relation n=F_(2m) (where F_(2m) is the (2m)th Fibonacci number) is Diophantine. More specifically, Matiyasevich showed that there is a polynomial P in n, m, and a number of other variables x, y, z, ... having the property that n=F_(2m) iff there exist integers x, y, z, ... such that P(n,m,x,y,z,...)=0.

11. Extend the results obtained for quadratic fields to arbitrary integer algebraic fields.

12. Extend a theorem of Kronecker to arbitrary algebraic fields by explicitly constructing Hilbert class fields using special values. This calls for the construction of holomorphic functions in several variables which have properties analogous to the exponential function and elliptic modular functions (Holzapfel 1995).

13. Show the impossibility of solving the general seventh degree equation by functions of two variables.

14. Show the finiteness of systems of relatively integral functions.

15. Justify Schubert's enumerative geometry (Bell 1945).

16. Study the topology of real algebraic curves and surfaces. See Gudkov and Utkin (1978), Ilyashenko and Yakovenko (1995), and Smale (2000) for additional details.

17. Find a representation of definite form by squares.

18. Build spaces with congruent polyhedra.

19. Analyze the analytic character of solutions to variational problems.

20. Solve general boundary value problems.

21. Solve differential equations given a monodromy group. More technically, prove that there always exists a Fuchsian system with given singularities and a given monodromy group. Several special cases had been solved, but a negative solution was found in 1989 by B. Bolibruch (Anasov and Bolibruch 1994).

22. Uniformization.

23. Extend the methods of calculus of variations.


See also

Gelfond's Theorem, Gödel's Second Incompleteness Theorem, Riemann Hypothesis, Taniyama-Shimura conjecture, Unsolved Problems

Explore with Wolfram|Alpha

References

Anasov, D. V. and Bolibruch, A. A. The Riemann-Hilbert Problem. Braunschweig, Germany: Vieweg, 1994.Bell, E. T. The Development of Mathematics, 2nd ed. New York: McGraw-Hill, p. 340, 1945.Borowski, E. J. and Borwein, J. M. (Eds.). "Hilbert Problems." Appendix 3 in The Harper Collins Dictionary of Mathematics. New York: Harper-Collins, p. 659, 1991.Boyer, C. and Merzbach, U. "The Hilbert Problems." History of Mathematics, 2nd ed. New York: Wiley, pp. 610-614, 1991.Browder, Felix E. (Ed.). Mathematical Developments Arising from Hilbert Problems. Providence, RI: Amer. Math. Soc., 1976.Courant, R. and Robbins, H. What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, p. 107, 1996.Davis, M. "Hilbert's Tenth Problem is Unsolvable." Amer. Math. Monthly 80, 233-269, 1973.Davis, M. "Hilbert's Tenth Problem is Unsolvable." Appendix 2 in Computability and Unsolvability. New York: Dover, 1999-235, 1982.Davis, M. and Hersh, R. "Hilbert's 10th Problem." Sci. Amer. 229, 84-91, Nov. 1973.Dehn, M. "Über raumgleiche Polyeder." Nachr. Königl. Ges. der Wiss. zu Göttingen f. d. Jahr 1900, 345-354, 1900.Dehn, M. "Über den Rauminhalt." Math. Ann. 55, 465-478, 1902.Denef, J.; Lipshitz, L.; Pheidas, T.; and Van Geel, J. (Eds.) Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry, Workshop on Hilbert's Tenth Problem: November 2-5, 1999, Ghent University, Belgium. Providence, RI: Amer. Math. Soc., 2000.Derbyshire, J. Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. New York: Penguin, 2004.Gray, J. J. The Hilbert Challenge. Oxford, England: Oxford University Press, 2000.Gudkov, D. and Utkin, G. A. Nine Papers on Hilbert's 16th Problem. Providence, RI: Amer. Math. Soc., 1978.Havil, J. Gamma: Exploring Euler's Constant. Princeton, NJ: Princeton University Press, pp. 210-212, 2003.Hilbert, D. "Mathematical Problems." Bull. Amer. Math. Soc. 8, 437-479, 1901-1902.Holzapfel, R.-P. The Ball and Some Hilbert Problems. Boston, MA: Birkhäuser, 1995.Ilyashenko, Yu. and Yakovenko, S. (Eds.). Concerning the Hilbert 16th Problem. Providence, RI: Amer. Math. Soc., 1995.Itô, K. (Ed.). "Hilbert, David." §196 in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 2. Cambridge, MA: MIT Press, pp. 736-737, 1987.Joyce, D. E. "The Mathematical Problems of David Hilbert." http://aleph0.clarku.edu/~djoyce/hilbert/.Kagan, B. "Über die Transformation der Polyeder." Math. Ann. 57, 421-424, 1903.Matiyasevič, Ju. V. "The Diophantineness of Enumerable Sets." Dokl. Akad. Nauk SSSR 191, 279-282, 1970. English translation: Soviet Math. Dokl 11, 354-358, 1970.Matijasevich, Yu. V. Hilbert's Tenth Problem. Cambridge, MA: MIT Press, 1993. http://www.informatik.uni-stuttgart.de/ifi/ti/personen/Matiyasevich/H10Pbook/.Reid, C. Julia: A Life in Mathematics. Washington, DC: Math. Assoc. Amer., 1997.Schroeppel, R. C. Transcription of Hilbert's Problems Lecture. http://www.cs.arizona.edu/~rcs/hilbert-speech.Smale, S. "Mathematical Problems for the Next Century." Math. Intelligencer 20, No. 2, 7-15, 1998.Smale, S. "Mathematical Problems for the Next Century." In Mathematics: Frontiers and Perspectives 2000 (Ed. V. Arnold, M. Atiyah, P. Lax, and B. Mazur). Providence, RI: Amer. Math. Soc., 2000.Thiele, R. "On Hilbert's 24th Problem: Report on a New Source and Some Remarks." AMS/MAA Joint Mathematics Meeting, New Orleans, Jan. 10-13, 2001. http://www.ams.org/amsmtgs/2025_abstracts/962-01-285.pdf.Vsemirnov, M. "Welcome to Hilbert's Tenth Problem Page!" http://logic.pdmi.ras.ru/Hilbert10/.Waldschmidt, M. "Schneider's Solution of Hilbert's Seventh Problem." §3.1 in Transcendence Methods. Queen's Papers in Pure and Applied Mathematics, No. 52. Kingston, Ontario, Canada: Queen's University, pp. 3.1-3.4, 1979.Weisstein, E. W. "Books about Hilbert's Problems." http://www.ericweisstein.com/encyclopedias/books/HilbertsProblems.html.Wells, D. The Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England: Penguin Books, p. 45, 1986.

Cite this as:

Weisstein, Eric W. "Hilbert's Problems." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/HilbertsProblems.html

Subject classifications