24,893
次編輯
變更
→生平
1948年[[哈佛大學]][[邏輯學]]博士畢業，同年成為哈佛的助理教授(Assistant Professor)。<ref>《[[俞大維]]傳》. 作者：[[李元平]]; 出版社：[[臺灣日報]]社; 出版日：1992年01月05日，392 頁;，[http://books.google.com.tw/books/about/%E4%BF%9E%E5%A4%A7%E7%B6%AD%E5%82%B3.html?id=PGHemgEACAAJ&redir_esc=y 01] [http://books.google.com.tw/books/about/%E4%BF%9E%E5%A4%A7%E7%B6%AD%E5%82%B3.html?id=VqxoAAAAIAAJ&redir_esc=y 02] [http://www.lib.hcu.edu.tw/Webpac2/store.dll/?ID=24348&T=0 增訂版] {{webarchive|url=https://web.archive.org/web/20140221191424/http://www.lib.hcu.edu.tw/Webpac2/store.dll/?ID=24348&T=0 |date=2014-02-21 }}</ref>1950年代初，隨{{tsl|en|Paul Bernays|保羅·伯奈斯}}在[[蘇黎世]]學習。
1956年獲薦為[[牛津大學]]Reader in the Philosophy of Mathematics。
1959年，王浩在「[[IBM 704]]计算机」上用9分钟计算时间，证明了[[伯特蘭·羅素|罗素]]、[[阿爾弗雷德·諾思·懷特黑|德怀特海]]所著《[[数学原理]]》中数百余条[[数理逻辑]]定理；<ref>{{Cite article | last1=Wang | first1=Hao | doi=10.1147/rd.41.0002 | journal=IBM Journal of Research and Development | year=1960 | volume=4 | number=1 | pages=2–22|title=Toward Mechanical Mathematics}}</ref> 因此在1983年於[[国际人工智能联合会议]]荣获首届证明自动化奖（the first Milestone Prize for Automated Theorem-Proving）。<ref>{{cite book |author=Loveland, Donald W.; Bledsoe, W. W. |title=Automated theorem proving: after 25 years |publisher=American Mathematical Society |location=Providence, Rhode Island |year=1984 |pages= |isbn=0-8218-5027-X |url=http://books.google.com/?id=zJFaRikPhB4C&pg=PA47&lpg=PA47&dq=hao+wang+prize#v=onepage&q=hao%20wang%20prize&f=false
}}, page 47</ref><ref>[[吴文俊]]《数学机械化》iii页、40页，科学出版社，ISBN 7-03-010765，實例「[[数学机械化自动推理平台]]」</ref>1961年任命主持哈佛「數理邏輯和應用數學的{{tsl|en|Gordon McKay}}教授紀念講座」<ref>{{Cite web |url=http://lewis.seas.harvard.edu/biocv |title=存档副本 |accessdate=2014-04-11 |archive-date=2014-04-13 |archive-url=https://web.archive.org/web/20140413131034/http://lewis.seas.harvard.edu/biocv |dead-url=no }}</ref>。1967年至1991年，領導[[洛克斐勒大學]]的邏輯學小組，在那裡他是数理邏輯學教授。