琅玺小说>奇幻>三个老头拥着躁我一个 > 四章 、、营救孟娜
    实🛺♶际上,按照哥德尔的想💿🗪🞗法,人类在相当长的一段👀时间里都不会遇到这种陈述。它必然存在于算学的未知部分,隐藏在重重迷雾之中。

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

    闵可夫冷笑:“那么,你的证🁹🊩📃明真的如你所说,意义重大吗?”

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

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

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

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

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

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

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

    突然,有一些算家发现自己的话语问不出口了他们在🐫🂰这万仙幻境当中开不了⚏口了!这时,只见图灵真人站起来,对着四🊗🐞🀺方拱拱手,温和笑道:“诸位,可允许我去问几个问题?”

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

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

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

    这个……这位逍遥,究竟是站在哪边的?

    看他和冯落衣坐在一起,不应该是来⛫帮助王崎的吗?🐫🂰

    为什么他问出的问题,比绝大🁹🊩📃多🐢🁥数人问出的问题都要尖锐?

    王🛺♶崎笑了笑:“最近我也有一些新的想🌃🟧法……”

    在王崎解答了这个问题之后,图灵真人立刻🂀🋭🜤问出🇅第二个问题🞕来。

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