我们下一阶段的核心任务，是恢复哥德尔系统，根据目前损害的情况，最乐观的估计，也需要三个月的时间才能恢复，当然也有可能，是永远也恢复不了，因为我们自身对哥德尔的运行机制都不是绝对清楚。
“董志和罗小音，你们可以跟我做一些超导材料的前期理论和实践准备，当然，你们还没有报到，现在改变主意还来得及“
“开工资不”，董志看了一眼罗小音，问到。
“当然”，王一男苦笑着回答道，“咱公司，现在就只剩下钱了“
“老板，那我跟定你了，小音也一样对吧”，董志说，
罗小音苦笑着点了点头说，“嗯，既然来了，就跟你混吧”
哥德尔系统的硬件恢复工作比预期的快一些，大部分CPU和GPU在找到专业的硬件维修公司维修或者更换之后，都恢复了正常工作。
钱中华也将他们最好的硬件专家派了过来，不幸中的万幸，相信上帝的史密斯还是有一点恻隐之心，他用来破坏哥德尔系统的只是一把扫帚而已，如果当时他放一把火。。。王一男想着，忍不住打了个冷颤。
大部分硬盘在修理后也能读出内容来，有几块破坏特别严重的，“有关部门”的硬件专家把他们拿到特别的实验室里面，直接从损坏的碟片上，也恢复了大部分数据。
王一男，李飞和赵天成，在原始的linux系统基础上，重写了大部分缺失的访问接口，有些确定损坏了的数据，王一男他们就编写一个空的函数体，首先保证系统能正常运行起来。
经过近一个月的艰苦努力，哥德尔系统重新上线了，用王一男的话来说，“不管还有多少错误，多少缺陷“
“只要还能抓住自己的头发，哥德尔系统就一定能把自己拔到一个新的高度“
然而，重新加电上线的哥德尔系统，再也抓不住自己的头发了。
所有形式化的方法都可以使用，王一男使用孙伟那篇H265的论文进行测试，问题域的抽象，孙伟原始解决方案的形式化都是那么的顺畅和完美，王一男敲入指令，开始利用重生后的哥德尔系统寻找形式系统的缺陷。
形形色色的LED闪烁着，闪烁着，正当大家以为哥德尔系统计算能力下降，又要开始漫长等待的时候。
蜂鸣声响了起来。
王一男看着屏幕，上面没有1，2，3，4。。。的缺陷，
只有一行小字
“NoFault”
请收藏：https://m.xbqg99.com
（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）