邏輯理論家

邏輯理論家  是由艾倫 · 紐厄爾 、 司馬賀和於1955年和1956年間編寫的計算機程序 ， 是首個可以自動進行推理的程序 ， 被稱爲 “ 史上首個人工智能程序 ” 。 它最後證明了在懷特黑德和羅素合作撰寫的數學原理中首52個定理中的38個 ， 在當中更是找到既新穎又優雅的證明 。