第(1/3)頁

    王崎出現之后，馮落衣和圖靈二人主動在桌子邊上讓出一個位子，示意他坐下。這表示，他們已經認可王崎作為一個算家的能力，將他視作地位平等的同道而非晚輩。圖靈還對王崎笑笑：“你這顯化的幻象也喝不了茶，所以就不給你斟了。”

    馮落衣首先問了王崎：“事情都解決完了嗎？”

    “是，茍大寶那邊的手尾已經做完了，那邊應該也有報告。這一次，那邊……”

    “具體的事情不必告訴我。我只用知道沒有出事就行了。”馮落衣平靜的說道。在王崎和茍大寶開始實證的時候，就有許多天劍正對那個秘地。以當時的情況，就算茍大寶能夠脫離那個空間站式的小型天辰法器，也只會被天劍追上，然后徹底蒸發。

    馮落衣先是跟王崎簡要的說了一下自己與圖靈真人剛剛的對話。王崎首先是驚服于圖靈真人的所做，更感嘆了一下這個宇宙物理規律的神奇。

    在這個宇宙，馮諾依曼機的概念，是比圖靈機更早出現的。這是一個非常神奇的事情。馮落衣和圖靈是先靠著模仿生靈魂魄，規范化出馮氏構架，然后又將之進一步機械化，得出一個不大嚴格的“圖靈機”。

    也只有科技黑箱特別容易形成的這個宇宙，才能夠支持這種現象。

    現在，神州修士對算器和算盤之間的認知是這樣的——首先，算器無疑是算盤的進階版本。但是，算器和算盤之間也沒有過度的版本呢？

    沒人知道。

    而現在，圖靈真人就接著數學邏輯的突飛猛進，填上了這一塊空缺。

    這個研究可不是什么美其名曰“填補空白”的騙經費項目。它明確了算器的基礎，讓算器的發展“腳踏實地”。

    很多算器方面的理論，有了更加堅實的根基。算器方向研究進行的余地也更大些。

    而按照圖靈說的，這還只是一個“副產品”。他是在思考如何繞過“不可判定”的時候，對著算器理論做出的改進。

    而圖靈真人真正思考的問題，才是更讓王崎感興趣。

    “您是說。您剛才在嘗試著做出一種邏輯推理的方法，用來證明……證明一些問題？”

    “我希望他能夠繞過你的不完備，不過貌似是失敗了。”圖靈真人攤開自己的書稿，指著道：“首先。我們在一個未知的變天式當中定義出天元地元人元——就像我們經常在天元式當中做的一樣，用虛構的符號去處理未知的變天式。然后，我們假設我們有兩個變天式‘斗’和‘牛’——別問我具體是什么，假設有這么一個……”

    馮落衣有些感興趣了。這種什么都是“假設”的思路，還是很罕見的。

    而另一邊。王崎卻長大了嘴。

    “這……這分明是……”

    這是λ算法，地球歷史上存在過的另外一個不可判定的證明。

    也就是阿蘭·圖靈的導師，數學家丘奇的證明方法。
    第(1/3)頁