第四百二十三章 我们（八）（2/2）
作者：小道太乙
有我们这些与他相处的人类才可以，所以他发现不了这个证据，”锡森博士看了看众人的表情，“不然呢，你们以为我在说什么？”
所有人都呆呆看着他。
“噢~~~”锡森博士恍然大悟，“你们以为我想说李爽不可靠？”
“……”
“你们怎么能这么想！”锡森博士嚷嚷道，“李爽当然值得信任，你们这是对仿生人的偏见，推理算法有时候确实看起来冰冷无情，但大多数时候都是最优解，李爽构建的零号系统是人类有史以来最伟大的创造，他对混沌系统的演化机制理解得非常透彻，我们遭遇的那些危险都经过了……”
没等他说完，该隐扭头就走。
k拍了拍他的肩膀，和水野一起向电梯走去，两人的对话传来：
“早上吃什么？”
“去中京吃吧，我知道一家很好的早茶店，就在一番街……”
锡森博士张了张嘴巴，看向李凉。
“嗯……我会把您的发现转告李爽，”李凉抿了抿嘴唇，“有东西要收拾吗？”
“呃…没有。”
“那走吧，我们去中京吃早饭。”
锡森博士站在原地没动，纳闷道：“我没说清楚？”
李凉笑了笑：“说清楚了，就是下次……最好先说结论。”
————————
特勤舰离开新澳城，穿越黎明前的黑暗，飞向中京。
指挥舱中央，李凉静静站在驾驶飞船的仿生人身后，似乎在观察仿生人的操作。
角落里，k揽着锡森博士，低声问道：“那个什么哥特尔定理是什么意思？”
附近的该隐和水野同时看了过来。
锡森博士这会儿有点心虚，干笑了两声说道：“一个包含皮亚诺算术的形式系统如果是一致的那么是不完备的，而且该系统的一致性不能在系统内部证明。”
k“温柔”道：“说人话。”
“简单说就是一个没有矛盾的公理体系，总会有一些命题是搞不清楚对还是错的，如果你发现一个命题通过现有的方法、公理和定理一直得不到证明，应该尝试扩展现有的方法和公理体系来进一步研究。”
k纳闷道：“意思是一种方法解决不了问题就换一种方法，这也算定理？”
“听起来很简单，但是，科学有时候比较宗教更容易让人陷入误区，尤其当一个人深入研究一项理论，就会对它深信不疑……”锡森博士摇了摇头，瞥了一眼李凉的背影，心不在焉道，“哥德尔不完备定理对科学发展的影响很深刻，一两句话说不清楚。”
这时，李凉的声音传来：“k。”
k起身走过去：“老大。”
“有烟吗？”
k微不可察地皱了下眉头，从口袋里摸出烟盒递了过去。
李凉抽出一支烟点着，轻声问道：“有机会的话，你愿意永生么？”
“可以不愿意吗？”
李凉目视前方：“不可以。”
k一脸无奈地转过头去，缓缓抬起手，比了个大拇指。
喜欢赛博飞升请大家收藏：赛博飞升蛋疼小说网更新速度最快。
所有人都呆呆看着他。
“噢~~~”锡森博士恍然大悟，“你们以为我想说李爽不可靠？”
“……”
“你们怎么能这么想！”锡森博士嚷嚷道，“李爽当然值得信任，你们这是对仿生人的偏见，推理算法有时候确实看起来冰冷无情，但大多数时候都是最优解，李爽构建的零号系统是人类有史以来最伟大的创造，他对混沌系统的演化机制理解得非常透彻，我们遭遇的那些危险都经过了……”
没等他说完，该隐扭头就走。
k拍了拍他的肩膀，和水野一起向电梯走去，两人的对话传来：
“早上吃什么？”
“去中京吃吧，我知道一家很好的早茶店，就在一番街……”
锡森博士张了张嘴巴，看向李凉。
“嗯……我会把您的发现转告李爽，”李凉抿了抿嘴唇，“有东西要收拾吗？”
“呃…没有。”
“那走吧，我们去中京吃早饭。”
锡森博士站在原地没动，纳闷道：“我没说清楚？”
李凉笑了笑：“说清楚了，就是下次……最好先说结论。”
————————
特勤舰离开新澳城，穿越黎明前的黑暗，飞向中京。
指挥舱中央，李凉静静站在驾驶飞船的仿生人身后，似乎在观察仿生人的操作。
角落里，k揽着锡森博士，低声问道：“那个什么哥特尔定理是什么意思？”
附近的该隐和水野同时看了过来。
锡森博士这会儿有点心虚，干笑了两声说道：“一个包含皮亚诺算术的形式系统如果是一致的那么是不完备的，而且该系统的一致性不能在系统内部证明。”
k“温柔”道：“说人话。”
“简单说就是一个没有矛盾的公理体系，总会有一些命题是搞不清楚对还是错的，如果你发现一个命题通过现有的方法、公理和定理一直得不到证明，应该尝试扩展现有的方法和公理体系来进一步研究。”
k纳闷道：“意思是一种方法解决不了问题就换一种方法，这也算定理？”
“听起来很简单，但是，科学有时候比较宗教更容易让人陷入误区，尤其当一个人深入研究一项理论，就会对它深信不疑……”锡森博士摇了摇头，瞥了一眼李凉的背影，心不在焉道，“哥德尔不完备定理对科学发展的影响很深刻，一两句话说不清楚。”
这时，李凉的声音传来：“k。”
k起身走过去：“老大。”
“有烟吗？”
k微不可察地皱了下眉头，从口袋里摸出烟盒递了过去。
李凉抽出一支烟点着，轻声问道：“有机会的话，你愿意永生么？”
“可以不愿意吗？”
李凉目视前方：“不可以。”
k一脸无奈地转过头去，缓缓抬起手，比了个大拇指。
喜欢赛博飞升请大家收藏：赛博飞升蛋疼小说网更新速度最快。