【王氏悖論】數學家王浩關于數理邏輯的一個命題被國際上定為“王氏悖論”。
王浩（1921年5月21日—1995年5月13日）是美藉華裔數理邏輯學家、計算機科學家和科學家，生于山東省濟南市。1939年進入西南聯大數學系學習，師從金嶽霖先生。1943年獲學士學位後又入清華大學研究所學生院哲學部學習，1945年以《論經驗知識的基礎》的論文獲碩士學位。
王浩在中學時代就對哲學有興趣，念國中時他在父親的建議下閱讀過恩格斯的著作《反杜林論》和《路德維希•費爾巴哈與德國古典哲學的終結》。念高中時他偶然得到金嶽霖寫的《邏輯》(1935)，其中約80頁介紹羅素(B.Russel)的名著《數學原理》第一卷的内容，他感到這些内容既吸引入又容易懂，是以想：“應該首先嘗試學習較容易的數理邏輯，為以後學習辯證法作較好的準備。”
大學一年級時，他旁聽了王憲鈎的符号邏輯課，系統地學習了《數學原理》第一卷。并通過閱讀希爾伯特一阿克曼的《數理邏輯基礎》(1938年版)學習德語。以後又閱讀了希爾伯特--貝爾納斯的《數學基礎》(兩卷集，1934年版)的第一卷。1942年他聽了沈有鼎講授維特根斯坦(L.Wittgenstein，1889-1951)的《邏輯哲學論》(Tractatus，1921)課，閱讀了卡納普(R.Carnap)的《語音的邏輯句法》(1934年版)，并開始撰寫關于休漠的歸納問題的論文。
王浩在回憶這段緊張而有意義的學習生活時說：“1939年到1946年我在昆明，享受到生活貧苦而精神食糧豐盛的樂趣。特别是因為和金(嶽霖)先生及幾位别的先生和同學都有共同的興趣和暗合的視為當然的價值标準，覺得心情愉快，并因而能夠把工作變成了一個最基本的需要，成為以後自己生活上主要的支柱。我的願望是：愈來愈多的中國青年可以有機會享受這樣一種清淡的幸福！”讀書期間(1943-46年)，王浩還兼任過數學教員。
1946年，王浩前往美國哈佛大學，在那裡見到了當代美國著名哲學家、邏輯學家奎因(W.V.Quine，1908-)，并随即開始學習他創立的形式公理系統，不久就對該系統作出改進，其部分結果寫成博士論文.根據奎因的建議，論文的題目取為《經典分析的經濟實體論》(An Economic Onto1ogyfor C1assical Analysis)。1947年開始擔任奎因的高等邏輯與語言哲學等課程的助教；1948年獲理學博士，并繼續留在哈佛大學；1948-1951年任初級研究員，195l-1956年任助理哲學教授。1949年奎因暫離哈佛期間，王浩接替他開設高等邏輯課，用一種相當完備的方法介紹哥德爾的不完備定理。
1950-1951年期間，王浩赴瑞士蘇黎世聯邦工學院數學研究所，從事博士後研究。1954年以洛克菲勒基金會研究員的身份去英國。1954-1955年在英國牛津大學主持第二屆約翰•洛克哲學講座。1956年獲牛津大學巴利奧爾學院碩士。1956-1961年任牛津大學數學哲學進階講師。期間曾主持一讨論班，讨論維持根斯坦的《對數學基礎的看法》。牛津大學哲學家中的領頭人物大多數參加了這個讨論班。1961-1967年回到哈佛任數理邏輯與應用數學教授。l967年以後在洛克菲勒大學任數學教授，并主持該校的邏輯研究室。l975-1976年曾到普林斯頓進階研究所通路和工作。
l953年起，王浩開始計算機理論與機器證明的研究.因為一方面他敏銳地感覺到被認為過分講究形式的精确，十分繁瑣而無任何實際用處的數理邏輯可以在計算機領域發揮極好的作用；另一方面由于新中國的成立，他想多學點有用的東西以便将來回來報效祖國。為此他曾兼任巴勒斯公司的研究工程師(1953-l954年)、貝爾電話實驗室技術專家(1959-1960年)、IBM研究中心客座科學家(1973-l974年)等一系列職務。
1972年以後，王浩數次回國。1973年他寫了《通路中國的沉思》，被報紙與雜志廣泛刊載。1985年兼任北京大學教授；1986年兼任清華大學教授。
王浩先生出版的著作
王浩曾發表100多篇論文。主要著作有：
《數理邏輯概論》(A Survey of Mathematical Logic，l962)；
《從數學到哲學》(FromMathematicstoPhlcosophy，1974)；《數理邏輯通俗講話》，有中英文兩種版本;
《超越分析哲學--公平對待我們具有的知識》(Beyond Analytic Philosophy——Doing Justiceto Whatwe Know，l986)，作者對分析哲學的代表人物羅素、維特根斯坦、卡納普和奎因等人的思想觀點作了詳細介紹，并給予鎮密的分析和有力的批判，主要論據是他們的哲學無法為人類現有的知識，特别是數學知識，提供基礎.由于作者非常熟悉這四人的工作，甚至與其中一些人有直接交往，是以他的批判十分深刻。牛津大學的彼特•斯特蘇森爵士(SirP.Strawson)評論到：“哲學家們對于王浩此書的主要的、深厚的興趣在于，它記錄了一位極富才智、卓越和敏銳的哲學家對所謂‘分析’或‘英一美’哲學在本世紀經曆的發展過程的看法。”“王的書是對現代哲學史和元哲學的豐富、迷人的貢獻。”
王浩是美國藝術與科學學院院士，英國科學院外籍院士和符号邏輯學協會會員。1983年在美國丹佛召開的，由人工智能國際聯合會會議(Lnternational Joint Confernceon Artificialinte IIigence)和美國數學會共同主辦的，自動定理證明(Automated Theorem Proving)特别年會上，王浩被授予首屆“裡程碑獎”(Milestone Prize)，以表彰他在數學定理機械證明研究領域中所作的開創性貢獻。