艾倫·圖靈 (Alan Turing)
數學家與電腦科學先驅
關於
艾倫·圖靈（1912–1954）是英國數學家，其研究奠定了電腦科學與人工智能的理論基礎。他提出的「圖靈機」概念將計算本身形式化，而他 1950 年的論文《計算機器與智能》引介了著名的「圖靈測試」作為機器智能的判斷標準。第二次世界大戰期間，他領導破解 Enigma 密碼的團隊，協助提早結束戰爭。他提出的「機器能思考嗎？」這一問題，開啟了 AI 這個領域，並持續是人工心智辯論的核心。
主要貢獻
- 以圖靈機形式化「計算」本身，為電腦科學提供演算法能力的精確模型
- 透過 Entscheidungsproblem 相關工作證明計算的限制，使不可判定性成為電腦科學核心概念
- 1950 年提出「機器能思考嗎？」並設計 imitation game，至今仍是機器智慧辯論的參照點
- 在 Bletchley Park 主導關鍵密碼分析工作，包括破解德軍 Enigma 通訊的方法與機器
- 戰後設計 Automatic Computing Engine，是早期儲存程式電腦設計之一
- 以反應—擴散方程研究形態發生，顯示他對計算的興趣延伸到生物與圖樣形成
- 戰後因同性戀遭起訴、後來被平反，使他同時成為科學天才與國家迫害的象徵
影片與訪談
論文與出版物
On Computable Numbers, with an Application to the Entscheidungsproblem
1936Defined computability through the universal machine and proved the limits of what any mechanical procedure can decide.
閱讀論文Computing Machinery and Intelligence
1950Replaced 'can machines think?' with the imitation game, founding the modern debate on machine intelligence.
閱讀論文思想連結
Alonzo Church
受其影響Mathematician & Logician
1936 年圖靈來到普林斯頓，在 Church 門下寫他的博士論文——而 Church 正是那個以完全不同路徑、比他略早抵達同一道邊界的人。Church 的 λ 演算把計算定義為純粹的代換，圖靈的機器則把它定義為一位帶著紙帶的抄寫員。兩者最終被證明描述了完全相同的一類程序，這就是邱奇—圖靈論題，也是電腦科學最接近自然律的東西。
plato.stanford.edu · en.wikipedia.org · On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
愛達·勒芙蕾絲
觀點交鋒數學家與首位電腦程式設計師
1843 年，Lovelace 寫下分析機「並不自命能創造任何東西」；1950 年，圖靈把這句話列為九項反對意見中的第六項，並指名回應。他的解讀是：這項反對真正的意思是機器永遠無法讓我們感到意外——而機器一直讓他感到意外。這是本站最奇特的一場爭論：其中一方已經過世九十八年，而爭論至今未決。
plato.stanford.edu · doi.org · fourmilab.ch
約翰·馮紐曼
影響了他/她數學家暨電腦架構先驅
圖靈在普林斯頓的那幾年，馮紐曼也在那裡；他對通用機器著迷到願意聘圖靈當博士後助理，後來更把 1936 年那篇論文列為自己在高等研究院電腦計畫成員的必讀。Stanley Frankel 記下馮紐曼稱自己只是「接生婆」，並堅持「根本的構想歸功於圖靈」。你桌上的機器至今仍被稱為馮紐曼架構——他本人會認為這是誤植。
plato.stanford.edu · plato.stanford.edu · en.wikipedia.org
克勞德·夏農
曾經對談數學家與資訊理論之父
1943 年初，圖靈人在美國——在華盛頓參與海軍密碼分析，也到貝爾實驗室協助語音加密——那兩個月裡，他和夏農在餐廳的午茶時間相遇。圖靈把 1936 年那篇定義通用機器的論文拿給他看，夏農發現其中許多想法與自己的思路彼此呼應。二十世紀兩個最根本的抽象——計算與資訊——就在一杯茶的時間裡認出了彼此。
en.wikipedia.org · Andrew Hodges, Alan Turing: The Enigma (1983)
