王浩 (数学家)

王浩（），男，美籍华裔哲學家、數理邏輯學家。

生平
1921年出生在中華民國的山东济南，1943年西南聯合大學數學系畢業，1945年清華大學哲學系畢業，国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業，同年成為哈佛的助理教授(Assistant Professor)。《俞大維傳》. 作者：李元平; 出版社：臺灣日報社; 出版日：1992年01月05日，392 頁; ，01 ，02 ，增訂版 1950年代初，隨保羅·伯奈斯(Paul Bernays)在蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年，王浩在「IBM 704计算机」上用9分钟计算时间，证明了罗素、阿尔弗雷德·诺思·怀特海所著《数学原理》中数百余条数理逻辑定理；因此在1983年於国际人工智能联合会议荣获首届证明自动化奖（the first Milestone Prize for Automated Theorem-Proving）。, page 47吴文俊《数学机械化》iii页、40页，科学出版社，ISBN 7-03-010765，實例「数学机械化自动推理平台」1961年任命主持哈佛「數理邏輯和應用數學的教授紀念講座」。1967年至1991年，領導洛克斐勒大學的邏輯學小組，在那裡他是数理邏輯學教授。

他證明了圖靈機都可轉為一組王氏砖（Wang tile）。

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

 著作 
 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。

 参考文献 

Category:济南人
H
Category:國立清華大學校友 (北平)
Category:国立西南联合大学校友
Category:哈佛大学文理研究生院校友
Category:山东科学家
Category:中国逻辑学家
Category:中華民國數學家
Category:移民美國的中華民國人
Category:华裔美国数学家
Category:美國邏輯學家
Category:洛克菲勒大學教師
Category:哈佛大学教授