·王浩（右）和哥德?tīng)枺ㄗ螅?/p>

人工智能奠基者之一明斯基多次提到王浩的貢獻(xiàn)，

但王浩沒(méi)把這當(dāng)回事。

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

“對(duì)人生問(wèn)題有興趣”

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

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

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

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

1946年，王浩被清華數(shù)學(xué)系和哲學(xué)系同時(shí)推薦公費(fèi)留美。他最后選了哈佛哲學(xué)系，導(dǎo)師是美國(guó)最有影響力的哲學(xué)家蒯因。

王浩在哈佛待了8個(gè)月，覺(jué)得該學(xué)的學(xué)完了，想走。蒯因勸他讀完。王浩又待了一年，寫(xiě)了篇博士論文。王浩同蒯因經(jīng)歷也像，數(shù)學(xué)本科，后做哲學(xué)，早年建樹(shù)在數(shù)理邏輯。蒯因也搞過(guò)計(jì)算機(jī)，有個(gè)邏輯電路的蒯因簡(jiǎn)化算法。

王浩之前，哈佛哲學(xué)系畢業(yè)過(guò)兩個(gè)中國(guó)博士：趙元任和俞大維。俞大維是第一個(gè)在國(guó)外數(shù)學(xué)雜志發(fā)表文章的中國(guó)人。趙元任的哈佛博士論文也和數(shù)理邏輯有關(guān)。

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

上世紀(jì)50年代初，楊武之給楊振寧寫(xiě)信，希望他回國(guó)。信是托王浩轉(zhuǎn)交的。王祝晨也給王浩寫(xiě)信，敦促回國(guó)。王浩琢磨，學(xué)哲學(xué)的回國(guó)能干啥？

那時(shí)計(jì)算機(jī)剛出現(xiàn)，計(jì)算理論是從數(shù)理邏輯演化出來(lái)的。王浩于是開(kāi)始做計(jì)算理論，提出“王浩機(jī)”，這個(gè)模型已經(jīng)很接近現(xiàn)代的匯編語(yǔ)言。

·王浩所著《邏輯之旅：從哥德?tīng)柕秸軐W(xué)》。

"在兩個(gè)極端間徘徊" 

王浩是機(jī)器定理證明的奠基人之一。他在1958年夏天寫(xiě)的程序，在IBM—704上只用9分鐘就證明了羅素《數(shù)學(xué)原理》中一階邏輯的全部定理。但人工智能的另一創(chuàng)始人司馬賀等一年前在蘭德公司寫(xiě)的程序“邏輯理論家”，也證明了《數(shù)學(xué)原理》第二章52個(gè)定理中的38個(gè)。

在機(jī)器定理證明領(lǐng)域，“邏輯理論家”沒(méi)什么影響，而王浩的工作則為他贏得1983年國(guó)際人工智能聯(lián)合會(huì)（IJCAI）頒發(fā)的里程碑大獎(jiǎng)。司馬賀在回憶錄里酸溜溜地說(shuō)，王浩的工作抵消了“邏輯理論家”應(yīng)得的榮譽(yù)。

司馬賀“酸葡萄心理”的另一原因是，當(dāng)年他們把“邏輯理論家”的文章投給《符號(hào)邏輯雜志》，被拒了。

當(dāng)時(shí)雜志主編是“人工智能之父”圖靈的同學(xué)科里尼。給司馬賀的拒信中科里尼說(shuō)：“看不出把一本過(guò)時(shí)的邏輯書(shū)里的定理重新證明一遍有啥價(jià)值。”王浩的算法比司馬賀的高級(jí)，王浩依靠數(shù)學(xué)算法，而司馬賀等則企圖模仿人。這代表了未來(lái)人工智能的兩個(gè)不同方向。

王浩曾提到對(duì)人工智能的看法。哥德?tīng)柡团砹_斯（數(shù)學(xué)家、諾貝爾物理學(xué)獎(jiǎng)得主）認(rèn)為機(jī)器不能取代人；圖靈則認(rèn)為，只要通過(guò)圖靈測(cè)試就是有智能的。王浩貌似在兩個(gè)極端間徘徊。

得知吳文俊幾何定理機(jī)器證明的成果后，王浩馬上給吳文俊寫(xiě)信，建議他利用已有代數(shù)包，甚至考慮自己動(dòng)手寫(xiě)個(gè)程序?qū)崿F(xiàn)吳的方法。吳文俊方法很快得到普及，和王浩密不可分。

王浩對(duì)計(jì)算機(jī)科學(xué)作的另一個(gè)重大貢獻(xiàn)就是指導(dǎo)了庫(kù)克的博士論文。庫(kù)克后來(lái)提出了P vs NP的問(wèn)題，這是當(dāng)今計(jì)算機(jī)科學(xué)和數(shù)學(xué)中最重要的問(wèn)題。庫(kù)克為此獲得1982年圖靈獎(jiǎng)。一個(gè)被忽視的事實(shí)是，庫(kù)克用到的方法是王浩發(fā)明的。

庫(kù)克后來(lái)回憶王浩對(duì)自己的啟發(fā)：“我很了解王浩的思想和方法，我對(duì)NP完全問(wèn)題的結(jié)論與他的非常類(lèi)似。圖靈和王浩說(shuō)的是謂詞演算，我說(shuō)的是命題演算。”

"內(nèi)心從來(lái)就是中國(guó)的"

王浩于上世紀(jì)60年代末辭去哈佛教職，去了洛克菲勒大學(xué)。該大學(xué)在理工科里沒(méi)名氣，但它在生物醫(yī)學(xué)方面大名鼎鼎。它的建制獨(dú)特：沒(méi)有系，只有Lab（實(shí)驗(yàn)室），一名教授就有一個(gè)以他名字命名的Lab。

當(dāng)時(shí)洛克菲勒大學(xué)雄心勃勃，想在數(shù)學(xué)和物理方面也有建樹(shù)，王浩建立“王Lab”，網(wǎng)羅當(dāng)時(shí)最重要的邏輯學(xué)家加盟。但上世紀(jì)80年代，洛克菲勒大學(xué)迫于經(jīng)費(fèi)壓力，縮減除醫(yī)學(xué)領(lǐng)域外的開(kāi)支，王Lab只剩王浩一個(gè)光桿司令了。

·王浩。（資料圖）

王浩去洛克菲勒大學(xué)后，開(kāi)始同哥德?tīng)枌?duì)話(huà)，成為哥德?tīng)柾砟晡ㄒ坏闹骸Ｋ扛粢恢艿狡樟炙诡D見(jiàn)一次哥德?tīng)?。外界?duì)哥德?tīng)柾砟晁枷胫跎?，王浩?974年的《從數(shù)學(xué)到哲學(xué)》中首次講述哥德?tīng)栒軐W(xué)，但沒(méi)受到足夠重視，哥德?tīng)柡屯鹾贫己苁?/p>

1972年，物理學(xué)家任之恭組織了美國(guó)左派華裔科學(xué)家訪華，開(kāi)啟了中美學(xué)術(shù)文化交流，楊振寧和王浩等都參與其中。由于這些活動(dòng)，王浩與哥德?tīng)柕慕涣魃倭?，直?976年，他又恢復(fù)每周一次同哥德?tīng)柕挠懻?。王浩后?lái)仍對(duì)曾減少的交流感到遺憾。

上世紀(jì)八九十年代，王浩重回技術(shù)哲學(xué)，進(jìn)入高產(chǎn)期，著述頗豐。1994年，他查出患有淋巴癌。一開(kāi)始他對(duì)化療很樂(lè)觀，但1995年初，癌細(xì)胞擴(kuò)散，1995年5月13日王浩逝世，離74歲生日還有一周。哈佛哲學(xué)家查爾斯·帕森斯在紀(jì)念文章中說(shuō)：“王浩和哥德?tīng)柕膶?duì)話(huà)是兩位思想家野心的共鳴，一個(gè)從西方傳統(tǒng)中找根；另一個(gè)盡管披著西方的外衣，但內(nèi)心從來(lái)就是中國(guó)的。”（作者為烏鎮(zhèn)智庫(kù)理事長(zhǎng)）

本文刊載于2024年第9期

《環(huán)球人物》雜志

總第516期

總監(jiān)制： 張    勉

編    審： 凌   云

（文章未經(jīng)授權(quán)不得轉(zhuǎn)載，轉(zhuǎn)載請(qǐng)加微信“HQRW2H”了解細(xì)則。歡迎大家投稿和提供新聞線索，可發(fā)至郵箱[email protected]。）