Hilbert's sixth problem
Hilbert's sixth problem is to axiomatize those branches of physics in which mathematics is prevalent. It occurs on the widely cited list of Hilbert's problems in mathematics that he presented in the year 1900. In its common English translation, the explicit statement reads:
- 6. Mathematical Treatment of the Axioms of Physics. The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which already today mathematics plays an important part; in the first rank are the theory of probabilities and mechanics.
Hilbert gave the further explanation of this problem and its possible specific forms:
- "As to the axioms of the theory of probabilities, it seems to me desirable that their logical investigation should be accompanied by a rigorous and satisfactory development of the method of mean values in mathematical physics, and in particular in the kinetic theory of gases. ... Boltzmann's work on the principles of mechanics suggests the problem of developing mathematically the limiting processes, there merely indicated, which lead from the atomistic view to the laws of motion of continua."
In the 1920s, mechanics of microscopic systems evolved into quantum mechanics. Hilbert, with the assistance of John von Neumann, L. Nordheim, and E. P. Wigner, worked on the axiomatic basis of quantum mechanics (see Hilbert space). At the same time, but independently, Dirac formulated quantum mechanics in a way that is close to an axiomatic system, as did Hermann Weyl with the assistance of Erwin Schrödinger.
In the 1990s-2000s the problem of "the limiting processes, there merely indicated, which lead from the atomistic view to the laws of motion of continua" was approached by many groups of mathematicians. Main recent results are summarized by Laure Saint-Raymond, Marshall Slemrod,Alexander N. Gorban and Ilya Karlin.
At the present time, there are two foundational theories in physics: the Standard Model of particle physics and general relativity. Many parts of these theories have been put on an axiomatic basis. However, physics as a whole has not, and in fact the Standard Model is not even logically consistent with general relativity, indicating the need for a still unknown theory of quantum gravity. The solution of Hilbert's sixth problem thus remains open.
- David Hilbert, "Mathematical Problems"., Bulletin of the American Mathematical Society, vol. 8, no. 10 (1902), pp. 437-479. Earlier publications (in the original German) appeared in Göttinger Nachrichten, 1900, pp. 253-297, and Archiv der Mathematik und Physik, 3dser., vol. 1 (1901), pp. 44-63, 213-237.
- L. Corry, David Hilbert and the axiomatization of physics (1894–1905), Archive for History of Exact Sciences 51 (1997), no. 2, 83–198, DOI: http://doi.org/10.1007/BF00375141.
- Sauer p. 6
- van Hove, Léon (1958). "Von Neumann's contributions to quantum theory". Bull. Amer. Math. Soc. 64: 95–99. doi:10.1090/s0002-9904-1958-10206-2. MR 0092587. Zbl 0080.00416.
- L. Saint-Raymond, Hydrodynamic limits of the Boltzmann equation, Lecture Notes in Mathematics, vol. 1971, Springer-Verlag, Berlin, 2009.
- M. Slemrod, From Boltzmann to Euler: Hilbert’s 6th problem revisited, Comput. Math. Appl. 65 (2013), no. 10, 1497–1501. MR 3061719, DOI: http://dx.doi.org/10.1016/j.camwa.2012.08.016
- A.N. Gorban, I. Karlin, Hilbert’s 6th Problem: exact and approximate hydrodynamic manifolds for kinetic equations, Bull. Amer. Math. Soc., 51 (2014), no. 2, 186-246, DOI: http://dx.doi.org/10.1090/S0273-0979-2013-01439-3
- Sauer, Tilman (1999). "The relativity of discovery: Hilbert's first note on the foundations of physics". Arch. Hist. Exact Sci. 53 (6): 529–575. arXiv:physics/9811050. Zbl 0926.01004.
- Wightman, A.S. (1976). Felix E. Browder, ed. Hilbert's sixth problem: Mathematical treatment of the axioms of physics. Proceedings of Symposia in Pure Mathematics. XXVIII. American Mathematical Society. pp. 147–240. ISBN 0-8218-1428-1.