约翰·麦卡锡获 1971 年图灵奖

背景

约翰·麦卡锡（John McCarthy）1927 年 9 月 4 日出生于马萨诸塞州波士顿^[1]。今天被称为「人工智能」的领域，其名字正是他提出的：1956 年在达特茅斯学院（Dartmouth College）举行的一次会议上，他引入了这个名称^[1]。两年后他转到 MIT，与马文·明斯基（Marvin Minsky）在那里共同组建了人工智能项目（Artificial Intelligence Project）^[1]。也是在 MIT 期间，他创造了 LISP（LISt Processor）语言——一种围绕列表和符号表达式的处理而设计、不只面向数字计算的编程语言。它后来成为人工智能研究的重要工具，至今仍被广泛使用^[1]。

获奖

1971 年，ACM（美国计算机学会）将 A.M. 图灵奖（A.M. Turing Award）授予约翰·麦卡锡^[1]。奖方在说明中提及他的演讲《人工智能研究的现状》（The Present State of Research on Artificial Intelligence），指出该演讲所涵盖的正是他获得广泛认可的那个领域^[1]。也就是说，这项荣誉与他对整个研究领域的梳理和界定有关，而不是针对某一个程序或某一台机器。

关键细节

奖项公布时，麦卡锡已经进入了他此后长期任职的机构。他从 1965 年起任斯坦福大学计算机科学教授，并在 1966 年至 1980 年间担任斯坦福人工智能实验室（Stanford Artificial Intelligence Laboratory）主任^[1]。这两个职位让他处在这门新学科的组织中心：一边是讲授这门学科的大学院系，一边是为这项工作而建立的实验室。

麦卡锡于 2011 年 10 月 24 日在加利福尼亚州斯坦福去世^[1]。

影响

图灵奖是一个学科回望自身历史的方式，而 1971 年的这次授奖所承认的工作，既有技术性的，也有制度性的：为一个研究领域命名，为它建立一个共同的项目，并提供一种可以用来书写其程序的语言。LISP 比它最初为之编写的那种机器活得更久，在获奖之后很长时间里仍在被使用^[1]。麦卡锡后来获得的荣誉还包括 1988 年的京都奖和 1990 年的美国国家科学奖章^[1]；但就他命名并为之配齐工具的这个领域而言，1971 年的图灵奖是通过他而得到的第一次正式承认。