01 · 计算人生
成果背后的人
约翰·麦卡锡帮助确立人工智能这一研究领域，并开发了与符号人工智能紧密相关的 Lisp 语言。他在斯坦福研究知识的形式化表示与常识推理，也倡导让多人交互使用同一台计算机的分时技术。他把有关机器智能的长远问题，与研究者能够实际使用的语言和计算基础设施联系起来。
理解这项贡献
约翰·麦卡锡参与创建了人工智能领域，并发展了以符号表达式和列表为核心的 Lisp 语言。程序不仅能处理数值，还能操作代表规则、表达式乃至其他程序的结构。这为探索机器推理提供了持久的工具。
为什么重要
符号编程支持了早期人工智能研究，也影响了自动内存管理和函数式编程等语言特性。