簡介
王浩是美藉華裔數理邏輯學家、計算機科學家和科學家,生於山東省濟南市。1939年畢業於國立西北師範學院附中,進入西南聯大數學系學習,1943年獲學士學位後又入清華大學研究生院哲學部學習,1945年以《論經驗知識的基礎》的論文獲碩士學位.王浩在中學時代就對哲學有興趣,念國中時他在父親的建議下閱讀過恩格斯的著作《反杜林論》和《路德維希·費爾巴哈與德國古典哲學的終結》 。
念高中時他偶然得到金岳霖寫的《邏輯》(1935),其中約80頁介紹羅素(B.Russel)的名著《數學原理》第一卷的內容,他感到這些內容既吸引入又容易懂,因此想:應該首先嘗試學習較容易的數理邏輯,為以後學習辯證法作較好的準備。大學一年級時,他旁聽了王憲鉤的符號邏輯課,系統地學習了《數學原理》第一卷。並通過閱讀希爾伯特一阿克曼的《數理邏輯基礎》 (1938年版)學習德語。
以後又閱讀了希爾伯特·貝爾納斯的《數學基礎》 (兩卷集,1934年版)的第一卷.1942年他聽了沈有鼎講授維根斯坦(L.Wittgenstein,1889--1951)的《邏輯哲學論》(Tractatus,1921)課,閱讀了卡納普(R.Carnap)的《語音的邏輯句法》 (1934年版),並開始撰寫關於休漠的歸納問題的論文;王浩在回憶這段緊張而有意義的學習生活時說:1939年到1946年我在昆明,享受到生活貧苦而精神食糧豐盛的樂趣。特別是因為和金[岳霖]先生及幾位別的先生和同學都有共同的興趣和暗合的視為當然的價值標準,覺得心情愉快,並因而能夠把工作變成了一個最基本的需要,成為以後自己生活上主要的支柱。他的願望是:愈來愈多的中國青年可以有機會享受這樣一種清淡的幸福!讀書期間(1943--46年),王浩還兼任過數學教員。身在異鄉
身在美國
1946年,王浩前往美國哈佛大學,在那裡見到了當代美國著名哲學家、邏輯學家奎因(W.V.Quine,1908--),並隨即開始學習他創立的形式公理系統,不久就對該系統作出改進,其部分結果寫成博士論文。根據奎因的建議,論文的題目取為《經典分析的經濟實體論》(AnEconomicOnto1ogyforC1assicalAnalysis)。1947年開始擔任奎因的高等邏輯與語言哲學等課程的助教;1948年獲理學博士,並繼續留在哈佛大學;1948一1951年任初級研究員,195l--1956年任助理哲學教授。1949年奎因暫離哈佛期間,王浩接替他開設高等邏輯課,用一種相當完備的方法介紹哥德爾的不完備定理。
身在瑞士
1950—1951年期間,王浩赴瑞士蘇黎世聯邦工學院數學研究所,從事博士後研究。1954年以洛克菲勒基金會研究員的身份去英國。1954—1955年在英國牛津大學主持第二屆約翰·洛克哲學講座。1956年獲牛津大學巴利奧爾學院碩士。1956—1961年任牛津大學數學哲學高級講師.期間曾主持一討論班,討論維持根斯坦的《對數學基礎的看法》。牛津大學哲學家中的領頭人物大多數參加了這個討論班。1961—1967年回到哈佛任數理邏輯與套用數學教授。l967年以後在洛克菲勒大學任數學教授,並主持該校的邏輯研究室。l975—1976年曾到普林斯頓高級研究所訪問和工作。著手研究
1953年起,王浩開始計算機理論與機器證明的研究。因為一方面他敏銳地感覺到被認為過分講究形式的精確,十分繁瑣而無任何實際用處的數理邏輯可以在計算機領域發揮極好的作用;另一方面由於新中國的成立,他想多學點有用的東西以便將來回來報效祖國。為此他曾兼任巴勒斯公司的研究工程師(1953—l954年)、貝爾電話實驗室技術專家(1959—1960年)、IBM研究中心客座科學家(1973—l974年)等一系列職務。
回到祖國
1972年以後,王浩數次回國。1973年他寫了《訪問中國的沉思》 ,被報紙與雜誌廣泛刊載。1985年兼任北京大學教授;1986年兼任清華大學教授。