词条 | 王浩 |
释义 | Wang Hao 王浩(1921~ )(卷名:哲学) ![]() 王浩于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年出版了《超乎分析哲学之外──论如何无负于人类已有之知识》(英文)。 |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。