说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 王浩算法
1)  Wang Hao's algorithm
王浩算法
2)  Wang Hao
王浩
1.
Toward Mechanical Mathematics: From Tarski to Wang Hao;
迈向数学机械化:从塔斯基到王浩
3)  Wang Xianghao
王湘浩(1915~  )
4)  Monkey King algorithms
猴王算法
5)  algorithm of Wang Tiles
王氏瓷砖算法
6)  kingly way-Wang Faren
王道-王法
1.
If the Western people stress the natural law,the Chinese the "kingly way-Wang Faren.
如果说西方是自然法,中国就是"王道-王法"。
补充资料:王浩

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年他证明了具有□□ヨ□□□□(□,□,□) 形式的一阶谓词逻辑公式集合已是不可判定的。为了解决这个问题,他在1960年创立了一种新的数学理论──铺砖理论(或称骨牌游戏理论)。1962年在北京出版了王浩的《数理逻辑概论》英文本,此书的一部分是他1960年前发表的论文。1977年秋他在中国科学院作了一系列关于数理逻辑的讲演。1981年在北京出版了他的《数理逻辑通俗讲话》中、英两种文本。1974年出版了《从数学到哲学》(英文),1986年出版了《超乎分析哲学之外──论如何无负于人类已有之知识》(英文)。
   (吴允曾)
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条