艾倫·圖靈

生平概覽

圖靈的精選階段連結劍橋、普林斯頓、布萊切利、特丁頓和曼徹斯特，並區分抽象計算模型與後來具體機器的工程實現。戰時解密和戰後計算研究是集體工作，採用的技術與目標也各有不同。

地點與人生轉折

虛線表示已列地點的先後順序，不表示精確旅行路線。

1. 1

   1931—1936年

   從數學學習到可計算性

   劍橋 城市級代表點

   圖靈於1931年進入國王學院，1935年成為研究員。在馬克斯·紐曼的鼓勵下，他研究可判定性問題，並寫成1936年關於可計算數的論文。論文中的機器是界定程序及其限度的數學模型，不能理解成當時劍橋房間裡已經造好了一台可運作的電子電腦。

   城市級代表點，不表示某個房間、機構或實際行進路線的精確位置。

   代表點座標 · 52.205°, 0.119°

   在地圖中探索這段人生

   關聯歷史

   1. 科學史 · 1936年（可計算數論文）

      圖靈用抽象機器刻畫可計算性

      圖靈以讀寫符號的抽象機器研究機械計算的能力和邊界，並描述通用機器；它是數學模型，並非一臺已經建成的電腦。

      直接關聯 · 圖靈是該可計算性事件中論文的作者。

      ↗
2. 2

   1936—1938年

   普林斯頓的邏輯學研究

   紐澤西州普林斯頓 城市級代表點

   圖靈前往普林斯頓師從阿隆佐·邱奇，並於1938年完成博士學位。他研究以序數為基礎的邏輯系統，繼續探討可計算性論文所引出的數學問題。這段經歷屬於戰前的大學研究，不是美國戰時解密任務；地圖也不將城市內不同學術機構合併為一處。

   城市級代表點，不表示某個房間、機構或實際行進路線的精確位置。

   代表點座標 · 40.35°, -74.651°

   在地圖中探索這段人生

3. 3

   1939—1945年

   布萊切利的集體解密工作

   布萊切利 城市級代表點

   第二次世界大戰期間，圖靈在布萊切利園的政府密碼學校工作，參與破解德國恩尼格瑪通信。數學方法、機械裝置與大規模團隊協作相互配合，不能把每份解密情報或該機構使用的每一種機器都歸於他一人。地圖表示主要工作基地，不復原所有秘密出差與具體房間。

   城市級代表點，不表示某個房間、機構或實際行進路線的精確位置。

   代表點座標 · 51.997°, -0.743°

   在地圖中探索這段人生

4. 4

   1946—1948年

   特丁頓的ACE設計

   特丁頓 城市級代表點

   在英國國家物理實驗室，圖靈提出自動計算引擎ACE的詳細設計，方案於1946年獲接受。從邏輯構想到硬體需要工程、組織與時間，他於1948年離開，早於後來Pilot ACE的運作。這裡展示設計和協作階段，不將方案接受誤寫為他獨自造好了完整機器。

   城市級代表點，不表示某個房間、機構或實際行進路線的精確位置。

   代表點座標 · 51.426°, -0.335°

   在地圖中探索這段人生

5. 5

   1948—1954年

   計算、智慧與生命圖案

   曼徹斯特 城市級代表點

   圖靈於1948年加入曼徹斯特計算實驗室，此前Baby電腦已完成首次運作。他研究程式設計與機器智慧，1950年發表《計算機器與智慧》，1952年又以形態發生論文探討生物圖案。不同方向體現數學方法的延伸，不代表一次「圖靈測試」已解決智慧或意識的全部問題。

   城市級代表點，不表示某個房間、機構或實際行進路線的精確位置。

   代表點座標 · 53.48°, -2.242°

   在地圖中探索這段人生

影響與背景

他的研究影響了可計算性、機器智慧、密碼分析、電腦設計和數學生物學。不能把所有早期電腦都歸為他個人發明；1950年的模仿遊戲是討論機器行為的方案，也不是證明機器具有意識的實驗結論。

資料依據

• 中国科学院计算技术研究所：电子计算机由来与发展
• 中国科学院软件研究所：探索人工智能的历史

資料支持具體年代與背景，書目以純文字顯示。