第(2/3)頁

    何科沒有說太久。算主的眼睛盯著他。那黑色的眸子似乎有無邊的魄力。很快，他就說不下去了。過了好一會，算主才將目光拉回到那個自己已經停滯了許久的證明。他仿佛想要沿著這個證明，“看到”算學的彼岸。

    “我們必須知道，我們必將知道……”

    他輕聲呢喃。

    “總而言之，我最近的思路了。”王崎一臉平淡的對著馮落衣匯報了自己的思路。

    所謂的“思路”，有些時候是需要藏著掖著，但是有些時候說出來也無妨。

    王崎的這個思路對于馮落衣來說，就是這樣。

    馮落衣已經是巔頂的修士了。無論命還是利，他都沒有更高的要求了。這位大算家心中所想的。無非就是求得大道，另外還有擺脫那個所謂的“終極圖景”。除此之外，再也沒有什么利益能夠打動他了。

    倒不如說，為了實現他的理想。王崎這種有天分的后輩越多越好。從這個層面來講，馮落衣對王崎的支持當真可以說是不遺余力。

    這也是那些已經“登頂”的家伙不吝嗇于提攜后輩的原因。

    馮落衣則在腦海當中思考王崎的思路。他想到：“看你這態勢，竟好似要殺穿這個二十三問啊。”

    “不敢，不敢。”王崎要要有。二十三問何其可怕？就算在地球，這二十三個問題當中依舊有數問是懸而未決的。他就算有信心獨立解決其中的一兩問，也不敢說能夠解決所有。

    馮落衣搖搖頭：“以后的事情。誰知道呢？五六年前吧，我就沒看出來，你居然能夠循著那個完備性，一舉擊穿第二問、第十問——唔，說不定還要再添上第一問。”

    “不過……”馮落衣的眼神突然銳利起來：“你好像總是很喜歡走彎路。”

    “彎路？”

    王崎錯愕。力迫法才是完美解決連續統假設問題的不二之選啊？為什么是彎路？

    “我最近看到了一個思路，很奇特，很有趣。”馮落衣盯著王崎的眼睛，道：“將所有可建立集合同和成一個系統，在無限中比較無限的大小……”

    王崎錯愕：“有人想出來了？”

    這就是當初哥德爾證明連續統假設的思路！

    在ZF公理允許的范圍之內作推到，證明，若是ZF公理系統具備一致性，則連續統假設為真。在ZF公理體系之內，連續統假設無法被證偽。

    對于二十三問來說，這應該已經算是一個完美的答案了。

    但是，“不能證偽”并不代表“證實”。

    沿著這個思路，人們同樣可以證出，在ZF公理系統之內，連續統假設不能證實。

    換句話說，連續統問題在集合論的范疇之內，是一個具備了不可判定性的問題。如果這個“不能證實也不能證偽”的結論再早一點，那么不用嚴格證明第十問，這就是對“可判定性”的一個絕對反例。

    只有在現有公理體系之外，才能證明。
    第(2/3)頁