（）于1958年在IBM（）704机器上用3~5min证明了《数学原理》中有关命题演算的全部定理（220条），并且还证明了谓词演算中150条定理的85%。
精华吧→答案→网课

（）于1958年在IBM（）704机器上用3~5min证明了《数学原理》中有关命题演算的全部定理（220条），并且还证明了谓词演算中150条定理的85%。

A、王浩

B、爱因斯坦

C、爱德华·费根鲍姆

D、艾伦·纽厄尔

正确答案：王浩

Tag：定理 爱德华 爱因斯坦 时间：2024-05-21 11:05:54

相关答案

热门答案