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

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

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

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

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

即"可判定性问题":

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

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

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

证明了这样的算法不存在

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

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

同时在大西洋另一边

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

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

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

虽然用的数学不一样

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

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

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

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

计算机领域的最高奖项

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

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

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


本站内容未经许可,禁止任何网站及个人进行转载。

   口袋儿题库-青少儿编程自测题库