祖文远说：“这里有个问题，让重复信息减少是可以的。

只是这个冗余是个什么东西？”

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

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

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

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

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

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

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

吴俊说：“别乱想，那是他们高层的问题，你可是需要解决当下的问题呀。

如果你解决不了净化网络的问题，你还得离开你的岗位。”

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

此刻是四个人开始讨论这个问题了，他们跟夏商卜说了情况。

夏商卜说：“我致力于想写一个操作系统，可以为什么会出现这些问题？这个我也想不出来。

我甚至想用最简单的方式来进行运算的。

简单到根本不想掺杂任何没有用的东西。”

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

吴俊说：“这个我知道，我们都用你的操作系统，都觉得很不错，但是肯定有些东西产生问题了。

是不是里面本身还是包含了你没注意到的一些东西？操作系统毕竟要形成文件化管理。”

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

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

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

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

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

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

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

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

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

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

仅仅是让虫子去，让它们自然的去，它们会自然的做好这个系统。

不是一个个呆板的步骤，有很多种路径可以完成它，所以它要完成的工程难以被阻止。

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

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

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

或者是几条虫子。