献给妈妈、爸爸与凯瑟琳； 只要有爱，天下就没有不可能的事情。 图片: 赫尔伯特·A.西蒙 缩略词 CMP：查尔斯·梅里亚姆文件，芝加哥大学档案 CMU Archives：卡内基梅隆大学档案，宾夕法尼亚州匹兹堡 GSIA Papers：工业管理研究生院文件，卡内基梅隆大学档案 HSP：西蒙文件，卡内基梅隆大学档案 RAC：洛克菲勒档案中心，纽约塔里敦 SSRC Papers：社会科学研究理事会文件 导语 （无）局限的理性 1956年1月初的一个寒冷的日子里，赫伯特·西蒙（Herbert Simon，又译作司马贺）在卡内基理工学院工业管理研究生院的课堂上，用一个令人振聋发聩的消息作为开场白：“在圣诞节假期期间，艾尔·纽厄尔（Al Newell）和我发明了一台会思考的机器。”一台会思考的机器！这真是一个惊人的宣言，简直堪比炼金术。但比这个宣言更了不起的，或许是说话的人，以及说话的地方。说话的人持有的是政治学博士学位，而不是工程类或者数学类的学位，说话的地方是工业管理学院的课堂。 西蒙的“思考机器”是一套计算机程序，叫作“逻辑理论家”（Logic Theorist）。这套程序于1955年年末设计，1956年8月首次在计算机上运行，并被很多人视为人工智能“存在的证据”。这个程序，是为了证明伯特朗·罗素（Bertrand Russell）和艾尔弗雷德·诺斯·怀特海（Afred North Whitehead）的著作《数学原理》（Principia Mathematica）中的定理而设计的，该程序仅使用了他们的基本公理和在此过程中一步步证明出的定理。这种做法取得了巨大的成功，有一个定理的证明过程甚至比罗素和怀特海的方法更漂亮。（当激动难抑的西蒙把这个消息告诉罗素爵士的时候，他很有风度地回复：“得知《数学原理》现在可以由机器来证明，我很高兴。真希望我们能在花费10年徒手计算之…