当前位置: 首页 > 历史人物 > 风云人物 > 王浩

王浩

(美籍华裔数学家、逻辑学家、计算机科学家、哲学家)
最后更新于:2024-03-26 11:10:15

王浩简介

王浩(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年出版了《超乎分析哲学之外──论如何无负于人类已有之知识》(英文)。

本文标签: 王浩逻辑学人物

上一篇:希尔伯特

下一篇:布劳维尔

版权声明:

本文关于历史人物《王浩》由66历史网整理发布,侵权请联系120143424@qq.com。

转载请注明出处:https://www.autohao.com/renwu/71568.html

王浩的故事