美籍華裔數學傢、邏輯學傢、電腦科學傢、哲學傢。生於山東濟南，卒於美國紐約。1943年於西南聯合大學數學系畢業。1945年於清華大學研究生院哲學部畢業。1948年獲美國哈佛大學哲學博士學位。1950～1951年在瑞士聯邦工學院數學研究所從事研究工作。1951～1953年任哈佛大學助理教授。1954～1961年在英國牛津大學作第二套洛克講座講演，又任邏輯及數理哲學高級教職。1961～1967年任哈佛大學教授。1967年後任美國洛克菲勒大學教授，主持邏輯研究室室工作。1985年兼任中國北京大學名譽教授。1986年兼任中國清華大學名譽教授。1953年當選美國藝術與科學學院院士。20世紀50年代初當選美國國傢科學院院士，後又被選為不列顛科學院外籍院士。
主要研究數理邏輯、數學基礎、計算機科學、哲學等。於20世紀50年代對集合論作出重要貢獻，他最早區分瞭非直謂集合論與直謂集合論，開拓瞭集合論的一個新領域。在邏輯語義學方面，他的有關真理性定義的論文(1952)，改進瞭30年代初A.塔爾斯基的工作，提出瞭更完整的理論。1954年他與A.博克斯合作，提出一些與當時流行的計算機設計不同的思想。1957年他又提出一種新的比圖靈機更接近現實機器的理想計算機，後被稱為王氏機器。王氏機器的存貯帶具有隻讀而不能改寫的特點，他還證明瞭這種機器與圖靈機一樣能計算一切可計算函數。1958年他在計算機上用9分鐘時間證明瞭A.N.懷特海與B.A.W.羅素合著的《數學原理》中的450 條定理。1983年他獲得瞭國際人工智能聯合會頒發的第一屆“數學定理機械證明裡程碑獎”。1961年他證明瞭具有6x7y6zM(x,y,z)形式的一階謂詞邏輯公式集合已是不可判定的。為解決這個問題，他在1960年創立瞭一種新的數學理論──鋪磚理論（或稱骨牌遊戲理論）。有《數理邏輯概論》（1962，英文）、《從數學到哲學》（1974，英文）、《數理邏輯通俗講話》（1981，中、英文）、《超乎分析哲學之外——論如何無負於人類已有之知識》(1986，英文）、《計算•邏輯•哲學》(1990)等著作。