约翰·麦卡锡（1927-2011）是美国计算机科学家，他在1955年创造了“人工智能”这一术语，并组织了1956年的达特茅斯研讨会，该研讨会将该领域确立为一门学术学科。他还创造了LISP编程语言，这是人工智能研究中最早期且最具影响力的语言之一。
早期职业生涯与达特茅斯提案
麦卡锡在加州理工学院和普林斯顿大学学习数学，期间受到克劳德·香农信息论工作的影响。1955年，他在达特茅斯学院时，与马文·明斯基、克劳德·香农和纳撒尼尔·罗切斯特共同撰写了一份资助提案，提议开展一个夏季研究项目，以探索“关于学习的每个方面或任何其他智能特征原则上都可以被精确描述，以至于可以制造一台机器来模拟它的猜想”。该提案引入了“人工智能”这一术语，而由此产生的1956年研讨会通常被视为该领域的奠基事件。
LISP与符号计算
1958年，当时在麻省理工学院的麦卡锡设计了LISP（列表处理器），这是一种围绕符号表达式和递归函数构建的语言，在数十年间成为符号人工智能研究的主导语言。LISP引入了垃圾回收和条件表达式等思想，其影响远远超出了人工智能领域，波及了更广泛的编程语言。麦卡锡还开创了分时计算机系统，并在1959年的一篇论文中提出了“建议采纳者”，这是一种早期设计，旨在让程序能够使用逻辑推理来解决问题，是后来专家系统和知识表示工作的前身。
斯坦福大学与后期职业生涯
麦卡锡于1962年移居斯坦福大学，在那里他创立了斯坦福人工智能实验室，并度过了职业生涯的大部分时间。他始终是人工智能基于逻辑方法的倡导者，认为常识推理需要形式化的知识表示，这一立场使他与后来主导该领域的统计和神经网络方法（包括现代大型语言模型背后的深度学习方法）产生紧张关系。他因对人工智能的贡献于1971年获得图灵奖。
遗产
麦卡锡的达特茅斯提案实际上为人工智能领域命名，而他坚信智能可以通过形式化、符号化的规则来捕捉，这一信念塑造了人工智能研究的最初几十年，这种方法后来被称为“老式人工智能”或符号人工智能。尽管他基于逻辑的范式在很大程度上被数据驱动的机器学习所取代，但他对常识推理和形式化知识表示的强调，继续为关于纯统计系统局限性以及追求通用人工智能的讨论提供启示。