有家美国公司，叫兰德公司，就是预测 “中国将要出兵朝鲜” 的那家兰德公司。
兰德公司有在 1950 年代有三位兼职的雇员，都是科学家。这三位是艾伦厄纽尔、克里夫肖恩、赫伯特西蒙。 三位都在大学中任职，但也给兰德公司做研究。厄纽尔是西蒙的学生，西蒙比厄纽尔大11岁。
三人要设计一种编程语言，名字叫 IPL（information processing language），而 IPL 所用的数据结构，就是 Linked List 链表。
用 IPL 语言，厄纽尔和西蒙设计了著名的 “逻辑理论家”，这是第一个可以运行的 AI 程序，其实，那时候 AI 到底是什么，大家都还不知道。 “逻辑理论家” 能够自动证明罗素《数学原理》中的很多命题逻辑，这个程序工作起来仿佛数学家一样，当然可以称之为 AI 了。
后来，厄纽尔和西蒙于 1975 年获得图灵奖。西蒙这个人值得大书特书，就是在学者大师中，也是前无古人后无来者一般的存在。
说说西蒙。首先，他是唯一的图灵奖和诺贝尔奖双料得主。其次，他有 9 个博士学位。 还有，他通晓 10 多个学术领域，并且在这些领域都达到世界顶峰水平。
就不列出那十余个领域了。总之，除了中国古典文学不是他的方向外，其余都是。但他来中国特别多，还是中科院院士。所以，他还有个纯正的中文名字：司马贺。他能用大约20种语言阅读，包括中文。
西蒙是百科全书式学者，这在当代已经非常罕见了，古代倒是常见，亚里士多德这些人那都是均衡发展的，但在今天想文理兼具就难了，西蒙真是个天才中的天才。
约翰麦肯锡（John McCarthy）后来所设计的 LISP 语言，也以链表为数据结构。约翰麦肯锡是达特茅斯会议的召集者，而厄纽尔和西蒙就是在此次会议上提出了逻辑理论家。
网友评论