[拼音]：Wang Hao

美籍华裔数学家、逻辑学家、计算机科学家、哲学家。1921年生于我国山东省济南市。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年出版了《超乎分析哲学之外──论如何无负于人类已有之知识》（英文）。

严正声明：本文由历史百科网注册或游客用户英才自行上传发布关于» 王浩(1921～　　)的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：英才；本文链接：https://www.freedefine.cn/wenzhan/78676.html