逻辑理论家 逻辑理论家英語Logic Theorist是由艾伦纽厄尔司马贺和约翰克里夫肖英语John Clifford Shaw于年和年间编写的计算机程序是首个可以自动进行推理的程序被称为史上首个人工智能程序它最后证明了在怀特黑德和罗素合作撰写的数学原理中首个定理中的个在当中更是找到既新颖又优雅的证明