我们只能看到前方不远的地方，但我们能看到那里有许多事情需要去做。
— 艾伦·图灵，《计算机器与智能》（1950）
艾伦·图灵（1912–1954）在计算机出现之前就发明了计算机。1936 年，为了回答一个逻辑问题，他设想了一台纸上的机器：它在一条纸带上读写符号。他证明了，凡是人按照规则能做的计算，这台机器都能做。在同一篇论文里，他还证明了存在任何这样的机器都无法回答的问题。
第二次世界大战期间，他在布莱切利园参与破译了恩尼格玛——德国海军的密码机。战后，他设计了最早的电子计算机之一，追问机器能否思考，并用方程解释了一个没有形状的胚胎如何长出条纹和斑点。他在因同性恋被定罪两年后去世，年仅 41 岁。
在这条路线中，我们讲述图灵的一生，并把计算摆在明处，重做他的八个思想。
他是谁
艾伦·马西森·图灵
- Nascimento
- 1912 年 6 月 23 日，伦敦
- Morte
- 1954 年 6 月 7 日，英格兰威姆斯洛
- Origem
- 英国
- Áreas
- 逻辑、计算、密码分析、概率和数学生物学
阅读路线
生平
发现与证明
- 图灵机：用铅笔、纸带和规则来计算
- 停机问题：没有机器能回答的问题
- 可计算数：几乎每个数都无法计算
- 通用机：程序也是数据
- 恩尼格玛：1.59×10²⁰ 个密钥和一个缺陷
- 班伯里法：用分班衡量证据
- 模仿游戏：机器能思考吗？
- 形态发生：方程里的豹斑