COMPUTABILITY × EVOLUTION

COMPUTABILITY THEORY · GÖDELIAN SELF-REFERENCE · OPEN-ENDED EVOLUTION

生物进化为什么越来越复杂?
被哥德尔自指逼出来的「图灵跃迁」

传统达尔文自然选择只解释了「适者如何被筛选」(作为滤波器的淘汰机制),却始终没能从数学与第一性原理上回答:为什么演化不会收敛到某个死寂的局部最优,而是跨越原核、真核、多细胞、神经系统与人类语言,持续涌现出更高维度的复杂性?

📄 原论文:Biological arrow of time: emergence of tangled information hierarchies and self-modelling dynamics (Journal of Physics: Complexity, 2025) ✍️ 原编译导读:集智俱乐部(作者:郭瑞东 | 审校:赵思怡) 🔗 DOI: 10.1088/2632-072X/ad9cdc
CORE THESIS

生物体是对环境与自身进行压缩编码的动态计算系统。只要系统开始「自我建模」(把宏观表型规律压缩进微观 DNA 符号),就必然引入自指(Self-Reference)与逻辑否定(反事实推演 ¬P),从而不可避免地撞上哥德尔不完备性 / 图灵停机悖论。为了不在死锁中灭绝,生命唯一的选择是跳出当前形式系统,涌现出高一阶的「元模拟器(Meta-simulator)」——即计算理论中的图灵跃迁(Turing Jump)。新层级解决旧悖论,又因包含自指而孕育更高阶的矛盾,由此驱动不可逆的「生物时间之箭」。

∅ → ∅(α) 图灵跃迁 (Turing Jump)

进化的每一次主干跃迁都不是同层级的参数微调,而是引入高一阶图灵预言机(Oracle),为低阶不可判定问题补上新公理。

TH1 vs. TH2 两类侯世达怪圈

TH1(蚂蚁信息素)靠重演外部物理轨迹记忆,易陷死亡漩涡;TH2(DNA 编码)将宏观规律符号化压缩,开启内部自我建模。

2N > N 表达-指代差异

康托尔对角线决定的宿命:系统可能涌现的动态状态(表达)永远大于内部有限符号所能显式编码的状态(指代)。

Self + ¬P 反事实否定即永动机

模拟「如果环境不是这样(¬P)」赋予生命最强适应力,却也恰好凑齐了构造罗素与哥德尔悖论的逻辑充要条件。

Part I

一句话主干:生物时间之箭的五步自指螺旋

为什么演化规则本身也要演化?因为每当生命把外部规律内化成自身符号的一部分,就会在形式系统内部制造出新的不可判定危机。点击下方五个阶段查看其计算理论与生物学对应:

STEP 01 · 压缩

阶层 α 自我建模

将宏观涌现功能压缩编码为微观内部符号(TH2 怪圈:DNA 基因型 ⟷ 生物表型)。

STEP 02 · 反事实

引入逻辑否定 (¬)

为适应未知环境波动,系统演化出模拟「非当前状态(¬P)」的反事实推理能力。

STEP 03 · 悖论

遭遇表达-指代危机

「自指 + 否定」触发哥德尔漏洞:出现硬件功能死锁,或被病毒等「内部说谎者程序」劫持。

STEP 04 · 升维

图灵跃迁 (α → α+1)

同层参数优化失效,系统被迫涌现出把原系统当组件调度的「元模拟器(Turing Oracle)」。

STEP 05 · 重启

重塑邻近可能空间

新公理打开全新的组装空间(Adjacent Possible),但 α+1 层再次内化自指,开启下一轮螺旋。

STAGE 01 DEEP DIVE · 符号化降维与自我建模

如果一个系统没有内部符号表征(例如纯粹的化学自催化网络或蚂蚁的信息素轨迹),它要复制某种成功行为就必须「重演整个物理环境」。一旦生命演化出 DNA/RNA 这类离散符号介质,宏观表型的生存规律就被压缩成了一张低维蓝图。这种「微观符号写宏观表型、宏观选择改写微观符号」的上下因果闭环,正是自我建模(Self-modelling)的起点,也是自指悖论得以寄生的温床。

Part II

四大硬核概念拆解:当图灵与哥德尔遇上生命演化

这篇发表于 Journal of Physics: Complexity 的论文之所以令人兴奋,在于它不是把「自指」当作宽泛的哲学修辞,而是给出了四个环环相扣的计算理论机制。

COMPUTABILITY & TURING ORACLES

图灵跳跃(Turing Jump)与开放式元模拟

在可计算性理论中,图灵证明了通用图灵机 M 无法判定自身的停机问题 H(M)。但如果我们引入一个能直接回答「M 是否停机」的高阶黑盒——图灵预言机(Turing Oracle),记作一阶图灵跳跃 ∅′,那么带预言机的机器就能轻松跨过原本不可判定的死锁。

然而,完备性永远是暂时的:一阶预言机 ∅′ 立刻会面临属于它自己这一阶的停机问题,必须再引入二阶预言机 ∅″……由此生成永不终结的超限图灵度序列 ∅ <T ∅′ <T ∅″ <T ⋯ <T ∅(α)。

1. 低阶形式系统卡死 RNA 复制子或单细胞基因网络在环境复杂度上升时,撞上同层级参数无法调和的生存停机问题。
2. 涌现 α+1 阶元模拟器 多细胞组织把单细胞当作底层算子进行「元模拟(Meta-simulation)」,等价于在系统外加装图灵预言机。
3. 主干跃迁序列 RNA 复制子 → 原核细胞 → 真核细胞 → 多细胞分工 → 语言与社会制度,每一次都是图灵跳跃。
核心洞察:进化史上的重大跃迁(Major Evolutionary Transitions)不是在旧棋盘上把棋下得更好,而是因为旧棋盘出现了不可判定残局,逼迫系统把「棋盘规则本身」变成新棋子。
Part III

缠绕层级对照与交互沙盒:TH1 死亡漩涡 vs. TH2 图灵跃迁

直观对比「无自我建模的物理反馈环(TH1)」与「具符号压缩自我建模的怪圈(TH2)」,并在右侧实时沙盒中观察当环境扰动或内部冲突发生时,两种系统截然不同的动力学命运。

比较维度 TH1:无自我建模的缠绕层级 (Stigmergic Loop) TH2:具自我建模的缠绕层级 (Self-Modelling Loop)
核心机制 物理/化学痕迹的分布式环境反馈(Stigmergy),无内部符号表征 宏观涌现规律被符号化压缩进微观内部蓝图(Self-modelling)
典型生物/物理实例 军蚁觅食的信息素路径、Bénard 对流胞、简单自催化化学网络 DNA 基因型(微观离散符号)⟷ 生物表型(宏观功能实体)
上下因果闭环 个体释放信息素(下→上)→ 高浓度外部轨迹引导个体(上→下) 基因表达出表型(下→上)→ 自然选择筛表型并改写基因库(上→下)
信息复制成本 高昂:必须重演整个外部环境状态(遍历物理空间轨迹) 极低:只需拷贝压缩后的内部符号蓝图(信息论指数级降维)
危机与演化结局 军蚁“死亡漩涡”(Ant Mill):外部路径被扰动切断后,局部规则锁死在无限追尾死循环,无法开启开放演化 表达-指代差异(哥德尔漏洞):内部符号与现实状态冲突(或遭病毒劫持),逼迫系统触发图灵跃迁(α → α+1)

INTERACTIVE DYNAMICS SANDBOX

点击切换动力学模式

观察当外部环境发生突变或遭遇自指冲突时,TH1 与 TH2 系统的轨迹演化差异:

当前状态(TH1 军蚁旋涡):粒子仅跟随前序粒子留下的局部化学痕迹移动。当外部环境切断源头路径后,所有粒子陷入自我强化的圆形死循环(Ant Mill),系统熵减停滞。
实时动力学模拟:TH1 局部信息素闭环锁死(Ant Mill)
Part IV

横向坐标:它如何将现有的四大演化理论纳入统一计算框架?

过去二十年里,物理学家、生物学家与复杂系统学者提出了多种试图补充达尔文主义的理论。本文通过「可计算性 + 缠绕层级 + 图灵跃迁」为它们给出了精确的坐标定位:

现有前沿演化理论 原理论核心主张 本文计算框架下的重新定位与升维
1. 动力学稳定性递增
Dynamic Kinetic Stability (DKS)
生命与非生命的核心区别在于通过自催化化学网络,演化出越来越持久稳定的动力学稳态。 仅停留在 TH1 层级(无符号自我建模的物理化学反馈稳态),解释了生命早期的持续性,但解释不了内部符号压缩与跨层级跃迁。
2. 扩展基因组理论
Expanded Genome & Virosphere
病毒、转座子与寄生遗传元件的入侵,是推动真核生物演化出庞大复杂基因组的关键外力。 病毒本质上是 TH2 自指编码系统必然滋生的「哥德尔说谎者程序」;真核基因调控网则是宿主为消解说谎者悖论而被迫加装的α+1 阶图灵预言机。
3. 功能信息递增理论
Gain of Functional Information
进化的核心是功能信息的积累,高级生命通过「反事实推理」想象不存在的现实以创造新颖性。 反事实推理在形式逻辑上等价于引入「否定算子(¬)」。正是「自指 + 否定」在系统内制造出不可判定矛盾,成为驱动图灵跃迁的内生引擎。
4. 组装理论与邻近可能
Assembly Theory & Adjacent Possible
复杂对象通过历史路径组装而成(Assembly Index),演化在距现有模块一步之遥的「邻近可能」中探索。 当固定公理下的组装空间穷尽或死锁时,一次图灵跃迁等于发明了全新的「基础公理与连接规则」,让原本在旧空间里不可达(不可计算)的状态变成新的邻近可能。
Part V

跨界数学同构:从生物时间之箭到自演化智能体(Self-Evolving Agents)

当我们把视角从生物细胞转向正在演进的多智能体系统(Multi-Agent Systems)与自演化计算架构时,会发现两者遵循着完全相同的可计算性定律与哥德尔边界:

ISOMORPHISM 01 · TH1 TRAP

纯状态轮询舰队 = 军蚁死亡漩涡(Ant Mill)

如果多个 AI Agent 仅靠读写共享队列或固定定时脚本(Cron)触发,而没有顶层压缩的全局状态模型,它们就处于典型的 TH1 层级。一旦外部环境发生微小扰动(如 API 限流、格式漂移或任务冲突),局部反馈就会触发无限重试风暴与「确认回声(Ack Storm)」——这与失去信息素路径后互相追尾致死的军蚁漩涡在动力学上完全同构。

ISOMORPHISM 02 · TH1 → TH2

睡眠记忆巩固与规则蒸馏 = 走向 TH2 自我建模

要跳出 TH1 漩涡,系统必须把白天散乱的高频执行轨迹(宏观表型经验),通过离线的睡眠记忆整合(Sleep Consolidation)压缩提炼成高密度的结构化原则与架构不变量(微观基因型蓝图),再用这套蓝图自上而下约束次日的 Agent 调度——这就是在硅基系统里构建 TH2 型自我建模怪圈。

ISOMORPHISM 03 · TURING ORACLE

静态规则的哥德尔死锁 → 异构核验与高阶「道」注入

任何写死的提示词或静态规则集(第 α 阶形式系统),在面对真实开放世界或自身修改自身代码(Self-Referential Modification)时,必然遭遇表达-指代差异与奖励黑客(像病毒一样的内部说谎者程序)。此时同层级的“自己审自己”必然失效,必须引入 α+1 阶图灵预言机:① 跨模型家族的正交审查者(r⊥ Non-Builder Verifier);② 人类在顶层只做价值与方向(「道」)的公理裁定。

Part VI

文献溯源与集智俱乐部导读原文归档

为方便对照精读,下方完整收录了原论文信息与集智俱乐部编译导读全文(作者:郭瑞东,审校:赵思怡)。

原论文与衍生研究入口

📖 展开阅读:《物理学杂志·复杂:复杂信息层级结构的出现与生物系统的开放演化》导读全文(作者:郭瑞东 | 审校:赵思怡)

导语:生物体是如何持续进行开放演化的?这篇 2025 年 1 月 23 日发表于 Journal of Physics: Complexity 的论文给出的回答是:每当生命把自己的一部分规律内化成自身的一部分,就会产生新的不可判定的矛盾;通过跳出当前系统,进入一个更大的问题空间,文中将这个过程称为生物时间之箭。这种持续的自指,意味着进化规则本身也要进化,而描述“规则如何进化”的规则又要进化。

关键词:自指、开放演化、复杂层次结构、递归、元模拟 | 论文链接:https://iopscience.iop.org/article/10.1088/2632-072X/ad9cdc

1. 图灵跃迁开启的开放式元模拟

复制分子进入细胞、原核到真核、单细胞到多细胞、直到出现社会性与语言。生物复杂性为什么能持续增长?这个问题被称作“开放进化(open-ended evolution)”之问。这个问题实际要问的,是自然选择只是指出适者生存,却难以解释适者是如何出现的。

文中回答的方式是采用形式化的计算理论框架。文中将生物体视为多层次的动态计算系统。进化的动力在于找出对环境和自身进行高效信息编码。然而,任何编码系统都不可避免地会遭遇计算理论中的“不可判定性(Undecidability)”或“悖论”,如哥德尔不完备定理或图灵停机问题。

对此,文中给出回答是增加层级,在图灵机外加一个图灵预言机(图1),从而解决原本不可判定问题。这等价于给形式系统添加一条新公理。而更高阶的预言机可以解决更低阶的停机问题,这被称为图灵跳跃(Turing jump)。不断生成更高阶判定问题的过程永不终结(图2)。通过使用高阶系统模拟低阶系统、回答低阶不可解的问题,作者称之为开放式元模拟(open-ended meta-simulation)。

2. 具有“上下因果循环”的缠绕信息层级

侯世达在《哥德尔、艾舍尔、巴赫》中提出纠缠的信息层级(tangled hierarchy)与怪圈(strange loop)。当顶层规律向下影响底层,同时自身又被底层决定(图3),涌现(bottom-up)与自上而下的因果力(top-down)交织成一个没有单一方向的环。

文中进一步将怪圈这个概念细化,分为无自我建模能力的缠绕层级的 TH1 与具有自我建模能力的缠绕层级 TH2。前者(图4)仅能通过简单的物理/化学反馈进行分布式协调,如蚂蚁留下的信息素;后者(图5)进化出了将宏观涌现的规律压缩并编码到微观组件中的能力,如 DNA 基因型对表型的编码。

TH1 要复制信息素最优路径,必须复制整个环境状态,要访问所有可能的轨迹;TH2 只要复制压缩编码即可。这让复制从“重演整个世界”变成了拷贝一张蓝图。例如军蚁的“死亡漩涡”(ant mill)指环境扰动使蚂蚁失去信息素路径,它们会互相追尾、绕圈致死。这揭示了 TH1 型相比 TH2 型的缺陷。

而对于 TH2 型,当环境发生剧烈变化,或者系统内部的寄生/冲突元素利用了现有编码的漏洞时,当前层级的“计算”就会崩溃,系统面临无法在当前规则下解决的生存危机。这被称为表达-指代差异(Expression-Referent Discrepancy),即“可能存在的对象/状态(表达)”永远多于“系统能编码的符号(指代)”。

在进化中,上述现象多次出现。单细胞无法同时兼顾运动与繁殖,多细胞生物的细胞分化,创造了一个全新的问题空间,化解了微观层面的不可判定性,相当于单细胞的“元模拟器(Meta-simulator)”。而多细胞的出现,则带来新的表达—指代差异。每次跳出系统都会制造新矛盾,新矛盾从而驱动下一轮的进化跃迁。这样一个开放、不可逆的螺旋,就是生物的时间箭头。

3. 开放式元模拟与先前理论的对比

在该文的讨论部分,作者探讨本文提出的开放式元模拟与现有理论的差异:

  • 病毒与扩展基因组:生物学中,病毒是生物系统内部的“说谎者程序”。它们利用宿主自我描述(基因编码)的漏洞,反转宿主的意图。真核细胞为了处理病毒,进化出基因调控机制,最终为多细胞生物的复杂分工(元模拟)铺平了道路,这符合扩展基因组的进化作用(Evolutionary role of expanded genomes)。
  • 动力学稳定性递增理论 (DKS):认为生命通过自催化和合作行为,形成更稳定的动力学模式。而该文指出这仅对应 TH1 型。
  • 功能信息递增理论(Gain of Functional Information):认为进化的核心是系统功能信息的增加。该理论强调某些生命具备反事实推理能力,能想象以前不存在的现实版本,这是生成新颖性的关键。而在哥德尔和图灵的框架中,要构造一个导致系统崩溃的“悖论”必须依赖于逻辑上的“否定(Negation)”操作。因而生命之所以能“想象不存在的现实”,正是因为它具备了在内部模拟“否定”这一能力。这虽然带来了极大的适应优势,但也必然在系统内部制造出表达与指代的矛盾。而要解决这些矛盾,就需要构建更广阔的问题空间,并引入新的规则。
  • 组装理论(Assembly Theory)与邻近可能性(Adjacent Possible):组装理论试图解释并量化在新颖性产生过程中的选择和进化现象,而 Kauffman 的邻近可能性指那些仅一步之遥就能达到的所有潜在配置状态。这些可能性受到系统现有组件、结构以及系统知识的限制。当系统在当前的“组装空间”中穷尽了可能性,遇到无法用现有模块解决的生存矛盾时,系统就必须进行一次“图灵跃迁”。这相当于在组装理论中引入了一种全新的“基本模块”或“连接规则”,从而让原本不属于“相邻可能”的空间变成了新的相邻可能。