Hao Wang 王浩

Hao Wang was a logician, philosopher, mathematician, and commentator on Kurt Gödel.

《中國大百科全書 哲學》（吳允曾 撰）

美籍華裔數學家﹑邏輯學家﹑計算機科學家﹑哲學家。1921年生於中國山東省濟南市。1943年於西南聯合大學數學系畢業。1945年於清華大學研究生院哲學部畢業。1948年獲美國哈佛大學哲學博士學位。1950～1951年在瑞士聯邦工學院數學研究所從事研究工作。1951～1953年任哈佛大學助理教授。1954～1961年在英國牛津大學作第二套洛克講座講演﹐又任邏輯及數理哲學高級教職。1961～1967年任哈佛大學教授。1967年後任美國洛克菲勒大學教授﹐主持邏輯研究室工作。1985年兼任中國北京大學名譽教授。1986年兼任中國清華大學名譽教授。50年代初被選為美國科學院院士﹐後又被選為不列顛科學院外國院士。

王浩於50年代對集合論作出了重要貢獻﹐他最早區分了非直謂集合論與直謂集合論﹐開拓了集合論的一個新領域。在邏輯語義學方面﹐他的有關真理性定義的論文(1952)﹐改進了30年代初塔爾斯基﹐A.的工作﹐提出了更完整的理論。1954年他與A.博克斯合作﹐提出了一些與當時流行的計算機設計不同的思想。1957年他又提出了一種新的比圖林機更接近現實機器的理想計算機﹐後被稱為王氏機器。王氏機器的存儲帶具有只讀而不能改寫的特點﹐他還證明了這種機器與圖林機一樣能計算一切可計算函數。1958年他在計算機上用了9分鐘時間﹐證明了懷特海﹐A.N.和羅素﹐B.A.W.合著的《數學原理》中的450 條定理。1983年他獲得了國際人工智能聯合會頒發的第一屆“數學定理機械證明里程碑獎”。1961年他證明了具有(﹐﹐) 形式的一階謂詞邏輯公式集合已是不可判定的﹐為了解決這個問題﹐他在1960年創立了一種新的數學理論──鋪磚理論(或稱骨牌遊戲理論)。1962年在北京出版了王浩的《數理邏輯概論》英文本﹐此書的一部分是他1960年前發表的論文。1977年秋他在中國科學院作了一系列關於數理邏輯的講演。1981年在北京出版了他的《數理邏輯通俗講話》中﹑英兩種文本。1974年出版了《從數學到哲學》(英文)﹐1986年出版了《超乎分析哲學之外──論如何無負於人類已有之知識》(英文)。