王浩 (数学家)

王氏砖

王浩（1921年5月20日－1995年5月13日），華裔美籍哲學家、數理邏輯學家。1943年西南聯合大學數學系畢業，1945年清華大學哲學系畢業，国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業，同年成為哈佛的副教授。1950年代初，隨保羅·伯奈斯在蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年，王浩在IBM704计算机上用九分钟计算时间，证明了罗素、怀特海所著《数学原理》中数百余条数理逻辑定理；因此在1983年荣获首届证明自动化奖。1961年成為哈佛的數理邏輯和應用數學的Gordon MacKay教授。1967年至1991年，領導洛克斐勒大學的邏輯學小組，並當該校的教授。

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

著作

• 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。