王浩

【生卒】：1921～

【介绍】：

美籍华裔逻辑学家、计算机科学家、哲学家。生于山东济南市，1943年毕业于西南联合大学数学系，1945年毕业于清华大学研究生院哲学部，后赴美国哈佛大学留学，1948年获哲学博士学位。1951年起先后任教于哈佛大学、英国牛津大学、洛克菲勒大学。1985年兼任北京大学名誉教授、1986年兼任清华大学名誉教授。50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。主要著作有；《数理逻辑概论》(1962)、《从数学到哲学》(1974)、《数理逻辑通俗讲话》(1981)、《超乎分析哲学之外——论如何无负于人类已有之知识》(1986)等。王浩在公理集合论、计算机理论及其应用、数学哲学等领域都作出了重要的贡献，主要有：①最早区分了非直谓集合论与直谓集合论，开拓了集合论的一个新领域。②表明了迄今已知的每一个语义悖论都可以转换成一个不完全性证明(1955)。③对A·塔尔斯基的工作进行改进，提出了有关真值的定义更完整的理论(1952)。④与G．克莱索合作得到了有关形式证明的长度的一些结果(1955)。⑤与A．S．卡尔、E．F．穆尔合作证明了具有xyzM(x，y，z)(M中不含量词)形式的一阶谓词逻辑公式的集合是不可判定的(1962)。⑥提出了一种新的比图林机更接近现实机器的理想计算机，后被称为王氏机器，并证明了这种机器与图林机一样能计算一切可计算函数(1957)；在定理的机械证明方面也有所建树，曾获国际人工智能联合会颁发的第一届“数学定理机械证明里程碑奖”(1983)。