约翰·麦卡锡

生平

约翰·麦卡锡(John McCarthy,1927-2011)出生于美国波士顿,先后任教于 MIT 与斯坦福大学,创建了斯坦福人工智能实验室(SAIL)。

主要贡献

1956 年他与明斯基、香农等人组织达特茅斯会议,并在提案中首次使用「人工智能(Artificial Intelligence)」一词,该会议被视为 AI 学科的起点。1958 年他发明 Lisp 语言,引入符号计算、递归函数、条件表达式与自动垃圾回收,Lisp 至今仍是最具影响力的语言之一。他还较早提出分时系统构想和「效用计算」思想,后者被视为云计算理念的先声。

荣誉

麦卡锡 1971 年获图灵奖,后又获美国国家科学奖章,是符号主义 AI 路线的代表人物。