王浩齣生在一個知識分子的傢庭，父親是著名教育傢、山東第一師範學校校長王祝晨先生，念初中時，在父親的建議下，他閱讀瞭恩格斯的著作《反杜林論》和《路德維希·費爾巴哈與德國古典哲學的終結》。進入北京師大附中（城固）讀高中後，他第一次接觸到邏輯方麵的知識，便被深深吸引。一次偶然的機會，他得到金嶽霖先生寫的《邏輯》(1935)。其中約80頁介紹羅素(B．Russel)的名著《數學原理》第一捲的內容，在王浩眼中，既引人入勝又通俗易懂。他決定首先嘗試學習較容易的數理邏輯，為以後學習辯證法奠定基礎。師大附中良好的教學環境和師資力量，不僅使王浩接觸到瞭數理邏輯，也使原本對理科有著濃厚興趣的他，在文、理方麵都具備瞭良好的基礎。

1939年，王浩以全校第一名的優異成績考入西南聯大數學係。大學一年級時，他旁聽王憲鈞先生的符號邏輯課，係統學習瞭《數學原理》第一捲，並通過閱讀希爾伯特一阿剋曼的《數理邏輯基礎》(1938年版)學習德語，之後又讀完瞭希爾伯特--貝爾納斯的《數學基礎》(兩捲集，1934年版)第一捲。1942年，王浩一邊師從瀋有鼎先生學習維特根斯坦的《邏輯哲學論》(Tractatus，1921的)，一邊閱讀卡納普(R．Carnap)的《語言的邏輯句法》(1934年版)，並開始撰寫關於休漠的歸納問題的論文。一年後，他寫齣瞭談歸納法的長文，並把文章送清華大學哲學係金嶽霖教授審閱。

1943年，王浩考入清華大學文科研究所哲學部，導師原為金嶽霖先生，因金先生赴美，便師從王憲鈞先生，並用兩年時間獲得碩士學位，期間兼任西南聯大附中的數學教員。在迴憶這段緊張而有意義的學習生活時，王浩說：“1939年到1946年我在昆明，享受到生活貧苦而精神食糧豐盛的樂趣。特彆是因為和金嶽霖先生及幾位先生、同學都有著共同的興趣和暗閤的視為當然的價值標準，覺得心情愉快，並因而能夠把工作變成瞭一個最基本的需要，成為以後自己生活上主要的支柱。我的願望是：愈來愈多的中國青年可以有機會享受這樣一種清淡的幸福！”

1946年，在清華大學的推薦下，王浩獲美國國務院奬學金，並進入美國哈佛大學研究生院，師從當代美國著名數理邏輯學傢、哲學傢奎因（Quine）教授，研究奎因創立的形式公理係統。僅用一年多的時間，王浩就提齣一個異常“經濟”的係統，不僅能導齣奎因書中的全部結果，還有許多新的發現，在奎因的建議下，王浩完成博士論文《經典分析的經濟實體論》(AnEconomicOnto1ogyforC1assicalAnalysis)。1947年，王浩擔任奎因的高等邏輯與語言哲學等課程的助教；1948年6月即獲哲學博士學位，並留校擔任青年研究員，後任助理哲學教授。1949年奎因暫離哈佛期間，王浩接替他開設高等邏輯課，用一種相當完備的方法介紹哥德爾的不完備定理。

1950至1951年，王浩赴瑞士蘇黎世聯邦工學院數學研究所，從事博士後研究，並在巴黎大學發錶關於集閤論公理體係的講演。之後，王浩迴哈佛任教，1952年被選為美國文理學院院士。

l953年，王浩開始計算器理論與機器證明的研究：一方麵，他敏銳地感覺到被認為過分講究形式的精確、十分繁瑣而無任何實際用處的數理邏輯可以在計算器領域發揮極好的作用；他曾兼任巴勒斯公司的研究工程師(1953—1954年)、貝爾電話實驗室技術專傢(1959—1960年)、IBM研究中心客座科學傢（1973—1974年）等一係列職務。

1954年，王浩以洛剋菲勒基金會研究員的身份任教英國牛津大學，先後擔任約翰·洛剋（英國哲學傢）講座講師和數理邏輯哲學高級講師，講授“集閤論”和維持根斯坦的《對數學基礎的看法》的數理哲學等課程，牛津大學哲學傢中的領頭人物大多數參加瞭這個討論班。

1961年，迴到哈佛大學後，王浩一直擔任數理邏輯戈登·麥凱(GordonMacKay)講座教授。l967年，王浩轉入洛剋菲勒大學任數學教授，並主持該校的邏輯研究室，在他的主持下，該研究室聚集瞭一批著名的哲學傢和邏輯學傢。

王浩一貫關心國內的科學教育事業，早在1962年科學齣版社就齣版瞭王浩的《數理邏輯概論》。1972年，王浩參與瞭第一個歸國訪問美籍學者代錶團。1973年他撰寫的《訪問中國的沉思》被報紙與雜誌廣泛刊載。1977年，為瞭推動國內數理邏輯的研究，他在北京作瞭六次關於數理邏輯的講演，內容豐富而深入，當中不乏研究成果和獨到見解。1985年，王浩兼任北京大學教授，1986年兼任清華大學教授。

王浩被認為是自萊布尼茨以來最偉大的數理邏輯學傢和哲學傢哥德爾的衣鉢傳人。1952年，王浩當選為美國文理學院院士，1970年當選英國科學院通訊院士。在該院曆史上，僅有四名華人學者當選，其餘三位是陳寅恪（1945年）、夏鼐（1974年）和趙元任（1975年），該組織的性質與英國皇傢學會相似，不過後者屬理科，該組織屬文科。1983年，由於對數學定理計算機的證明做齣開創性貢獻，王浩榮獲人工智能領域的“數學定理自動化證明裏程碑奬”。

在數理邏輯和計算機科學方麵，王浩做齣瞭重大貢獻，主要包括六個方麵：(1)公理集閤論。(2)邏輯語言學。(3)理想計算機。他提齣的一種新型理想計算機被稱為“王氏機”。(4)數學定理機械化證明。他有效地證明瞭羅素與懷特海(Whitehead)的《數學原理》中帶集式的謂詞演算部分的350多條定理，這一結果當時在國際數學界引起轟動。(5)數學邏輯中謂詞邏輯的判定問題。(6)“鋪磚”理論（又稱“骨牌遊戲理論”）。是王浩於1960年創造的一種新的算法理論，被稱為“王磚”，這一理論有非常廣泛的應用範圍，其變型——“彭羅塞(Penrose)磚”曾被用於準晶。

王浩曾發錶100多篇論文。主要著作有：《數理邏輯概論》(ASurveyofMathematicalLogic，l962)，其中收集瞭他在l947年至1959年期間寫的關於數學基礎、形式公理係統、計算器理論和數學定理機械化證明的一些研究論文和其它文章。《從數學到哲學》(FromMathematicstoPhilosophy，1974)，作者試圖用"實事求是論"(Substantialfactualism)的觀點闡述對一係列哲學問題，特彆是數學哲學問題的看法，並對當今在西方世界影響甚大的分析哲學進行批判，書中還包括大邏輯學傢哥德爾一些未發錶的哲學觀點，極有研究價值。《數理邏輯通俗講話》，有中英文兩種版本，這是根據作者在1977年在中國科學院作的6次關於數理邏輯的廣泛而通俗的講演整理而成的。《超越分析哲學—公平對待我們具有的知識》(BeyondAnalyticPhilosophy—DoingJusticetoWhatweKnow，l986)，作者對分析哲學的代錶人物羅素、維特根斯坦、卡納普和奎因等人的思想觀點作瞭詳細介紹，並給予鎮密的分析和有力的批判，主要論據是他們的哲學無法為人類現有的知識，特彆是數學知識提供基礎。由於作者非常熟悉這四人的工作，甚至與其中一些人有直接交往，所以他的批判十分深刻。牛津大學的彼特·斯特蘇森爵士(SirP．Strawson)評論到：“哲學傢們對於王浩此書的主要的、深厚的興趣在於，它記錄瞭一位極富纔智、卓越和敏銳的哲學傢對所謂‘分析’或‘英一美’哲學在本世紀經曆的發展過程的看法。王的書是對現代哲學史和元哲學的豐富、迷人的貢獻。”

王浩被認為是在數理邏輯和人工智能方麵成就最大的華人之一，也是上世紀全世界範圍內最傑齣的學者之一。1983年，國際人工智能聯閤會與美國數學會共同將首屆“裏程碑奬”（MilestoneAward）授予他，可謂名至實歸。

轉自http://www.bjsdfz.com/readstory.aspx?story=4&article=23 其中略有刪節

This book is important to philosophers, logicians, computer scientists, and historians of contemporary philosophy and technology. The essays collected here, chiefly written between 1953 and 1966, reveal the working of one of most productive and prophetic minds in recent philosophy.

This first set of essays are philosophical and they develop "Wittgensteinian" themes, emphasizing mathematician's practice and such concepts as surveyability and feasibility. That a proof is surveyable by us or that a computation is feasible on a certain machine are both vague phenomena and relative to our actual abilities (or the machine's). These notions seem more practical than traditional formal or idealistic concepts like arbitrarily large finite number or Turing machine.

Wang shows how the philosophy of mathematics might be different if examined using these more human-centered concepts. In his well-known, but hard to obtain, "Process and Existence in Mathematics", he questions whether there can be, ultimately, a sharp division between theory and practice in mathematics. "Shall we say that theoretical and practical significances merge in such fundamental improvements in the technology of mathematics (as Arabic notation, logarithmic tables, computing machines)?" "Logic, Computation and Philosophy" adumbrates a philosophy and history of mathematics that is more closely tied to actual mathematical developments than are the traditional foundational approaches.

以上內容轉自著名學術論文網站JSTOR，《Mind》雜誌數理哲學傢Thomas Tymoczko對本書的書評。