1971年图灵奖--约翰·麦卡锡生平

          大家好，我是执念斩长河，今天要讲述的是1971年图灵奖–约翰·麦卡锡的故事，图灵奖奖励他提出“人工智能”的概念并使之成为一个重要的学术领域。读完本篇大家可以收获的是：

• 麦卡锡如何自学成才
• 麦卡锡如何将计算机批处理方式改为分时操作方式
• 什么是α-β搜索，α-β搜索的用途
• LISP语言的诞生及LISP语言的特点
• 程序设计语言语义形式化是什么及用途
• 麦卡锡的主要著作

          麦卡锡1927年9月4日生于波士顿。还在上初中的时候，他就弄了一份加州理工大学的课程目录，按目录自学了大学低年级的高等数学教材，做了教材上的所有练习题。这使得进入加州理工学院免修两年的数学，然后他到了普林斯顿大学研究所拿取硕士与博士学位。 毕业后，麦卡锡去往麻省理工学院与明斯基开设人工智能实验室。第一个提出将计算机的批处理方式改造成为能同时允许数十甚至上百用户使用的分时方式的建议。
           麦卡锡研究方向是计算机下棋。下棋程序的关键之一是如何减少计算机需要考虑的棋步，这就诞生了α-β搜索。麦卡锡设计的原理是将结点的产生与求评价函数值(或成返上值或倒退值)两者巧妙地结合起来，从而使某些子树结点根本不必产生与搜索。
           1959年，麦卡锡基于阿隆索·邱奇的与纽厄尔的研究，开发了著名的LISP语言，成为人工智能界第一个广泛流行的语言。LISP是一个函数式符号处理语言，其程序由一些函数子程序组成。LISP语言有以下特点：

• 计算用的是符号表达式而不是数
• 具有表处理能力，即用链表形式表示所有的数据
• 控制结构基于函数的复合，以形成更复杂的函数
• 用递归作为描述问题和过程的方法
• 程序本身也同其他所有数据一样用表结构形式表示

          在1963年他发表的论文“计算机的数学理论的一个基础”一文阐述了程序设计语言语义形式化的重要性，以及它同程序的正确性、语言的正确实现等问题的关系。它的用途是帮助人们了解软件是否合理，它可以用于程序验证、自动程序设计、为优化和审计而进行的程序分析等方面。
          麦卡锡的主要著作：

• 《自动机研究》
• 《信息学：科学美国人之书》
• 《形式化的常识：麦卡锡论文选集》

最后当然放一张图灵奖麦卡锡图片：