王浩 (数学家)

(重定向自Hao Wang

王浩(1921年5月20日—1995年5月13日),美籍华裔哲学家、数理逻辑学家。

王浩
出生(1921-05-20)1921年5月20日
 中华民国山东省济南市
逝世1995年5月13日(1995岁—05—13)(73岁)
 美国纽约
王氏砖

生平

编辑

1921年出生在中华民国的山东济南,1943年西南联合大学数学系毕业,1945年清华大学哲学系毕业,国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大学逻辑学博士毕业,同年成为哈佛的助理教授(Assistant Professor)。[1]1950年代初,随保罗·伯奈斯(Paul Bernays)在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of Mathematics。1959年,王浩在“IBM 704计算机”上用9分钟计算时间,证明了罗素阿尔弗雷德·诺思·怀特海所著《数学原理》中数百余条数理逻辑定理;[2]因此在1983年于国际人工智能联合会议荣获首届证明自动化奖(the first Milestone Prize for Automated Theorem-Proving)。[3][4]1961年任命主持哈佛“数理逻辑和应用数学的Gordon McKay英语Gordon McKay教授纪念讲座”[5]。1967年至1991年,领导洛克斐勒大学的逻辑学小组,在那里他是数理逻辑学教授。

他证明了图灵机都可转为一组王氏砖(Wang tile)。

1968年,英国埃德加·科德针对“细胞自动机”提出自己的科德细胞自动机(Codd's cellular automaton)(以王浩的“Wang B-machine英语Wang B-machine”为基础)论点,以探讨“人工生命”议题。

著作

编辑

参考文献

编辑
  1. ^ 俞大维传》. 作者:李元平; 出版社:台湾日报社; 出版日:1992年01月05日,392 页; (繁体中文)01页面存档备份,存于互联网档案馆),02页面存档备份,存于互联网档案馆),增订版 互联网档案馆存档,存档日期2014-02-21.
  2. ^ Wang, Hao. Toward Mechanical Mathematics 4. 1960: 2–22. doi:10.1147/rd.41.0002.  |journal=被忽略 (帮助); |number=被忽略 (帮助)
  3. ^ Loveland, Donald W.; Bledsoe, W. W. Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. 1984. ISBN 0-8218-5027-X. , page 47
  4. ^ 吴文俊《数学机械化》iii页、40页,科学出版社,ISBN 7-03-010765,实例“数学机械化自动推理平台
  5. ^ 存档副本. [2014-04-11]. (原始内容存档于2014-04-13).