阿兰·马蒂森·图灵于1921年出生在伦敦，从小就表现出惊人数学和科学能力
他对计算机科学的建树始于 1935 年
当时他是剑桥国王学院的硕士生
他开始解决德国数学家 大卫·希尔伯特 提出的问题
即"可判定性问题":
是否存在一种算法，输入正式逻辑语句输出准确的"是"或"否"答案？
美国数学家 阿隆佐·丘奇于 1935年 首先提出解决方法
开发了一个叫"Lambda 算子"的数学表达系统
证明了这样的算法不存在
虽然"Lambda 算子"能表示任何计算
但它使用的数学技巧 难以理解和使用
同时在大西洋另一边
阿兰·图灵 想出了自己的办法来解决"可判定性问题"
提出了一种假想的计算机，现在叫"图灵机"
图灵机提供了简单又强大的数学计算模型
虽然用的数学不一样
但图灵机的计算能力和 Lambda 算子一样
同时因为图灵机更简单，所以在新兴的计算机领域更受欢迎
由于图灵对计算机科学贡献巨大，许多东西以他命名
其中最出名的是"图灵奖"
计算机领域的最高奖项
相当于物理, 化学等其它领域的诺贝尔奖
虽然英年早逝，但图灵激励了第一代计算机科学家
而且为如今便利的数字时代 做出了重要基石性工作
本站内容未经许可，禁止任何网站及个人进行转载。
