逻辑理论家维基百科,自由的 encyclopedia 逻辑理论家(英语:Logic Theorist)是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖(英语:John Clifford Shaw)于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。[a]它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。[2] 此条目的语调或风格或许不合百科全书。 (2019年5月4日)
逻辑理论家(英语:Logic Theorist)是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖(英语:John Clifford Shaw)于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。[a]它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。[2] 此条目的语调或风格或许不合百科全书。 (2019年5月4日)