果当时他放一把火。。。王一男想着，忍不住打了个冷颤。

    大部分硬盘在修理后也能读出内容来，有几块破坏特别严重的，“有关部门”的硬件专家把他们拿到特别的实验室里面，直接从损坏的碟片上，也恢复了大部分数据。

    王一男，李飞和赵成，在原始的linu系统基础上，重写了大部分缺失的访问接口，有些确定损坏了的数据，王一男他们就编写一个空的函数体，首先保证系统能正常运行起来。

    经过近一个月的艰苦努力，哥德尔系统重新上线了，用王一男的话来，“不管还有多少错误，多少缺陷“

    “只要还能抓住自己的头发，哥德尔系统就一定能把自己拔到一个新的高度“

    然而，重新加电上线的哥德尔系统，再也抓不住自己的头发了。

    所有形式化的方法都可以使用，王一男使用孙伟那篇H65 的论文进行测试，问题域的抽象，孙伟原始解决方案的形式化都是那么的顺畅和完美，王一男敲入指令，开始利用重生后的哥德尔系统寻找形式系统的缺陷。

    形形色色的LED闪烁着，闪烁着，正当大家以为哥德尔系统计算能力下降，又要开始漫长等待的时候。

    蜂鸣声响了起来。

    王一男看着屏幕，上面没有1，，，4 。。。的缺陷，

    只有一行字

    “ N Faul”