艾伦·图灵

出生： 1912年
逝世： 1954年
头衔： 计算机科学之父

定义计算的人

图灵在第二次世界大战期间破解恩尼格玛密码的工作帮助赢得了战争。但他关于计算的理论工作——定义什么是"可计算的"——为数字时代和人工智能奠定了基础。

核心贡献深度解析

图灵机

图灵的简单理论设备——一条带子、一个读写头和一组规则——定义了可以计算的内容。现代计算机能做的任何事情，图灵机都可以做（只要有足够的时间和带子）。

丘奇-图灵论题： 任何可以通过任何方式计算的函数都可以由图灵机计算。这是计算机科学的基础。

停机问题

图灵证明了没有算法可以确定任意程序是否会停止或永远运行。这个计算的基本限制对以下方面具有深远的影响：

• 软件验证： 我们无法自动证明所有程序都是正确的
• 人工智能： 机器可以决定的局限性
• 数学： 与哥德尔的不完备性定理相关

破解恩尼格玛

在第二次世界大战期间，图灵在布莱切利园工作，破解了德国的恩尼格玛密码。据估计，他的工作使战争缩短了2-4年，拯救了数百万人的生命。

他设计了Bombe机器，自动化了密码破解过程。这项工作被保密了几十年。

悲剧的结局

图灵在一个同性恋在英国非法的时代是同性恋。1952年，他被判"严重猥亵"罪，并面临选择：监狱或化学阉割。他选择了后者。

两年后，他死于氰化物中毒，可能是自杀。在他床边发现的苹果可能是苹果公司标志的灵感来源。

影响

图灵的工作创造了数字时代：

• 计算机科学： 计算的理论基础
• 人工智能： 机器智能的图灵测试
• 密码学： 现代加密和密码破解
• 生物学： 形态发生的数学模型（自然界中模式如何形成）

2013年，伊丽莎白二世女王授予图灵死后赦免。今天，"图灵奖"是计算机科学的最高荣誉——相当于诺贝尔奖。

图灵表明，计算不仅仅是关于机器——它是一个基本概念，帮助我们理解逻辑、数学，甚至生命本身。