艾伦·图灵
1912–1954, 英国伦敦, 英国柴郡威姆斯洛
数学基础应用与计算数学
英国数学家、逻辑学家,提出以其名字命名的抽象计算机模型,奠定了计算机科学的理论基础,并在二战破译德国恩尼格玛密码的工作中发挥核心作用。
艾伦·图灵1931年进入剑桥大学国王学院,1935年因独立证明中心极限定理(他当时并不知道该结果已被证明)而当选研究员。1936年,他发表论文《论可计算数及其在判定问题上的应用》,提出一种抽象装置——即今日所称的图灵机——依据有限条规则表在纸带上读写符号。他借此证明不存在一种算法能对任意一阶逻辑命题判定其是否在逻辑上有效(等价地,是否能在一个可靠且完备的形式系统中得到证明),从而对希尔伯特的判定问题给出否定回答,并首次给出与具体机器无关、严格的"计算"定义。
在普林斯顿跟随阿隆佐·邱奇完成博士研究后,图灵回到英国,自1939年起在布莱切利园的政府密码学校工作。他在破译德国恩尼格玛密码中发挥核心作用,共同设计了用于破解德国空军、后来又用于破解海军恩尼格玛通信的机电装置"炸弹机"——这项工作缩短了战争进程,并被保密数十年。
工作单位: 剑桥大学国王学院, 布莱切利园政府密码学校, 曼彻斯特大学
英国