王浩 (数学家)

维基百科,自由的百科全书
跳转至: 导航搜索
王氏砖

王浩(1921年5月20日-1995年5月13日),華裔美籍哲學家、數理邏輯學家。1943年西南聯合大學數學系畢業,1945年清華大學哲學系畢業,国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業,同年成為哈佛的副教授。[1]1950年代初,隨保羅·伯奈斯英语Paul Bernays蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年,王浩在「IBM 704计算机」上用9分钟计算时间,证明了罗素怀特海所著《数学原理英语Principia Mathematica》中数百余条数理逻辑定理;[2]因此在1983年於国际人工智能联合会议荣获首届证明自动化奖(the first Milestone Prize for Automated Theorem-Proving)。[3][4]1961年任命主持哈佛「數理邏輯和應用數學的Gordon McKay英语Gordon McKay教授紀念講座」[5]。1967年至1991年,領導洛克斐勒大學的邏輯學小組,在那裡他是数理邏輯學教授。

他證明了圖靈機都可轉為一組王氏砖英语Wang tile(Wang tile)。

1968年,英國埃德加·科德針對「細胞自動機」提出自己的「科德細胞自動機英语Codd's cellular automaton」(以王浩的「Wang B-machine英语Wang B-machine」為基礎)論點,以探討「人工生命」議題。

著作[编辑]

  • From Mathematics to Philosophy , Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 0710076894
  • A Logical Journey: From Gödel to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 0-262-23189-1

参考文献[编辑]

  1. ^ 俞大維傳》. 作者:李元平; 出版社:臺灣日報社; 出版日:1992年01月05日,392 頁; (正体中文)0102增訂版
  2. ^ Wang, Hao. IBM Journal of Research and Development 4 (1). 1960: 2–22. doi:10.1147/rd.41.0002. 
  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. ^ http://lewis.seas.harvard.edu/biocv