艾伦·图灵

生平概览

图灵的精选阶段连接剑桥、普林斯顿、布莱切利、特丁顿和曼彻斯特，并区分抽象计算模型与后来具体机器的工程实现。战时破译和战后计算研究是集体工作，采用的技术与目标也各有不同。

地点与人生转折

虚线表示已列地点的先后顺序，不表示精确旅行路线。

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年的模仿游戏是讨论机器行为的方案，也不是证明机器具有意识的实验结论。

资料依据

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

资料支持具体年代与背景，书目以纯文字展示。