数字生命:从第一性原理出发
一场在计算系统中寻找类生命组织的实验性探索——经由涌现、因果性、存续、物质更替、隐状态与有限计算。
一个计算系统要做到什么,才能配得上"生命"这套语言?
*《数字生命:从第一性原理出发》*从简单的计算系统起步,逐步追问更难的问题:存续、繁殖、历史、物质更替、因果组织与个体性。
方法是刻意严格的。
我们从看似意味深长的现象出发,把解释变成可测量的东西,然后试图用干预、对照与竞争性解释摧毁那个解释。
一次又一次,生物学的名称显得过于强大,而一个更小的计算现象存活了下来。
全书的规则很简单:
我们不能仅仅因为实现了一个同名的东西,就宣称一种类生命属性。
本书不会以一张定义数字生命的清单作结。
它以一个更锋利的实验问题作结:计算组织究竟能维持什么——以及在配得上"生命"一词之前,还有什么仍有待证明。
章节
01:如何阅读本书
《数字生命》是一项科学研究,表层是可读的叙事,底层是可复现的实验记录。本章说明如何在论证、证据与底层代码之间穿行。
02:数字生命意味着什么?
如果数字生命是可能的,为什么假定它必须长得像生物生命?本书的思想宪章:名称不是证据,生物学是证据而非规格书,每一个论断都必须经住对照。
02:数字生命意味着什么?
如果数字生命是可能的,为什么假定它必须长得像生物生命?本书的思想宪章:名称不是证据,生物学是证据而非规格书,每一个论断都必须经住对照。
03:看看这个东西
校准显微镜。一个连续元胞自动机产生了某种令人不安地像生物的东西。我们把它剥离到近乎一无所有,然后重建一个行动者改写自身未来条件的世界——并开始逐个删除部件,找出那个东西究竟住在哪里。
04:现在有两个了
存续不是繁殖。在一个规则被找到时并未明确搜寻自我复制的二值元胞自动机里,表观拷贝通过了一项因果检验——在精心设定的论断边界之内。
05:所以我们故意造了个错的东西
在信任自己的检验之前,我们先造了一个故意简单的诱饵,用它们去攻击它。可见形态四处游荡,重的位置损伤无法干净地分离于普通涨落,而每一种精确关系都可被替换,却不产生可靠大于对照自身涨落的宏观态偏移。
06:它看起来像群集
附近的 Outlier 结构相干地运动。一个壮观的血统效应通过了多重对照,又在距离、时间和局域密度终于被公平比较时坍塌。
07:数字晶体
我们建造能容纳实验的最小实验室:一个种子、一块六边形晶格(lattice)、局域附着。然后让环境触碰它,问成品结构中还携带着什么。
08:晶体获得一段过去
保存的状态能让数字晶体精确延续,事件历史能重建它如何形成,单个收到比特能重定向它的未来。而这些都还不是记忆。
09:经验能改变材料本身吗?
脉冲能在数字晶体内部留下永久印记。印记存续、偏置建造,然后停止起作用——不是因为它衰减,而是因为生长越过了它。
10:物质缺失之后什么存续下来?
去掉占据材料保持占据的保证,总建造反而加速——因为物质缺失创造了建造可以发生的新位置。
11:存续下去的代价是什么?
限制数字晶体每更新能评估的建造机会数,达到的占据数变成预算依赖。调度改变材料未来,而表面上的更替不变量在核算审计下坍塌。
12:这里真的存在一个东西吗?
我们连说了六章“晶体”,却从未检验过这个名词是否有所指。两个实验检验了一种享有特权的空间边界。两者都不支持其存在,而两个被检验的径向切分都显示出相当的同侧因果局域化。
13:一次附着造成了什么?
强制一个细胞附着,在反事实中阻止它,并测量其他一切。即时效应与局域规则一致,保留起始细胞比移除它产生更大的有限视界后果,而在局域区域之外出现负的构建差异。
14:有限计算能耦合远处事件吗?
一次局域附着改变了局域规则一步内到不了的地方的期望构建——因为远处机会竞争同样的评估名额。但路由因果不等于放大因果。
15:过去能重定向未来吗?
两块可见几何一致、等量衰减隐藏材料质量放置不同的晶体。同样的扰动产生不同的响应,而累积差异的大部分在痕迹已大幅减弱之后累积。
16:我们找到了一个个体。然后又否定了
数字晶体的一处区域显示出强而精确的因果包容。随后,同一检查点上按空间几何匹配的区域显示出基本相同的包容。
17:如何正确地失败
本研究中最强的对照反复摧毁了更丰富的解释,同时保留了更小的现象。本章明确阐述:在否定一个主张而不抹掉证据仍支持之物时,所需的记账工作。
18:什么是数字生命?
在一项生物学名称在更强对照下反复失败的研究之后,幸存的计算现象指向一个暂定的过程优先基础——并揭示它为何仍宽于生命。