手机浏览器扫描二维码访问
第二百四十章 绝伦的双簧（第2页）
哥德尔终其一生，都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。
地球数学界近百年也没有遇到这种陈述。
――实际上，按照哥德尔的想法，人类在相当长的一段时间里都不会遇到这种陈述。它必然存在于算学的未知部分，隐藏在重重迷雾之中。
有很多数学家，都不会对这一个不包含实际数学内容的玩意投以关注。
闵可夫冷笑：“那么，你的证明真的如你所说，意义重大吗？”
“我只是推断出有这种陈述的存在，并不等于说我知道这个陈述。”王崎道：“这就好比说，有人死了，判断是他杀还是自杀不难，可判断谁是凶手就要难很多。”
“是，我承认，你的论证过程确实很强。但是，我看不到它实际的意义。”
王崎既然知晓这个软肋的存在，又怎么会不做准备？他早就准备好了对于这个问题的回答，从善如流：“当中古的数家研究圆锥曲线的时候，他们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道。这个不完备的证明过程在未来究竟会怎么样――我们什么时候才能发现一个包含实际算理的不可判定陈述呢？我不知道。也不可能知道。这个问题。只能付之于时间。让时间去解答。”
“我也说过，算学的不完备，并不在已知，而在未知。面对未知，我们永远不会知道会遇到什么。”
王崎只能这么说。在力迫法出现之前，这种非议都会存在的。
这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来，对着王崎发出驳斥。这些驳斥当中，有些正正切中要害。有些不痛不痒，王崎都一一给予回击。
但是，王崎并非是完全孤立无援。
突然，有一些算家发现自己的话语问不出口了――他们在这万仙幻境当中开不了口了！这时，只见图灵真人站起来，对着四方拱拱手，温和笑道：“诸位，可允许我去问几个问题？”
也只有这位浸淫算器领域数百年的强大逍遥，才能在这片幻境之中以一压多。纵有人不满，也只能在这个时候选择乖乖听好。
图灵真人站起来。对着王崎问道：“王道友，我想同你讨论一下函数的极限……”
图灵一开口。就让其他人愣住了。
这个……这位逍遥，究竟是站在哪边的？
看他和冯落衣坐在一起，不应该是来帮助王崎的吗？
为什么他问出的问题，比绝大多数人问出的问题都要尖锐？
王崎笑了笑：“最近我也有一些新的想法……”
在王崎解答了这个问题之后，图灵真人立刻问出第二个问题来。
“你有没有考虑过具备无限条公理的公理系统？“图灵问道：”每一次加入一条新的公理，新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话，每一个系统都是一直无矛盾的。这样，我们重复无数次，添加可数而无穷的公理。这样的话，我们无论使用了多少条公理，总有更强大的一条公理证明前面的公理一致无矛盾，那么，这个系统便称得上是无懈可击吧？“
“我也这么认为。可是，很遗憾，这种拥有无限公理的公理系统毫无意义。”王崎道：“我们必须先熟知一个公理系统当中所有的公理，才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理，我们便不可能知晓它能够陈述什么、判断什么……”
两个人的问答，越来越流利，也越来越畅快。渐渐的，周围的异动小了下来。
图灵真人，分明是用更加系统化的方式、从更加深入的角度，将他们察觉出的种种不足给问了出去。
而在这种前提之下，王崎还能够对答如流，无数有不完备衍生出的定理、对不完备证明的补充，还有新的算器技术，都在图灵真人和王崎的一问一答当中展现了出来。
闵可夫哼了哼，不屑的在私聊当中低于：“双簧而已……他们两个绝对是对好了的。图灵就是一个托！”
何外尔苦笑：“可就算是托……那也是非同凡响的。至少，我是问不出口了。”
王崎和图灵真人的问答，就是要在展示自己的理论是成体系的。
讲道的主题，被定死在不完备、不可判定。这个是不能变的。他们现在在做的，就是在问答环节展示自己的水准，堵住悠悠之口。
纵然所有人都看得出，这二人在唱双簧，又怎么样？
现在问问题，十有**就是撞到别人的刀刃上，自取其辱！
这便是史上独一无二的，绝伦的双簧！
图灵真人堂而皇之的将这一场问答，变成了他个人与挖的劳伦。两个人也是被激发出了灵感，讨论逐渐脱离了预定的内容，开始向更深处发展。
这一下，就连能够插嘴的人都很少了。
算君庞家莱看着问答中的两人，摇摇头，只是冷笑：“这声屁放得响，不算太臭。”
另一边，算主希柏澈至始至终一言未发。（未完待续。）
网游航海之王 运河之韵 敛财心 舌尖天下 我，地球唯一超能力者 大明：开局剧透崇祯，重振河山 先婚后爱：娇妻拒婚101次 穿进语文书，从刺猹开始 万苍天穹 盛世花都 建立帝国从骑士次子开始 灵异直播，女主她不想吓人 道化九界 我的修真小米三 什么？奥特曼是终身制的？ 月薪十万，女总裁她果然不只是让我当司机 巫妖生存指南 谭笑风声里，灼灼桃之夭 西游：六岁熊孩子，开局怒怼观世音 巨树领主
朕靠宠妻续命
雍盛穿进了一本朝堂女尊文。原文女主谢折衣是侯府备受冷落的千金，被当作弃子，送入后宫，给分分钟会挂的病弱幼帝冲喜。冲喜冲喜，皇帝没捞着啥喜，喜全冲在了谢折衣身上。她借此机会，逆天改命，扳倒了娘家，斩了第一权臣，将干政的太后送进尼姑庵，在短命夫君身边加了张凤椅垂帘听政，还夜夜幽会各种器大活好的小白脸啧。一代权后，哪里都好，除了皇帝头上有点绿。雍盛就是这个皇帝。作为一个成天在生死边缘仰卧起坐的病鬼皇帝，雍盛对头顶的草原视而不见，人生只专注三件事活命宠妻战略性吃软饭。但吃着吃着，碗里的软饭忽然就硬了，硬得就像皇后的胸膛嗯？不对劲他的折衣怎么好像是个大兄弟？雍盛双目无神hey，man，我那么大一个媳妇儿呢？谢折衣一身红衣如火，墨发披肩，妖里妖气老夫老妻了，不如将就一下？雍盛你猜我怎么笑着哭来着jpg谢折衣拉他衣角圣上哇啊啊啊！雍盛倒退着滚下龙床，朕不可！朕铁直！朕要废后！真香。扮猪吃老虎病弱受vs雌雄莫辨腹黑美攻下本预收伶宦打滚求收藏～文案如下国破家亡，江山易主。从金尊玉贵万人之上的皇子沦落成深宫中受尽折辱的优伶时，元翎曾问自己，还要不要活下去。他要活。可深深宫墙之内，哪有登云之梯？掌印太监萧启绪，心狠手辣，权焰熏天，万人之上。想办法接近他讨好他利用他。哪怕机关算尽，不择手段。督主，在看什么？没什么。萧启绪轻拭去手上他人鲜血，眼中笑意晦如万丈深渊。又一个泥沼血海里往上爬的可怜人罢了。可惜选错了路，也选错了人。人说司礼监掌印萧启绪，喜怒无常，诡谲莫测，是天大的坏人，天生的疯子。可他不是坏人，也不是疯子。他是血海里的鬼，盛世里的魔。想从他手里拿到东西的，皆要付出百倍代价。那夜，玉碎山河。萧启绪掐着元翎下颌，附在他耳边，语气暧昧又执迷。怎么，殿下如今知道后悔了？可惜啊晚了。前排高亮1，狗血三千，我取一缸饮。2，疯批出没，一个接一个。感恩支持魔蝎小说...
离谱！我撩的清冷老婆竟是顶级E
关于离谱！我撩的清冷老婆竟是顶级E直男猫系alphaX疯批蛇系enigma猝死后，沈知然绑定系统，成为一本烂尾文里的炮灰alpha。做任务途中，沈知然跟朝夕相处的反派谈起恋爱。高岭之花反派清冷绝美，在他面前粘人又听话，虽然爱强制，但沈知然只当老婆在乎他，越发觉得甜蜜。但反派的马甲一个个掉落，沈知然意识到对方很不简单。订婚前夕，他更是发现，自己捧在手心里的omega老婆竟然是enigma！沈知然跑啊！沈知然提出解除婚约。反派笑着答应，然而下一刻，视线却陷入黑暗。再醒来，沈知然发现自己双手被锁，矜贵清冷的青年环着他的腰，冰冷呼吸紧贴耳侧，病态偏执分开？除非我死。重生后，江珩想做的第一件事就是掐死沈知然，却发现沈知然躯壳里换了个灵魂。新的沈知然会给他包扎伤口会带他看星星，逗他开心明明脆弱却保护他喝醉后会软着声说喜欢。江珩改主意了。他要沈知然的爱。如果沈知然不给，那就不择手段。爱上为止。...
生灵祭台
关于生灵祭台我张斌只是一介凡人，我只想活下去，只想更好的活下去，只想随心所欲的活下去，可这贼老天，为何偏偏如此捉弄与我，邪恶属性的天赋就都是恶人么？难道我就该死？都是第一次做人，天下兴亡与我何干？本文属于慢节奏，前情交代比较仔细。...
穿进剧综世界的我在诸天做海商
大龄愤青一朝重回青春岁月，穿入剧综世界。解锁船只，开启诸天大海商系统，积累贸易值招募船员升级船只兑换道具，一步一步成就超凡。启航，立业，实现事业腾飞，铸就殖民帝国，反哺现实，打造诸天最强大海商。过程中差价赚到手软，顺便收获娇妻美妾这很合理吧？在主世界，凭借‘亿点点’特殊能力，‘小小’加强一下龙国的海洋实力也不过...
港综：都穿越了谁还替大B卖命
穿越到港片，成为大B手下的马仔陈日升。帮他打下铜锣湾，他却转手把我卖给警察。坐了三年苦窑，出来却被告知陈浩南要上位。大哥是不仁在前，就别怪我不义在后。红棍我不要了，大嫂我替你照顾，免得被将军一家人整整齐齐。...
无限升级之最强武魂
平凡学生楚炎，异世觉醒逆天武魂且看他如何一路逆袭邂逅仙姿美女，碾压九界天才。天才高手，在我面前，都是用来踩的。打爆一切不服者！狂虐各路高手！踏九宵破苍穹逆乾坤！祭炼神鼎丹方，踏武道巅峰！执掌万界，开创无上神通，成就一代传奇，傲视古今。这一世，我要不留遗憾！九天十地！唯我独尊！为所欲为！...