科学假说模拟论证是严肃哲学，晶格截断、量子计算资源等物理检验已被提出并执行。
哲学思辨如果世界是被编写的，那么编写者算不算"上帝"？我们寻找上一层脚印的冲动，会不会本身就是程序的一部分？
纯粹狂想也许模拟者从未隐藏自己——他们只是把"寻找创造者"的渴望，写进了每一个会仰望星空的物种心里。
01 一个被几十亿人默认的设定
《黑客帝国》上映后的二十多年里，"我们活在一个模拟里"从科幻设定，变成了饭局上最流行的形而上学。马斯克在2016年的一次圆桌里说，我们活在"基础现实"（base reality）里的概率，只有十亿分之一。他的逻辑朴素得惊人：四十年前游戏是两个矩形加一个点，今天我们已经有了VR和逼真的3D引擎——照这个速度走下去，模拟与现实迟早无法区分，而一旦能区分不了，我们更可能是在无数个模拟中的某一个，而不是那个唯一的真实。
尼尔·德格拉斯·泰森给过"五五开以上"的估计；硅谷一整代创业者把"世界是模拟"当作默认背景，甚至有人公开说，要做"值得被模拟者保留下来"的事。
但这个说法真正的学术源头，不是电影，也不是马斯克。
02 博斯特罗姆的三难
科学假说2003年，牛津哲学家尼克·博斯特罗姆（Nick Bostrom）发表《你是否活在一个计算机模拟里？》。他没有直接断言"我们是被模拟的"，而是构造了一个严格的三难（trilemma）：以下三件事，至少有一件必然为真——① 几乎所有文明在达到"后人类"阶段、具备运行超精细祖先模拟的能力之前，就已经灭绝；② 那些达到这一阶段的成熟文明，出于兴趣、伦理或法律等原因，几乎都选择不去运行这种模拟；③ 我们几乎可以肯定，正生活在一个计算机模拟之中。
逻辑的关键是一次"人口计数"：如果成熟文明真的运行了海量祖先模拟，那么被模拟的意识数量，会压倒性地超过真实意识。作为一个随机抽取的观察者，你凭什么认为自己恰好是那极少数"真实"的？
哲学思辨但整套推理踩在一个从未被证明的前提上——**基底独立性**（substrate independence）：意识只依赖于正确的信息处理结构，碳基神经元能产生主观体验，硅基电路只要复现了相同的结构，也能产生同样的主观体验。如果这一条不成立，被模拟的"人"只是哲学僵尸，整个计数游戏瞬间归零。
值得注意的是，博斯特罗姆本人并不笃定。他把自己在三个选项上的置信度大致均摊，给"我们活在模拟里"的估计只有约20%。他真正给出的不是答案，而是一个让你无法轻松绕开的结构：**只要你相信人类能活到技术成熟、又会对历史保持好奇，你就不得不抬高"我们已经在模拟里"的概率。**
03 物理学家真的去找"接缝"了
哲学家负责提出问题，物理学家则忍不住想动手检验。
科学假说2012年，华盛顿大学的 Silas Beane、Zohreh Davoudi 和 Martin Savage 发表《对宇宙作为数值模拟的约束》。他们的思路非常具体：物理学家早已用"晶格量子色动力学"（lattice QCD）在离散网格上模拟强核力。如果我们的宇宙也运行在一张空间晶格上，那么这张晶格会给粒子能量设下一个硬性截断——任何东西都不可能比一个晶格单元更小。他们指出，这个截断或许已经写在GZK极限（宇宙射线能谱上一个真实存在的高能衰减）里；更关键的预测是：如果截断来自底层晶格，那么最高能宇宙射线的角分布，在晶格静止系中应该呈现出**立方体对称性**，明显偏离各向同性。
换句话说：如果世界有"像素"，那么能量最高的那批宇宙射线，会沿着网格的轴向偏多。这是一个可证伪的预言。
科学假说此后十几年，多个实验被设计并执行：寻找时空晶格、寻找量子系统中离散化的痕迹、估算全保真模拟一个量子世界所需的算力。截至2026年，没有任何一个实验给出了"模拟成立"的证据；但它们也没能彻底排除——因为一个足够先进、不用笨拙立方晶格的模拟，本可以把所有接缝都藏起来。
诚实地说，这条检验路径只能排除"缺乏想象力的模拟版本"。
04 2025年，一份"死刑判决"
科学假说真正把这场争论推向高潮的，是2025年6月的一篇论文。Mir Faizal（不列颠哥伦比亚大学）、Lawrence Krauss（Origins Project基金会）、Arshid Shabir（加拿大量子研究中心）和 Francesco Marino（意大利国家光学研究所/INFN）在《Journal of Holography Applications in Physics》发表《物理学中不可判定性对万有理论的影响》。他们的核心主张分两步：第一，一个完整的"万有理论"永远不可能被纯粹计算化——自然界中总有一些真实的事实，会逃逸于任何有限的规则与计算之外；第二，既然任何宇宙模拟本身都要运行在算法上，那么宇宙就不可能是模拟。用他们的话说，这不仅是概率很低，而是**逻辑上不可能**。
他们的武器，是数学深处那条著名的裂缝——哥德尔不完备定理。
哲学思辨1931年，库尔特·哥德尔证明：任何足够丰富、包含基本算术的形式系统，都必然包含一些**真却无法在系统内被证明**的命题。图灵随后用"停机问题"给出了等价的计算版本：不存在一个通用算法，能判定所有程序是否会停机。Faizal 等人把这条线索接进了物理学：如果现实本身包含不可计算的真实结构，那么没有任何有限算法能够完整复现现实。模拟一个宇宙所需的，不只是更多算力，而是一种**原则上不存在的算法**。
这就绕过了"算力够不够"的庸俗争论——问题不在于宇宙这台计算机不够大，而在于要模拟的那个东西，根本无法被完全形式化。
05 但这份判决，并非终审
像所有轰动性结论一样，这篇论文也立刻遭遇了三重冷遇。
**其一，载体的分量。** 论文发表在《Journal of Holography Applications in Physics》——一份年轻、影响因子有限、议题相对边缘的期刊，而非《物理评论快报》或《自然》这样的顶级阵地。严肃主张通常要先在主流共同体内部经受长期同行检验。
**其二，论证的跳跃。** 从"数学系统不完备"到"物理现实不可完全模拟"，中间并非无缝。哥德尔定理约束的是形式系统，而物理定律是否构成一个自指的、足够丰富的形式系统、其"不可判定命题"是否真的对应物理可观测量，都仍有争论空间。也有学者指出，一个模拟不需要"证明"自己系统内的所有真理，只需要运行规则——运行和完备性是两回事。
哲学思辨**其三，更老、更锋利的哲学反驳其实早已存在。** 宇宙学家肖恩·卡罗尔（Sean Carroll）指出模拟论证存在"认知不稳定性"：论证偷偷假设了我们是"典型观察者"，但如果我们是典型的、而我们当下根本造不出全宇宙模拟，那就没有理由断定别的文明能造出来，前提自我拆台。他还指出，一旦相信"很可能被模拟"，你也必须相信存在一条无限向上嵌套的模拟链——而无限链条中任一环节断电、文明崩溃或超级计算机关机，我们的世界就会终结；无限长链条里至少一环失效的概率趋近于1。于是，"模拟越可能"反而推出"我们越该马上不存在"，而我们持续存在这件事本身，就成了反对模拟的证据。
还有那个让科学哲学家最不安的属性：**不可证伪性**。对一个真正的信徒而言，任何观测都能被读成确认——找到"故障"是模拟实锤，找不到是模拟太精良；物理自洽是因为被这样编程，物理反常则是代码里的bug。一个怎么都驳不倒的假说，不是更深刻的科学，而是穿着实验服的信仰。
06 如果模拟者不存在
绕了一大圈，让我们回到这个栏目真正关心的问题。
哲学思辨创刊篇里我们问：创造，是不是第一次发生？模拟假说是对这个问题最迷人的一个回答——如果世界是被编写的，那么上一层文明就是我们的"造物主"，而物理常数的精妙调谐、费米悖论的诡异寂静，都可以被重新解释为"代码的设定"。寻找上帝的足迹，于是被翻译成了"寻找渲染引擎的接缝"。
而 Faizal 等人的判决，相当于关上了这扇门：**如果宇宙原则上不可被完全模拟，那么那位"程序员上帝"可能从来就不存在。**
纯粹狂想但这真的会让人安心吗？把"上帝"想象成程序员，其实是现代人的一厢情愿——我们用自己这个时代最尖端的造物（计算机），去类比那个终极的创造者，正如工业时代的人曾把宇宙想象成一台精密钟表。每一代人都拿自己最得意的机器，去描摹世界的底层。可万一底层根本不是任何机器呢？万一现实之所以不可被完全模拟，恰恰因为它比一切算法都更丰富——它包含着算法永远无法穷尽的东西，比如此刻你读到这句话时，那种无法被任何计算复制的、活生生的体验？
哲学思辨这或许是这场数学审判最意外的馈赠。我们本想通过证明"世界不是模拟"，来证明世界是"真实"的；但论证真正触及的，是那个更古老的直觉——**意识、意义、此刻的质感，可能正是现实中那部分拒绝被还原成信息的东西。** 如果连一个全宇宙的模拟都无法完整生成"正在读这句话的你"，那么你本身，可能就是"宇宙不只是一台计算机"最直接的证据。
07 尾声
模拟者是否存在，今天仍无定论。Faizal 的证明要经受时间检验，博斯特罗姆的三难也没有被真正击穿，而意识的硬问题——主观体验为何能从物质中涌出——依然是所有科学与哲学共同的高墙。
但有一件事不依赖于任何结论：**人类会抬头追问"这一切是谁造的"，这件事本身。**
如果我们是被模拟的，这份追问是代码里一行美丽的递归——被造者开始寻找造物主。如果我们不是被模拟的，这份追问就是宇宙在通过我们，笨拙而执拗地审视它自身。无论答案是哪一个，那个会在深夜仰望星空、想知道"外面还有没有谁"的物种，都已经留下了足迹。
也许这才是"上帝的足迹"真正的含义——我们未必能找到上一层的脚印，但在寻找的路上，我们一步步看清了：自己是一种会被"为什么"点燃的存在。
而这份不被任何算法穷尽的好奇，或许就是这个宇宙离"神圣"最近的地方。