从「宇宙遵循数学」到「宇宙就是数学」
前三层平行宇宙再离奇，至少还有个共同点：里面的宇宙都由某种「物质」构成——空间、粒子、波函数。第四层把这个最后的共同点也扔了。麻省理工学院的宇宙学家马克斯·泰格马克（Max Tegmark）提出的数学宇宙假说，一句话版本是：我们的宇宙不只是一部可以用数学描述的机器，它本身就是一个数学结构；而且每一个数学上自洽的结构，都同样真实地存在着。
这话听着像故弄玄虚，但它的推理链条意外地朴素，值得一步步走一遍。
第一步：物理学越深入，剩下的越少
回想一下物理学都干了些什么。我们说「桌子是硬的」，物理学拆开它：是原子、是电子云之间的排斥。再拆：电子没有颜色、没有气味、没有硬度，它只有一组数——质量、电荷、自旋。拆到最后，物理学家手里的基本粒子没有任何「材质」，只有性质，而性质全是数。夸克不是「某种东西、恰好带三分之一电荷」；夸克就是「三分之一电荷 + 某个质量 + 某个自旋」这个集合本身。
泰格马克的观察是：物理学史的每一步都在做同一件事——把「东西」换成「关系」。当拆无可拆，一个宇宙的全部内容就是一张关系网：什么和什么相差多少、以什么规律变化。而一张纯粹的关系网，就是数学里说的结构——大白话：一堆抽象元素加它们之间的关系规则，比如棋盘上「马走日、象走田」就是一个小结构，不需要木头棋子也能完整定义。
第二步：如果描述完全完备，描述和被描述者还有什么区别
这是第四层真正的赌注。假设有一天物理学家写出了「万物方程」，对我们的宇宙完备到没有任何一个性质漏在外面。那么问一个尖锐的问题：这个「宇宙方程」和宇宙本身之间，还剩什么差别？
日常直觉会说：当然有差别，方程是纸上的符号，宇宙是「真的」。但「真的」指的是什么？是指摸起来硬吗——硬度已经被拆成了关系。是指「存在」的质感吗——质感也是神经系统里的关系网。泰格马克说，当你把最后一个非数学的渣滓（他称之为「行李」）也清出去之后，「宇宙是数学结构」就不再是比喻，而是定义上的等同。
大白话：棋局。一局棋可以记在纸上（棋谱），可以存在电脑里，可以两个人凭记忆下。棋谱、数据、记忆，载体完全不同，但「那局棋」是同一个东西——因为棋局本来就只是一组规则下的走子序列。数学宇宙假说说：宇宙跟棋局一样，是一组关系；既然是关系，就不需要「载体」来让它「真的存在」。
第三步：那为什么偏偏是这个结构
到这里，最后一个问题反而逼得第四层必须「全都要」。如果我们的宇宙是某个数学结构，凭什么偏偏是它？数学里自洽的结构无穷无尽——别的几何、别的代数、别的规则系统，哪里不如我们？
前三层遇到类似问题时用的是「暴胀随机化常数」「量子分叉」这类物理机制。第四层没有物理机制可用（它要解释的正是物理本身），于是只剩下一个答案：所有自洽的结构都同样存在，我们住在其中之一，如此而已。这就是第四层多重宇宙：不是「很多宇宙」，而是「所有可能的宇宙」，「可能」的定义就是数学上自洽。
这一层该信吗
坦白说，第四层在物理学家中间是少数派中的少数派。批评集中在两点：一是它和哥德尔不完备性定理之间的紧张关系——「所有数学结构」这个集合本身的数学性质就说不清；二是它几乎放弃了「解释为什么是这个宇宙」——答案永远是「所有宇宙都在，你问的这个不特殊」。
但即使不买账的人，也承认第四层有一个独特的价值：它把全书开头那个问题的尺度推到了极限。第一层说「这片儿是一勺」，第四层说「我们连粥都不是，我们是食谱集合里的一页」。它还顺手解了一个古老的谜——为什么数学在物理学里「好用到不讲理」（1960 年维格纳的著名困惑）：如果宇宙本来就是数学，数学好用就不是奇迹，是必然。
买不买账随你。但走完这一步，你至少理解了这条推理链是从哪里出发的——它不是从神秘主义出发，而是从「物理学越拆越少」这个再唯物不过的观察出发，一路推到了最深处的唯心主义。这大概是整个物理学里最讽刺的一条路。