告别人工智能之父、Lisp语言发明者John McCarthy

Lisp语言发明者、“人工智能之父”约翰·麦卡锡（John Maccarthy）于10月24日与世长辞，享年84岁。

青少年时的约翰·麦卡锡聪慧过人，初中时他根据一份加州理工大学的课程目录自学完大学低年级微积分课程，也因此在1944年上大学时可以免修头两年大学数学，之后去普林斯顿大学研究生院继续深造。

冯·诺依曼报告引发的好奇心
约翰·麦卡锡的学术人生如何步入人工智能领域，还要从1948年9月的一次会议说起。当时普林斯顿大学主办了“行为的大脑机制西克森研讨会”，计算机大师冯·诺依曼在会议上发布了一篇关于自复制自动机的论文。这次报告激发了当时还是普林斯顿数学博士生麦卡锡的研究兴趣，他敏锐地将机器智能与人的智能联系起来，打算从事更深入的研究。第二年，麦卡锡幸运地与冯·诺依曼一起工作，在大师的鼓励和支持下，麦卡锡决定从在机器上模拟人的智能入手，主要研究方向定为计算机下棋。 此后，为了减少计算机需要考虑的棋步，麦卡锡发明了著名的α-β搜索法，这一关键问题的解决有效减少了计算量，使其至今仍是解决人工智能问题中一种常用的 高效方法。

一场会议中诞生的人工智能
1952年，麦卡锡认识了贝尔实验室的香农（信息论 创始人），在人工智能方面的若干深入探讨之后，他们萌生召开一次研讨会的共识。在洛克菲勒基金会的一笔微薄的赞助下，他们邀请到当时哈佛大学的明斯基和 IBM工程师罗彻斯特等几位学者，参加这次具有里程碑达意义的达特茅斯会议。达特茅斯会议历时两个多月，首次提出“人工智能”这一术语，并确立了可行的目标和方法，这使得人工智能成为电脑科学一个独立的重要分支，获得了科学界的承认。

Lisp语言和分时概念创始人
1958年，麦卡锡组建了世界上第一个人工智能实验室。同年，麦卡锡发明了Lisp语言，这是人工智能界第一个最广泛流行的语言，至今仍有着广泛应用。Lisp语言与后来由1973年实现的逻辑式语言PROLOG并称为人工智能的两大语言。麦卡锡另一个卓越贡献是1960年左右第一次提出将计算机批处理方式改造成分时方式，这使得计算机能同时允许数十甚至上百用户使用，极大地推动接下来的人工智能研究。他的研究成果最终实现了世界上最早的分时系统——基于IBM7094的CTSS和其后的MULTICS。

如今，人工智能已经从实验室走进日常生活，成为一门严肃经验科学，引发了计算机使用方式的一场变革，其中约翰·麦卡锡功不可没，他深刻地改变了人们与电脑和互联网的互动方式。
如今这位计算机大师已经离去，我们缅怀他、感谢他！

以下是关于这位计算机大师的简介：
-1927年生于美国马萨诸塞州波士顿市
-1948年，加州理工，数学学士
-1951年，普林斯顿大学，数学博士
-1956年Dartmouth会议的发起人（该会议被视为AI作为一门学科诞生的标志）
-1955年在为该会议写的建议书中提出“Artificial Intelligence”一词，从而被视为“人工智能之父”
-1958年，发明Lisp编程语言（该语言至今仍在人工智能领域广泛使用）
-1960年左右，提出计算机分时(time-sharing)概念
-1971年因对AI的贡献获图灵奖
-1985年获得IJCAI(the International Joint Conference on Artificial Intelligence)颁发的第一届”Research Excellence Award”（可看作是AI的终身成就奖）
-1991年获得“美国国家科学奖”(National Medal of Science Award)
-2003年获得富兰克林研究所在计算机和认知科学领域的“本杰明·富兰克林”奖章