约翰·麦卡锡：为AI命名的人与理性主义的旗手

约翰·麦卡锡（John McCarthy，1927年9月4日-2011年10月24日），美国计算机科学家，生于马萨诸塞州波士顿，1951年获普林斯顿大学数学博士学位。他是人工智能领域先驱，1956年提出"人工智能"概念并参与发起达特茅斯项目，被誉为"人工智能之父"，1958年开发了Lisp编程语言。

一、开创之举：达特茅斯会议与“人工智能”的诞生

1956年，时年29岁的麦卡锡与马文·明斯基、克劳德·香农等人共同组织了一场具有历史意义的会议——达特茅斯夏季人工智能研究项目。

• 命名一个学科：在会议提案中，麦卡锡首次提出了“人工智能”这一术语，旨在将这一新兴领域与当时流行的“控制论”区分开来，明确其目标是研究如何让机器能够完成那些需要人类智能才能完成的任务。

  
  

• 凝聚一个领域：这次会议聚集了当时在数学、工程学和神经科学等领域最顶尖的思想家，虽未达成具体的技术突破，但却成功地将相关研究统一到了一个共同的旗帜下，正式确立了人工智能作为一个独立的学科领域。因此，1956年被公认为人工智能的元年。

  
  

二、技术基石：Lisp编程语言——AI的“母语”

• 为符号处理而生：Lisp源自“List Processing”，其设计初衷就是为了完美地处理符号和逻辑，而这正是麦卡锡所倡导的“符号主义AI”的核心。符号主义认为，智能源于对抽象符号的物理操作和逻辑推理。

  
  

• AI的首选语言：在随后的三十多年里，Lisp几乎是人工智能研究的专属语言。其强大的符号计算能力、独特的“代码即数据”特性以及强大的递归功能，使其成为专家系统、自动定理证明等AI子领域的天然选择，被誉为“AI的母语”。

  
  

三、理论丰碑：时间逻辑与“有常识的程序”

四、学术领袖与思想传承

约翰·麦卡锡是一位视野宏大、思想深邃的科学家。他不仅用一个名字定义了一个波澜壮阔的学科，更用Lisp语言为其打造了利器，用情境演算等理论为其构筑了基石。他关于“有常识的程序”的梦想，至今仍是AI领域追求的“圣杯”之一。