阿兰·图灵

图灵机：计算的数学定义

1936 年，24 岁的图灵在论文《论可计算数》中提出了图灵机：一条无限长的纸带、一个读写头、一套状态转移规则——这个抽象模型定义了「什么是可计算的」，并证明了停机问题不可判定（即没有通用程序能判断任意程序会不会停止）。图灵机不是实物，而是一个思想实验，但它奠定了现代计算机的理论基础，所有现代 CPU 本质上都是图灵完备的。同年，邱奇用 lambda 演算独立得出等价结论，两人结论合称邱奇-图灵论题。[1]

Enigma 破译与战后的悲剧

1939 年图灵加入布莱切利庄园，主持破解德军 Enigma 加密机。他改良了波兰密码学家的 Bomba 机器，设计出更快的 Bombe，配合统计学攻击（利用德军固定开头如「Heil Hitler」的明文习惯）大幅提速破译。盟军因此可以提前获知潜艇作战位置，大西洋海战形势逆转。战后图灵回到学术界，1950 年发表论文提出图灵测试：如果人无法区分对话对象是人还是机器，则认为机器有智能——这一标准争议至今。1952 年他因与男性伴侣同居被捕，被判化学阉割，1954 年去世，官方结论为氰化物中毒自杀，但部分学者认为存在意外的可能。