图灵自然虫可以做出很多大工程,但是原则很简易,大工程也很系统,不是去每个不同的分工去构建。
仅仅是让虫子去,让它们自然的去,它们会自然的做好这个系统。不是一个个呆板的步骤,有很多种路径可以完成它,所以它要完成的工程难以被阻止。
我们需要向虫学习,它的方法简单而强大,节省空间不浪费,某个地方被破坏可以不影响全局,或者可以自动恢复。
我们不去学习,不去创立一个复杂的学科,有问题,就让虫去解决,虫子可以很好的解决问题,要学会控制它们。
一个程序就是一条虫子,一条很长的虫子,计算机运算的变化就是虫子内部的一维变化。或者是几条虫子。
程序代码的最高境界,就是压缩力强,运行效率很高,类似在广袤的空间中,似乎只有一只虫子的蠕动。
作为自然界中最伟大的两个东西,虫子和植物,它们之间有太多的联系,更像是一个整体,或者互补。虫子不能单独为一个种类,应该其中还有各种分类。
若分好之后,成了单元,考虑权重之后全部整合,之后又有了新问题,按新问题在分开单元,重新考虑所有权重。
从理论上讲,不可能分好所有系统的因子,也有做好自己没有把握因素的心理准备,只能是有一个就收集一个。
听完夏商卜的描述后,吴俊、华罗、祖文远都很惊叹这样的设计结构。
吴俊想了想说:“那也是很简单的简单逻辑词表示的,只要做到跟以前电脑一样那样五脏俱全即可。”
夏商卜说:“没错,其实就这么简单。”
华罗说:“不可能呀,就这么简单难道还会出现冗余。”
祖文远说:“等一下,一只虫子很简单,几只虫子也不难,但是虫子多了,也分不同虫子,而且虫子与虫子之间可以进化。而所以的这些问题,需要去找变量,因为因素太多,所以需要收集所能收集到的,每一个收集到的碎片都可能是一个重要变量。一个系统原来由那几个变量组成,引入一个变量的话,或许原来的某些变量会废除掉,或许会保留掉,如果废除了,有保留的,那就只是发生了一半的变化。若是全部废除掉了,那就是发生了全部更新,若是经过几次变化而又变回拥有原来变量的,那就是自我增加,或者回归自我。一个系统只要与其他系统,或其他变量发生联系,我们就可以关联起来,再看看系统是否发生变化。系统,变量,其他系统,这些链接可能由于语义不明会是混乱的。第一次画链接图,要自然提出自己知道的问题,然后看看每个问题是否能分解成子问题,是否能分解成无法分割的单元子问题,然后改进图,一直改进到能够考虑足够多的问题,然后都分割成子问题即可。还要考虑图与图之间的链接性的权重,还考虑有些因子是否连接。可以把链接去掉,分开因子到单元,再看哪个可以相连。因子的参量就是是与否的二进制变量,就用布尔代数来表示,反因子会对系统也有影响,反因子是非单元的还是单元的,都应该考虑,若单元只要是与否的情况,就去用。做了就会有出路。下来需要做的是,每个单元连好线,或者有的不连线,每一根线有权重,权重是否可以预测其变化和发展。之后就成了一套网络图,神经网络系统,这套神经网络系统是否可以预测出近下来的发展。以此预测房价的变化。有麻烦的地方是,有两个因子直接连接是正向发展,布尔为1,但进行另外的间接的链接就成了总体的反向发展,布尔为0。能保证自己不被这种复杂性搞的混乱,需要从中进行思考,需要总结经验。”
祖文远一边说一边拿着自动证明机20开始输入自然虫操作系统,之后再去证明简单操作系统在网络客户端中是否有冗余。
吴俊说:“其实就是进化,虫子进化成了人、猴子、老虎、大象等等这些没用的东西。”
自动证明机在四个人惊讶的目光中开始运算,发现机器已经停不下来了,四个人看着机器快速的跑了很久,不知道何时才会停下。
夏商卜笑着问:“这就能说明确实有冗余吗?”
吴俊说:“不好说,或许他跑这么久能够证明没有冗余。”
夏商卜说:“不会证明几千年才停下来吧,这个也能用我们的大斜边系统去改造快一些。”
吴俊说:“你的大斜边已经出现问题,还要来祸害我的机器?”
夏商卜说:“你的自动证明机的弱点是算的太慢,我们需要给他加快速度了。”