四百二十三章 (八)
解剖室外走廊落针闻。
目光扫K,该隐水野,李凉脸笑容渐渐消失。
锡森博士丝毫察觉气氛异常,语速极快:
“基阶逻辑推理算法仿问题,候感映射逻辑运算优先级冲突,原本况本质因运算力足,直见弟弟。
次听完整件龙脉,讨论‘模拟世界’性,因计算间悖论突停机,点非常古怪,假世界更高级智慧体‘模拟’,像神经漫游‘土’游戏,更复杂,通,很‘模拟’系统‘恰’漏洞。
确实考虑问题,进很尝试,比计算‘葛立恒数’准确值,推算TREE(3),验证克鲁斯科尔树定理,等等。
,假世界模拟系统,,系统运算力定限,果模拟系统推算TREE(3),支持整模拟系统需运算力将思议,或者,已经讨论义,因……”
“咳,”水野轻轻咳声。
锡森博士挠挠头:“思偏题,,知TREE(3)定义,知弟弟运算力夸张,明感映射问题运算力关,弟弟表感问题仿,执决策,阶逻辑推理算法很优先感映射……”
即使听懂长篇论,场明白句话思。
李凉目光低垂,沉默语,该隐始终盯表,眼神复杂。
K拍拍锡森博士肩膀:“况应该很少见吧?”
“嗯,”锡森博士点头,等K松口气,老头继续,“,越重决策,需满足条件越,越容易问题……嘶,捏干什?”
K干笑,转头:“老……”
“,”李凉抬头,摆摆,“博士,知您思,问题,京,很次死定,知,爽直,派机杀,……代表爽冷酷,敌间观测者,很难理解诡异计划,掌握主做取舍,换位置,让爽,或者身处危险,果需冒险或者做牺牲,见。”
“,明白思,”锡森博士认真,“果感映射问题运算力关,明间观测者提供十公式代表公理体系依旧完备,符合‘哥德尔完备定理’。”
李凉愣:“呢?”
“明显吗,”锡森博士副理表,“弟弟怀疑间观测者提供公式远远足揭示宇宙真相,,证据。”
“等等,捋,”K瞪眼睛,“老头,堆证明,间观测者给公式宇宙真相?”
“啊,李爽察觉感映射问题,与相处类才,证据,”锡森博士众表,“呢,什?”
呆呆。
“噢~~~”锡森博士恍悟,“李爽靠?”
“……”
“怎!”锡森博士嚷嚷,“李爽值信任,仿偏见,推理算法候确实冰冷,数候优解,李爽构建零号系统类史伟创造,混沌系统演化机制理解非常透彻,遭遇危险经……”
等完,该隐扭头走。
K拍拍肩膀,水野向电梯走,两话传:
“早吃什?”
“京吃吧,知很早茶店,番街……”
锡森博士张张嘴巴,向李凉。
“嗯……您转告李爽,”李凉抿抿嘴唇,“东西收拾吗?”
【推荐,野果阅读追书真,载 www.yeguoyuedu.com 快试试吧。】
“呃…。”
“走吧,京吃早饭。”
锡森博士站原,纳闷:“清楚?”
李凉笑笑:“清楚,次……先结论。”
————————
特勤舰离新澳城,穿越黎明黑暗,飞向京。
指挥舱央,李凉静静站驾驶飞船仿身,似乎观察仿操。
角落,K揽锡森博士,低声问:“什哥特尔定理什思?”
附近该隐水野。
锡森博士儿点虚,干笑两声:“包含皮亚诺算术形式系统果致完备,且该系统致性系统内部证明。”
K“温柔”:“话。”
“简单矛盾公理体系,命题搞清楚错,果命题通方法、公理定理直证明,应该尝试扩展方法公理体系进步研究。”
K纳闷:“思方法解决问题换方法,算定理?”
“听很简单,,科候比较宗教更容易让陷入误区,尤其深入研究项理论,它深信疑……”锡森博士摇摇头,瞥眼李凉背影,焉,“哥德尔完备定理科展影响很深刻,两句话清楚。”
,李凉声音传:“K。”
K身走:“老。”
“烟吗?”
K微察皱眉头,口袋摸烟盒递。
李凉抽支烟点,轻声问:“机话,愿永?”
“愿吗?”
李凉目视方:“。”
K脸奈转头,缓缓抬,比拇指。