k9小说网

手机浏览器扫描二维码访问

第二百四十章 绝伦的双簧（第2页）

哥德尔终其一生，都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。

地球数学界近百年也没有遇到这种陈述。

——实际上，按照哥德尔的想法，人类在相当长的一段时间里都不会遇到这种陈述。它必然存在于算学的未知部分，隐藏在重重迷雾之中。

有很多数学家。都不会对这一个不包含实际数学内容的玩意投以关注。

闵可夫冷笑：“那么，你的证明真的如你所说，意义重大吗？”

“我只是推断出有这种陈述的存在，并不等于说我知道这个陈述。”王崎道：“这就好比说，有人死了，判断是他杀还是自杀不难，可判断谁是凶手就要难很多。”

“是，我承认，你的论证过程确实很强。但是，我看不到它实际的意义。”

王崎既然知晓这个软肋的存在，又怎么会不做准备？他早就准备好了对于这个问题的回答，从善如流：“当中古的数家研究圆锥曲线的时候，他们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道，这个不完备的证明过程在未来究竟会怎么样——我们什么时候才能现一个包含实际算理的不可判定陈述呢？我不知道，也不可能知道。这个问题，只能付之于时间。让时间去解答。”

“我也说过，算学的不完备，并不在已知，而在未知。面对未知，我们永远不会知道会遇到什么。”

王崎只能这么说。在力迫法出现之前。这种非议都会存在的。

这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来，对着王崎出驳斥。这些驳斥当中，有些正正切中要害，有些不痛不痒。王崎都一一给予回击。

但是，王崎并非是完全孤立无援。

突然，有一些算家现自己的话语问不出口了——他们在这万仙幻境当中开不了口了！这时，只见图灵真人站起来，对着四方拱拱手。温和笑道：“诸位，可允许我去问几个问题？”

也只有这位浸淫算器领域数百年的强大逍遥，才能在这片幻境之中以一压多。纵有人不满，也只能在这个时候选择乖乖听好。

图灵真人站起来，对着王崎问道：“王道友，我想同你讨论一下函数的极限……”

图灵一开口，就让其他人愣住了。

这个……这位逍遥，究竟是站在哪边的？

看他和冯落衣坐在一起，不应该是来帮助王崎的吗？

为什么他问出的问题，比绝大多数人问出的问题都要尖锐？

王崎笑了笑：“最近我也有一些新的想法……”

在王崎解答了这个问题之后。图灵真人立刻问出第二个问题来。

“你有没有考虑过具备无限条公理的公理系统？“图灵问道：”每一次加入一条新的公理，新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话，每一个系统都是一直无矛盾的。这样，我们重复无数次，添加可数而无穷的公理。这样的话，我们无论使用了多少条公理，总有更强大的一条公理证明前面的公理一致无矛盾，那么，这个系统便称得上是无懈可击吧？“

“我也这么认为。可是，很遗憾。这种拥有无限公理的公理系统毫无意义。”王崎道：“我们必须先熟知一个公理系统当中所有的公理，才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理，我们便不可能知晓它能够陈述什么、判断什么……”

两个人的问答，越来越流利。也越来越畅快。渐渐的，周围的异动小了下来。

图灵真人，分明是用更加系统化的方式、从更加深入的角度，将他们察觉出的种种不足给问了出去。

而在这种前提之下，王崎还能够对答如流，无数有不完备衍生出的定理、对不完备证明的补充。还有新的算器技术，都在图灵真人和王崎的一问一答当中展现了出来。

闵可夫哼了哼，不屑的在私聊当中低于：“双簧而已……他们两个绝对是对好了的。图灵就是一个托！”

何外尔苦笑：“可就算是托……那也是非同凡响的。至少，我是问不出口了。”

王崎和图灵真人的问答，就是要在展示自己的理论是成体系的。

讲道的主题，被定死在不完备、不可判定。这个是不能变的。他们现在在做的，就是在问答环节展示自己的水准，堵住悠悠之口。

纵然所有人都看得出，这二人在唱双簧，又怎么样？

现在问问题，十有八九就是撞到别人的刀刃上，自取其辱！

这便是史上独一无二的，绝伦的双簧！

图灵真人堂而皇之的将这一场问答，变成了他个人与挖的劳伦。两个人也是被激出了灵感，讨论逐渐脱离了预定的内容，开始向更深处展。

这一下，就连能够插嘴的人都很少了。

算君庞家莱看着问答中的两人，摇摇头，只是冷笑：“这声屁放得响，不算太臭。”

另一边，算主希柏澈至始至终一言未。（未完待续。）

跃马西凉  神雕战神  换嫁后发现质子夫君他爱我  重生乐神  我在游戏世界搞基建  我是来种地的  为师实在是太弱了  清穿后我绑定了强国系统  赘婿当道全文免费 阅读小说最新  顾辰神武霸帝  我真的只想做角色球员  虐仙记  黑夜之眼  枫灵大陆  反派:黑化女主们，跪求我当坏人  冷血老公太温柔  未来之树  流浪仙人  毕业就结婚吧  穿越之我不想做驸马