第(1/3)頁

    說一個笑話吧，一個關于數學的笑話。

    如果想要用“暴力破解”的辦法證明哥德巴赫猜想，那應該怎么做呢？

    很簡單，首先我們推測哥德巴赫猜想的完美證明“最少”需要多少個數學符號，然后我們驗證這個上限以內的全部數學符號的排列組合，那么哥德巴赫猜想的證明便得以完成。

    就這么簡單，就這么輕松，陳景潤先生的悲愿就直接達成了。

    是不是很輕松很寫意很愉快？。

    實際上呢，數學家甚至已經設計出了一種特殊的圖靈機——海貍機。這種圖靈機就可以用這種“暴力拆封”的辦法，破解掉幾乎所有數學問題。

    而王崎讓驢子背著的，就是一種“海貍機”。也就是所謂的“四色四態海貍機”。

    如果將這種暴力窮盡的方法利用在哥德巴赫猜想的例子之上的情形時，比如說，我們可以簡單地設計一個程序，它對每一個大于四的偶數都測試它是不是兩個素數之和，如果它找到一個反例就輸出，如果找不到，它就永遠也不會停止。就這樣，我們將哥德巴赫猜想轉化為了某種低級的停機問題。現在我們將這個程序用兩色海貍機來運行，如果這段程序使用了兩色海貍機的五十種狀態來編寫，那么海貍機在運行了五十態的“海貍移動數”之后仍然不停止的話，那么我們就可以肯定，這個程序他永遠都不會停止了——因為他已經將如果可以停止下來的話的全部的“符號的排列組合”都用光了。就這樣，困擾陳景云多年的難題就會被五十態海貍機給輕易的強行碾碎。

    雖然可以在海貍機內部構造各種指令讓印刷頭的移動步數變多，但是總的來說，只要鑲嵌機可以停下來，那么紙帶和海貍機的印刷部件、主部件聯合的排列組合所能達到的，紙帶上的文字種類總和是有限的。類似于段子里面的對所有數學符號的排列組合的暴力搜索，海貍機便是這樣一個對圖靈機，乃至于集合論本身的“表現真理的能力”暴力搜索的機器。

    但是，為什么沒有人用這種方式研究數學呢？

    成本問題。

    首先，這里必須解釋一下，海貍機為什么叫“海貍機”。在西方國家，“海貍”這種小動物被視作“忙碌”和“勤勞”的象征。而“忙碌海貍”，則是“忙到死”的意思。

    海貍機與其延伸的“忙碌海貍問題”，就帶著這樣黑色的隱喻——即使忙到死，也絕對不可能完成事情。

    以“海貍機所能鑲嵌完成的，紙帶上面的有文字的塊最大時的數量”的“海貍文字數”，以及“印刷頭印刷的次數”的“海貍移動數”，就是王崎方才所問題目的終極答案。

    如果是二態的海貍機，那么10的連續取冪于自己10次的態的海貍機所能鑲嵌完成的，皮帶上面的有顏色的塊最大時的數量，這便是歌庭派的策梅洛-弗蘭克爾集合論所能達到的證明力的極限。

    10的連續取冪于自己10次，這已經是凡人所不能達到的數，如果某個基于策梅洛-弗蘭克爾集合論的證明的復雜度，或者說，證明的長度，已經達到了這個常數的地步，那么它就會處于不可證的狀態，因為它相當于將集合論所能用的全部的“符號的排列組合”都用光了。

    當海貍機具有三態的時候，人類的數學便已經不能揣度最后的常數了——那個數已經大道無法表達。

    二色六態的海貍機，其海貍文字數和海貍移動數已經是物理上的不可求解了——如果以人類現有的電子計算機的效率來計算，即使將地球所在的無靈氣宇宙整個宇宙都化為能源，也沒辦法得出二色六態海貍機的海貍文字數與海貍移動數。

    四色四態海貍機，同樣屬于“物理上的無法證明”。

    “心想事成”老哥疑似具有許愿機的屬性，那么，這個問題就是檢測它本質的時候了。
    第(1/3)頁