能自相矛盾,站不稳跟脚。
如何绕过这个限界,一度是数学家们最关心的问题。
“这次的尝试,算是败了。”图灵真人缓缓说道:“这个被我成为万象算法的算术,还有其他意义,我过些时候再整理出来。接下来我讲的,却是我个人的一个小小想法。”
“假如只是假如。”图灵真人强调道:“若是我们真的可以绕过那个界限这里我们暂且不管具体是怎么绕过的,只说我们可以做到这一点。就当天道突然就得廉价了,‘大道之音’‘梵圣禅唱’之类的灵犀充盈与天地之间,然后我们可以轻易的建立这么一台算器,它直接连通大道,可以给定一切特定问题的答案……”
王崎心中明了。图灵真人说的,在地球上便被称作“谕示机”。
“谕示机”,是另一连着“上帝”的图灵机,是关着先知的黑箱。假如说,有一个谕示机带有素数判定谕示,它除了能做普通图灵机能做的一切事情以外,还能瞬间判定纸带上写的某个自然数是否素数,而不需要实际去计算。
那么,一些原本涉及自我指涉、涉及矛盾的问题,谕示机能够解决吗?
比如说,自我指涉引发的矛盾。
“这就是最近做出的另外一个猜想了。这个‘自我指涉’,究竟能不能绕过去呢?”图灵真人苦笑:“虚构出的大道圣音,究竟能不能解决这个问题?”
数学经常有这种证明方法,就是先假定一个东西存在,然后再根据这个前提做种种逻辑推演。
图灵真人这做出的推演,其本质就是找出一个我想象当中无所不能的存在,假定它能够解决原本不可判定的问题,然后再看它究竟能够解决什么问题。
“我们想象出来的东西,究竟能不能完成这项事业呢?”图灵真人看着王崎和冯落衣,平静的问道:“若是可行,则代表我们的道路还有一线希望。但就算我们假象当中的无所不能都做不到……”
冯落衣问道:“其结果如何?”
-->>(第4/5页)(本章未完,请点击下一页继续阅读)