祖文远说：“这里有个问题，让重复信息减少是可以的。只是这个冗余是个什么东西？”

华罗说：“就是一个大家停下来之后，依旧做着强大运算的怪异东西。”

祖文远说：“这个东西怎么用数学来表达呀？”

华罗说：“听说你们的自动证明机2.0已经可以使用，可以计算这个吗？”

祖文远说：“网路冗余这个命题需要用简单的逻辑符号表示出来才可以做这个工作呢！”

华罗说：“能不能把大斜边计划的构架用简单逻辑符号表示出来，运算出这种冗余？”

吴俊说：“你可以找孔丘明那里的人问问吗？毕竟网络是他们做出来的。”

华罗说：“只是我和他的领导不太一样，会不会遭嫌疑？”

吴俊说：“别乱想，那是他们高层的问题，你可是需要解决当下的问题呀。如果你解决不了净化网络的问题，你还得离开你的岗位。”

华罗想了想有些道理，他马上联系夏商卜来讨论，虽然夏商卜因为这个事情近期被孔丘明警告了，但是他没有灰心，还是很兴奋的积极来到咖啡屋。此刻是四个人开始讨论这个问题了，他们跟夏商卜说了情况。

夏商卜说：“我致力于想写一个操作系统，可以为什么会出现这些问题？这个我也想不出来。我甚至想用最简单的方式来进行运算的。简单到根本不想掺杂任何没有用的东西。”

华罗说：“你的操作界面看起来确实是最简化的，只会有极为必要的简单设置，除此以外没有任何其他杂质。”

吴俊说：“这个我知道，我们都用你的操作系统，都觉得很不错，但是肯定有些东西产生问题了。是不是里面本身还是包含了你没注意到的一些东西？操作系统毕竟要形成文件化管理。”

夏商卜说：“不会的，你可以把我的操作系统比喻成一只虫子。”

卡莱因觉得很有趣的笑着说：“那是什么样子？思路是什么？”

夏商卜把自己操作系统的灵感说成是一只虫子，夏商卜认为虫子不会占地方，虫子需要适应环境就行，操作系统跟虫子一样小。

虫，很简单，不需要复杂的大脑，就能够做最简单直接的事情。

自然界最先有虫，虫的适应能力很强，要求也不多，只做简单的求生。

不同的虫有各自不同的功能，而且还很强大，在对应的领域可以干很多了不起的事情。

虫，其实也复杂，是生态协调自己的一个压缩性的优化的一种系统。

大自然想要变得很协调，不需要做很多复杂的改变，很多情况下仅仅需要一个简单的虫就可以去掉很多对生态不利的东西。

虫，可以解决人类的很多问题，行走，稳定的飞行，敏捷的反应能力，少生病等等。

图灵自然虫可以做出很多大工程，但是原则很简易，大工程也很系统，不是去每个不同的分工去构建。

仅仅是让虫子去，让它们自然的去，它们会自然的做好这个系统。不是一个个呆板的步骤，有很多种路径可以完成它，所以它要完成的工程难以被阻止。

我们需要向虫学习，它的方法简单而强大，节省空间不浪费，某个地方被破坏可以不影响全局，或者可以自动恢复。

我们不去学习，不去创立一个复杂的学科，有问题，就让虫去解决，虫子可以很好的解决问题，要学会控制它们。

一个程序就是一条虫子，一条很长的虫子，计算机运算的变化就是虫子内部的一维变化。或者是几条虫子。

程序代码的最高境界，就是压缩力强，运行效率很高，类似在广袤的空间中，似乎只有一只虫子的蠕动。

作为自然界中最伟大的两个东西，虫子和植物，它们之间有太多的联系，更像是一个整体，或者互补。虫子不能单独为一个种类，应该其中还有各种分类。

若分好之后，成了单元，考虑权重之后全部整合，之后又有了新问题，按新问题在分开单元，重新考虑所有权重。

从理论上讲，不可能分好所有系统的因子，也有做好自己没有把握因素的心理准备，只能是有一个就收集一个。

听完夏商卜的描述后，吴俊、华罗、祖文远都很惊叹这样的设计结构。

吴俊想了想说：“那也是很简单的简单逻辑词表示的，只要做到跟以前电脑一样那样五脏俱全即可。”

夏商卜说：“没错，其实就这么简单。”

华罗说：“不可能呀，就这么简单难道还会出现冗余。”

祖文远说：“等一下，一只虫子很简单，几只虫子也不难，但是虫子多了，也分不同虫子，而且虫子与虫子之间可以进化。而所以的这些问题，需要去找变量，因为因素太多，所以需要收集所能收集到的，每一个收集到的碎片都可能是一个重要变量。一个系统原来由那几个变量组成，引入一个变量的话，或许原来的某些变量会废除掉，或许会保留掉，如果废除了，有保留的，那就只是发生了一半的变化。若是全部废除掉了，那就是发生了全部更新，若是经过几次变化而又变回拥有原来变量的，那就是自我增加，或者回归自我。一个系统只要与其他系统，或其他变量发生联系，我们就可以关联起来，再看看系统是否发生变化。系统，变量，其他系统，这些链接可能由于语义不明会是混乱的。第一次画链接图，要自然提出自己知道的问题，然后看看每个问题是否能分解成子问题，是否能分解成无法分割的单元子问题，然后改进图，一直改进到能够考虑足够多的问题，然后都分割成子问题即可。还要考虑图与图之间的链接性的权重，还考虑有些因子是否连接。可以把链接去掉，分开因子到单元，再看哪个可以相连。因子的参量就是是与否的二进制变量，就用布尔代数来表示，反因子会对系统也有影响，反因子是非单元的还是单元的，都应该考虑，若单元只要是与否的情况，就去用。做了就会有出路。下来需要做的是，每个单元连好线，或者有的不连线，每一根线有权重，权重是否可以预测其变化和发展。之后就成了一套网络图，神经网络系统，这套神经网络系统是否可以预测出近下来的发展。以此预测房价的变化。有麻烦的地方是，有两个因子直接连接是正向发展，布尔为1，但进行另外的间接的链接就成了总体的反向发展，布尔为0。能保证自己不被这种复杂性搞的混乱，需要从中进行思考，需要总结经验。”

祖文远一边说一边拿着自动证明机2.0开始输入自然虫操作系统，之后再去证明简单操作系统在网络客户端中是否有冗余。

吴俊说：“其实就是进化，虫子进化成了人、猴子、老虎、大象等等这些没用的东西。”

自动证明机在四个人惊讶的目光中开始运算，发现机器已经停不下来了，四个人看着机器快速的跑了很久，不知道何时才会停下。

夏商卜笑着问：“这就能说明确实有冗余吗？”

吴俊说：“不好说，或许他跑这么久能够证明没有冗余。”

夏商卜说：“不会证明几千年才停下来吧，这个也能用我们的大斜边系统去改造快一些。”

吴俊说：“你的大斜边已经出现问题，还要来祸害我的机器？”

夏商卜说：“你的自动证明机的弱点是算的太慢，我们需要给他加快速度了。”