哥德尔终其一生,都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。
地球数学界近百年也没有遇到这种陈述。
实际上,按照哥德🙱尔的想法⛧🜴,人类在相当长的一段时间里都不会遇到这种陈述。它必然存在🜍🀴🁂于算学的未知部分,隐藏在重重迷雾之中。
有很多数学家,都不会对这一个不包含🌺实际数学内🜄容的玩意投🃍🖣以关注。
闵可夫冷笑:“那么,你的⛧🜴证明真的如你所说,意义🗆重大👇吗?”
“我只是推断出有这种陈述的存在,📽☬并不等于说我知道这👇个陈述。”王崎道:“这就好比说,有人死了,判断是他杀还是自杀不难,可判断谁是凶手就要难很多。”
“是,我承认,你的论证过程确实很强。但🜩🄴是,我看不到它实际的意义。”
王崎既然知晓这个软肋的存在,又怎么会不做准备?他早就准备好了对于这个问题的回答。从善如流:“当中古的数家研究圆锥曲线的时候,他🃔🗟们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道,这个不完备的证明过程在未来究竟会怎么样我们什么时候才能发现一个包含实际算理的不可判🇷🝈定陈述呢?我不知道,也不可能知🗞🜭🅚道。这个问题,只能付之于时间。让时间去解答。”
“🈂我也说过。算学的不完👆🆩💋备,并不在已知,而在未知。面对🂥🐻未知,我们永远不会知道会遇到什么。”
王🈂崎只能这么说。在力迫法出现🕚之前,这种非议都会存在的。
这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来,对着王崎发出驳斥。这些驳斥当中,有些正正切🙖👌中要害。有些不痛不痒。🃈王崎都一一给🄻予回击。
但是,王崎并非是完全孤立无援。
突然,有一些算家发现自己的话语问不出口🜩🄴了他们在这万仙幻境当中开不了口了!这时🂦,只见图灵真人站起来,对着四方拱拱手,温和笑道:“诸位,可允许我去问几个问题?”
也只有这位浸淫算器领域数百🕖年的强大逍遥。才能在这片幻境之中以一压多。纵有人不满,也只能在这个时候选择乖乖听🙖👌好。
图灵真人站起来,对着王崎问道:“王道友🜩🄴,我想同你讨论一下函数的极限……”
图灵一开口,就让其他人愣住了。
这个……这位逍遥,究竟是站在哪边的?
看他和冯落衣坐在一起,不应该是来📽☬帮助王崎的🛢吗?
为什么🖈🐬他问出的问题,比绝大多数人问出的问题都要尖锐?