eciding which outstanding problems in mathematics are the most important is to decide the course of mathematics future development. Perhaps the mathematician who had the greatest impact on the direction of 20th century mathematics through naming problems that most wanted attention was the great German mathematician David Hilbert. At the second International Congress of Mathematicians, which met at Paris in 1900, Hilbert gave one of the leading addresses, in which he reviewed the basic trends of mathematical research at the end of the 19th century, and then formulated 23 problems, extending over all fields of mathematics, which he believed should occupy the attention of mathematicians in the following century.
Because of Hilberts prestige, these problems were tackled by mathematicians assiduously, and many of them solved. Some, however, have been solved only very recently, and still others continue to daunt us. Each of these famous problems, with commentary where appropriate, is listed below.
- The Continuum Hypothesis. Kurt Godel proved in 1938 that the generalized continuum hypothesis (GCH) is consistent relative to Zermelo Fraenkel set theory. In 1963, Paul Cohen showed that its negation is also consistent. Consequently, the axioms of mathematics as currently understood are unable to decide the GCH. See Godel's Theorems.
- Whether the axioms of arithmetic are consistent. Kurt Gödel proved in 1933 that no theory (such as a arithmetic) is strong enough to prove its own consistency. However, Zermelo Fraenkel set theory can prove the consistency of (the Peano axioms) of arithmetic. See Godel's Theorems.
- Whether two tetrahedra of equal base and altitude necessarily have the same volume. This was proved false by Max Dehn in 1900.
- To construct all the metrics in which straight lines are geodesics.
- How far Lies conception of continuous groups of transformations is approachable without assuming that the transformations are differentiable. It was shown in the 1950s that every locally Euclidean group is a Lie group.
- To axiomatize mathematical physics. Partially solved. In particular, John Von Neumann and others axiomatized quantum mechanics.
- Whether ab is transcendental, where a is algebraic and b is irrational. This problem was solved (in the affirmative) independently by Gelfond (1934) and Schneider (1935). See the Gelfond-Schneider Theorem.
- The Riemann (zeta) Hypothesis. Unsolved. See the Riemann Hypothesis, zeta function.
- To find the most general law of reciprocity in an algebraic number field. Solved by Artin in 1927 for abelian extensions of the rational numbers, but the non-abelian case remains open.
- To find a method to determine whether a given Diophantine Equation is soluble. This decidability problem is kin to the larger problem pursued by the logicist program of decidability of theories in general. The particular case of Diophantine equations was finally dealt with in a direct way by Matijasevich in 1970, who showed that no such method exists.
- The study of quadratic forms with algebraic coefficients.
- The study of any algebraic number field extensions.
- To show that the general equation of the seventh degree cannot be solved by means of functions of only two arguments.
- Whether the ring K intersect k[x1 , ... , xn] is finitely generated over K, where K is a field, k[x1 , ... , xn] is a polynomial ring, and k is a subset of K, which is in turn a subset of k(x1 , ... , xn). Proved false by Nagata in 1959.
- The rigorous foundation of Schuberts Enumerative Calculus.
- The investigation of the topology of algebraic surfaces.
- The expression of a definite rational function as a quotient of sums of squares. Artin showed in 1927 that a positive definite rational function is a sum of squares.
- Whether there exist non-regular space-filling polyhedra.
- Whether the solutions of Lagrangians are always analytic.
- Whether every variational problem has a solution, provided suitable assumptions are made about boundary conditions.
- To show that there always exists a linear differential equation of the Fuchsian class, with given singular points and monodromic groups. Solved by Deligne in 1970.
- Development of the calculus of variations.