王浩，內(nèi)心是哲學家

尼克

開欄的話

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

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

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

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

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

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

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

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

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

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

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

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

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

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

王浩（右）和哥德爾（左）。

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

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

（編審 凌云）