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