艾倫·圖靈 (Alan Turing)
數學家與電腦科學先驅
關於
艾倫·圖靈（1912–1954）是英國數學家，其研究奠定了電腦科學與人工智能的理論基礎。他提出的「圖靈機」概念將計算本身形式化，而他 1950 年的論文《計算機器與智能》引介了著名的「圖靈測試」作為機器智能的判斷標準。第二次世界大戰期間，他領導破解 Enigma 密碼的團隊，協助提早結束戰爭。他提出的「機器能思考嗎？」這一問題，開啟了 AI 這個領域，並持續是人工心智辯論的核心。
主要貢獻
- 以圖靈機形式化「計算」本身，為電腦科學提供演算法能力的精確模型
- 透過 Entscheidungsproblem 相關工作證明計算的限制，使不可判定性成為電腦科學核心概念
- 1950 年提出「機器能思考嗎？」並設計 imitation game，至今仍是機器智慧辯論的參照點
- 在 Bletchley Park 主導關鍵密碼分析工作，包括破解德軍 Enigma 通訊的方法與機器
- 戰後設計 Automatic Computing Engine，是早期儲存程式電腦設計之一
- 以反應—擴散方程研究形態發生，顯示他對計算的興趣延伸到生物與圖樣形成
- 戰後因同性戀遭起訴、後來被平反，使他同時成為科學天才與國家迫害的象徵
