计算机简史第四章 电子时代之图灵机

讲讲图灵对计算机的贡献
‍

图灵机发明的背景

阿兰·马蒂森·图灵 （Alan Mathison Turing）于 1921 年出生在伦敦， 从小就表现出惊人数学和科学能力。

​​

艾伦·麦席森·图灵（Alan Mathison Turing），1912-1954，英国数学家、计算机学家、逻辑学家、密码学家、哲学家、理论生物学家。（图片来自维基百科）

‍

他对计算机科学的建树始于 1935 年，当时他是剑桥国王学院的硕士生，他开始解决德国数学家 大卫·希尔伯特提出的问题： Entscheidungsproblem （德语），即“可判定性问题”: 是否存在一种算法，输入正式逻辑语句，输出准确的"是"或"否"答案？

如果这样的算法存在， 可以回答比如 “是否有一个数大于所有数？” （虽然我们知道答案：没有）。但有很多其他非常难以解决的数学问题，我们想知道答案，因为如果我们知道是没有解决方法的，就不用花时间去尝试解决了。

美国数学家阿隆佐·丘奇， 于 1935 年首先提出解决方法，开发了一个叫“Lambda 算子”的数学表达系统，证明了这样的算法不存在。虽然“Lambda 算子”能表示任何计算，但它使用的数学技巧难以理解和使用。

同时在大西洋另一边，阿兰·图灵 想出了自己的办法来解决"可判定性问题"，提出了