王浩
美籍華裔數學傢、邏輯學傢、電腦科學傢、哲學傢。1921年生於中國山東省濟南市，逝於1996年。1943年於西南聯合大學數學系畢業。1945年於清華大學研究生院哲學部畢業。1948年獲美國哈佛大學哲學博士學位。1950～11951年在瑞士聯邦工學院數學研究所從事研究工作。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年出版瞭《超乎分析哲學之外──論如何無負於人類已有之知識》（英文）。