在20世纪50年代，哪位科学家开发了第一个能够证明数学定理的人工智能程序？

参考资料

20世纪50年代，王浩曾一度想回国效力，于是他从哲学转向计算机，因为计算机 ... 20世纪80年代末期出版的《人工智能手册》中有两章关于机器定理证明的内容，但取材 ...

www.ituring.com.cn

说到人工智能，就不得不提计算机届的一个传奇人物：阿兰. 图灵博士。 1950年，图灵在《思想》（mind）杂志上发表了一篇《计算的机器和智能》的论文。在 ...

www.cnblogs.com

首先，自动推论或者自动演绎(automated deduction)的历史源头可以追溯到20 世纪50 年代[9]。美国数学家Martin Davis 在1954 年编写了一个自动演绎证明程序 ...

wap.sciencenet.cn

Moonshot回答

在20世纪50年代，开发了第一个能够证明数学定理的人工智能程序的科学家是艾伦·纽厄尔（Allen Newell）和赫伯特·西蒙（Herbert A. Simon）。他们共同开发了名为“逻辑理论家”（Logic Theorist）的程序，该程序能够证明数学定理。这个程序在人工智能历史上具有重要意义，因为它标志着机器自动证明数学定理的开始。来源

参考资料

Moonshot回答

继续提问

相关问题