证明真的如你所说,意义重大吗?”
“我只是推断出有这种陈述的存在,并不等于说我知道这个陈述。”王崎道:“这就好比说,有人死了,判断是他杀还是自杀不难,可判断谁是凶手就要难很多。”
“是,我承认,你的论证过程确实很强。但是,我看不到它实际的意义。”
王崎既然知晓这个软肋的存在,又怎么会不做准备?他早就准备好了对于这个问题的回答,从善如流:“当中古的数家研究圆锥曲线的时候,他们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道,这个不完备的证明过程在未来究竟会怎么样——我们什么时候才能发现一个包含实际算理的不可判定陈述呢?我不知道,也不可能知道。这个问题,只能付之于时间。让时间去解答。”
“我也说过,算学的不完备,并不在已知,而在未知。面对未知,我们永远不会知道会遇到什么。”
王崎只能这么说。在力迫法出现之前。这种非议都会存在的。
这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来,对着王崎发出驳斥。这些驳斥当中,有些正正切中要害,有些不痛不痒。王崎都一一给予回击。
但