OpCr总述视频（我自己私底下是这么命名的）最后敲定的，其实是它正式上传时的标题。也就是《再一次，去用逻辑理解生命》这个标题。当时构思标题时其实是比较仓促的，标题本身并不能和视频的内容完美契合，实际上包含了一些视频中未讲述到的背景。比如，为什么是“再一次”？实际上，在了解了一些这个话题上的历史、以及一些现状之后，可以发现我的这个OpCr这个想法并非空穴来风，而是整个文明向着某个更高等级智慧一次又一次冲锋中的一个小小浪花。

---

20世纪初的科学家们应该是目前来说最意气风发的一届科学家了，经典物理学的胜利让他们觉得自己已经就要完成theory of everything了。在我看来，希尔伯特计划背后的野心比所谓的万物理论甚至更大。如果说“科学就是事实”（语出爱因斯坦），那希尔伯特计划几乎就是想用“科学”去描述一切，那么所有是“事实”的描述就是真，不是“事实”的描述就是假。并且，这一个判定过程可以让一个机器自动完成。这如果真的完成了，那恐怕不仅仅是theory of everything了，而是theory of everything even it does not exist…

不用猜，这个计划最后失败了。就算到了今天，阿贝尔不完备定理到底是不是“人工智能”的天花板都还是处于一个颇具争议的位置。

---

EDVAC被誉为世界上第一台电子计算机，也就是我们现在所谓的computer的老祖宗。但是其实，设计制造EDVAC的初衷并不像现在电脑的使用那么“世俗”，看电影玩游戏购个物什么的。

——在用逻辑去解释一切这个尝试失败之后，那群伟大的前辈（就算失败了）转而思考一个更弱一点命题

——如果用逻辑去解释“一切”还存在难度，那能否只是去解释“一切”中的某一个“存在”呢？

——哪个存在我们最感兴趣？

——当然是我们自己了

——也就是生命

其实在计算机设计之初，试图用逻辑去解释生命，比如大脑的运作，就已经有先例了。他们试图使用当时最先进的数学语言，比如控制论来描述“知道”本身。想用逻辑去冲破弗洛伊德的精神分析法。某种程度上，他们做到了。但是当他们想进一步，用1:1理论（而不是某种被高度抽象化简的模型）来解释大脑的行动时，进展却不如预期的顺利。再加上一些世俗（八卦）的原因，这次远征以失败告终，最后两位前辈献出了自己的生命。

---

虽然用逻辑去解释大脑的尝试也以失败告终，但是计算机却幸运地活了下来，在工业水平的不断提高之下，计算机的计算速度也成指数地提高。20世纪的最后几十年就像一个中场休息一样，我不敢确定，但是肯定有人，看着不断上升的计算机性能，握紧手心，跃跃欲试。虽然他们肯定明白，前辈的失利，和计算速度并无多少关系。

---

确实，前辈的失利确实和计算速度并无多少关系。但是人类啊，或者说生命就是这样的一种存在。哪怕已经经历了千百次失败，现状也跟之前的失败也没有多少改善，可总有人还要再次尝试，哪怕用着一个看起来挺笨的方法。

计算机工程师想穷尽一切可能、

生物学家想摸清楚每一个蛋白分子之间的关系、

合成化学家想重现从无机到有机，从死到生的这个世界过程，

有时候觉得，这些研究的思路和前辈相比并不算高明，但是我们无法以此批评他们，甚至我们应该向他们致以敬意。在传统数理逻辑几乎黔驴技穷的现在，是他们还在探索着下一个办法，笨拙地——因为他们能依靠的实在不多；但是却从未放弃——大概因为他们都还相信着一个更美好的未来吧。

---

让我们再一次，去用逻辑理解生命吧。

项目结构：

不同于传统机器学习所基于的“数据库中的知识发现”，我们需要开发出一种“计算过程中的知识发现”方法来对不同于静止的数据表，而是一个不断变化的过程进行分析。在本项目中，需要分析挖掘的过程限制为自然条件下的生物化学反应。

既然是知识发现，就需要对知识的形式进行确定，我们假设在本课题中的知识可以由以下两种知识形式完备表述：

存在式知识：像_________这样的东西，叫做__________；

运动式知识：它们在_________的时候，在 ，会_________。

值得指出的是，存在式知识是一种递归形式，即可由原子存在a定义存在b，进一步还可由存在b定义更高一级的存在c。

本项目就需要设计一种程序，以第一原理、量子理论所描述的对象(基本粒子)作为原子存在，在输入一个以原子存在为对象集合的世界(w_0)之后，输出：1. t时间后这个世界的状态(w_t)；2. 在此模拟过程中所形成的知识库(d_w)。这样，若再输入一个与先前世界有部分不同的差异世界Δw，在知识库(d_w)的帮助下，对差异世界的模拟会得到加速，同时差异世界中发生的一些全新情况也会更新数据库(d_(Δw∨w))。如此反复，对于一系列满足某些特定条件的世界簇W={w,Δw,…}，我们就能得到一个描述此世界簇的知识库d_W=∨{d_·}。

其次，我们将本项目中需要分析的过程看作是由第一原理约束的一种随机过程。那么，存在式知识实质上就是对状态空间的一种归约与化简。通过存在式知识，原状态空间中的若干自由度x,y,z，可能被化简为新单一自由度i。而这种约化则是靠分析模拟计算中各个自由度之间的互信息来达成。同时，约化时挑选出原自由度这个行为本身，也可以看作对原状态空间的一种划分，即状态空间的拓扑结构。存在式知识的递归，也是对状态空间在拓扑结构上的递归。

如今，“人工生命”已经不是难题，我们已经可以根据一些已知的生命共有规律来设计出一些模拟生命行为的对象——比如某种计算机程序；生命游戏就是一个经典的例子。它通过四条非常简单的游戏规则就展现出了一个千变万化的“生命”世界。

---

---

---

而这，就是「数字重复」——Cyber Repeat。

“行动”一词更能带给人行动力，所以整个构想的命名就成了「数字重复行动」，CR同时又可以是铬元素的缩写，那就neta为「铬元素行动」吧~