第五百三十九幕.伊恩格雷不等式

师们上百年来学习掌握的魔法，研究的理论，认识的世界都是以定域实在论控制的。

    就像是一个出生便在学习通用语的人，想要让他理解瑟拉菲诺诗语，那么只能通过通用语与瑟拉菲诺的词汇的对照，语法的对照来慢慢学习，但即便这样，绝大多数人在使用瑟拉菲诺语的时候，也并不是真正在“说”这种语言，而不过是将脑内的通用语翻译成了一个个瑟拉菲诺语的词语再一个个念出来而已。

    这是认知的困境，越是学识渊博，就越是难以逃脱自己给自己设置的囚笼，而越是天真无垢，就越能够尝试新的事物，可如果没有扎实的基础，普通人也难以理解并运用量子论，这便是一个矛盾。

    “正是由于这样的思维，我们过去曾经触及答案，却与其失之交臂，因为我们想要找到一个完备确定的公式来解决量子纠缠的问题，这就好像试图运用通用语的单词来念瑟拉菲诺语里的诗歌，想要得到和谐的音韵自然是不可能的。”

    莱纳环顾四周，接着说道。

    “所以，既然量子理论探究的是不确定性，那么我们就需要用不确定理论的方式来验证量子理论的完备性。”

    他手指移动，令偏振片形成了一个角度。

    “倘若我们将两个偏振片设置一个夹角，那么随着夹角的变化，两个粒子同时通过的概率就会产生变化，我们将其进行测量......”

    莱纳打了个响指，半空中便出现了一个表格，这是两个粒子在空间直角坐标系中的自旋方向的记录，通过表格，可以得到一系列的概率，这些概率的总和为1，将其拆分组合，便能够得到一个不等式。

    |Pxz-Pzy|<=1+Pxy。

    “这个不等式我将其称为伊恩格雷不等式，这个不等式是由一元线性隐变量理论与定域性约束得到的，简单来说，如果不等式成立，那么就意味着隐变量的理论也是成立，量子纠缠在两个粒子分离的时候就已经有了结果，如果不等式不成立，那么就意味着量子理论的预言成立，粒子的状态基于观测的结果。”

    莱纳挥动手臂，在半空中对于这个不等式进行了一系列的数学计算与论证，从数学上证明了这个不等式。

    “所以，我们想要论证量子理论是否完备，只需要进行精确的实验，论证不等式是否成立就行了？”

    普雷斯顿阁下并不擅长数理，但也很快就理解莱纳所说的，需要用不确定理论来验证量子理论的思路。

    “是这样的，普雷斯顿阁下，在这个过程中，我们应当尽量减少魔法的扰动，实际上，按照我们目前的机械水平，已经可以布置类似的实验装置而不需要魔法的干预。”

    莱纳看了一眼身处铠甲之中的莱因哈特阁下，接着说道。

    “如果各位对我的理论没有异议的话，可以立刻就布置实验装置，验证伊恩格雷不等式，终结经典魔法体系定域实在论与量子理论不确定性之间的争执，从而彻底解析索伦异种的秘密。”