中國(guó)人工智能奠基人

中國(guó)人工智能奠基人-王湘浩院士

王湘浩１９１５年５月５日生于河北省安平縣。其父王桂山，字仙府，靠耕田和賣藥為

生，在村里免費(fèi)行醫(yī)；時(shí)常鼓勵(lì)王湘浩讀書，希望他將來(lái)做個(gè)教師。叔父早年畢業(yè)于天津北

洋大學(xué)。在父親和叔父的影響下，１９３１年王湘浩初中畢業(yè)后，考取了北洋工學(xué)院附屬高

中。當(dāng)時(shí)北洋工學(xué)院的附屬高中實(shí)際上是大學(xué)預(yù)科性質(zhì)，畢業(yè)后可以不經(jīng)考試升入本科。王

湘浩自小喜歡數(shù)學(xué)，小學(xué)和中學(xué)數(shù)學(xué)成績(jī)一直很突出。但是，圖畫、手工課成績(jī)卻很差。讀

北洋工學(xué)院附屬高中需要學(xué)機(jī)械制圖，王湘浩很難應(yīng)付，逐漸失去了讀工科的興趣。１９３

３年高中畢業(yè)時(shí)，他放棄直接升入北洋工學(xué)院本科的機(jī)會(huì)，考取了北京大學(xué)算學(xué)系（數(shù)學(xué)系）。

王湘浩在北京大學(xué)數(shù)學(xué)系學(xué)習(xí)，如魚得水，才能得到充分發(fā)揮，成績(jī)遙遙領(lǐng)先，受到老

師們的稱贊。在三四年級(jí)時(shí)他獲得每年２４０元的最高獎(jiǎng)學(xué)金。

1９３７年，王湘浩在北京大學(xué)數(shù)學(xué)系畢業(yè)時(shí)恰值抗日戰(zhàn)爭(zhēng)爆發(fā)，北京大學(xué)南遷。王湘

浩先回到河北家鄉(xiāng)，繼而去西安，最后到長(zhǎng)沙投奔由北京大學(xué)、清華大學(xué)、南開大學(xué)三校成

立的臨時(shí)大學(xué)。他在江澤涵教授的幫助下，留在臨時(shí)大學(xué)數(shù)學(xué)系任助教，結(jié)束了流亡生活。

１９３８年春，長(zhǎng)沙臨時(shí)大學(xué)遷往昆明，改名西南聯(lián)合大學(xué)。王湘浩在該校當(dāng)了兩年助教后，

１９３９年成為江澤涵教授的研究生，專攻拓?fù)鋵W(xué)；１９４１年畢業(yè)，擔(dān)任西南聯(lián)合大學(xué)講

師。１９４６年夏，他到美國(guó)普林斯頓大學(xué)，在著名代數(shù)學(xué)家Ｅ．阿廷（Ａｒｔｉｎ）指導(dǎo)

下攻讀學(xué)位，１９４７年夏取得碩士學(xué)位，１９４９年春又取得博士學(xué)位，其博士論文的題

目是《關(guān)于格倫瓦爾德（Ｇｒｕｎｗａｌｄ）定理》。１９４９年６月他啟程回國(guó)，經(jīng)香港、

天津，８月到北京，被北京大學(xué)數(shù)學(xué)系聘為副教授，１９５０年晉升教授。他在１９５２年

院系調(diào)整時(shí)，到東北人民大學(xué)（后改名為吉林大學(xué)）數(shù)學(xué)系任系主任。１９５５年他被選為

中國(guó)科學(xué)院學(xué)部委員。１９７６年吉林大學(xué)計(jì)算機(jī)科學(xué)系成立后，王湘浩任該系系主任，后

兼任吉林大學(xué)副校長(zhǎng)。

王湘浩１９５４年加入中國(guó)民主同盟，曾任吉林省民盟副主任委員，長(zhǎng)春市民盟主任委

員，民盟中央委員和參議委員。并曾任長(zhǎng)春市政治協(xié)商會(huì)議副主席，全國(guó)人民代表大會(huì)代表。

王湘浩，數(shù)學(xué)家，數(shù)學(xué)教育家。早期從事近世代數(shù)的研究，在類域論研究中獲重要成果。

后從事多值邏輯的自動(dòng)機(jī)理論研究，并在我國(guó)倡導(dǎo)人工智能研究。他是吉林大學(xué)數(shù)學(xué)系第一

任系主任，后任該校計(jì)算機(jī)科學(xué)系系主任和副校長(zhǎng)。

王湘浩還曾擔(dān)任中國(guó)數(shù)學(xué)會(huì)理事，中國(guó)計(jì)算機(jī)學(xué)會(huì)副理事長(zhǎng)，中國(guó)計(jì)算機(jī)學(xué)會(huì)人工智能

專業(yè)委員會(huì)主任，全國(guó)高校人工智能研究會(huì)會(huì)長(zhǎng)，吉林省及長(zhǎng)春市計(jì)算機(jī)學(xué)會(huì)理事長(zhǎng)，長(zhǎng)春

市數(shù)學(xué)會(huì)理事長(zhǎng)和長(zhǎng)春市橋牌協(xié)會(huì)主席。

王湘浩是我國(guó)第一批計(jì)算機(jī)學(xué)科博士導(dǎo)師之一，曾任國(guó)務(wù)院學(xué)位委員會(huì)計(jì)算機(jī)學(xué)科評(píng)議

組組長(zhǎng)。

在近世代數(shù)學(xué)上的貢獻(xiàn)

王湘浩在美國(guó)普林斯頓大學(xué)攻讀博士學(xué)位期間，選擇了代數(shù)學(xué)作為研究方向。

近世代數(shù)中有一個(gè)重要命題——迪克森（Ｄｉｃｋｓｏｎ）猜想。這個(gè)猜想的證明能徹

底闡明有理單純代數(shù)的結(jié)構(gòu)。１９３１年德國(guó)數(shù)學(xué)家Ｈ．哈塞（Ｈａｓｓｅ）等人證明了這

個(gè)猜想，在證明中他們使用了類域論方面的重要定理——格倫瓦爾德定理。

這個(gè)猜想的證明，在當(dāng)時(shí)的數(shù)學(xué)界是一件大事。美國(guó)著名代數(shù)學(xué)家Ａ．Ａ．阿爾貝特（Ａ

ｌｂｅｒｔ）說(shuō)：線性結(jié)合代數(shù)的理論，當(dāng)決定所有有理可除代數(shù)的問(wèn)題找到了解答的時(shí)候，

也許就達(dá)到了它的頂點(diǎn)。

王湘浩在研究這個(gè)問(wèn)題時(shí)，發(fā)現(xiàn)了格倫瓦爾德定理的錯(cuò)誤，并寫了只有一頁(yè)半的短篇論

文《關(guān)于格倫瓦爾德定理的反例》。這篇論文使迪克森猜想又變成了未予證明的猜想，從而

動(dòng)搖了有理單純代數(shù)的理論。

１９４８年底，王湘浩在他的博士論文中，糾正了格倫瓦爾德定理的錯(cuò)誤，將該定理做

了推廣，重新證明了迪克森猜想。當(dāng)時(shí)芝加哥大學(xué)數(shù)學(xué)系主任阿爾貝特曾邀請(qǐng)王湘浩就這一

重要成果在芝加哥大學(xué)作了學(xué)術(shù)講演。

王湘浩在論文中，只對(duì)循環(huán)擴(kuò)張討論了格倫瓦爾德定理。回國(guó)后，他對(duì)一般的阿貝爾（Ａ

ｂｅｌ）擴(kuò)張給出了該定理成立的充要條件。

１９４３年中山隆和松島與三證明了局部域上單純代數(shù)交換子群等于其么模子群。王湘

浩利用自己所推廣的格倫瓦爾德定理證明了上述兩群在代數(shù)數(shù)域情形下仍相等；而且在一般

域情形下，當(dāng)指數(shù)無(wú)平方因子時(shí)，二群也相等。在最一般情形下結(jié)論會(huì)是怎樣的呢？這一問(wèn)

題在以后興起的代數(shù)Ｋ理論和代數(shù)群論中很重要。在蘇聯(lián)，這個(gè)問(wèn)題稱為田中－阿廷問(wèn)題。

實(shí)際上，阿廷并未具體提出上述問(wèn)題，而是王湘浩在上述論文中提出的。這個(gè)問(wèn)題受到了國(guó)

際上有些同行的重視，但直到現(xiàn)在只得到一些局部性結(jié)果。

馬斯（Ｍａａｓｓ）模定理的證明中使用了格倫瓦爾德定理，因?yàn)楹笳咚腻e(cuò)誤，馬

斯模定理的原證已不成立。Ｍ．Ｅ．愛(ài)區(qū)勒（Ｅｒｃｈｌｅｒ）曾經(jīng)不用格倫瓦爾德定理證

明了模定理，但論證非常復(fù)雜。王湘浩曾用他修改后的格倫瓦爾德定理給出過(guò)一個(gè)證明。后

來(lái)，他又給出了一個(gè)不用格倫瓦爾德定理的非常簡(jiǎn)單的證明。

１９５５－１９５７年，王湘浩得到了Ｇ．柯特（Ｋｏｔｈｅ）半單純環(huán)的亞直接和表

示，并討論了與此相關(guān)的擬賦值環(huán)問(wèn)題。

王湘浩在代數(shù)學(xué)上做出了國(guó)際公認(rèn)的重要貢獻(xiàn)。后來(lái)由于國(guó)家建設(shè)的需要，他于１９５

８年便開始了電子計(jì)算機(jī)和控制論方面的研究。

在計(jì)算機(jī)科學(xué)理論上的貢獻(xiàn)

５０年代末，多值邏輯的一個(gè)重要問(wèn)題——函數(shù)完備性問(wèn)題，引起了各國(guó)學(xué)者的注意。

蘇聯(lián)的Ｃ．Ｂ．亞布隆斯基（Яблонс－кий）在１９５８年解決了三值邏輯的完備

性問(wèn)題，對(duì)于一般多值邏輯則僅給出了一些零星結(jié)果。６０年代初，王湘浩提出了解決這一

問(wèn)題的重要思想，即利用“保ｎ項(xiàng)關(guān)系”的方法來(lái)研究ｎ值邏輯的完備性問(wèn)題。在他的指導(dǎo)

下，他的學(xué)生終于在１９６４年解決了這一完備性問(wèn)題。他們的結(jié)果沒(méi)有發(fā)表，實(shí)際上比國(guó)

際上公認(rèn)的解決這一問(wèn)題的羅森貝格定理整整早了６年。王湘浩于１９６３年還提出了多值

邏輯中缺值函數(shù)的結(jié)構(gòu)問(wèn)題，并取得一些成果，這一問(wèn)題后來(lái)也由他的學(xué)生完全解決了。

６０年代初，王湘浩在自動(dòng)機(jī)理論方面開展了研究工作，他引進(jìn)了圈環(huán)的概念并解決了

非奇異線性內(nèi)動(dòng)機(jī)的分析問(wèn)題。１９９０年，王湘浩解決了該文中提出的因子分解問(wèn)題。

在人工智能研究方面的貢獻(xiàn)

１９７７年王湘浩在國(guó)內(nèi)最早提出要開展人工智能的研究，并于１９８０年受教育部委

托，在吉林大學(xué)舉辦了全國(guó)性的人工智能討論班，隨之成立了全國(guó)高校人工智能研究會(huì)。王

湘浩在定理機(jī)器證明的歸結(jié)方法上做出了研究成果。１９８２年王湘浩和他的學(xué)生研究了歸

結(jié)方法中的取因子問(wèn)題并提出了廣義歸結(jié)方法。廣義歸結(jié)方法包含了普通歸結(jié)方法

（Ｊ．Ａ．魯賓遜（Ｒｏｂｉｎｓｏｎ），１９６５）和非子句歸結(jié)方法（Ｎ．Ｖ．默里（Ｍ

學(xué)，重視實(shí)際，重視人才，重視青年。５０年代他就在數(shù)學(xué)系建起了微分方程，計(jì)算數(shù)學(xué)，

計(jì)算機(jī)科學(xué)這三個(gè)方向；到６０年代初期，吉林大學(xué)數(shù)學(xué)系已在國(guó)內(nèi)占有重要地位。

１９７６年，吉林大學(xué)計(jì)算機(jī)科學(xué)系成立，這是國(guó)內(nèi)最早的幾個(gè)計(jì)算機(jī)系之一。在王湘

浩的領(lǐng)導(dǎo)下，１０年內(nèi)，計(jì)算機(jī)系的軟件專業(yè)就成為國(guó)內(nèi)第一批被批準(zhǔn)的有博士學(xué)位授予權(quán)、

有博士后科研流動(dòng)站的專業(yè)，以及屬于國(guó)家重點(diǎn)學(xué)科的專業(yè)。

王湘浩在建設(shè)兩個(gè)系的過(guò)程中，能容納各種不同意見，發(fā)揮各種人才的作用，能看到各

人的優(yōu)點(diǎn)，包括當(dāng)時(shí)一些不得意的人的優(yōu)點(diǎn)。他不存私心，每屆畢業(yè)生留校時(shí)，都把學(xué)習(xí)最

好的學(xué)生安排到最重要的方向上。吉林大學(xué)數(shù)學(xué)系和計(jì)算機(jī)科學(xué)系，能很快成長(zhǎng)為方向較齊

全、在國(guó)內(nèi)有影響的系，這是和王湘浩的人品與見識(shí)分不開的。

簡(jiǎn)歷

１９１５年５月５日 出生于河北省安平縣。

１９３３—１９３７年 就讀于北京大學(xué)數(shù)學(xué)系。

１９３７—１９４６年 任西南聯(lián)合大學(xué)助教、講師。

１９４６—１９４９年 就讀于美國(guó)普林斯頓大學(xué)，獲博士學(xué)位。

１９４９—１９５２年 任北京大學(xué)副教授、教授。

１９５５年 被評(píng)為中國(guó)科學(xué)院數(shù)學(xué)物理學(xué)部委員。

１９５２—１９７６年 任東北人民大學(xué)（后改為吉林大學(xué)）數(shù)學(xué)系主任。

１９７６—１９８４年 任吉林大學(xué)計(jì)算機(jī)科學(xué)系主任，吉林大學(xué)副校長(zhǎng)。

１９８４—１９９４年 任吉林大學(xué)計(jì)算機(jī)科學(xué)系名譽(yù)系主任。

１９９３年５月４日 逝世于大連。

主要論著

１ Ｗａｎｇ Ｓｈｉａｎｇｈａｗ．Ａｃｏｕｎｔｅｒ-ｅｘａｍｐｌｅ ｔｏ

Ｇｒｕｎｗａｌｄ’ｓ ｔｈｅｏｒｅｍ．Ａｎｎａｌｓ ｏｆＭａｔｈｅｍａｔｉｃｓ，

Ｏｃｔ．１９４８，４９（４）：１００８－１００９．

２ Ｗａｎｇ Ｓｈｉａｎｇｈａｗ．Ｏｎ Ｇｒｕｎｗａｌｄ’ｓ ｔｈｅｏｒｅ

ｍ．Ａｎｎａｌｓ ｏｆ Ｍａｔｈｅｍａｔｉｃｓ ，１９５０，５１（２）：４７１－

４８３．

３ Ｗａｎｇ Ｓｈｉａｎｇｈａｗ．Ｏｎ ｔｈｅ ｃｏｍｍｕｔａｔｏｒ ｇｒ

ｏｕｐ ｏｆ ａ ｓｉｍｐｌｅ ａｌｇｅｂｒａ．Ａｍｅｒｉ－ｃａｎ Ｊｏｕｒｎ

ａｌ ｏｆ Ｍａｔｈｅ ｍａｔｉｃｓ，１９５０，７２（２）；３２３－３３４．

４ Ｗａｎｇ Ｓｈｉａｎｇｈａｗ．Ａｎ ｅｘｉｓｔｅｎｃｅ ｔｈｅｏｒｅｍ

ｆｏｒ Ａｌｅｌｉａｎ ｅｘｔｅｎｓｉｏｎ ｏｖｅｒ ａｌｇｅ－ｂｒｉｃ ｎｕ

ｍｂｅｒ ｆｉｅｌｄｓ．Ｓｃｉｅｎｃｅ Ｒｅｃｏｒｄ，１９５０，３（１）：２５－

２７．

５ 王湘浩．Ｍａａｓｓ模定理的一個(gè)簡(jiǎn)單證明．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，１９５

５，１：１４１－１４２．

６ 王湘浩．關(guān)于Ｋｏｔｈｅ半單純環(huán)．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，１９５５，１：

１４３—１４７．

７ 王湘浩．?dāng)M賦值環(huán)．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，１９５７，１：２７－４０．

８ 王湘浩．評(píng)兒玉哲夫君的論文《關(guān)于正規(guī)單純代數(shù)的交換子群》．東北人民大學(xué)自

然科學(xué)學(xué)報(bào)，１９５７，１：２６９－２７０．

９ 王湘浩．代數(shù)方程根的分離的一種方法．吉林大學(xué)學(xué)報(bào)，１９６０，１：９９－１

０１．

１０ 王湘浩．有限集合上缺值函數(shù)的結(jié)構(gòu)理論．吉林大學(xué)學(xué)報(bào)，１９６３，２：２９

５－３１８．

１１ Ｗａｎｇ Ｘｉａｎｇｈａｏ，Ａ ｆａｃｔｏｒｉｚａｔｉｏｎ ｐｒｏｂｌ

ｅｍ．Ｎｏｒｔｈｅａｓｔｅｒｎ Ｍａｔｈ．Ｊ．１９９０，６（１）：１－８．

１２ 王湘浩，劉敘華．廣義歸結(jié)．計(jì)算機(jī)學(xué)報(bào)，１９８２，２：８１－９２．

１３ 王湘浩，劉敘華．歸結(jié)原理中的取因子問(wèn)題．中國(guó)科學(xué)（Ａ輯），１９８２，１

１：１０５２—１０５８．