有家美國公司，叫蘭德公司澄成，就是預(yù)測 “中國將要出兵朝鮮” 的那家蘭德公司。
蘭德公司有在 1950 年代有三位兼職的雇員畏吓，都是科學(xué)家墨状。這三位是艾倫厄紐爾、克里夫肖恩菲饼、赫伯特西蒙肾砂。 三位都在大學(xué)中任職，但也給蘭德公司做研究宏悦。厄紐爾是西蒙的學(xué)生镐确，西蒙比厄紐爾大11歲。
三人要設(shè)計一種編程語言饼煞，名字叫 IPL（information processing language）源葫，而 IPL 所用的數(shù)據(jù)結(jié)構(gòu)，就是 Linked List 鏈表砖瞧。
用 IPL 語言息堂，厄紐爾和西蒙設(shè)計了著名的 “邏輯理論家”，這是第一個可以運(yùn)行的 AI 程序块促，其實(shí)荣堰，那時候 AI 到底是什么，大家都還不知道竭翠。 “邏輯理論家” 能夠自動證明羅素《數(shù)學(xué)原理》中的很多命題邏輯振坚，這個程序工作起來仿佛數(shù)學(xué)家一樣，當(dāng)然可以稱之為 AI 了斋扰。
后來渡八，厄紐爾和西蒙于 1975 年獲得圖靈獎啃洋。西蒙這個人值得大書特書，就是在學(xué)者大師中呀狼，也是前無古人后無來者一般的存在裂允。
說說西蒙。首先哥艇，他是唯一的圖靈獎和諾貝爾獎雙料得主绝编。其次，他有 9 個博士學(xué)位貌踏。 還有十饥，他通曉 10 多個學(xué)術(shù)領(lǐng)域，并且在這些領(lǐng)域都達(dá)到世界頂峰水平祖乳。
就不列出那十余個領(lǐng)域了逗堵。總之眷昆，除了中國古典文學(xué)不是他的方向外蜒秤，其余都是。但他來中國特別多亚斋，還是中科院院士作媚。所以，他還有個純正的中文名字：司馬賀帅刊。他能用大約20種語言閱讀纸泡，包括中文。
西蒙是百科全書式學(xué)者赖瞒，這在當(dāng)代已經(jīng)非常罕見了女揭，古代倒是常見，亞里士多德這些人那都是均衡發(fā)展的栏饮，但在今天想文理兼具就難了吧兔，西蒙真是個天才中的天才。
約翰麥肯錫（John McCarthy）后來所設(shè)計的 LISP 語言袍嬉，也以鏈表為數(shù)據(jù)結(jié)構(gòu)掩驱。約翰麥肯錫是達(dá)特茅斯會議的召集者，而厄紐爾和西蒙就是在此次會議上提出了邏輯理論家冬竟。
