導(dǎo)語
（無）局限的理性

1956年1月初的一個(gè)寒冷的日子里，赫伯特·西蒙（Herbert Simon，又譯作司馬賀）在卡內(nèi)基理工學(xué)院工業(yè)管理研究生院的課堂上，用一個(gè)令人振聾發(fā)聵的消息作為開場(chǎng)白：“在圣誕節(jié)假期期間，艾爾·紐厄爾（Al Newell）和我發(fā)明了一臺(tái)會(huì)思考的機(jī)器。”1一臺(tái)會(huì)思考的機(jī)器！這真是一個(gè)驚人的宣言，簡(jiǎn)直堪比煉金術(shù)。但比這個(gè)宣言更了不起的，或許是說話的人，以及說話的地方。說話的人持有的是政治學(xué)博士學(xué)位，而不是工程類或者數(shù)學(xué)類的學(xué)位，說話的地方是工業(yè)管理學(xué)院的課堂。

西蒙的“思考機(jī)器”是一套計(jì)算機(jī)程序，叫作“邏輯理論家”（Logic Theorist）。這套程序于1955年年末設(shè)計(jì)，1956年8月首次在計(jì)算機(jī)上運(yùn)行，并被很多人視為人工智能“存在的證據(jù)”。這個(gè)程序，是為了證明伯特朗·羅素（Bertrand Russell）和艾爾弗雷德·諾斯·懷特海（Afred North Whitehead）的著作《數(shù)學(xué)原理》（Principia Mathematica）中的定理而設(shè)計(jì)的，該程序僅使用了他們的基本公理和在此過程中一步步證明出的定理。這種做法取得了巨大的成功，有一個(gè)定理的證明過程甚至比羅素和懷特海的方法更漂亮。（當(dāng)激動(dòng)難抑的西蒙把這個(gè)消息告訴羅素爵士的時(shí)候，他很有風(fēng)度地回復(fù)：“得知《數(shù)學(xué)原理》現(xiàn)在可以由機(jī)器來證明，我很高興。真希望我們能在花費(fèi)10年徒手計(jì)算之前就知道有這種可能性存在。”2）

邏輯理論家是一項(xiàng)了不起的成就，同樣十分具有啟發(fā)性。創(chuàng)造它的背后故事，向我們揭示了人工智能作為一個(gè)研究領(lǐng)域出現(xiàn)的諸多事實(shí)。它也展示出行為科學(xué)家對(duì)科學(xué)和精神的理解的一系列重大變化，而這些變化幾乎使大腦和機(jī)器成了同義詞。

本書將解釋西蒙認(rèn)為自己取得了什么成就，他為什么認(rèn)為這項(xiàng)成就有意義，以及一位對(duì)高效公共管理感興趣的政治學(xué)家，是如何成為心理學(xué)認(rèn)知革命的旗手和世界最頂尖計(jì)算機(jī)科學(xué)學(xué)院的創(chuàng)始人的。本書不僅要介紹一位20世紀(jì)最具影響力的科學(xué)家的職業(yè)生涯，也將展示他生活和工作的世界，這個(gè)他付出了很多努力去塑造的世界。