有家美國公司，叫蘭德公司，就是預測 “中國將要出兵朝鮮” 的那家蘭德公司。
蘭德公司有在 1950 年代有三位兼職的僱員，都是科學家。這三位是艾倫厄紐爾、克里夫肖恩、赫伯特西蒙。 三位都在大學中任職，但也給蘭德公司做研究。厄紐爾是西蒙的學生，西蒙比厄紐爾大11歲。
三人要設計一種編程語言，名字叫 IPL（information processing language），而 IPL 所用的數據結構，就是 Linked List 鏈表。
用 IPL 語言，厄紐爾和西蒙設計了著名的 “邏輯理論家”，這是第一個可以運行的 AI 程序，其實，那時候 AI 到底是什麼，大家都還不知道。 “邏輯理論家” 能夠自動證明羅素《數學原理》中的很多命題邏輯，這個程序工作起來彷彿數學家一樣，當然可以稱之爲 AI 了。
後來，厄紐爾和西蒙於 1975 年獲得圖靈獎。西蒙這個人值得大書特書，就是在學者大師中，也是前無古人後無來者一般的存在。
說說西蒙。首先，他是唯一的圖靈獎和諾貝爾獎雙料得主。其次，他有 9 個博士學位。 還有，他通曉 10 多個學術領域，並且在這些領域都達到世界頂峯水平。
就不列出那十餘個領域了。總之，除了中國古典文學不是他的方向外，其餘都是。但他來中國特別多，還是中科院院士。所以，他還有個純正的中文名字：司馬賀。他能用大約20種語言閱讀，包括中文。
西蒙是百科全書式學者，這在當代已經非常罕見了，古代倒是常見，亞里士多德這些人那都是均衡發展的，但在今天想文理兼具就難了，西蒙真是個天才中的天才。
約翰麥肯錫（John McCarthy）後來所設計的 LISP 語言，也以鏈表爲數據結構。約翰麥肯錫是達特茅斯會議的召集者，而厄紐爾和西蒙就是在此次會議上提出了邏輯理論家。