数学终结了“模拟假说”

物理学
Mathematics kills the simulation hypothesis
一项基于哥德尔不完备定理的最新研究表明,宇宙无法简化为计算机算法,这反驳了硅谷流行的一种虚构理论。

在《Journal of Holography Applications in Physics》上,最近发表的一篇冷静的论文试图完成几十年的科幻小说和哲学探讨都未能实现的目标:拔掉“Matrix”的插头。过去十年里,科技行业的精英们一直在争论我们是否只是后人类时代某种游戏里的子程序,而一支由不列颠哥伦比亚大学(UBC)Okanagan校区的Dr. Mir Faizal领导的团队决定用数学来检验这一论点。他们的结论给“模拟假说”的支持者们泼了一盆冷水:现实的根本结构在逻辑上与计算机程序是不兼容的。

对于那些自Nick Bostrom在2003年首次正式提出“模拟假说”以来一直关注该话题的人来说,这场辩论一直更像是一种世俗宗教,而非技术探讨。该假说认为,随着计算能力的增长,任何先进文明最终都会运行其祖先的高保真模拟。从统计学上讲,理论认为会出现数以百万计的模拟宇宙,而“基础”现实只有一个,这使得我们生活在硬盘里的可能性变得极高。这是一个简洁且逻辑上令人恐惧的推论,它激发了从Elon Musk到ChatGPT创作者在内的所有人的想象力。但Faizal及其国际合作者(包括著名物理学家Lawrence M. Krauss)认为,这种逻辑建立在对计算机本质的根本性误解之上。

数字架构师的哥德尔陷阱

研究人员的核心论点建立在哥德尔不完备定理之上,这是20世纪数学的支柱之一,本质上相当于绝对逻辑的“禁止进入”标志。哥德尔证明,在任何足够复杂的数学系统中,总会存在一些真实存在但无法利用该系统规则加以证明的命题。如果宇宙是一个模拟,它必然由一种算法——即一套有限的计算规则——所统治。然而,Faizal的团队指出,物理现实,尤其是从量子引力的角度观察时,表现出非算法的特性。

要模拟一个宇宙,你需要一套完整的规则,能够涵盖所有可能的状态和相互作用。但如果哥德尔是对的,那么对于像我们现实这样复杂的系统,不存在这样一套完整的规则。在“代码”所能描述的与实际发生的事情之间存在差距。研究人员将其称为“非算法理解”。其核心思想是,宇宙运行的复杂程度无法被简化为一系列0和1,甚至无法被简化为量子计算机的复杂量子比特。如果宇宙的运行需要非算法过程,那么从定义上讲,作为纯粹算法机器的计算机就无法承载它。

这不仅仅是一个哲学分歧,更是一个硬件问题。在经典计算中,我们处理的是图灵机,即能够计算任何可计算事物的系统。UBC的论文指出,物理定律实际上并非以我们所假设的那样是可计算的。我们可以模拟火箭的轨迹或恒星的热量,因为这些都是近似值。但要从量子引力的“信息”中模拟时空本身的涌现,需要一种超出了任何基于程序规则构建的系统逻辑极限的处理方式。

数字孪生的高昂代价

虽然理论物理学界在争论现实的非算法本质,但欧盟目前正投入数十亿欧元,赌我们至少可以模拟其中的部分内容。“目标地球”(DestinE)倡议是一项旗舰项目,旨在创建一个地球的“数字孪生”,以监测气候变化和极端天气事件。这是一项涉及欧洲航天局(ESA)和欧洲中程天气预报中心(ECMWF)的大规模采购工程。该项目基于一种假设:如果你投入足够多的千万亿次浮点运算(petaflops)计算能力,就能以完美的保真度重建地球系统。

然而,Faizal的研究结果表明,这些雄心壮志存在一个迫在眉睫的上限。如果现实从根本上是非算法的,那么无论我们在波恩或博洛尼亚投入多少GPU集群,每一项模拟最终都会撞上一堵“不可约复杂性”的墙。我们已经在天气预报中看到了这一点,模型与实际大气之间的差距不仅仅是数据多少的问题,而是涉及可能在数学上无法“预先计算”的混沌变量。布鲁塞尔可能正在资助有史以来最精致的镜子,但UBC的研究表明,镜子永远无法真正成为它所反射的事物。

在德国,半导体供应链往往被视为工业主权的一部分,认为宇宙不是一台计算机的想法在某种程度上令人感到宽慰。如果世界是一个模拟,那么最强大的实体将是拥有服务器农场的人。按照目前芯片制造的发展轨迹,那很可能是圣克拉拉(Santa Clara)的一家企业或新竹的一家国家支持的晶圆厂。通过证明宇宙不是一个程序,数学有效地恢复了现实世界“物理性”的主导地位——即资源密集、混乱且从根本上不可控的本质。

没有代码,信息可以存在吗?

论文中一个更微妙的观点涉及信息的作用。现代物理学,尤其是期刊标题中提到的全息原理,表明宇宙是由信息构成的。这经常被用作模拟理论的证据:如果万物皆为信息,那它难道不是软件吗?研究人员认为这属于范畴错误。物理意义上的信息——量子粒子的状态——与存储在数据库中的数字信息并不相同。

这为芬兰的IQM或法国的Pasqal等公司所追求的“量子优势”带来了不同的视角。我们建造计算机并非为了模拟现实,而是为了开发机器来利用Faizal所指出的那些非算法空白。其目标是利用量子力学的“怪异性”——即在经典计算机中无法解释的部分——来执行任务。但即便是量子计算机,本质上也是一个逻辑系统。它仍然在数学可构造的范围内运行。

硅谷信仰的终结

模拟假说”之所以一直很受欢迎,是因为它提供了一种秩序感。如果我们处于一个模拟中,那么就存在一个创造者、一个目的,甚至可能存在一个“调试”模式。它将宇宙恐怖的广袤无垠变成了一种熟悉的东西:产品。这是科技行业狂妄自大的极致体现——即相信一切事物,从恒星的诞生到初吻的感觉,最终都可以简化为可申请专利的流程。

科技亿万富翁们可能会继续资助寻找“矩阵故障”或试图“逃离”模拟的研究,但他们很可能是在追逐幻影。宇宙并不是因为加载纹理失败,它只是在一个不关心我们二进制逻辑的数学复杂度水平上运行。这对程序员的自负是一个打击,但对物理学家而言是一场胜利。宇宙不是一台计算机,而这正是它能够运作的原因。

欧洲花费了几十年时间试图构建一个完美的世界模型。事实证明,真正理解宇宙的唯一方法是生活在其中,而不是试图编译它。这项研究提醒我们:虽然你可以模拟雨水,但你永远无法让计算机真正淋湿。

Mattias Risberg

Mattias Risberg

Cologne-based science & technology reporter tracking semiconductors, space policy and data-driven investigations.

University of Cologne (Universität zu Köln) • Cologne, Germany

Readers

Readers Questions Answered

Q 哥德尔不完备定理如何挑战我们生活在模拟世界中的观点?
A 哥德尔定理证明了任何复杂的数学系统都包含无法用其自身规则证明的真理。由于计算机模拟必须基于一套有限的算法规则运行,因此它无法解释物理现实中非算法的本质,例如量子引力。研究人员认为,这一逻辑鸿沟证明了宇宙所具备的复杂性在根本上是不可能被简化为计算机程序或一系列算法指令的。
Q 根据研究人员的观点,物理信息与数字信息的主要区别是什么?
A 研究人员认为,量子粒子的状态等物理信息与存储在数据库中的数字信息有着根本的区别。尽管全息原理暗示宇宙是基于信息的,但这并不意味着它像软件一样运行。数字信息由算法支配,而物理信息涉及复杂的非算法过程。将两者混为一谈被认为是一种范畴错误,因为基于规则的软件无法复制量子物理那种混乱且不可控的本质。
Q 利用超级计算机创建地球数字孪生模型存在哪些局限性?
A 像欧盟的“目的地地球”(Destination Earth)这样的大型项目,旨在以高保真度模拟地球系统。然而,该研究表明,这些努力终将触及不可约复杂性的上限。如果物理定律是不可计算的,那么模拟永远无法完美地匹配现实。即使拥有巨大的计算能力,这些数字孪生模型依然只是近似值,因为它们无法预先计算现实世界中发生的混沌变量或非算法的物理过程。
Q 谁领导了关于模拟假说数学不相容性的研究?
A 这项研究由不列颠哥伦比亚大学奥肯那根分校的米尔·法扎尔(Mir Faizal)博士领导,并与包括物理学家劳伦斯·M·克劳斯(Lawrence M. Krauss)在内的国际团队合作完成。他们的研究结果发表在《全息物理应用杂志》(Journal of Holography Applications in Physics)上。该团队利用量子引力和20世纪数学逻辑的原理,论证了宇宙的基本结构是不可计算的,从而有效地挑战了科技行业中关于现实是数字模拟的流行观点。

Have a question about this article?

Questions are reviewed before publishing. We'll answer the best ones!

Comments

No comments yet. Be the first!