一台抽象的机器,定义了"计算"本身
图灵设想了一台极其简化的假想机器:一条无限长的纸带、一个能读写符号并沿纸带移动的读写头、一套有限的状态转换规则——仅凭这套极简装置,他证明了几乎任何可以被明确描述的计算过程都能被这台机器执行,这一"图灵机"模型此后成为整个计算机科学理论的公理化起点,图灵也因此被尊为"计算机科学之父"。
英国数学家,现代计算机理论奠基人与二战密码破译功臣
阿兰·图灵(1912-1954)是英国数学家,1936年发表论文提出"图灵机"这一抽象计算模型,用极简的规则严格定义了"什么是可计算的问题",为现代计算机科学奠定了最核心的理论基石——在图灵之前,"计算"更多是一种模糊的数学操作概念,图灵机第一次给出了机械化、可形式证明的计算理论框架,此后所有实际建造的计算机,本质上都是图灵机这一理论模型的物理实现。二战期间,他在英国布莱切利园主导设计了名为"炸弹机"(Bombe)的电动密码分析机器,成功破译德军"恩尼格玛"密码系统,历史学家普遍认为这一贡献可能将战争进程缩短了两年以上,挽救了无数生命。战后他进一步提出"图灵测试",探讨机器能否具备可被认定为"智能"的行为表现,是人工智能哲学讨论的开创性文献。图灵本人因同性恋身份,在1952年英国法律仍将同性性行为定罪的背景下被判"严重猥亵罪",被迫接受化学阉割式的激素治疗,两年后因氰化物中毒去世,官方结论为自杀,直至2013年才由英国王室正式追授赦免。
图灵设想了一台极其简化的假想机器:一条无限长的纸带、一个能读写符号并沿纸带移动的读写头、一套有限的状态转换规则——仅凭这套极简装置,他证明了几乎任何可以被明确描述的计算过程都能被这台机器执行,这一"图灵机"模型此后成为整个计算机科学理论的公理化起点,图灵也因此被尊为"计算机科学之父"。
二战期间,图灵在英国布莱切利园的密码破译中心主导设计电动密码分析机器"炸弹机",通过系统性排除法大幅缩短了破译德军恩尼格玛密码所需的时间,使盟军得以提前掌握德军的潜艇部署与作战计划——这项工作在战后数十年间被列为国家机密,图灵本人直到去世都未能公开这一挽救无数生命的贡献,他的功绩在他生前始终不为公众所知。
图灵在二战期间的密码破译贡献究竟对战争进程产生了多大实际影响,历史学家的具体估算数字存在一定差异,但普遍认可其贡献是显著且关键的。
以下是现代作品对这个名字或故事的借用、改写,不代表原始内容——两者不一样,别混着记。