56年1月，我让我的妻子与三个孩子们跟一批研究生聚集在一起。我们给了小组的每个成员一张卡片，使每一张卡片将对应于计算机程序的一个组成部分……这就是大自然模仿艺术模仿自然。他们成功地证明了该程序可以像一位才华横溢的数学家般成功地证明定理。然后，克里夫能够在兰德的圣莫尼卡工厂里面的计算机上运行该程序。1956年夏天，约翰·麦卡锡、马文·闵斯基、克劳德·香农和纳撒尼尔·罗切斯特组织了一次会议，是关于“人工智能”（麦卡锡为了该会议而创造的术语）的。纽威尔和西蒙自豪地向小组介绍了逻辑理论家，但当听众反应冷淡时，他们感