艾伦·图灵(1912-1954)是英国数学家、逻辑学家和计算机科学家,其1936年关于可计算数的论文引入了如今被称为图灵机的理论模型,为人工智能和现代计算奠定了理论基础。第二次世界大战期间,他在布莱切利园领导密码破译工作,其关于炸弹机的研究帮助破解了德国恩尼格玛密码机,为盟军战争胜利作出了重大贡献。
早年生活与理论工作
图灵在剑桥和普林斯顿接受教育,于1936年证明,不存在任何单一算法能够对每一个可能的程序判定其是否会停机,这一结果被称为停机问题。他为此设计的抽象“图灵机”成为计算的标准理论模型,后来被证明与阿隆佐·丘奇提出的λ演算及其他形式体系在能力上等价。
布莱切利园
从1939年起,图灵在英国政府密码与密码学校布莱切利园工作。他设计了机电式炸弹机,该机器自动化了搜索德国恩尼格玛密码机每日设置的过程,其密码分析工作被广泛认为缩短了战争进程。他在战时贡献的规模在其去世后数十年间仍属机密。
战后计算与《计算机器与智能》
战后,图灵在国家物理实验室和曼彻斯特大学从事早期存储程序计算机的研究,为自动计算引擎贡献了设计方案。1950年,他在《心》杂志上发表了《计算机器与智能》,提出了后来被称为图灵测试的构想:与其追问机器能否“思考”,,一个模糊且有争议的术语,,图灵提议通过机器的对话是否与人类无法区分来评判机器。该论文预见了此后数十年反复出现的种种反对意见,包括意识论证、数学极限以及归于阿达·洛夫莱斯的“洛夫莱斯反对意见”,并至今仍是关于通用人工智能以及何为机器理解的辩论的参考基准。
迫害与去世
1952年,图灵因同性恋行为(当时属刑事犯罪)依据英国法律被起诉,并接受化学阉割以替代入狱。他于1954年因氰化物中毒去世,验尸官裁定为自杀,但传记作者对其死因一直存在争议。他于2013年获得追授的皇家赦免,2017年的“艾伦·图灵法”则追溯赦免了其他依据同一法律被定罪的男性。
遗产
图灵被广泛视为计算机科学以及后来在1956年达特茅斯研讨会上被命名为人工智能这一领域的奠基人,尽管他未能亲眼见证。图灵奖是计算领域的最高荣誉,以他的名字命名,而图灵测试至今仍是文化上的试金石,每当聊天机器人或大型语言模型生成令人信服的类人文本时,人们便常常(往往较为随意地)引用它,但许多研究者认为这种比较并非对真正机器智能或自然语言处理能力的良好测试。