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

“我只是推断出有这种陈述的存在，并不等于说我知道这个陈述。”

王崎道：“这就好比说，有人死了，判断是他杀还是自杀不难，可判断谁是凶手就要难很多。”

“是，我承认，你的论证过程确实很强。

但是，我看不到它实际的意义。”

王崎既然知晓这个软肋的存在，又怎么会不做准备？他早就准备好了对于这个问题的回答，从善如流：“当中古的数家研究圆锥曲线的时候，他们不会知道自己的理论就是《大道之算理》的根基之一。

我们也不会知道，这个不完备的证明过程在未来究竟会怎么样——我们什么时候才能发现一个包含实际算理的不可判定陈述呢？我不知道，也不可能知道。

这个问题，只能付之于时间。

让时间去解答。”

“我也说过，算学的不完备，并不在已知，而在未知。

面对未知，我们永远不会知道会遇到什么。”

王崎只能这么说。

在力迫法出现之前。

这种非议都会存在的。

这个解答显然不能够让所有反对者满意。

一个又一个巅顶算家站了起来，对着王崎发出驳斥。

这些驳斥当中，有些正正切中要害，有些不痛不痒。

王崎都一一给予回击。

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

突然，有一些算家发现自己的话语问不出口了——他们在这万仙幻境当中开不了口了！

这时，只见图灵真人站起来，对着四方拱拱手。

温和笑道：“诸位，可允许我去问几个问题？”

也只有这位浸淫算器领域数百年的强大逍遥，才能在这片幻境之中以一压多。

纵有人不满，也只能在这个时候选择乖乖听好。

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

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

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

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

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

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

在王崎解答了这个问题之后。

图灵真人立刻问出第二个问题来。

“你有没有考虑过具备无限条公理的公理系统？“图灵问道：”

每一次加入一条新的公理，新的公理系统就比原有的公理系统更加强大。

每一个公理系统都在解释前一个公理系统。

样子的话，每一个系统都是一直无矛盾的。

这样，我们重复无数次，添加可数而无穷的公理。

本章未完，点击下一页继续阅读