量子力学中的概率理论与贝尔论证
1. 贝尔语境性与贝尔型定理
贝尔语境性（Bell - contextuality）是量子力学中的一个重要概念。与之前的考虑不同，$C_b$不依赖于量子态$\rho$或制备与测量过程。然而，贝尔语境性和其他语境性一样，会阻碍所有贝尔型定理的推导。
当在时空的分离区域进行$a$和$b$的测量时，贝尔指出这种语境性可以被解释为超距作用。用公式表示为$i(C_b, \hat{a})(\omega) = \xi_a(C_b, \omega)$，这意味着经典随机变量$\xi_a(C_b, \omega)$并非仅由$a$唯一确定，还依赖于$b$的测量，即$b$的测量会瞬间对远处产生作用。
2. 贝尔论证的价值
从原理上讲，贝尔支持超距作用的论证本可能激发寻找这种作用直接证据的研究，但实际上并未如此。相反，贝尔型的无-go定理被视为“量子非局域性”的最终证明。然而，贝尔语境性和随之而来的非局域性只是阻碍无-go定理推导的众多可能性之一。由于我们不清楚量子前的经典统计模型以及经典到量子的对应规则，所以不能从贝尔型定理得出明确结论，已知的无-go定理只是对这些对应规则进行假设性游戏的结果。
作者个人认为，违反关于值范围重合的假设，或者更普遍的制备和测量语境性，比非局域性更自然地阻碍贝尔型定理。贝尔论证的主要价值在于极大地推动了处理纠缠光子的实验技术发展。
3. 量子力学的公理化尝试历程
量子力学诞生一个多世纪以来，其数学框架的推导仍缺乏通用原理。早期，Birkhoff、von Neumann、Jordan和Wigner等尝试从具有物理意义的公理集合推导量子力学。例如，有人将量子力
