lisp之父约翰.docx

Lisp 之父约翰・麦卡锡如果希望计算机具有一般的智能, 那么其外在结构就必须基于一般的常识和推理——约翰・麦卡锡约翰 ・麦卡锡 1927 年出生于波士顿一个共产党积极分子家庭,童年在四处奔波中度过。他的父亲是一名爱尔兰天主教徒,先后做过木匠、渔民和工会组织者,全家一直马不停蹄地奔波,从波士顿搬到纽约,然后又搬到洛杉矶。他的母亲是立陶宛犹太人,最初在联邦通讯社当新闻记者,后来就职于一家共产主义报刊,最后成为了一名社会工作者。 1948 年,麦卡锡开始攻读数学系的硕士学位。同年 9 月他参加了加州理工主办的希克森脑行为机制研讨会,大数学家、计算机设计大师约翰 ・冯 ・诺依曼在会上演讲了一篇关于自复制自动机( self-replicating automata )的论文,这是一种可以对自身进行复制的机器。尽管当时的与会人员并没有明确地将机器智能与人类智能联系起来,但冯 ・诺依曼的讲话却激发了麦卡锡的好奇心。1949 年在普林斯顿大学数学系作博士论文时,麦卡锡首次开始尝试在机器上模拟人类智能。在这段时间中, 麦卡锡始终没有放弃制造一台像人类那样智能的机器这一想法。1952 年夏,普林斯顿大学的一个研究生杰里 ・雷纳( Jerry Rayna )向麦卡锡建议,可以找一些对机器智能感兴趣的人去收集一些该领域的文章。麦卡锡找的第一批人就有克劳德 ・香农, “信息论 ”亦即通信数学理论的发明者。 香农的理论最初用于远程通信,后被广泛用于语言学、数学以及计算机科学等领域。1956 年在达特茅斯学院举办的夏季人工智能研讨会是计算机科学史上的一座基里程碑。 这项涉及 10 人、耗时 2 个月的雄心勃勃的研究计划, 其目标是 “ 于 ,我们能够精确、全面地描述人类智能中的学习等特征,并制造出机器模拟之 ?这一构想,继续阔步前进 ”(引自其提案)。1956 年,约翰 ・巴科斯和他在 IBM 的团队发布了首个高级编程语言 Fortran ,将从事数字运算的程序员从为每一台计算机写汇编语言中解放出来。直到今天,Fortran 仍然是科学和工程计算中的通用语言。 FLPL 首次尝试了扩展 Fortran 的符号操作能力。 1958 年夏天在 IBM 工作时,麦卡锡试图用 FLPL 为自己在高中时常用的代数微分应用写一个表程序, 但很快发现需要用到递归条件表达式, 而 Fortran却不支持递归。事实证明, IBM 很快就失去了对人工智能的兴趣。一些客户认为智能机器可能会威胁到他们的工作岗位,因此 20 世纪 60 年代初期的 IBM 市场营销都把计算机说成是非智能的快速运算设备,百依百顺、只按要求行事。麦卡锡不再纠缠于修补 Fortran ,而是转头发明了 Lisp 。纽厄尔、肖和西蒙后来把 IPL 形容为一种越变越复杂的语言, 而麦卡锡则把他的 Lisp 形容为一种越变越简单的语言。随着工作的深入,麦卡锡希望改进这种语言的表达能力。 1959 年,为了展示求 (Lisp 可以明确地表达任何可计算函数, 他加入了一个叫做 “ 值 ” eval )的功能。“求允值 ” 许程序定义新的函数或者过程( procedure ),然后将其作为程序的一部分执重行。而大多