1) GU Hao
顾浩
1.
Lyrics on Familial Affections and Friendship by GU Hao
深情动江海 高义透云天——顾浩的亲情、友情词
3) Cui Hao
崔浩
1.
Sacrifice of Exchange and Fusion——A Brief Discussion on the Death of Cui Hao;
交流与融合中的牺牲——浅谈崔浩之死
2.
A Reflection on Reasons of "Cui Hao State History Case";
“崔浩国史案”原因探析
4) Hao Ran
浩然
1.
The Buoy of History:A Reevaluation of "Hao Ran s Reassessment" in the Early New Period;
历史的浮标——新时期初期“浩然重评”现象的再评价
2.
Hao Ran s Short Stories in the Sixties;
论浩然六十年代初期的短篇小说写作
3.
Hao Ran: A Nervous Discoursing Space;
浩然:一个紧张的话语场
6) Zou Hao
邹浩
补充资料:王浩
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年出版了《超乎分析哲学之外──论如何无负于人类已有之知识》(英文)。
(吴允曾)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条