王浩 (數學家)檢視原始碼討論檢視歷史
王浩 |
|---|
 出生 1921年5月20日 逝世 1995年5月13日 母校 哈佛大學 曾擔任 領導洛克斐勒大學的邏輯學小組 任期 1967年至1991年 知名於 哲學家、數理邏輯學家 榮譽 首屆證明自動化獎1983年
|
王浩 (Hao Wang)（1921年5月20日－1995年5月13日），祖籍山東省德州市齊河縣，出生在中國山東濟南，美籍華裔哲學家、數理邏輯學家。
生平
1943年西南聯合大學數學系畢業，1945年清華大學哲學系畢業，國內期間曾師從著名邏輯學家金岳霖。 1948年哈佛大學邏輯學博士畢業，同年成為哈佛的助理教授(Assistant Professor)。[1]1950年代初，隨保羅·伯奈斯在蘇黎世學習。 1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。 1959年，王浩在「IBM 704計算機」上用9分鐘計算時間，證明了羅素、德懷特海所著《數學原理》中數百餘條數理邏輯定理；因此在1983年於國際人工智能聯合會議榮獲首屆證明自動化獎（the first Milestone Prize for Automated Theorem-Proving）。[2][3]1961年任命主持哈佛「數理邏輯和應用數學的Gordon McKay教授紀念講座」[4]。1967年至1991年，領導洛克斐勒大學的邏輯學小組，在那裡他是數理邏輯學教授。
1968年，英國埃德加·科德針對「細胞自動機」提出自己的「科德細胞自動機」（以王浩的「Wang B-machine」為基礎）論點，以探討「人工生命」議題。
經歷
高中時他偶然讀到金岳霖編寫的《邏輯》（1935），其中約80頁介紹羅素（B·Russel）的名著《數學原理》第一卷的內容，他認識到這些內容既有趣又易懂，因此決定：應該首先嘗試學習較容易的數理邏輯，為以後學習辯證法作基礎準備。
大學一年級，他旁聽了王憲鈞的符號邏輯課，系統地學習了《數學原理》第一卷。並通過閱讀希爾伯特·阿克曼的《數理邏輯基礎》（1938年版）學習德語。此後又閱讀了希爾伯特·貝爾納斯的《數學基礎》（兩卷集，1934年版）的第一卷。
1942年他聽了沈有鼎講授維特根斯坦（L·Wittgenstein，1889~1951）的《邏輯哲學論》（Tractatus，1921）課，閱讀了卡納普（R·Carnap）的《語音的邏輯句法》（1934年版），並開始撰寫關於休謨的歸納問題的論文。王浩在回憶這段緊張而有意義的學習生活時說：1939年到1946年在昆明，享受到生活貧苦而精神食糧豐盛的樂趣。特別是因為和金（岳霖）先生及幾位別的先生和同學都有共同的興趣和暗合的視為當然的價值標準，覺得心情愉快，並因而能夠把工作變成了一個最基本的需要，成為以後自己生活上主要的支柱。我的願望是：愈來愈多的中國青年可以有機會享受這樣一種清淡的幸福！讀書期間（1943~1946年），王浩還兼任過數學教員。
突出貢獻
根據奎因的建議，論文的題目取為《經典分析的經濟實體論》（An Economic Ontology for Classical Analysis）。1947年開始擔任奎因的高等邏輯與語言哲學等課程的助教；1948年獲理學博士，並繼續留在哈佛大學；1948~1951年任初級研究員，1951~1956年任助理哲學教授。1949年奎因暫離哈佛期間，王浩接替他開設高等邏輯課，用一種相當完備的方法介紹哥德爾的不完備定理。
工作生涯
1950~1951年期間，王浩赴瑞士蘇黎世聯邦工學院數學研究所，從事博士後研究。1954年以洛克菲勒基金會研究員的身份去英國。1954~1955年在英國牛津大學主持第二屆約翰·洛克哲學講座。1956年獲牛津大學巴利奧爾學院碩士。1956~1961年任牛津大學數學哲學高級講師。期間曾主持一討論班，討論維特根斯坦的《對數學基礎的看法》。牛津大學哲學家中的領頭人物大多數參加了這個討論班。1961~1967年回到哈佛任數理邏輯與應用數學教授。1967年以後在洛克菲勒大學任數學教授，並主持該校的邏輯研究室。1975~1976年曾到普林斯頓高級研究所訪問和工作。
著作
- 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。
參考文獻
- ↑ 《俞大維傳》. 作者：李元平; 出版社：臺灣日報社; 出版日：1992年01月05日，392 頁;，01 02 增訂版 網際網路檔案館的存檔，存檔日期2014-02-21.
- ↑ Loveland, Donald W.; Bledsoe, W. W. Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. 1984. ISBN 0-8218-5027-X., page 47
- ↑ 吳文俊《數學機械化》iii頁、40頁，科學出版社，ISBN 7-03-010765，實例「數學機械化自動推理平台」
- ↑ 存檔副本. [2014-04-11]. （原始內容存檔於2014-04-13）.