数学训练与人工智能研究
约翰·麦卡锡（John McCarthy，1927—2011）是美国计算机科学家，与美国参议员约瑟夫·麦卡锡不是同一人。他1948年毕业于加州理工学院，1951年获普林斯顿大学数学博士学位。随后先后在普林斯顿、斯坦福、达特茅斯及麻省理工学院工作，1962年返回斯坦福，成为计算机科学教授。
他参与创建麻省理工学院的人工智能研究项目和后来发展的斯坦福人工智能实验室，1965至1980年担任后者主任，1971年获图灵奖。这些工作既包括提出计算思想，也包括建立供研究者长期实验的机构环境。
参考：[1]
把智能问题写成研究计划
1955年8月31日，麦卡锡与马文·明斯基、纳撒尼尔·罗切斯特、克劳德·香农共同署名达特茅斯暑期研究计划，拟于1956年在新罕布什尔州汉诺威开展研究。“人工智能”成为计划的主题，而不是事后为一个已完成的装置命名。
提案提出一种研究假设：学习和智能的某些方面可以被精确描述，从而由机器模拟；语言、概念形成、问题求解和自我改进都在议题之内。这是提出可探索的问题与合作安排，并非已经证明所有智能均可实现，也不意味着后世不同人工智能路线出于麦卡锡一人。
参考：[3]
用少量规则处理符号结构
麦卡锡1960年的Lisp论文从符号表达式出发，而非只处理数值。表达式可以是一个原子符号，也可以由两个表达式构成有序对；嵌套的配对由此表示列表等结构。car和cdr取出两部分，cons把它们重新组成一对，再借条件表达式与递归定义构造更复杂的运算。
例如，寻找嵌套结构最左边的原子时，先判断当前对象是否已经是原子；若不是，取其第一部分继续处理。这个过程直接对应数据自身的层次。论文也把函数描述编码成符号表达式，并给出能据描述和参数求值的通用函数，使程序表示与程序处理相互衔接。
参考：[2]
从语言定义到可用系统
Lisp并不是只有麦卡锡署名论文的一项独立成果。1960年论文说明IBM 704上的系统由麻省理工学院团队开发，致谢名单包括史蒂夫·拉塞尔、菲莉丝·福克斯、丹尼尔·爱德华兹等人。文中分别讨论解释执行、编译和存储表示，还说明实际系统保留赋值与跳转等功能。因此，Lisp与函数式编程关系密切，却不能被等同为处处无副作用的纯函数语言。
麦卡锡在1950年代末至1960年代初还推动分时计算观念，让昂贵计算资源能够支持多个交互使用者。这与符号处理研究相辅相成：研究者需要反复输入、试验和检查程序，而不只是等待一批作业完成。他的贡献跨越语言、人工智能研究与计算设施；这些领域的后续发展则继续由不同团队和技术路线推动。