尼克

開欄的話

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

（編審 凌云）