于计算机程序的一个组成部分……这就是大自然模仿艺术模仿自然。他们成功地证明了该程序可以像一位才华横溢的数学家般成功地证明定理。然后，克里夫能够在兰德的圣莫尼卡工厂里面的计算机上运行该程序。1956年夏天，约翰·麦卡锡、马文·闵斯基、克劳德·香农和纳撒尼尔·罗切斯特组织了一次会议，是关于“人工智能”（麦卡锡为了该会议而创造的术语）的。纽威尔和西蒙自豪地向小组介绍了逻辑理论家，但当听众反应冷淡时，他们感到有些惊讶。帕梅拉·麦科杜克写道：“可以肯定当时除了纽维尔和西蒙之外，没有人能够感受到他们所做的事情具有长远意