王浩（1921年5月20日—1995年5月13日），美籍華裔哲學家、數理邏輯學家。
| Hao Wang | |
|---|---|
 | |
| 出生 | 1921年5月20日 Jinan, Shandong, China |
| 逝世 | 1995年5月13日（73歲） New York City, New York, United States |
生平
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教授紀念講座」[5]。1967年至1991年，領導洛克斐勒大學的邏輯學小組，在那裏他是數理邏輯學教授。
1968年，英國埃德加·科德針對「細胞自動機」提出自己的科德細胞自動機(Codd's cellular automaton)（以王浩的「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。
參考文獻
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
