王浩[近代數理邏輯學家]

王浩（1921年5月20日—1995年5月13日），數理邏輯學家。祖籍山東省德州市齊河縣，生於山東省濟南市。1983年，被國際人工智慧聯合會授予第一屆“數學定理機械證明里程碑獎”，以表彰他在數學定理機械證明研究領域中所作的開創性貢獻。著有《數理邏輯概論》、《從數學到哲學》、《哥德爾》、《超越分析哲學》等專著。

基本信息

• 中文名：王浩
• 出生地：山東省濟南市
• 民族：漢族
• 國籍：中國
• 去世日期：1995年5月13日
• 職業： 邏輯學家
  
• 籍貫：山東省德州市齊河縣

人物簡介

王浩（1921年5月20日—1995年5月13日）數理邏輯學家。祖籍山東省德州市齊河縣，生於山東省濟南市。1939年畢業於現山東省濟南第一中學，進入西南聯大數學系學習，師從金岳霖先生。1943年獲學士學位後又入清華大學研究生院哲學部學習，1945年以《論經驗知識的基礎》的論文獲碩士學位。王浩在中學時代就對哲學有興趣，念國中時他在父親的建議下閱讀過恩格斯的著作《反杜林論》和《路德維希·費爾巴哈與德國古典哲學的終結》。1946年，王浩前往美國哈佛大學，在那裡見到了當代美國著名哲學家、邏輯學家奎因（W.V.Quine），並隨即開始學習他創立的形式公理系統。兩年時間即獲哈佛大學哲學博士學位。在哈佛短暫教學之後赴蘇黎世與貝奈斯（PaulBernays）一起工作。1954-1956年，在牛津大學任第二屆約翰-洛克講座主講，又任邏輯及數理哲學高級教職，主持數學基礎討論班。1961-1967年，任哈佛大學教授。1967-1991年，任洛克菲勒大學邏輯學教授。20世紀50年代初被選為美國科學院院士，後又被選為不列顛科學院外國院士。

主要經歷

1950~1951年期間，王浩赴瑞士蘇黎世聯邦工學院數學研究所，從事博士後研究。1954年以洛克菲勒基金會研究員的身份去英國。1954~1955年在英國牛津大學主持第二屆約翰·洛克哲學講座。1956年獲牛津大學巴利奧爾學院碩士。1956~1961年任牛津大學數學哲學高級講師。期間曾主持一討論班，討論維持根斯坦的《對數學基礎的看法》。牛津大學哲學家中的領頭人物大多數參加了這個討論班。1961~1967年回到哈佛任數理邏輯與套用數學教授。l967年以後在洛克菲勒大學任數學教授，並主持該校的邏輯研究室。l975~1976年曾到普林斯頓高級研究所訪問和工作。

擔任要職

1953年起，王浩開始計算機理論與機器證明的研究。因為一方面他敏銳地感覺到被認為過分講究形式的精確，十分繁瑣而無任何實際用處的數理邏輯可以在計算機領域發揮極好的作用；另一方面由於新中國的成立，他想多學點有用的東西以便將來回來報效祖國。為此他曾兼任巴勒斯公司的研究工程師（1953~l954年）、貝爾電話實驗室技術專家（1959~1960年）、IBM研究中心客座科學家（1973~l974年）等一系列職務。