王浩

王浩（1921～1996），美籍华裔数学家、逻辑学家、计算机科学家、哲学家。

1921年王浩出生于中国山东省济南市，逝于1996年。1943年于西南联合大学数学系毕业。1945年于清华大学研究生院哲学部毕业。1948年获美国哈佛大学哲学博士学位。1950～1951年在瑞士联邦工学院数学研究所从事研究工作。1951～1953年任哈佛大学助理教授。1954～1961年在英国牛津大学作第二套洛克讲座讲演，又任逻辑及数理哲学高级教职。1961～1967年任哈佛大学教授。1967年后任美国洛克菲勒大学教授，主持逻辑研究室工作。1985年兼任中国北京大学名誉教授。1986年兼任中国清华大学名誉教授。50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。

王浩于50年代对集合论作出了重要贡献，他最早区分了非直谓集合论与直谓集合论，开拓了集合论的一个新领域。在逻辑语义学方面，他的有关真理性定义的论文(1952)，改进了30年代初A.塔尔斯基的工作，提出了更完整的理论。1954年他与A.博克斯合作，提出了一些与当时流行的计算机设计不同的思想。1957年他又提出了一种新的比图林机更接近现实机器的理想计算机，后被称为王氏机器。王氏机器的存贮带具有只读而不能改写的特点，他还证明了这种机器与图林机一样能计算一切可计算函数。1958年他在计算机上用了9分钟时间，证明了A.N.怀特海和B.A.W.罗素合著的《数学原理》中的450 条定理。1983年他获得了国际人工智能联合会颁发的第一届“数学定理机械证明里程碑奖”。1961年他证明了具有∀xヨy∀zΜ(x，y，z) 形式的一阶谓词逻辑公式集合已是不可判定的。为了解决这个问题，他在1960年创立了一种新的数学理论──铺砖理论（或称骨牌游戏理论）。1962年在北京出版了王浩的《数理逻辑概论》英文本，此书的一部分是他1960年前发表的论文。1977年秋他在中国科学院作了一系列关于数理逻辑的讲演。1981年在北京出版了他的《数理逻辑通俗讲话》中、英两种文本。1974年出版了《从数学到哲学》（英文），1986年出版了《超乎分析哲学之外──论如何无负于人类已有之知识》（英文）。