Logic Theorist
そのような感覚が訪れたことはほとんどない。私は慎重な性質で、普通はひらめきで決断しないが、そのときは違っていた」
ニューウェルとサイモンは、機械に考えることを学ばせる可能性について話し合った。彼らの最初のプロジェクトは、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』で使われているような数学的定理の証明をするプログラムの開発である。ランド研究所にいたプログラマのJ・C・ショーの助けを得て、そのプログラムの開発を行った。ニューウェルは、「3人の中で本物の計算機科学者はショーだけだった」と述べている。
最初のバージョンは人間によるシミュレートだった。サイモンによればプログラムをカードに書いたという。
1956年1月、我々は私の妻と3人の子、さらには大学院生を何人か集めた。そして各人にカードを一枚ずつ渡し、コンピュータプログラムのコンポーネントの役目をしてもらった。...いわば、自然を擬似している技術を再び自然で擬似するという構図があった。
そして、そのプログラムが有能な数学者のように定理を証明できると示すことに成功した。その後ショーがそのプログラムをランド研究所の持つコンピュータ上で動作させることができた。
1956年夏、ジョン・マッカーシー、マービン・ミンスキー。クロード・シャノン、ナサニエル・ロチェスターがいわゆる「人工知能」についての会議(ダートマス会議)を開催した(人工知能という呼称はマッカーシーがこのときに考案した)。