王浩 (数学家)

关于与“王浩 (数学家)”标题相近或相同的条目，请见“王浩”。

王浩（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）”为基础）论点，以探讨“人工生命”议题。

著作

• From Mathematics to Philosophy , Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 978-0-7100-7689-2
• A Logical Journey: From Gödel to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 978-0-262-23189-3。