#科技史話# 1936 年 11 月 12 日,艾倫·圖靈發表了一篇題為《論可計算數及其在判定問題上的應用》的重要論文。

在《論可計算數及其在判定性問題上的應用》論文中,圖靈用如今被稱之為圖靈機的抽象機器,代替了哥德爾的以通用算術為基礎的形式語言。由一個控制器、一個讀寫頭和一根無限長帶方格的紙帶組成。運行原理是讀寫頭能夠讀取紙帶上的信息,根據內部的程序將運算出來的結果寫在紙帶上,是一種由虛擬的機器替代人類進行的數學運算。如今,圖靈機還是計算理論研究的中心課題,圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。

值得一提的是,當圖靈把論文提交時,美國數學家阿隆索·邱奇在幾個月之前也發表了一篇論文,而且他同樣證明了圖靈論文判定性問題不可解的結論。圖靈知道邱奇跟他在做同一樣事情后,便動身前往邱奇工作的地方,邱奇也因此成為了圖靈的導師。隨後在 1950 年,圖靈在對人工智慧的研究中,提出了「圖靈測試」實驗,嘗試定出一個決定機器是否有人類智能的標準。

贊助商連結

LINE it!
分享至google+
╰( ◕ ᗜ ◕ )╯ 快點加入微博粉絲團!
回頁頂