。他后来说：“这一切都发生在一个下午。”这是科学界人物顿悟的罕见时刻。“我的感觉很清晰，这是一条新的道路，我将会走下去；我并不是每次也有这种感觉。”纽厄尔和西蒙开始讨论教机器思考的可能性。他们的首个程序是要能够证明数学定理的，于伯特兰·罗素和阿尔弗雷德·诺思·怀特黑德撰写的数学原理中可找到。他们还有来自兰德的计算机程序员帮忙开发该程序。（纽厄尔说“克里夫是三人中真正的计算机科学家”）。首个版本是手工模拟的：他们将程序编写到3x5卡片上，正如西蒙回忆的那样：在1956年1月，我让我的妻子与三个孩子们跟一批研究