王崎出現(xiàn)之后，馮落衣和圖靈二人主動(dòng)在桌子邊上讓出一個(gè)位子，示意他坐下。這表示，他們已經(jīng)認(rèn)可王崎作為一個(gè)算家的能力，將他視作地位平等的同道而非晚輩。圖靈還對(duì)王崎笑笑：“你這顯化的幻象也喝不了茶，所以就不給你斟了。”
    馮落衣首先問了王崎：“事情都解決完了嗎？”
    “是，茍大寶那邊的手尾已經(jīng)做完了，那邊應(yīng)該也有報(bào)告。這一次，那邊……”
    “具體的事情不必告訴我。我只用知道沒有出事就行了。”馮落衣平靜的說道。在王崎和茍大寶開始實(shí)證的時(shí)候，就有許多天劍正對(duì)那個(gè)秘地。以當(dāng)時(shí)的情況，就算茍大寶能夠脫離那個(gè)空間站式的小型天辰法器，也只會(huì)被天劍追上，然后徹底蒸發(fā)。
    馮落衣先是跟王崎簡要的說了一下自己與圖靈真人剛剛的對(duì)話。王崎首先是驚服于圖靈真人的所做，更感嘆了一下這個(gè)宇宙物理規(guī)律的神奇。
    在這個(gè)宇宙，馮諾依曼機(jī)的概念，是比圖靈機(jī)更早出現(xiàn)的。這是一個(gè)非常神奇的事情。馮落衣和圖靈是先靠著模仿生靈魂魄，規(guī)范化出馮氏構(gòu)架，然后又將之進(jìn)一步機(jī)械化，得出一個(gè)不大嚴(yán)格的“圖靈機(jī)”。
    也只有科技黑箱特別容易形成的這個(gè)宇宙，才能夠支持這種現(xiàn)象。
    現(xiàn)在，神州修士對(duì)算器和算盤之間的認(rèn)知是這樣的――首先，算器無疑是算盤的進(jìn)階版本。但是，算器和算盤之間也沒有過度的版本呢？
    沒人知道。
    而現(xiàn)在，圖靈真人就接著數(shù)學(xué)邏輯的突飛猛進(jìn)，填上了這一塊空缺。
    這個(gè)研究可不是什么美其名曰“填補(bǔ)空白”的騙經(jīng)費(fèi)項(xiàng)目。它明確了算器的基礎(chǔ)，讓算器的發(fā)展“腳踏實(shí)地”。
    很多算器方面的理論，有了更加堅(jiān)實(shí)的根基。算器方向研究進(jìn)行的余地也更大些。
    而按照?qǐng)D靈說的，這還只是一個(gè)“副產(chǎn)品”。他是在思考如何繞過“不可判定”的時(shí)候，對(duì)著算器理論做出的改進(jìn)。
    而圖靈真人真正思考的問題，才是更讓王崎感興趣。
    “您是說，您剛才在嘗試著做出一種邏輯推理的方法，用來證明……證明一些問題？”
    “我希望他能夠繞過你的不完備，不過貌似是失敗了。”圖靈真人攤開自己的書稿，指著道：“首先，我們?cè)谝粋€(gè)未知的變天式當(dāng)中定義出天元地元人元――就像我們經(jīng)常在天元式當(dāng)中做的一樣，用虛構(gòu)的符號(hào)去處理未知的變天式。然后，我們假設(shè)我們有兩個(gè)變天式‘斗’和‘牛’――別問我具體是什么，假設(shè)有這么一個(gè)……”
    馮落衣有些感興趣了。這種什么都是“假設(shè)”的思路，還是很罕見的。
    而另一邊，王崎卻長大了嘴。
    “這……這分明是……”
    這是λ算法，地球歷史上存在過的另外一個(gè)不可判定的證明。
    也就是阿蘭?圖靈的導(dǎo)師，數(shù)學(xué)家丘奇的證明方法。
    雖然阿蘭?圖靈最終證明了這個(gè)λ算法和圖靈機(jī)是等價(jià)的，都是對(duì)不可判定性的證明。但是，這兩個(gè)證明法在數(shù)學(xué)上卻有著截然不同的意義。在后續(xù)的發(fā)展當(dāng)中，圖靈機(jī)證明和λ算法證明都走出了一條皇皇大道。
    想到這里，王崎看著圖靈真人那稍顯清秀的臉，心中有些唏噓。
    想不到啊想不到。圖靈機(jī)證明和λ算法證明互為表里，同歸但又殊途。自己之前借著著“自指”的東鳳，用了圖靈機(jī)證明的不可判定，然后圖靈真人又將丘奇的思路給完成了。
    ――神州的大修，雖然身上都有地球上某些人的影子，但是，他們終究是有自己的生命的。
    丘奇是阿蘭?圖靈的導(dǎo)師。但是在此方天地，圖靈真人乃是自學(xué)成才，這才自領(lǐng)了千機(jī)閣，鎮(zhèn)壓扶桑萬妖。
    ――不過，圖靈的思路應(yīng)該和丘奇不大對(duì)得上才是吧？圖靈真人到底是如何走出這一步的？
    兩位逍遙修士都是思維敏捷，交流也非常快。就在王崎走神的片刻功夫，圖靈真人已經(jīng)說完了自己的新點(diǎn)子。他笑了笑，道：“這算法也稱得上不俗了。我自己試過，他能夠證明幾乎一切命題，表達(dá)幾乎一切算學(xué)系統(tǒng)――它是個(gè)完備的系統(tǒng)。”
    這是圖靈真人對(duì)不可判定性的思考，也是他對(duì)不完備的思考。
    馮落衣道：“可王崎之前也證明過了，完備性和相容性是不會(huì)同時(shí)存在的。這若是個(gè)萬有萬能的算法，那……”
    “那它必然是一個(gè)自相矛盾的算法。”王崎手指在空中劃動(dòng)，凝聚彩光，寫下道道算式：“對(duì)于有意義的邏輯系統(tǒng)，強(qiáng)大的表達(dá)能力必然伴隨著堅(jiān)不可摧的限制。我們現(xiàn)在代入一些明顯是錯(cuò)誤的算法……你看，也說得通”
    若是一個(gè)理論，對(duì)也好錯(cuò)也罷，正面反面都能解釋得通，怎么說都說得出道理，那就等于沒有任何道理。
    圖靈真人看王崎反應(yīng)迅捷，贊賞的點(diǎn)了點(diǎn)頭：“你確實(shí)厲害。我在最開始的時(shí)候，也意識(shí)到了這一點(diǎn)。只不過，當(dāng)時(shí)我還想著，能夠靠著施加更多‘限定’來規(guī)避這種自相矛盾。”
    “不可能的。”王崎搖頭道：“自我指涉是繞不過去的。”
    自我指涉，同樣是λ算法繞不過去的坎。
    這個(gè)名為λ的算法當(dāng)中，λ的原型是一