函数体,首先保证系统能正常运行起来。
经过近一个月的艰苦努力,哥德尔系统重新上线了,用王一男的话来说,“不管还有多少错误,多少缺陷“
“只要还能抓住自己的头发,哥德尔系统就一定能把自己拔到一个新的高度“
然而,重新加电上线的哥德尔系统,再也抓不住自己的头发了。
所有形式化的方法都可以使用,王一男使用孙伟那篇h265 的论文进行测试,问题域的抽象,孙伟原始解决方案的形式化都是那么的顺畅和完美,王一男敲入指令,开始利用重生后的哥德尔系统寻找形式系统的缺陷。
形形色色的LEd闪烁着,闪烁着,正当大家以为哥德尔系统计算能力下降,又要开始漫长等待的时候。
蜂鸣声响了起来。
王一男看着屏幕,上面没有1,2,3,4 。。。的缺陷,
只有一行小字
“ No Fault”
