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.[1] In its common English translation, the explicit statement reads:
Stairs of model reduction from microscopic dynamics (the atomistic view) to macroscopic continuum dynamics (the laws of motion of continua) (Illustration to the content of the book[2])
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."
David Hilbert himself devoted much of his research to the sixth problem;[3] in particular, he worked in those fields of physics that arose after he stated the problem.
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,[6] Marshall Slemrod,[7]Alexander N. Gorban and Ilya Karlin.[8]
Hilbert’s sixth problem was a proposal to expand the axiomatic method outside the existing mathematical disciplines, to physics and beyond. This expansion requires development of semantics of physics with formal analysis of the notion of physical reality that should be done.[9] Two fundamental theories capture the majority of the fundamental phenomena of physics:
General relativity, which describes space-time and gravity at macroscopic scale.
Hilbert considered general relativity as an essential part of the foundation of physics.[11][12] However, quantum field theory is not logically consistent with general relativity, indicating the need for a still-unknown theory of quantum gravity, where the semantics of physics is expected to play a central role. Hilbert's sixth problem thus remains open,[13] Nevertheless, in recent years it has fostered research regarding the foundations of physics with a particular emphasis on the role of logic and precision of language, leading to some interesting results viz. a direct realization of uncertainty principle from Cauchy's definition of `derivative' and the unravelling of a semantic obstacle in the path of any theory of quantum gravity from the axiomatic perspective,[14] unravelling of a logical tautology in the quantum tests of equivalence principle[15] and formal unprovability of the first Maxwell's equation.[16]
^Hilbert, David (1902). "Mathematical Problems". Bulletin of the American Mathematical Society. 8 (10): 437–479. doi:10.1090/S0002-9904-1902-00923-3. MR1557926. Earlier publications (in the original German) appeared in Göttinger Nachrichten, 1900, pp. 253–297, and Archiv der Mathematik und Physik, 3rd series, vol. 1 (1901), pp. 44-63, 213–237.
^A. Majhi (2022). "Cauchy's Logico-Linguistic Slip, the Heisenberg Uncertainty Principle and a Semantic Dilemma Concerning "Quantum Gravity"". International Journal of Theoretical Physics. 61 (3). arXiv:2204.00418. doi:10.1007/s10773-022-05051-8.
^Majhi, A.; Sardar, G. (2023). "Scientific value of the quantum tests of equivalence principle in light of Hilbert's sixth problem". Pramana - J Phys. 97 (1). arXiv:2301.06327. doi:10.1007/s12043-022-02504-x.
