<!--go-->

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

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

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

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

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

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

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

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

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

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

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

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

Loading...

未載入完，嘗試【重新整理網頁】or【關閉小說模式】or【關閉廣告遮蔽】。

使用【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟並收藏！

移動流量偶爾打不開，可以切換電信、聯通網路。

收藏網址：www.peakbooks.cc

(＞人＜；)