阿兰·图灵

核心成果

• 提出「图灵机」模型，给出「可计算性」的精确定义，是理论计算机科学的奠基之作。
• 证明停机问题不可判定，与丘奇共同确立「丘奇—图灵论题」。
• 二战期间破译德军 Enigma 密码，扭转战局。
• 提出「图灵测试」（机器智能的判据），研究形态发生的图灵斑图（反应扩散方程）。
• 计算机科学与人工智能的奠基人；41 岁英年早逝。

代表著作 / 文献

• 《论可计算数及其在判定问题上的应用》
• 《计算机器与智能》

历史影响

计算机科学之父；其思想定义了数字计算与人工智能的根本边界。

相关人物 / 主题

哥德尔、丘奇、冯·诺依曼