基本介紹
高中時(shí)他偶然讀到金岳霖編寫的《邏輯》（1935），其中約80頁介紹羅素（B·Russel）的名著《數(shù)學(xué)原理》第一卷的內(nèi)容，他認(rèn)識到這些內(nèi)容既有趣又易懂，因此決定：應(yīng)該首先嘗試學(xué)習(xí)較容易的數(shù)理邏輯，為以后學(xué)習(xí)辯證法作基礎(chǔ)準(zhǔn)備。大學(xué)一年級，他旁聽了王憲鉤的符號邏輯課，系統(tǒng)地學(xué)習(xí)了《數(shù)學(xué)原理》第一卷。并通過閱讀希爾伯特·阿克曼的《數(shù)理邏輯基礎(chǔ)》（1938年版）學(xué)習(xí)德語。此后又閱讀了希爾伯特·貝爾納斯的《數(shù)學(xué)基礎(chǔ)》（兩卷集，1934年版）的第一卷。1942年他聽了沈有鼎講授維特根斯坦（L·Wittgenstein，1889~1951）的《邏輯哲學(xué)論》（Tractatus，1921）課，閱讀了卡納普（R·Carnap）的《語音的邏輯句法》（1934年版），并開始撰寫關(guān)于休謨的歸納問題的論文。王浩在回憶這段緊張而有意義的學(xué)習(xí)生活時(shí)說：1939年到1946年我在昆明，享受到生活貧苦而精神食糧豐盛的樂趣。特別是因?yàn)楹徒穑ㄔ懒兀┫壬皫孜粍e的先生和同學(xué)都有共同的興趣和暗合的視為當(dāng)然的價(jià)值標(biāo)準(zhǔn)，覺得心情愉快，并因而能夠把工作變成了一個(gè)最基本的需要，成為以后自己生活上主要的支柱。我的愿望是：愈來愈多的中國青年可以有機(jī)會享受這樣一種清淡的幸福。讀書期間（1943~1946年），王浩還兼任過數(shù)學(xué)教員。
突出貢獻(xiàn)
根據(jù)奎因的建議，論文的題目取為《經(jīng)典分析的經(jīng)濟(jì)實(shí)體論》 （An Economic Onto1ogyforC1assical Analysis）。1947年開始擔(dān)任奎因的高等邏輯與語言哲學(xué)等課程的助教；1948年獲理學(xué)博士，并繼續(xù)留在哈佛大學(xué)；1948~1951年任初級研究員，195l~1956年任助理哲學(xué)教授。1949年奎因暫離哈佛期間，王浩接替他開設(shè)高等邏輯課，用一種相當(dāng)完備的方法介紹哥德爾的不完備定理。
工作生涯
1950~1951年期間，王浩赴瑞士蘇黎世聯(lián)邦工學(xué)院數(shù)學(xué)研究所，從事博士后研究。1954年以洛克菲勒基金會研究員的身份去英國。1954~1955年在英國牛津大學(xué)主持第二屆約翰·洛克哲學(xué)講座。1956年獲牛津大學(xué)巴利奧爾學(xué)院碩士。1956~1961年任牛津大學(xué)數(shù)學(xué)哲學(xué)高級講師。期間曾主持一討論班，討論維持根斯坦的《對數(shù)學(xué)基礎(chǔ)的看法》。牛津大學(xué)哲學(xué)家中的領(lǐng)頭人物大多數(shù)參加了這個(gè)討論班。1961~1967年回到哈佛任數(shù)理邏輯與應(yīng)用數(shù)學(xué)教授。l967年以后在洛克菲勒大學(xué)任數(shù)學(xué)教授，并主持該校的邏輯研究室。l975~1976年曾到普林斯頓高級研究所訪問和工作。
擔(dān)任要職
1953年起，王浩開始計(jì)算機(jī)理論與機(jī)器證明的研究。因?yàn)橐环矫嫠翡J地感覺到被認(rèn)為過分講究形式的精確，十分繁瑣而無任何實(shí)際用處的數(shù)理邏輯可以在計(jì)算機(jī)領(lǐng)域發(fā)揮極好的作用；另一方面由于新中國的成立，他想多學(xué)點(diǎn)有用的東西以便將來回來報(bào)效祖國。為此他曾兼任巴勒斯公司的研究工程師 （1953~l954年）、貝爾電話實(shí)驗(yàn)室技術(shù)專家（1959~1960年）、IBM研究中心客座科學(xué)家（1973~l974年）等一系列職務(wù)。
