希尔伯特第六问题
来自维基百科，自由的百科全书
希尔伯特第六问题（英语：Hilbert's sixth problem）即公理化物理（axiomatize physics），是希尔伯特的23个问题之一。虽然物理学并非数学，但是两者之间的关系密切，许多物理学上的概念可借由数学来明确化，而数学上有一些东西的灵感也是来自于物理学的研究，微积分就是最著名的例子，因此德国数学家大卫·希尔伯特（David Hilbert）认为能使用数学上公理化的概念来将物理学给“公理化”，而后来也确实有人进行这项工作，并且也获得了成功，凡举古典力学、几率论、热力学、狭义相对论乃至于量子力学都有人进行公理化的工作。
 | 此条目没有列出任何参考或来源。 (2018年1月10日) |
叙述
这问题出现在希尔伯特于1900年列出、并广为引用的希尔伯特问题之列。[2]其陈述翻译成中文如下：
六、物理学公理的数学处理。对几何基础的检视，给出了如次的问题：‘以同样的方式，也就是公理系统的方式，来处理物理中数学占有重要成分的分支；其中的第一层是几率论和力学。’
希尔伯特随后又给出对问题更多的解释及其可能的特定形式：
关于几率论的公理，我认为，对其逻辑的搜寻，应当要伴随着在数学物理的平均值方法方面精确且令人满意的发展，特别地要在气体动力论方面有这样的发展‧‧‧波兹曼在力学原理方面的研究显示说，数学地发展限制过程的问题，可从原子层次观点出发发展出连续体运动定律。
历史
希尔伯特本人对第六问题做出了许多贡献；[3]特别地，他在列出这问题后投身于相关领域的物理学研究之中。
1910年代，天体力学演变成广义相对论。希尔伯特和埃米·诺特和爱因斯坦大量通信以讨论这理论的数学。[4]
1920年代，微观系统的力学发展成量子力学，希尔伯特在冯诺伊曼、Lothar Wolfgang Nordheim和尤金·维格纳等人的帮助下开始发展量子力学的公理基础（见希尔伯特空间）。[5]与此同时，狄拉克独立地以接近公理系统的方式发展量子力学公式；此外外尔也在薛定谔的帮助下从事此工作。
1930年代，安德烈·柯尔莫哥洛夫以测度发展出几率论的公理基础。
自1960年代起，由于Arthur Wightman和鲁道夫·哈格等人的研究，一般咸信当代对量子场论的描述已接近公理化。
1990至2000年代，许多数学家开始研究“从原子层次观点出发发展出连续体运动定律的限制过程”的问题，近期主要的发展由Laure Saint-Raymond、[6]Marshall Slemrod、[7]Alexander N. Gorban和Ilya Karlin[8]等人总结。
现状
希尔伯特第六问题提议说将公理系统延伸到物理和其他领域等既有数学以外的领域，而其延伸需要物理语义的发展，而其中对物理现实应当进行的形式分析是必要的。[9]以下是描述多数物理基本现象的基础理论：
希尔伯特将广义相对论视为物理的基础成分；[11][12]然而广义相对论在逻辑上与量子场论不相容，这显示说发展现在依旧未知的量子引力是必要的，在其中一般预期物理语义将扮演核心角色。希尔伯特第六问题至今依旧是开放问题。[13]即使如此，近年来这问题助长了对物理基础的研究，其中特别强调逻辑和言语精确性的角色，而这导致了一些有趣的结果，也就是从柯西对微分的定义直接理解不确定性原理及从公理角度出发解开通往任何量子引力路上的语义障碍、[14]解开对等效原理量子测试方面的逻辑恒真式，[15]以及马克士威第一方程式形式上的不可证明问题等。[16]
参见
注解
参考资料
外部链接
Wikiwand - on
Seamless Wikipedia browsing. On steroids.