第二十二章 更深的绝望 (2/3)

“什么，八点半飞往太阳国的航班，是太阳航空的，目前已经离境了？“

“啪”的一声，钱中华给了自己一个清脆的耳光，“p”，“史密斯一定在这架飞机上”

“早想到滨海，一定可以把他拦下来的“

“确认一下吧，让滨海机场把今天上午到目前为止的安检录像传过来”，s冷静的说。

“同时，各大机场和涉外口岸的管控千万不能放松”

很快，会议室的投影上出现了滨海机场的安检画面，一个背着旅行袋，身高一米八五左右的，外籍秃顶男子引起了钱中华他们的注意，

“像不像”

“挺像的，至少这身衣服跟哪个夜跑男很像，应该是没来得及换衣服”

“但是酒店迎宾说的可疑男子是卷发”

“很可能带了头套，让技术科给他弄一个卷发的头套，然后把合成的照片拿给酒店迎宾辨认”

很快，留在警局接受询问的酒店迎宾给出了肯定的回答，

“就是他，半夜出去跑步的那个”

“降低抓捕的级别吧”s说。

“我让太阳国的外勤想想办法，不过别抱太大希望，他应该有接应的人“

“何况我们也不可能在太阳国对他下手。“

“我去把坏消息告诉王一男“，钱中华离开了“有关部门”总部。

留下s开始咆哮他那帮不争气的手下。

钱中华给王一男打了个电话，得知他们还在吉祥村之后，就直接驱车过去。

等到钱中华再次看见一片狼藉的哥德尔系统的时候，已经是上午十一点了。

王一男和孙伟还在白板前写写画画的，

“干嘛呢”，钱中华问。

“评估一下哥德尔系统的损失，制定修复的方案，你有什么好消息带给我们吗，史密斯抓到了？”

“呃”，钱中华很有些不好意思。

“恰恰相反，我有个坏消息告诉你们“

“我们基本确定，史密斯已经离境“，钱中华看了看表，

“现在应该已经抵达太阳国首都“

“意料之中，我就没指望警察能抓住小偷”

听着王一男阴阳怪气的嘲讽，钱中华有些怒了，“你要早告诉我们这些东西的价值，至于像今天这样吗“

“告诉你们，先不说我连你们的门在哪里开都不知道”

“就算告诉你们，你们会相信吗”，王一男一边写着什么，一边说到。

钱中华有些无言以对了，要是没出今天的事情，估计“有关部门”还真会把容与公司当个笑话，不是所有的人，都像张琪一样，会给一个号称改变人类文明进程的人，以足够的信任。

钱中华自问，自己是做不到的。

“好吧“，对于遭受如此巨大打击的人，钱中华决定还是释放自己的同情心，就不跟王一男计较了。

“最近这段时间，我会派人在你这里值班，你们安排好吃饭住宿的地方就行”

“有什么需要帮忙的，尽管说”

庞中华匆匆离开了容与公司。

整理被损坏的哥德尔系统就花了整整两天时间，王一男考虑了一下，还是把公司所有的人召集在一起开了个会，包括那两只准备来报道的科研狗。

“目前情况就是这样，我们下一阶段的核心任务，是恢复哥德尔系统，根据目前损害的情况，最乐观的估计，也需要三个月的时间才能恢复，当然也有可能，是永远也恢复不了，因为我们自身对哥德尔的运行机制都不是绝对清楚。

“董志和罗小音，你们可以跟我做一些超导材料的前期理论和实践准备，当然，你们还没有报到，现在改变主意还来得及“

“开工资不”，董志看了一眼罗小音，问到。

“当然”，王一男苦笑着回答道，“咱公司，现在就只剩下钱了“

“老板，那我跟定你了，小音也一样对吧”，董志说，

罗小音苦笑着点了点头说，“嗯，既然来了，就跟你混吧”

哥德尔系统的硬件恢复工作比预期的快一些，大部分cpu在找到专业的硬件维修公司之后，都恢复了正常工作。

钱中华也将他们最好的硬件专家派了过来，毕竟相信上帝的史密斯还是有一点恻隐之心，他用来破坏哥德尔系统的只是一把扫帚而已，如果当时他放一把火。。。王一男想着，忍不住打了个冷颤。

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

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

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

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

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

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

形形色色的led闪烁着，闪烁着，正当大家以为哥德尔系统计算能力下