プリンキピア・マテマティカ
1955年、アレン・ニューウェルと（後にノーベル賞を受賞した）ハーバート・サイモンは（クリフ・ショーの助けも得て）"Logic Theorist" を作った。このプログラムはラッセルとホワイトヘッドの『プリンキピア・マテマティカ』の最初の方にある52の定理のうち38の定理を証明してみせ、そのうち一部は新たな洗練された証明方法を見出した。サイモンは彼らが「かの心身問題を解決し、物質で構成されているシステムが精神の特性をどのようにして持つことができるかを説明した」と述べている。これは、後にジョン・サールが「強いAI」と呼んだ哲学的立場（機械は人間の身体と同じように精神を持ちうる）を表した初期の文章の1つである。