Hilbert's sixth problem: Difference between revisions
imported>Citation bot Add: pmid, bibcode, page. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing potentially dated statements from May 2025 | #UCB_Category 853/943 |
imported>Dedhert.Jr }} |
||
| Line 1: | Line 1: | ||
{{Short description|Axiomatization of probability and physics}} | {{Short description|Axiomatization of probability and physics}} | ||
[[File:StairsOfReduction.png|thumb|200px|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<ref>{{cite book | |||
[[File:StairsOfReduction.png|thumb|200px|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<ref>{{cite book |last1=Gorban |first1= Alexander N.|last2= Karlin |first2= Ilya V. | | | last1 = Gorban | first1 = Alexander N. | ||
| last2 = Karlin | first2 = Ilya V. | |||
| year = 2005 | |||
| title = Invariant Manifolds for Physical and Chemical Kinetics | |||
| url = https://www.academia.edu/17378865 | |||
| location = Berlin, Heidelberg | |||
| publisher = Springer | |||
| series = Lecture Notes in Physics (LNP, vol. 660) | |||
| isbn = 978-3-540-22684-0 | |||
| doi = 10.1007/b98103 | |||
| archive-url = https://web.archive.org/web/20200819052923/https://www.academia.edu/17378865/Invariant_Manifolds_for_Physical_and_Chemical_Kinetics | |||
| archive-date = 2020-08-19 | |||
}} [https://archive.org/details/gorban-karlin-lnp-2005 Alt URL]</ref>)]] | |||
'''Hilbert's sixth problem''' is to [[axiom]]atize 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. Quoted in its common English translation, the explicit statement reads:<ref name="hilbert">{{cite journal | |||
| last = Hilbert | first = David | author-link = David Hilbert | |||
| title = Mathematical Problems | |||
| journal = Bulletin of the American Mathematical Society | |||
| volume = 8 | issue = 10 | pages = 437–479 | year = 1902 | |||
| doi = 10.1090/S0002-9904-1902-00923-3 | |||
| mr = 1557926 | |||
| doi-access = free | |||
}} 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.</ref> | |||
{{blockquote|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 | Hilbert gave a further explanation of this problem and its possible specific forms:<ref name="hilbert"/> | ||
{{blockquote|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]]. ... [[Ludwig Boltzmann|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. | |||
}} | |||
==History== | ==History== | ||
| Line 24: | Line 45: | ||
==Status== | ==Status== | ||
Hilbert's sixth problem was a proposal to expand the [[Axiomatic system|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.<ref>{{cite journal |first=A.N. |last=Gorban |title=Hilbert's sixth problem: the endless road to rigour |journal=Phil. Trans. R. Soc. A |volume=376 |issue=2118 |article-number= 20170238|year=2018 |doi=10.1098/rsta.2017.0238 |pmid=29555808 |doi-access= free|pmc=5869544 |arxiv=1803.03599 |bibcode=2018RSPTA.37670238G }}</ref> Two fundamental theories capture the majority of the fundamental phenomena of physics: | |||
* [[Quantum field theory]],<ref>{{cite book | editor=Felix E. Browder | editor-link= Felix Browder | title= Mathematical Developments Arising from Hilbert Problems | series=[[Proceedings of Symposia in Pure Mathematics]] | volume= XXVIII | year=1976 | publisher= [[American Mathematical Society]] | isbn=0-8218-1428-1 | first=A.S. | last= Wightman | author-link= Arthur Wightman | chapter= Hilbert's sixth problem: Mathematical treatment of the axioms of physics | pages=147–240 }}</ref> which provides the mathematical framework for the [[Standard Model]]; | * [[Quantum field theory]],<ref>{{cite book | editor=Felix E. Browder | editor-link= Felix Browder | title= Mathematical Developments Arising from Hilbert Problems | series=[[Proceedings of Symposia in Pure Mathematics]] | volume= XXVIII | year=1976 | publisher= [[American Mathematical Society]] | isbn=0-8218-1428-1 | first=A.S. | last= Wightman | author-link= Arthur Wightman | chapter= Hilbert's sixth problem: Mathematical treatment of the axioms of physics | pages=147–240 }}</ref> which provides the mathematical framework for the [[Standard Model]]; | ||
* [[General relativity]], which describes space-time and gravity at macroscopic scale. | * [[General relativity]], which describes space-time and gravity at macroscopic scale. | ||
Hilbert considered general relativity as an essential part of the foundation of physics.<ref>{{cite journal |first=David |last=Hilbert |title=Die Grundlagen der Physik. (Erste Mitteilung) |journal=Nahrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-physikalische Klasse |volume=1915 |pages=395–407 |year=1915 |url=https://eudml.org/doc/58946}}</ref><ref>{{harvnb|Sauer|1999}}</ref> 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.<ref>Theme issue {{cite journal |title=Hilbert's sixth problem |journal=Phil. Trans. R. Soc. A |volume=376 |issue=2118 |year=2018 |doi=10.1098/rsta/376/2118 |doi-access=free }}</ref> | Hilbert considered general relativity as an essential part of the foundation of physics.<ref>{{cite journal |first=David |last=Hilbert |title=Die Grundlagen der Physik. (Erste Mitteilung) |journal=Nahrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-physikalische Klasse |volume=1915 |pages=395–407 |year=1915 |url=https://eudml.org/doc/58946}}</ref><ref>{{harvnb|Sauer|1999}}</ref> 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.<ref>Theme issue {{cite journal |title=Hilbert's sixth problem |journal=Phil. Trans. R. Soc. A |volume=376 |issue=2118 |year=2018 |doi=10.1098/rsta/376/2118 |doi-access=free }}</ref> | ||
==See also== | ==See also== | ||
Latest revision as of 05:22, 30 December 2025
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. Quoted in its common English translation, the explicit statement reads:[2]
<templatestyles src="Template:Blockquote/styles.css" />
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.
Script error: No such module "Check for unknown parameters".
Hilbert gave a further explanation of this problem and its possible specific forms:[2]
<templatestyles src="Template:Blockquote/styles.css" />
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.
Script error: No such module "Check for unknown parameters".
History
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 1910s, celestial mechanics evolved into general relativity. Hilbert and Emmy Noether corresponded extensively with Albert Einstein on the formulation of the theory.Template:R
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).[4] 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 1930s, probability theory was put on an axiomatic basis by Andrey Kolmogorov, using measure theory.
Since the 1960s, following the work of Arthur Wightman and Rudolf Haag, modern quantum field theory can also be considered close to an axiomatic description.
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,[5] Marshall Slemrod,[6] Alexander N. Gorban and Ilya Karlin.[7]
In 2025, a group of mathematicians made the claim that they had derived the full set of fluid equations, including the compressible Euler and incompressible Navier-Stokes-Fourier equations, directly from Newton's laws. since May 2025[update]Template:Dated maintenance category (articles)Script error: No such module "Check for unknown parameters". their work is being examined by other mathematicians.[8][9]
Status
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.[10] Two fundamental theories capture the majority of the fundamental phenomena of physics:
- Quantum field theory,[11] which provides the mathematical framework for the Standard Model;
- General relativity, which describes space-time and gravity at macroscopic scale.
Hilbert considered general relativity as an essential part of the foundation of physics.[12][13] 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.[14]
See also
Notes
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1". Alt URL
- ↑ a b Script error: No such module "Citation/CS1". 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.
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Footnotes".
- ↑ Theme issue Script error: No such module "Citation/CS1".
<ref> tag with name "Sauer" defined in <references> is not used in prior text.Script error: No such module "Check for unknown parameters".
References
- Script error: No such module "Citation/CS1".
- Script error: No such module "citation/CS1".
External links
Script error: No such module "Navbox". Template:Authority control