王浩(1921～)
正文
美籍華裔數學家、邏輯學家、計算機科學家、哲學家。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年他證明了具有凬xヨy凬zΜ(x,y,z) 形式的一階謂詞邏輯公式集合已是不可判定的。為了解決這個問題,他在1960年創立了一種新的數學理論──鋪磚理論（或稱骨牌遊戲理論）。1962年在北京出版了王浩的《數理邏輯概論》英文本，此書的一部分是他1960年前發表的論文。1977年秋他在中國科學院作了一系列關於數理邏輯的講演。1981年在北京出版了他的《數理邏輯通俗講話》中、英兩種文本。1974年出版了《從數學到哲學》（英文），1986年出版了《超乎分析哲學之外──論如何無負於人類已有之知識》（英文）。
