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

（）于1958年在IBM（）704机器上用3~5min证明了《数学原理》中有关命题演算的全部定理（220条），并且还证明了谓词演算中150条定理的85%。
A、王浩
B、爱因斯坦
C、爱德华·费根鲍姆
D、艾伦·纽厄尔
正确答案：王浩