一意孤行提示您：看後求收藏（第789部分,走進修仙,一意孤行,630看書），接著再看更方便。
請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能，避免出現內容無法顯示或者段落錯亂。
是不是很輕鬆很寫意很愉快？
實際上呢，數學家甚至已經設計出了一種特殊的圖靈機——海狸機。這種圖靈機就可以用這種“暴力拆封”的辦法，破解掉幾乎所有數學問題。
而王崎讓驢子揹著的，就是一種“海狸機”。也就是所謂的“四色四態海狸機”。
如果將這種暴力窮盡的方法利用在哥德巴赫猜想的例子之上的情形時，比如說，我們可以簡單地設計一個程式，它對每一個大於四的偶數都測試它是不是兩個素數之和，如果它找到一個反例就輸出，如果找不到，它就永遠也不會停止。就這樣，我們將哥德巴赫猜想轉化為了某種低階的停機問題。現在我們將這個程式用兩色海狸機來執行，如果這段程式使用了兩色海狸機的五十種狀態來編寫，那麼海狸機在執行了五十態的“海狸移動數”之後仍然不停止的話，那麼我們就可以肯定，這個程式他永遠都不會停止了——因為他已經將如果可以停止下來的話的全部的“符號的排列組合”都用光了。就這樣，困擾陳景雲多年的難題就會被五十態海狸機給輕易的強行碾碎。
雖然可以在海狸機內部構造各種指令讓印刷頭的移動步數變多，但是總的來說，只要鑲嵌機可以停下來，那麼紙帶和海狸機的印刷部件、主部件聯合的排列組合所能達到的，紙帶上的文字種類總和是有限的。類似於段子裡面的對所有數學符號的排列組合的暴力搜尋，海狸機便是這樣一個對圖靈機，乃至於集合論本身的“表現真理的能力”暴力搜尋的機器。
但是，為什麼沒有人用這種方式研究數學呢？
成本問題。
首先，這裡必須解釋一下，海狸機為什麼叫“海狸機”。在西方國家，“海狸”這種小動物被視作“忙碌”和“勤勞”的象徵。而“忙碌海狸”，則是“忙到死”的意思。
海狸機與其延伸的“忙碌海狸問題”，就帶著這樣黑色的隱喻——即使忙到死，也絕對不可能完成事情。
以“海狸機所能鑲嵌完成的，紙帶上面的有文字的塊最大時的數量”的“海狸文字數”，以及“印刷頭印刷的次數”的“海狸移動數”，就是王崎方才
本章未完，點選下一頁繼續閱讀。