约翰·麦卡锡主要事迹

约翰·麦卡锡(John McCarthy，1927-2011)是当之无愧的“人工智能之父”和计算机科学领域的泰斗。他不仅为这个领域命名，更奠定了其早期的理论和工具基础。

John McCarthy，1927—2011，生于美国马萨诸塞州波士顿

1955年，麦卡锡联合马文·明斯基(Marvin Minsky)、克劳德·香农(Claude Shannon)等顶尖学者，共同起草了一份项目提案，首次正式提出了“人工智能”(Artificial Intelligence)这一术语。

随后，他在1956年主导发起了著名的达特茅斯会议。这次会议确立了AI的核心目标——让机器模拟人类的推理、学习与问题求解能力，被公认为人工智能作为一门独立学科正式诞生的标志。

1958年，麦卡锡发明了 Lisp（LISt Processor）语言。

诞生故事：据说他利用当年圣诞节到新年的假期，在一台IBM 704计算机上独自完成了Lisp的奠基性设计。
深远影响：Lisp是历史上首个专为符号计算和递归逻辑设计的高级编程语言。它首创了众多现代编程的核心概念，如垃圾回收（Garbage Collection）、高阶函数、动态类型等。直到今天，Python、JavaScript等主流语言的许多特性依然能看到Lisp的影子。

麦卡锡认为，人工智能的关键不仅仅是模式识别，而是要让机器具备像人一样的常识和逻辑推理能力。

Advice Taker计划：早在1958年，他就提出了这个极具前瞻性的计划，主张用逻辑声明的方式告诉机器常识（例如“鸟会飞，但企鹅不会”），让机器能够自主进行推理。
情景演算：1963年，他提出了“情景演算”（Situation Calculus），用形式化的逻辑来建模动作、状态变迁与因果关系，这直接孕育了后来的知识表示与知识图谱技术。