實際上，在每一次輪回中，最先察覺到異常的并不總是AI祝心雨。

        不，如果對這個問題進行統計的話，不難發現，大部分情況下都不是祝心雨最先察覺到異常。

        真正占據這個“大部分”的人，其實是AI阿納托利。

        20世紀，偉大的數學家大衛·希爾伯特說出了作為數學家的終極狂想。他希望證明，任何人類會遇到的數學問題，都可以在有限的步驟之內得出結果。

        而這個問題實際上可以等價于“是否存在一個理想的機器，可以對一切數學問題進行計算”。

        從20世紀30年代起，數理邏輯學家就提出了幾種計算模型，試圖建立可計算性的數學模型。庫爾特·哥德爾最開始在這個領域建功立業。阿隆佐·邱奇的λ演算、波斯特的POST演算，安德雷·安德耶維齊·馬爾可夫的正則演算都是這一領域的豐碑。

        然后，阿蘭·圖靈正式提出了“理想計算機”的概念，將問題的算法可解性描述為在具有嚴格定義的理想計算機上的可解性。

        圖靈機是一種非常強大的計算模型。一切可以被機器所計算的數學問題都可以由它來解決。

        但是，阿蘭·圖靈最終卻戳破了“我們必將知道”的幻夢。

        他證明了，不存在一個理想的機器，可以在有限步驟內處理所有數學問題。

        圖靈機是不可能解決一切數學問題的。

        阿納托利在一開始就是天分不輸，不，是猶勝過上述任何一位數學家的天才。

        內容未完，下一頁繼續閱讀