nt Professor)。1950年代初，随在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of Mathematics。1959年，王浩在「IBM 704计算机」上用9分钟计算时间，证明了罗素、德怀特海所着《数学原理》中数百余条数理逻辑定理；因此在1983年于国际人工智能联合会议荣获首届证明自动化奖（the first Milestone Prize for Automated Theorem-Proving）。1961年任命主持哈佛「数理逻辑和应用数学的教授纪念