1700919926
在哲学领域内，与第四层多重宇宙理论最接近的理论是已故哲学家大卫·里维斯（David Lewis）所提出的模态实在论（modal realism）。他提出，“所有可能的世界都与实际的世界一样真实”。他已故的同行罗伯特·诺齐克（Robert Nozick）提出了一个类似的理论叫作“繁殖力原则”（the principle of fecundity）。对模态实在论，一个常见的批评断言道，由于它提出“所有可想象的宇宙都存在”，所以它根本不能作出任何可检验的预测。如果将里维斯的“所有可能的世界”替换成“所有数学结构”，那么第四层多重宇宙就可以被看作一个范围更小、定义更加严格的实在。第四层多重宇宙并没有暗示所有可想象的宇宙都存在。我们人类可以想象出许多数学上不可定义的东西，因此它们无法对应任何数学结构。数学家们之所以会发表论文来证明不同数学结构的描述之间拥有数学一致性，正说明了这是一件困难的事，并不是所有情况都可能发生。
1700919927
1700919928
而在计算机科学的领域中，最接近的假说正是我们之前所讨论过的——我们的物理实在是某种形式的计算机模拟。图11-6中可以清楚地看到它们的关系，二者分别位于三角形的两个顶点上：根据模拟假说，我们的物理实在是一种计算；与之对照，根据数学宇宙假说，我们的宇宙是一个数学结构。在模拟假说中，计算演化了我们的宇宙，但在数学宇宙假说中，它们只是通过评估我们宇宙的关系，从而对它进行描述。根据尤尔根·施密特胡贝尔和斯蒂芬·沃尔夫拉姆等人研究的可计算多重宇宙理论，时间演化必须是可计算的；而根据可计算宇宙假说，描述（即关系）才应当是可计算的东西。约翰·巴罗和罗杰·彭罗斯则提出，只有复杂到可应用哥德尔不完备定理的结构，才可能包含拥有自我意识的观察者。上面我们曾看到，可计算宇宙假说可计算宇宙假说的基本假设从某种意义上却与之截然相反。
1700919929
1700919930
检验第四层多重宇宙
1700919931
1700919932
我们已经论证了外部实在假说。该假说认为，存在一个完全独立于我们人类之外的外部物理实在，暗示了数学宇宙假说，后者认为，我们的外部物理实在是一个数学结构，从而又暗示了第四层多重宇宙的存在。因此，要加强或削弱第四层多重宇宙的证据，最直接的方法就是进一步研究和检验外部实在假说。由于外部实在假说尚无定论，我想我可以很公平地说，我的大部分同行都同意它。并且，粒子物理学标准模型和宇宙学近年来的成功并没有表明，终极物理实在（不管它是什么）是围绕着人类且不能离开人类而存在的。即便如此，还是让我们来探索两种潜在的方法，更直接地检验一下数学宇宙假说和第四层多重宇宙。
1700919933
1700919934
典型性预测
1700919935
1700919936
正如我们在第5章所看到的那样，人们发现物理常数就像是为了适应生命的出现而作出的精心微调。这一点可以被解读为一个常数范围很宽的多重宇宙存在的证据。之所以可以这样解读，是因为它让我们栖身的宇宙所具有的高度宜居性变得不那么惊人，还预测说这正是我们应当出现的地方。尤其是，我们还看到第二层多重宇宙的某些最强证据正来自暗能量观测密度的微调性。那么，第四层多重宇宙是否也可能存在微调性的证据呢（即使只是理论上）？
1700919937
1700919938
2005年，在剑桥的一次物理学术会议晚间，我和好友安东尼·阿吉雷正在三一学院古雅的庭院里散步，我突然意识到答案是肯定的。
1700919939
1700919940
假设你朋友开车载你到一个你一无所知的小镇上。你跨出车门时，突然注意到一堆令人困惑的标志（见图11-9）。这些标志禁止在街道的任何地方停车，除了你朋友停车的地方。她解释说，新上任的市长举行了一次反污染的活动，决定在每条街的街边随机放置10个标志，禁止在该标志箭头所指方向（左方或右方）的街边停车。在进行一些计算后，你意识到，这种疯狂的随机模式通常会禁止在整条街上的任何地方停车，只有1%的概率会出现一个允许停车的空间[69]；而这只会发生在左箭头都被放置在所有右箭头左侧的情况下。
1700919941
1700919942
我们要如何理解这一点呢？它是否只是一个幸运的巧合？如果你像典型的科学家那样，害怕无法解释的巧合，那么你就会倾向于接受那些不需要疯狂好运的解释：这个奇怪的小镇上有着很多街道，或许多达上百条。这样，很可能真的会在某条街上出现允许停车的区域。由于你朋友熟知这个小镇，所以她能找到停车的地方并不是一件惊人的事。这个微调性的例子与第5章提到的有所不同，因为这里似乎经过了微调的并不是暗能量密度这样的连续统，而是某种离散的东西——所有左箭头或右箭头排列成惊人的方式。
1700919943
1700919944
1700919945
1700919946
1700919947
图11-9 如果一条街道上布置了许多随机的标志，每个标志禁止在其左方或右方停车，那么，很有可能整条街上都不能停车，只有在所有左箭头正好位于所有右箭头的左方时，才会出现允许停车的区域，如上图的上半部分所显示的那样。同样，假如为了适应生命的出现，宇宙的某个物理常数必须要满足许许多多限制条件（该图下图），那很有可能根本不会出现宜居的数值区间。上下两幅图所描绘的情况就可分别解读为“实际上存在许多街道”或“第四层多重宇宙中存在许多数学结构”的证据。
1700919948
1700919949
我举的这个停车的例子并不贴切，但在我们的宇宙中确实观察到了与之十分类似的现象（见图11-9的下图）。水平坐标轴表示的参数与新近发现的希格斯粒子有关。约翰·多诺霍（John Donoghue）、克雷格·霍根（Craig Hogan）和海因茨·奥博哈姆（Heinz Oberhummer）及合作者的近期工作表明，这个参数与暗能量密度十分相似，仿佛也经过了精心微调——大约比人们自然预计的要低16个数量级；如果你把它上调或下调一点，哪怕幅度只有1%，也会极大减少恒星中生成的碳和氧；升高18%，将会降低恒星中氢原子聚变成其他原子的比例；而降低34%，将会让氢原子衰变成中子，质子会吞噬电子；降低为原来的1/5，即使是孤单的质子也会衰变成中子，于是宇宙中不会存在任何原子。
1700919950
1700919951
我们要如何解读这件事呢？首先，这看起来很像是第二层多重宇宙的进一步证据，因为在不同的第二层平行宇宙中，物理常数可能会发生变化。这解释了为何我们发现的暗能量密度正好能允许星系形成。但除此之外，它还能清楚地解释为什么希格斯粒子的性质正好能允许除氢以外的复杂原子形成。因此，当我们发现自己位于一个包含着丰富原子和星系，并且比较罕见的宇宙中时，也就没那么惊讶了，因为生命的出现正需要复杂性（哪怕只是最低限度的复杂性）。
1700919952
1700919953
图11-9提出了第二个问题：为什么图11-9的下图中5个箭头的共同作用就能让希格斯粒子的性质位于宜居区间呢？这可能是一种侥幸：如果5个箭头的随机组合允许出现某个区间的概率是19%，那我们只需要一点运气就好了。此外，基于核物理学的原理，这5个箭头并不是独立的，所以我不会把这5个箭头的例子当作什么强证据。然而，未来的物理学研究很可能会发现更多惊人的离散微调性，比如10个或更多箭头共同作用，好让某个或某些物理学参数出现在宜居的区间内。[70]如果发生了这样的事，我们就能为图11-9中的上图辩称：这并不是存在其他街道的证据，而是存在其他宇宙的证据，这些宇宙拥有不同的物理定律，所以生命出现所需要的条件也十分不同！在某些情况下，这些宇宙可能存在于第二层多重宇宙中，它们所处的区域拥有相同的基本物理定律，但衍生出了不同的空间相和有效物理定律。然而，还有另外一种情况：其他宇宙也可能遵循着不同的基本物理定律，分别对应着第四层多重宇宙中不同的数学结构。也就是说，尽管目前我们的直接观测数据缺乏对第四层多重宇宙的支持，但未来依然有可能得到一些证据。
1700919954
1700919955
数学规则预测
1700919956
1700919957
我们曾提到过维格纳在1960年写的那篇著名的文章，他在其中论证说：“数学在自然科学中有着极其广泛的应用，这一事实近乎神秘……简直无法解释。”数学宇宙假说为其提供了一个缺失的解释。它解释了数学在描述物理世界时的有效性，将物理世界解释为一连串自然发生的事件。物理世界就是一个数学结构，我们已经一点点揭开了这个事实的面纱。当代物理学理论由各种各样的近似理论组成，它们十分成功，因为复杂的数学结构的某些方面能用简单的数学结构来近似。也就是说，我们成功的理论并不是用数学去近似物理，而是用数学去近似数学。
1700919958
1700919959
数学宇宙假说有一个可检验的关键预测，那就是物理学研究将会揭开更多自然界的数学规则。这种数学宇宙的预测能力是由理论物理学家保罗·迪拉克（Paul Dirac）于1931年提出来的：
1700919960
1700919961
当今所能提出的最强大的进步方法就是运用所有纯数学的资源，努力完善和概括那些构成理论物理学现有基础的数学形式体系。在这个方向上，每获得一次成功，就应当努力用物理实体来解读那些新的数学特性。
1700919962
1700919963
到目前为止，这种预测究竟有多成功呢？从毕达哥拉斯提出数学宇宙的基本想法到今天，已经过去了两千年。随后，伽利略进一步发现自然就是“一本用数学语言写就的书”。接下来，人们又发现了许多影响更加深远的数学规律，从行星的运动到原子的特征，促使迪拉克和维格纳作出令人敬畏的背书。此后，粒子物理学标准模型和宇宙学揭示了新的数学尺度，将其扩展到“不可理喻”的范围。从微观的基本粒子，到宏观的早期宇宙，历史上曾进行过的所有物理学测量几乎都能由表9-1中列出的32个数字计算出来。面对这样的事实，我不知道还有什么比“物理世界的实在就是纯粹的数学”这个解释更令人叹服。
1700919964
1700919965
展望未来，存在两种可能性。如果我错了，数学宇宙假说是错误的，那么物理学将遇到一个不可克服的障碍，之后不会再有任何更新的进展——不会再有任何更新的数学规则等着我们去发现，即便我们依然缺乏物理实在的完备描述。比如，如果有人用令人信服的方式证明了随机性是自然规律的一个本质（与决定论相反，在决定论中，对观察者的克隆只会让他们在主观上感觉到随机），这必将推翻数学宇宙假说。但是，假如我是正确的，数学宇宙假说是正确的，那么我们对终极实在的追寻过程中就不会存在任何障碍。没有做不到，只有想不到。唯一的限制，就是我们的想象力！
1700919966
1700919967
1700919968
1700919969
1700919970
1700919971
穿越平行宇宙
1700919972
1700919973
◆数学宇宙假说（MUH）暗示着，数学存在等同于物理存在。这意味着，所有存在于数学中的结构，也都存在于物理中，构成了第四层多重宇宙。
1700919974
1700919975
◆我们曾探索过的平行宇宙组成了一个越来越多样化的四层金字塔结构：第一层，空间中观测不到的遥远区域；第二层，其他暴胀停止的区域；第三层，量子希尔伯特空间中的其他地方；第四层，其他数学结构。