点击进入无广告高清中文字幕版>>

阿兰·马蒂森·图灵于1921年出生在伦敦,从小就表现出惊人数学和科学能力

他对计算机科学的建树始于 1935 年

当时他是剑桥国王学院的硕士生

他开始解决德国数学家 大卫·希尔伯特 提出的问题

即"可判定性问题":

是否存在一种算法,输入正式逻辑语句输出准确的"是"或"否"答案?

美国数学家 阿隆佐·丘奇于 1935年 首先提出解决方法

开发了一个叫"Lambda 算子"的数学表达系统

证明了这样的算法不存在

虽然"Lambda 算子"能表示任何计算

但它使用的数学技巧 难以理解和使用

同时在大西洋另一边

阿兰·图灵 想出了自己的办法来解决"可判定性问题"

提出了一种假想的计算机,现在叫"图灵机"

图灵机提供了简单又强大的数学计算模型

虽然用的数学不一样

但图灵机的计算能力和 Lambda 算子一样

同时因为图灵机更简单,所以在新兴的计算机领域更受欢迎

由于图灵对计算机科学贡献巨大,许多东西以他命名

其中最出名的是"图灵奖"

计算机领域的最高奖项

相当于物理, 化学等其它领域的诺贝尔奖

虽然英年早逝,但图灵激励了第一代计算机科学家

而且为如今便利的数字时代 做出了重要基石性工作