值得注意的是“邏輯理論家”對(duì)人工智能后來(lái)的一個(gè)分支“機(jī)器定理證明”的影響并不大。哲學(xué)家王浩1958年夏天在一臺(tái)IBM-704機(jī)上，只用九分鐘就證明了《數(shù)學(xué)原理》中一階邏輯的全部定理。當(dāng)然《數(shù)學(xué)原理》中羅列的一階邏輯定理只是一階邏輯的一個(gè)子集，目前，一階邏輯的機(jī)器定理證明比起五十年代已有長(zhǎng)足進(jìn)展，但仍然沒(méi)有高效的辦法。畢竟，王浩證明的是一階邏輯而“邏輯理論家”只能處理命題邏輯。數(shù)學(xué)家馬丁·戴維斯和哲學(xué)家希拉里·普特南合作沿著王浩的思路進(jìn)一步提出了戴維斯-普特南（DP）證明過(guò)程，后來(lái)進(jìn)一步發(fā)展為DPLL。王浩對(duì)“邏輯理論家”一直持鄙視的態(tài)度，認(rèn)為這是一個(gè)不專(zhuān)業(yè)的東西。王浩在1983年被授予定理證明里程碑大獎(jiǎng)，被認(rèn)為是定理證明的開(kāi)山鼻祖。司馬賀在他回憶錄里則對(duì)此不滿(mǎn)，認(rèn)為王浩的工作抵消了“邏輯理論家”的原創(chuàng)性，他們的初衷并不是要有效地證明定理，而是研究人的行為。這是后話(huà)，我后續(xù)還會(huì)有《機(jī)器定理證明簡(jiǎn)史》。
麥卡錫多年后回憶說(shuō)：他從紐厄爾和司馬賀的IPL語(yǔ)言中學(xué)到了表處理，這成為他后來(lái)發(fā)明LISP的基矗明斯基后來(lái)接受采訪(fǎng)時(shí)說(shuō)他對(duì)紐厄爾和司馬賀的“邏輯理論家”印象深刻，因?yàn)槟鞘堑谝粋€(gè)可工作的AI程序。但事實(shí)上，明斯基當(dāng)時(shí)為大會(huì)寫(xiě)的總結(jié)里對(duì)“邏輯理論家”只是輕描淡寫(xiě)。麥卡錫和明斯基明顯是一伙的，會(huì)議是他們發(fā)動(dòng)的，旨在創(chuàng)立一門(mén)新學(xué)科。但紐厄爾和司馬賀卻搶了他們的風(fēng)頭。美國(guó)上世紀(jì)五十年代的學(xué)術(shù)氛圍也不免浮躁，這一幫人又都是年輕氣盛、野心十足。
會(huì)議之后
達(dá)特茅斯會(huì)后不久，1956年9月IRE（后來(lái)改名IEEE）在MIT召開(kāi)信息論年會(huì)上，麥卡錫被邀請(qǐng)做一個(gè)對(duì)一個(gè)月前達(dá)特茅斯會(huì)議的總結(jié)報(bào)告，這引起了紐厄爾尤其是司馬賀的不滿(mǎn)，他們認(rèn)為麥卡錫只能聊，沒(méi)干貨，而達(dá)特茅斯會(huì)議唯一的干貨是紐厄爾和司馬賀的程序“邏輯理論家”（Logic Theorist）。打了一圈架，最后紐厄爾和司馬賀做了妥協(xié)：麥卡錫先做總結(jié)報(bào)告，但最后還是由紐厄爾和司馬賀講他們的“邏輯理論家”并發(fā)表一篇題為L(zhǎng)ogic Theory Machine的文章。明斯基認(rèn)為是他的協(xié)調(diào)起了作用，但紐厄爾晚年則只對(duì)香農(nóng)的邀請(qǐng)有印象，而司馬賀的回憶錄則說(shuō)是大會(huì)的主席羅森布利特和司馬賀散了很長(zhǎng)一圈步才了斷。明斯基機(jī)敏異常，講話(huà)時(shí)帶幽默，但在對(duì)這段歷史的重構(gòu)中，卻給人印象有點(diǎn)太“刁滑”（cynical），原因也不難猜出。研究歷史有時(shí)必須得全方位，空間或時(shí)間上的接近不見(jiàn)得就真實(shí)。太接近時(shí)，當(dāng)事人還都活著，還在一個(gè)圈子里混，不方便互相揭短。但在接近生命末期，或者功成名就或者人之將死或者對(duì)頭已死無(wú)所顧忌，敞開(kāi)了說(shuō)，有時(shí)雖有夸張，但一不留神就會(huì)流露真話(huà)，紐厄爾屬于后者。明斯基“刁滑”可能和他身體好有關(guān)系，偌大歲數(shù)也沒(méi)不惑，覺(jué)得還有好長(zhǎng)路要走。
科學(xué)達(dá)人弗里曼·戴森在他的《一面多彩的鏡子》一書(shū)中借鑒過(guò)以賽亞·伯林“刺猬與狐貍”的比喻：刺猬是那些構(gòu)建理論體系的人，而狐貍則是那些解決問(wèn)題的人。在他眼里：愛(ài)因斯坦、哥德?tīng)柺谴题欢M(fèi)米、馮·諾伊曼屬狐貍?？茖W(xué)史有時(shí)刺猬得勢(shì)，有時(shí)狐貍當(dāng)?shù)?。是不是可以說(shuō)紐厄爾和司馬賀更像刺猬，而麥卡錫和明斯基更像狐貍呢？具體到AI的源頭和達(dá)特茅斯會(huì)議，麥卡錫認(rèn)為他和明斯基是發(fā)起人，紐厄爾和司馬賀是“外人”，是攪局者。明斯基的解釋是紐厄爾和司馬賀一開(kāi)始的出發(fā)點(diǎn)是心理學(xué)，這與麥卡錫和他本人的背景不符。但在隨后的十年里，他本人更多地走向心理學(xué)，而紐厄爾和司馬賀更靠近AI，也沒(méi)什么矛盾。麥卡錫除了和明斯基關(guān)系緊密外，和其他AI群體的交流并不多，在所謂其他群體中，最有影響當(dāng)屬卡內(nèi)基梅隆了。麥卡錫晚年回憶說(shuō)那時(shí)群體之間的溝通主要是通過(guò)研究生，研究生就像大佬們的大使。后來(lái)斯坦福、CMU、MIT的學(xué)生確實(shí)互為教授，門(mén)戶(hù)之見(jiàn)隨著時(shí)間的推移逐漸被抹平了。
總之，1956年IRE信息論年會(huì)是個(gè)值得紀(jì)念的會(huì)議，除了紐厄爾和司馬賀發(fā)表的那篇文章之外，心理學(xué)家喬治·米勒（George Miller）發(fā)表了《人類(lèi)記憶和對(duì)信息的儲(chǔ)存》（Human Memory and the Storage of Information），這是那篇著名的文章《魔力數(shù)字七》（The Magic Number Seven）的另一個(gè)版本，不知算不算一稿多發(fā)。同在此會(huì)上，偉大的喬姆斯基則發(fā)表了《語(yǔ)言描述的三種模型》（Three Models for the Description of Language），該文證明了有限狀態(tài)句法不能表達(dá)某類(lèi)語(yǔ)言，這是喬姆斯基分層的起源，文中引用了還沒(méi)出版的不朽名著《句法結(jié)構(gòu)》。喬姆斯基當(dāng)時(shí)剛剛到MIT現(xiàn)代語(yǔ)言學(xué)系（該系后來(lái)演變?yōu)檎Z(yǔ)言學(xué)與哲學(xué)系）出任助理教授并在MIT電子實(shí)驗(yàn)室做機(jī)器翻譯的研究。盡管喬老爺后來(lái)是反政府斗士，但有點(diǎn)反諷的是他的早期研究經(jīng)費(fèi)都來(lái)自美國(guó)空軍和海軍。