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