王浩，內心是哲學家

開欄的話

自人工智能理念誕生以來，諸多科學奇才貢獻奇思妙想，遂有今日“電腦趕超人腦”奇觀。本刊特辟《AI小傳》專欄，講述AI發展史上的大人物、小故事，以一窺人類文明進步足跡。

王浩對哲學是作過深刻貢獻的。盡管在數學、計算機、邏輯和人工智能方面都做過開拓性工作，被稱為從事人工智能研究的第一位華人，但他內心把自己當哲學家，這極像哥德爾（數學家、邏輯學家和哲學家）。

1921年5月，王浩生于山東。其父王祝晨是教育家，人稱“山東胡適”，是最后一次科考的舉人，曾去日本訪學，大革命時去過廣州農民運動講習所，與周恩來、董必武相熟，新中國成立后做過山東省政協副主席。大姐王非曼是山東第一位留美女學生，回國任職各大師范學院，是中國最早的家政學教授。王浩小時閱讀極廣，過目不忘，是天才。

王浩考過兩次西南聯大。第一次被經濟系錄取，不喜歡，沒去。第二次又考，以第一名進聯大數學系，和物理系一個叫楊振寧的住同屋。后來在清華，他的朋友有汪曾祺和何兆武。

在西南聯大，王浩的老師有金岳霖、沈有鼎、王憲鈞。金岳霖是哲學票友，最早把現代邏輯引入中國。王浩的代數課老師是楊振寧父親楊武之。楊武之希望王浩深耕數學，但王浩志在哲學。

畢業后，王浩如愿以償進入清華研究院讀哲學碩士，師從金岳霖、沈有鼎。答辯時，沈有鼎問他：“你數學很好，為啥學哲學？”王浩答：“對人生問題有興趣。”馮友蘭有次對王浩說：“同時懂西方音樂和東方音樂的，肯定更喜歡西方音樂；而同時懂西方哲學與東方哲學的，必定更喜歡東方哲學。”王浩恐怕不認可這一點。

1946年，王浩被清華數學系和哲學系同時推薦公費留美。他最后選了哈佛哲學系，導師是美國最有影響力的哲學家蒯因。王浩在哈佛待了8個月，覺得該學的學完了，想走。蒯因勸他讀完。王浩又待了一年，寫了篇博士論文。王浩同蒯因經歷也像，數學本科，后做哲學，早年建樹在數理邏輯。蒯因也搞過計算機，有個邏輯電路的蒯因簡化算法。王浩之前，哈佛哲學系畢業過兩個中國博士：趙元任和俞大維。俞大維是第一個在國外數學雜志發表文章的中國人。趙元任的哈佛博士論文也和數理邏輯有關。

王浩后來長期在哈佛任教。當時哈佛數學系有個猶太孩子很崇拜王浩，他就是人工智能奠基者之一明斯基。明斯基早期著作中多次提到王浩的貢獻，但王浩沒把這當回事。

上世紀50年代初，楊武之給楊振寧寫信，希望他回國。信是托王浩轉交的。王祝晨也給王浩寫信，敦促回國。王浩琢磨，學哲學的回國能干啥？那時計算機剛出現，計算理論是從數理邏輯演化出來的。王浩于是開始做計算理論，提出“王浩機”，這個模型已經很接近現代的匯編語言。

王浩是機器定理證明的奠基人之一。他在1958年夏天寫的程序，在IBM—704上只用9分鐘就證明了羅素《數學原理》中一階邏輯的全部定理。但人工智能的另一創始人司馬賀等一年前在蘭德公司寫的程序“邏輯理論家”，也證明了《數學原理》第二章52個定理中的38個。在機器定理證明領域，“邏輯理論家”沒什么影響，而王浩的工作則為他贏得1983年國際人工智能聯合會（IJCAI）頒發的里程碑大獎。司馬賀在回憶錄里酸溜溜地說，王浩的工作抵消了“邏輯理論家”應得的榮譽。司馬賀“酸葡萄心理”的另一原因是，當年他們把“邏輯理論家”的文章投給《符號邏輯雜志》，被拒了。當時雜志主編是“人工智能之父”圖靈的同學科里尼。給司馬賀的拒信中科里尼說：“看不出把一本過時的邏輯書里的定理重新證明一遍有啥價值。”王浩的算法比司馬賀的高級，王浩依靠數學算法，而司馬賀等則企圖模仿人。這代表了未來人工智能的兩個不同方向。

王浩曾提到對人工智能的看法。哥德爾和彭羅斯（數學家、諾貝爾物理學獎得主）認為機器不能取代人；圖靈則認為，只要通過圖靈測試就是有智能的。王浩貌似在兩個極端間徘徊。得知吳文俊幾何定理機器證明的成果后，王浩馬上給吳文俊寫信，建議他利用已有代數包，甚至考慮自己動手寫個程序實現吳的方法。吳文俊方法很快得到普及，和王浩密不可分。

王浩對計算機科學作的另一個重大貢獻就是指導了庫克的博士論文。庫克后來提出了P vs NP的問題，這是當今計算機科學和數學中最重要的問題。庫克為此獲得1982年圖靈獎。一個被忽視的事實是，庫克用到的方法是王浩發明的。庫克后來回憶王浩對自己的啟發：“我很了解王浩的思想和方法，我對NP完全問題的結論與他的非常類似。圖靈和王浩說的是謂詞演算，我說的是命題演算。”

王浩于上世紀60年代末辭去哈佛教職，去了洛克菲勒大學。該大學在理工科里沒名氣，但它在生物醫學方面大名鼎鼎。它的建制獨特：沒有系，只有Lab（實驗室），一名教授就有一個以他名字命名的Lab。當時洛克菲勒大學雄心勃勃，想在數學和物理方面也有建樹，王浩建立“王Lab”，網羅當時最重要的邏輯學家加盟。但上世紀80年代，洛克菲勒大學迫于經費壓力，縮減除醫學領域外的開支，王Lab只剩王浩一個光桿司令了。

王浩去洛克菲勒大學后，開始同哥德爾對話，成為哥德爾晚年唯一的知己。他每隔一周到普林斯頓見一次哥德爾。外界對哥德爾晚年思想知之甚少，王浩在1974年的《從數學到哲學》中首次講述哥德爾哲學，但沒受到足夠重視，哥德爾和王浩都很失望。

1972年，物理學家任之恭組織了美國左派華裔科學家訪華，開啟了中美學術文化交流，楊振寧和王浩等都參與其中。由于這些活動，王浩與哥德爾的交流少了，直到1976年，他又恢復每周一次同哥德爾的討論。王浩后來仍對曾減少的交流感到遺憾。

上世紀八九十年代，王浩重回技術哲學，進入高產期，著述頗豐。1994年，他查出患有淋巴癌。一開始他對化療很樂觀，但1995年初，癌細胞擴散，1995年5月13日王浩逝世，離74歲生日還有一周。哈佛哲學家查爾斯·帕森斯在紀念文章中說：“王浩和哥德爾的對話是兩位思想家野心的共鳴，一個從西方傳統中找根；另一個盡管披著西方的外衣，但內心從來就是中國的。”

（編審 凌云）