王浩（1921年5月20日—1995年5月13日）數(shù)理邏輯學(xué)家。祖籍山東省德州市齊河縣，生于山東省濟(jì)南市。1939年畢業(yè)于現(xiàn)山東省濟(jì)南第一中學(xué)，進(jìn)入國立西南聯(lián)合大學(xué)數(shù)學(xué)系學(xué)習(xí)，師從金岳霖先生。1943年獲學(xué)士后又入清華大學(xué)研究生院哲學(xué)部學(xué)習(xí)，1945年以《論經(jīng)驗知識的基礎(chǔ)》的論文獲碩士學(xué)位。王浩在中學(xué)時代就對哲學(xué)有興趣，念初中時他在父親的建議下閱讀過恩格斯的著作《反杜林論》和《路德維希·費爾巴哈與德國古典哲學(xué)的終結(jié)》。1946年，王浩前往哈佛大學(xué)，在那里見到了當(dāng)代美國著名哲學(xué)家、邏輯學(xué)家威拉德·范·奧曼·蒯因（W.V.Quine），并隨即開始學(xué)習(xí)他創(chuàng)立的形式公理系統(tǒng)。兩年時間即獲哈佛大學(xué)哲學(xué)博士學(xué)位。在哈佛短暫教學(xué)之后赴蘇黎世與貝奈斯（Paul Bernays）一起工作。1954-1956年，在牛津大學(xué)任第二屆約翰·洛克講座主講，又任邏輯及數(shù)理哲學(xué)高級教職，主持數(shù)學(xué)基礎(chǔ)討論班。1961-1967年，任哈佛大學(xué)教授。1967-1991年，任洛克菲勒大學(xué)邏輯學(xué)教授。20世紀(jì)50年代初被選為美國科學(xué)院院士，后又被選為英國科學(xué)院外國院士。1983年，被國際人工智能聯(lián)合會授予第一屆“數(shù)學(xué)定理機(jī)械證明里程碑獎”，以表彰他在數(shù)學(xué)定理機(jī)械證明研究領(lǐng)域中所作的開創(chuàng)性貢獻(xiàn)。著有《數(shù)理邏輯概論》《從數(shù)學(xué)到哲學(xué)》《哥德爾》《超越分析哲學(xué)》等專著。
人物經(jīng)歷
高中時他偶然讀到金岳霖編寫的《邏輯》（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）課，閱讀了魯?shù)婪颉た柤{普（R·Carnap）的《語音的邏輯句法》（1934年版），并開始撰寫關(guān)于大衛(wèi)·休謨的歸納問題的論文。王浩在回憶這段緊張而有意義的學(xué)習(xí)生活時說：1939年到1946年我在昆明市，享受到生活貧苦而精神食糧豐盛的樂趣。特別是因為和金（岳霖）先生及幾位別的先生和同學(xué)都有共同的興趣和暗合的視為當(dāng)然的價值標(biāo)準(zhǔn)，覺得心情愉快，并因而能夠把工作變成了一個最基本的需要，成為以后自己生活上主要的支柱。我的愿望是：愈來愈多的中國青年可以有機(jī)會享受這樣一種清淡的幸福！讀書期間（1943~1946年），王浩還兼任過數(shù)學(xué)教員。1946年王浩入哈佛大學(xué)研究生院，1948年王浩獲哲學(xué)博士學(xué)位。
主要成果
科研成果
50年代初，王浩在全美最早區(qū)分了“非直謂集合論”與“直謂集合論”的界限，開拓了集合論的一個新領(lǐng)域。1952年，在美發(fā)表有關(guān)“真理定義”的論文，1954年提出與當(dāng)時流行的計算機(jī)不同的改進(jìn)設(shè)想，1957年創(chuàng)設(shè)出“王氏機(jī)器”。
王浩在數(shù)理邏輯和計算機(jī)科學(xué)方面，王浩做出了重大貢獻(xiàn)，主要包括六個方面：(1)公理集合論。(2)邏輯語言學(xué)。(3)理想計算機(jī)。他提出的一種新型理想計算機(jī)被稱為“王氏機(jī)”。(4)數(shù)學(xué)定理機(jī)械化證明。他有效地證明了伯特蘭·阿瑟·威廉·羅素與阿爾弗雷德·懷特黑德(Whitehead)的《數(shù)學(xué)原理》中帶集式的謂詞演算部分的350多條定理，這一結(jié)果當(dāng)時在國際數(shù)學(xué)界引起轟動。(5)數(shù)學(xué)邏輯中謂詞邏輯的判定問題。(6)“鋪磚”理論（又稱“骨牌游戲理論”）。“鋪磚”理論是王浩于1960年創(chuàng)造的一種新的算法理論，被稱為“王磚”，這一理論有非常廣泛的應(yīng)用范圍，其變型——“彭羅塞(Penrose)磚”曾被用于準(zhǔn)晶。
王浩強(qiáng)調(diào)發(fā)展應(yīng)用邏輯新分支--"推理分析"(inferentialanalysis)，其對于數(shù)理邏輯的依賴關(guān)系類似于數(shù)值分析(numericalanalysis)對于數(shù)學(xué)分析的依賴關(guān)系；堅持謂詞演算和埃爾布朗(Herbrand)與格哈德·根岑(Gentzen)形式化的基本作用；設(shè)計了證明程序，有效地證明了伯特蘭·阿瑟·威廉·羅素與阿爾弗雷德·懷特黑德(Whitehead)的《數(shù)學(xué)原理》中帶集式的謂詞演算部分的350多條定理；第一個強(qiáng)調(diào)在埃爾布朗序列(Herbrandexpansion)中預(yù)先消去無用項的算法的重要性；提出一些深思熟慮的謂詞演算定理，可用作挑戰(zhàn)性問題來幫助判斷新的定理證明程序的效能。
主要論文與著作
王浩曾發(fā)表100多篇論文。
主要著作有：《數(shù)理邏輯概論》《從數(shù)學(xué)到哲學(xué)》《計算、邏輯、哲學(xué)》等。
人才培養(yǎng)
1949年王浩接替奎因開設(shè)高等邏輯課。之后，王浩回哈佛大學(xué)任教，1954年，王浩以洛克菲勒基金會研究員的身份任教英國牛津大學(xué)，1961年，回到哈佛大學(xué)后，王浩一直擔(dān)任數(shù)理邏輯戈登·麥凱(GordonMacKay)講座教授。1977年，王浩在北京作了六次關(guān)于數(shù)理邏輯的講演。1985年，王浩兼任北京大學(xué)教授，1986年兼任清華大學(xué)教授。
突出貢獻(xiàn)
根據(jù)威拉德·范·奧曼·蒯因的建議，論文的題目取為《經(jīng)典分析的經(jīng)濟(jì)實體論》（An Economic 本體論 for Classical Analysis）。1947年開始擔(dān)任奎因的高等邏輯與語言哲學(xué)等課程的助教；1948年獲理學(xué)博士，并繼續(xù)留在哈佛大學(xué)；1948~1951年任初級研究員，1951~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ù)參加了這個討論班。1961~1967年回到哈佛大學(xué)任數(shù)理邏輯與應(yīng)用數(shù)學(xué)教授。l967年以后在洛克菲勒大學(xué)任數(shù)學(xué)教授，并主持該校的邏輯研究室。l975~1976年曾到普林斯頓大學(xué)高級研究所訪問和工作。
擔(dān)任要職
1953年起，王浩開始計算機(jī)理論與機(jī)器證明的研究。因為一方面他敏銳地感覺到被認(rèn)為過分講究形式的精確，十分繁瑣而無任何實際用處的數(shù)理邏輯可以在計算機(jī)領(lǐng)域發(fā)揮極好的作用；另一方面由于新中國的成立，他想多學(xué)點有用的東西以便將來回來報效祖國。為此他曾兼任巴勒斯公司的研究工程師（1953~l954年）、貝爾電話實驗室技術(shù)專家（1959~1960年）、IBM研究中心客座科學(xué)家（1973~l974年）等一系列職務(wù)。
人物評價
王浩雖身居海外，卻不為西方的頹廢風(fēng)氣所影響，他全心投入科學(xué)研究，致力于推動科學(xué)進(jìn)步。在他步入人生壯年之際，已經(jīng)在科學(xué)領(lǐng)域取得了顯著成就，達(dá)到了巔峰狀態(tài)。他是一位享譽中外的著名邏輯學(xué)家、計算機(jī)科學(xué)家和哲學(xué)家，其學(xué)術(shù)成就和貢獻(xiàn)備受國際認(rèn)可。（《春秋》1997年第1期評）
王浩作為知名的邏輯學(xué)家，他畢生致力于探索數(shù)學(xué)與哲學(xué)之間的橋梁，是邏輯學(xué)領(lǐng)域的創(chuàng)新者。他對計算機(jī)科學(xué)的發(fā)展起到了重要的推動作用，并在該領(lǐng)域取得了顯著的成就。（《紐約時報》評）
王浩在集合論與數(shù)學(xué)基礎(chǔ)領(lǐng)域，以及數(shù)學(xué)定理的機(jī)器證明方面，均做出了重要的學(xué)術(shù)貢獻(xiàn)。（中國致公黨山東省委員會評）
王浩作為華人學(xué)者的杰出代表，在國際學(xué)術(shù)界享有崇高的聲譽。（上海科學(xué)技術(shù)出版社《科學(xué)》雜志，2007年第6期評）
參考資料 >
華人數(shù)學(xué)家王浩.北京師范大學(xué)附屬中學(xué).2024-04-07
王浩.山東省政協(xié)文史館.2024-04-07
以華人數(shù)學(xué)家命名的數(shù)學(xué)成果.南開大學(xué)新聞網(wǎng).2024-04-12
王浩.中國致公黨山東省委員會.2024-04-07
學(xué)術(shù)生涯與愛國情懷——王浩先生訪談.清華校友總會.2024-04-07