關於
艾倫·圖靈（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
路德維希·維根斯坦
觀點交鋒語言與邏輯哲學家
1939 年，圖靈坐在維根斯坦於劍橋開設的數學基礎講課裡；學生留下的筆記記錄了兩人的爭論：圖靈為形式主義辯護，維根斯坦則堅持數學並不發現真理，而是發明真理。一個人剛剛定義了「機器遵循規則」是什麼意思；另一個人卻在追問「遵循一條規則」究竟可能是什麼。每一次爭論一個遵循規則的模型是否理解規則，都是重新走進那間教室。
en.wikipedia.org · en.wikipedia.org · Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge 1939, ed. Cora Diamond (1976)
寇特·哥德爾
受其影響邏輯學家與數學家
圖靈是在 1935 年 Max Newman 的課堂上得知哥德爾 1931 年的不完備性證明；他 1936 年對希爾伯特判定問題的回答，用的是同一種對角線手法，證明沒有任何機器能回答所有關於機器行為的問題。哥德爾本人也被圖靈的分析說服：一個絕對的「機械可計算性」概念已經被找到了。圖靈 1938 年的序數邏輯接著追問：當心智看出一個哥德爾語句為真、而系統卻無法證明它時，心智到底在做什麼？——這至今仍是所有關於機器心智的論證繞著打轉的問題。
plato.stanford.edu · en.wikipedia.org
