死亡边界
形式历史可以继续, 具身铭写未必可以
烛火与图案
火焰有形状, 但形状本身不能使火焰继续燃烧.
人可以把火舌画在纸上: 曲线、亮度、风中倾斜的姿态. 这幅图可以无限延展, 可以复制到另一页, 可以弯成纹饰, 可以变成符号. 但真正的火焰还需要灯芯、油、空气, 以及没有裂开的器皿.
死亡在 BEDC 中恰好进入这个差异.
纯 \(\Hist\) 与 \(\Cont\) 层可以谈形式历史如何延展. 一个历史可以接着另一个历史. 一个标记可以接着另一个 mark. 在这层代数里, 延续是一个没有肺、没有代谢、没有修复预算、没有风险场的动词.
但具身意识记录不只是一个可能的形式形状. 它是由有限承载实现的局部铭写. 它是一束火, 其图案只有在某物承受燃烧时才可见.
✗ "形式历史能延展, 所以具身生命也必须继续."不是. 地图上画出的河床不保证有水. 可能的句子不保证有呼吸. 下一步 \(\Cont\) 不保证能够实现这一步的载体仍然有效.
死亡不是被经验到的无
死亡常被想象成一种黑暗经验. 这个图像来得太晚. 要经验黑暗, 局部记录仍须被承载. 历史仍须有一个下一铭写点, 在那里黑暗被读回.
BEDC 把死亡放在更早的一层. 死亡不是连续流内部的内容”无”. 死亡是该流继续承载下一记录的局部具身条件失败.
熄灭的灯不会用自己的光写下”现在是黑暗”. 房间可能对其他历史变暗. 灯也可能作为对象留在他们的历史中. 但灯自身发光的条件已经停止.
所以死亡不是:
\[ \text{experience of nothing}. \]
而是:
\[ \text{no further local condition for experience-as-this-history}. \]
这个区分严厉, 也干净. 它拒绝情感性的逃避, 也拒绝虚假的形而上学. 它不说有限载体秘密地无限. 它也不说远端供给已经死亡. 它只说: 这一条具身铭写分支不再具备下一意识记录所需的局部支持.
身体作为账本 support
BEDC 不需要把生命还原成化学, 才能谈死亡. 它只需要区分形式延续与具身有效性.
身体是一种 support 账本: 代谢、修复、神经一致性、环境、风险, 以及许多精确生物学上复杂的隐藏预算. 论证不要求列出每个细胞. 它只要求 support 是有限的, 并且某种相关余量可以耗尽、受损或暴露在风险中.
生命于是既不是账本内部的幽灵, 也不是裸数学序列. 它是由有限 support 实现的局部历史. 身体像盛水的陶杯. 水路可以在想象中继续, 但杯碎以后, 这个杯不再承载它.
为什么死亡是条件性的
纯数学允许没有死亡的形式 continuation. 完美修复模型可以避开损伤阈值. 零风险模型可以在每个概率步骤中存活. 有限存活记录不能证明永生.
这给出一个清楚的哲学结果:
死亡不是存在本身的命题, 但它是有限具身延续在净损耗、不可逆损伤或持续风险下的命题.
这就是永恒图案与活的承载者之间的差异. 图案可以在抽象中延展. 承载者可能用尽油.
远端不是身体
远端 \(\mathsf{T}\) 不是生物器官. 它不是身体的内部资源, 也不是大脑背后的隐藏对象. 它命名的是不可内部化的供给位置: 当一个闭合记录使用自己不能生成的承诺时, 这个位置被暴露出来.
因此, 具身 support 的死亡不推出:
\[ \mathsf{T}=0. \]
它只推出一条局部铭写载体不再承载下一记录. 乐器破裂不证明音乐不可能. 它证明这件乐器不再实现这首歌.
严格数学形式
令 \(\Hist\) 为闭合历史载体, \(\Cont(h,d,h')\) 表示 \(h'\) 是 \(h\) 经 distinction 数据 \(d\) 的形式延续. 定义形式可延续性: \[ \operatorname{FormCanContinue}(h) \Longleftrightarrow \exists d,h'\,\Cont(h,d,h'). \]
对具身意识历史 \(i\), 令 \(H_i(t)\) 为局部阶段 \(t\) 的聚焦历史, 并令 \[ \operatorname{EmbValid}_i(h,t) \] 表示阶段 \(t\) 的具身载体可以把 \(h\) 实现为 conscious record.
定义: \[ \operatorname{Alive}_i(t) \Longleftrightarrow \operatorname{EmbValid}_i(H_i(t),t). \]
定义具身可延续性: \[ \operatorname{EmbCanContinue}_i(t) \Longleftrightarrow \exists d,h'\, \bigl( \Cont(H_i(t),d,h') \wedge \operatorname{EmbValid}_i(h',t+1) \bigr). \]
定义死亡: \[ \operatorname{Death}_i(t) \Longleftrightarrow \operatorname{Alive}_i(t) \wedge \neg\operatorname{EmbCanContinue}_i(t). \]
定义必死性: \[ \operatorname{Mortal}_i \Longleftrightarrow \exists t\,\operatorname{Death}_i(t). \]
非坍缩律为: \[ \operatorname{FormCanContinue}(H_i(t)) \not\Rightarrow \operatorname{EmbCanContinue}_i(t). \]
令有限余量为 \[ V_i:\mathbb{N}\to\mathbb{N}, \qquad V_i(0)=K<\infty. \]
假设: \[ V_i(t)>0 \Longrightarrow V_i(t+1)\le V_i(t)-1, \]
\[ V_i(t)>0 \Longrightarrow \operatorname{Alive}_i(t), \]
并且 \[ V_i(t+1)=0 \Longrightarrow \neg\operatorname{EmbCanContinue}_i(t). \]
则由归纳法: \[ V_i(n)\le K-n \qquad (n\le K). \]
因此 \(V_i(K)=0\). 令 \(m\) 为第一个满足 \(V_i(m)=0\) 的阶段. 若 \(m>0\), 则 \(V_i(m-1)>0\), 故 \(\operatorname{Alive}_i(m-1)\), 且下一阶段阻断条件给出 \[ \neg\operatorname{EmbCanContinue}_i(m-1). \]
于是 \[ \operatorname{Death}_i(m-1), \]
从而 \[ \operatorname{Mortal}_i. \]
严格压缩为: \[ \text{pure }\Hist/\Cont \not\Rightarrow \operatorname{Death}, \]
\[ \text{有限 embodied support} + \text{uncancelled depletion} \Rightarrow \operatorname{Death}. \]
— The Omega Institute
newmath / BEDC, June 2026