更改

==公理背景——量子力学中的自由意志定理==

==公理背景——量子力学中的自由意志定理==

量子力学自建立后近一个世纪以来，已在科学技术的各个领域取得了巨大的成功。而与此同时，量子力学也是一个充满争议的理论。自爱因斯坦提出量子力学是不完备的理论以来，对其的补充或替代理论的追寻也从未停止。也许是习惯了经典力学的决定论性特点，20世纪初的物理学家们大多认为，像一辆小车、一个电子这样的“死物”，其行为应该 是可以通过力学方程严格预测的,爱因斯坦一言蔽之：“上帝不掷骰子。”<br>

量子力学自建立后近一个世纪以来，已在科学技术的各个领域取得了巨大的成功。而与此同时，量子力学也是一个充满争议的理论。自爱因斯坦提出量子力学是不完备的理论以来，对其的补充或替代理论的追寻也从未停止。也许是习惯了经典力学的决定论性特点，20世纪初的物理学家们大多认为，像一辆小车、一个电子这样的“死物”，其行为应该 是可以通过力学方程严格预测的,爱因斯坦一言蔽之：“上帝不掷骰子。”<br>

基于这种观点，量子论所描述的粒子的概率行为当然令人生疑。一个自然的想法是：由于缺乏足够的信息和理解，所以对粒子行为不能准确把握；而当我们拥有了足够的信息、更深的理论理解，就能准确预测粒子行为。这种想法催生了一类隐参量理论。贝尔 John Stewart Bell 在寻找玻姆式的隐参量理论时，发现该类理论一旦结合定域性条件，将对纠缠态粒子的可能关联程度建立一个严格的数学限制，即贝尔不等式，而该不等式在量子力学中却不一定成立。随着贝尔不等式被阿莱恩·阿斯派克特 Alain Aspect等人的实验证伪，定域性的隐参量理论被否定。<br>

基于这种观点，量子论所描述的粒子的概率行为当然令人生疑。一个自然的想法是：由于缺乏足够的信息和理解，所以对粒子行为不能准确把握；而当我们拥有了足够的信息、更深的理论理解，就能准确预测粒子行为。这种想法催生了一类隐参量理论。贝尔 John Stewart Bell 在寻找玻姆式的隐参量理论时，发现该类理论一旦结合定域性条件，将对纠缠态粒子的可能关联程度建立一个严格的数学限制，即贝尔不等式，而该不等式在量子力学中却不一定成立。随着贝尔不等式被阿莱恩·阿斯派克特 Alain Aspect等人的实验证伪，定域性的隐参量理论被否定。<br>

贝尔本人也认为：“任何定域隐变量理论都不可能重现量子力学的全部统计性预言。”然而，决定论并没有就此被终结，寻找其他的决定性力学理论的努力至今仍在继续，其影响根深蒂固，让人怀疑量子论只是权宜之计。<br>

贝尔本人也认为：“任何定域隐变量理论都不可能重现量子力学的全部统计性预言。”然而，决定论并没有就此被终结，寻找其他的决定性力学理论的努力至今仍在继续，其影响根深蒂固，让人怀疑量子论只是权宜之计。<br>

进入21世纪，普林斯顿大学的康韦 John Conway 和寇辰 Simon Kochen 教授提出了自由意志定理，再次给决定论以沉重打击。<br>

进入21世纪，普林斯顿大学的康韦 John Conway 和寇辰 Simon Kochen 教授提出了自由意志定理，再次给决定论以沉重打击。<br>

==公理内容==

==公理内容==