河豚小说网 > 科幻小说 > 赛博飞升 > 第四百二十三章 我们(八)

第四百二十三章 我们(八)

有我们这些与他相处的人类才可以,所以他发现不了这个证据,”锡森博士看了看众人的表情,“不然呢,你们以为我在说什么?”

    所有人都呆呆看着他。

    “噢~~~”锡森博士恍然大悟,“你们以为我想说李爽不可靠?”

    “……”

    “你们怎么能这么想!”锡森博士嚷嚷道,“李爽当然值得信任,你们这是对仿生人的偏见,推理算法有时候确实看起来冰冷无情,但大多数时候都是最优解,李爽构建的零号系统是人类有史以来最伟大的创造,他对混沌系统的演化机制理解得非常透彻,我们遭遇的那些危险都经过了……”

    没等他说完,该隐扭头就走。

    k拍了拍他的肩膀,和水野一起向电梯走去,两人的对话传来:

    “早上吃什么?”

    “去中京吃吧,我知道一家很好的早茶店,就在一番街……”

    锡森博士张了张嘴巴,看向李凉。

    “嗯……我会把您的发现转告李爽,”李凉抿了抿嘴唇,“有东西要收拾吗?”

    “呃…没有。”

    “那走吧,我们去中京吃早饭。”

    锡森博士站在原地没动,纳闷道:“我没说清楚?”

    李凉笑了笑:“说清楚了,就是下次……最好先说结论。”

    ————————

    特勤舰离开新澳城,穿越黎明前的黑暗,飞向中京。

    指挥舱中央,李凉静静站在驾驶飞船的仿生人身后,似乎在观察仿生人的操作。

    角落里,k揽着锡森博士,低声问道:“那个什么哥特尔定理是什么意思?”

    附近的该隐和水野同时看了过来。

    锡森博士这会儿有点心虚,干笑了两声说道:“一个包含皮亚诺算术的形式系统如果是一致的那么是不完备的,而且该系统的一致性不能在系统内部证明。”

    k“温柔”道:“说人话。”

    “简单说就是一个没有矛盾的公理体系,总会有一些命题是搞不清楚对还是错的,如果你发现一个命题通过现有的方法、公理和定理一直得不到证明,应该尝试扩展现有的方法和公理体系来进一步研究。”

    k纳闷道:“意思是一种方法解决不了问题就换一种方法,这也算定理?”

    “听起来很简单,但是,科学有时候比较宗教更容易让人陷入误区,尤其当一个人深入研究一项理论,就会对它深信不疑……”锡森博士摇了摇头,瞥了一眼李凉的背影,心不在焉道,“哥德尔不完备定理对科学发展的影响很深刻,一两句话说不清楚。”

    这时,李凉的声音传来:“k。”

    k起身走过去:“老大。”

    “有烟吗?”

    k微不可察地皱了下眉头,从口袋里摸出烟盒递了过去。

    李凉抽出一支烟点着,轻声问道:“有机会的话,你愿意永生么?”

    “可以不愿意吗?”

    李凉目视前方:“不可以。”

    k一脸无奈地转过头去,缓缓抬起手,比了个大拇指。

    喜欢赛博飞升请大家收藏:赛博飞升蛋疼小说网更新速度最快。