Logic Theorist
Logic Theorist は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。
パメラ・マコーダックは Logic Theorist について「かつては知的で創造的で人間にしかなしえないとされていたことを機械でもできることを証明した」と評している。そのため、人工知能の歴史の中でも重要な位置を占めており、知性一般についての我々の理解という意味でも重要である。
サイモンは1956年1月の大学院生への講義で「クリスマスの間、ニューウェルと私は思考する機械を発明した」と述べ、次のように記している。
(我々は)非数値的に思考することができるコンピュータプログラムを発明し、物質的システムがどのようにして精神を宿せるかを解明することで、かの重要な心身問題に答えを与えた。
この文章は機械が人間と同様の心を持つことができると主張したもので、後に哲学者ジョン・サールが「強いAI」と名付けた考え方である。これについては今も真剣な議論が続いている。
パメラ・マコーダックはまた、Logic Theorist によって「情報処理モデル」(あるいは心の計算理論)と呼ばれる精神に関する新理論が生み出されたとしている。マコーダックは「この見方は彼らのその後の研究で中心的観点となっていき、19世紀の生物学でダーウィンの進化論が重要な位置づけとなっているように、20世紀における精神を解明する研究の中で中心になったと彼ら自身が主張していた」と記している。ニューウェルとサイモンはこの考え方を後に物理記号システム仮説(英語版)として定式化し提唱した。