小道太乙提示您:看后求收藏(第四百二十三章 我们(八),赛博飞升,小道太乙,笔趣阁),接着再看更方便。
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
谷<spa> “去中京吃吧,我知道一家很好的早茶店,就在一番街……”
锡森博士张了张嘴巴,看向李凉。
“嗯……我会把您的发现转告李爽,”李凉抿了抿嘴唇,“有东西要收拾吗?”
“呃…没有。”
“那走吧,我们去中京吃早饭。”
锡森博士站在原地没动,纳闷道“我没说清楚?”
李凉笑了笑“说清楚了,就是下次……最好先说结论。”
————————
特勤舰离开新澳城,穿越黎明前的黑暗,飞向中京。
指挥舱中央,李凉静静站在驾驶飞船的仿生人身后,似乎在观察仿生人的操作。
角落里,k揽着锡森博士,低声问道“那个什么哥特尔定理是什么意思?”
附近的该隐和水野同时看了过来。
锡森博士这会儿有点心虚,干笑了两声说道“一个包含皮亚诺算术的形式系统如果是一致的那么是不完备的,而且该系统的一致性不能在系统内部证明。”
k“温柔”道“说人话。”
“简单说就是一个没有矛盾的公理体系,总会有一些命题是搞不清楚对还是错的,如果你发现一个命题通过现有的方法、公理和定理一直得不到证明,应该尝试扩展现有的方法和公理体系来进一步研究。”
k纳闷道“意思是一种方法解决不了问题就换一种方法,这也算定理?”
“听起来很简单,但是,科学有时候比较宗教更容易让人陷入误区,尤其当一个人深入研究一项理论,就会对它深信不疑……”锡森博士摇了摇头,瞥了一眼李凉的背影,心不在焉道,“哥德尔不完备定理对科学发展的影响很深刻,一两句话说不清楚。”
这时,李凉的声音传来“k。”
k起身走过去“老大。”
“有烟吗?”
k微不可察地皱了下眉头,从口袋里摸出烟盒递了过去。
李凉抽出一支烟点着,轻声问道“有机会的话,你愿意永生么?”
“可以不愿意吗?”
李凉目视前方“不可以。”
k一脸无奈地转过头去,缓缓抬起手,比了个大拇指。
<sript><sript>
<sript><sript>
。
本章未完,点击下一页继续阅读。