科學家們好不容易開辟了一個領域,會滿足于取得的成績,就此躑躅不前?
不存在的!
事實上沒有多久,科學家們就對圖靈描述的可計算性不滿足了。開始思考有沒有比圖靈機更強的,可以實現圖靈機無法計算的難題的新模型。
也就是超計算模型!
量子計算機就是其中一種。
不過其計算能力本質上還是與圖靈機等價,只是計算復雜度要優秀的多。可以把指數類難題降級到多項式時間內。
這就結束了嗎?
當然不會!
除了量子計算機,還有阿蘭·圖靈本人提出的,通過喻示“黑箱”來搞定“判定性問題”的喻示機。
而之后的大部分超計算模型,也都是基于喻示機的概念——通過將其他特性引入圖靈機,使其不受先前的計算能力限制。
所以阿蘭·圖靈偉大,被譽為“計算機科學之父”、“人工智能之父”,同樣十分著名的馮·諾依曼只是“現代計算機之父”。
實在是二人的關系就仿佛提出了質能方程的愛因斯坦,與組織建造了原子彈的奧本海默。
又扯遠了,類似的超計算模型還有——
Blum-Shub-Smalemachine;無限精度神經網絡模型;模糊圖靈機;相對論效應計算機;芝諾機;Fast-growingconstructsOracle;Self-similar元胞自動機;極限遞歸模型;波計算機;量子引力計算機;CoupledTuringMachines;Hypertask模型;快子模型;概率圖靈機;無限狀態圖靈機等等……
其中有一類分外吸引兩位分寒的注意!
那叫做:封閉類時曲線計算機。
其原理,是利用廣義相對論中擁有閉合時間曲線的特殊時空來輔助計算機運算,就如同給計算機配了一臺時間機器。
然后解題就如同源代碼、遺落戰境,一次過不了關,那就取檔重來一次,記憶不斷累加,錯誤選項不斷排除,而時間陷入循環并不會前進……
直到做出題目的那一刻,也就是出題的下一刻!
如此一來,似乎不可計算的蔡廷常數是不是就可以巧妙的計算出來了?
是不是仿佛科幻小說?
但這確實是科學家精心計算的,而且有其科學道理的模型。
甚至通用以時間循環執行遞歸函數,在限定時間內窮盡所有可能性,從理論上解決了祖父悖論的難題。
正常來說,大部分超級算模型都是不可實現的。
比如有的模型要求時間是離散的;有的模型要求所在宇宙支持時空的無限可分,或者世界線的本征時間無限;有的必須不受熱力學層面的制約……
又比如相對論時間效應計算機要求把計算機加速到接近光速,最好是超光速,利用時間效應,壓縮計算機的求解時間以提高效率。但那需要的能量以現如今的科技手段根本就是癡心妄想!
而封閉類時曲線則要求特殊類型的廣義相對論時空,同樣……
等等!
如果沒有記錯,黑洞分寒正處于嚴重扭曲的廣義相對論時空吧?
所以黑洞分寒將參考書目一列,福地分寒就知道他的意思了!
這位分寒赫然打算將難以預測、瀕臨失控的隕落世界黑洞,彎曲折疊成能產生封閉類時曲線的洛倫茨流形,這樣就有機會將超級量子計算機的星機盤,改造成封閉類時曲線計算機了!