王湘浩 - 生平概況

王湘浩1915年5月5日生于河北省安平縣。其父王桂山，字仙府，靠耕田和賣藥為生，在村里免費(fèi)行醫(yī)；時(shí)常鼓勵(lì)王湘浩讀書(shū)，希望他將來(lái)做個(gè)教師。叔父早年畢業(yè)于天津北洋大學(xué)。在父親和叔父的影響下，1931年王湘浩初中畢業(yè)后，考取了北洋工學(xué)院附屬高中。當(dāng)時(shí)北洋工學(xué)院的附屬高中實(shí)際上是大學(xué)預(yù)科性質(zhì)，畢業(yè)后可以不經(jīng)考試升入本科。王湘浩自小喜歡數(shù)學(xué)，小學(xué)和中學(xué)數(shù)學(xué)成績(jī)一直很突出。但是，圖畫(huà)、手工課成績(jī)卻很差。讀北洋工學(xué)院附屬高中需要學(xué)機(jī)械制圖，王湘浩很難應(yīng)付，逐漸失去了讀工科的興趣。1933年高中畢業(yè)時(shí)，他放棄直接升入北洋工學(xué)院本科的機(jī)會(huì)，考取了北京大學(xué)算學(xué)系（數(shù)學(xué)系）。

王湘浩在北京大學(xué)數(shù)學(xué)系學(xué)習(xí)，如魚(yú)得水，才能得到充分發(fā)揮，成績(jī)遙遙領(lǐng)先，受到老師們的稱贊。在三四年級(jí)時(shí)他獲得每年240元的最高獎(jiǎng)學(xué)金。

1937年，王湘浩在北京大學(xué)數(shù)學(xué)系畢業(yè)時(shí)恰值抗日戰(zhàn)爭(zhēng)爆發(fā)，北京大學(xué)南遷。王湘浩先回到河北家鄉(xiāng)，繼而去西安，最后到長(zhǎng)沙投奔由北京大學(xué)、清華大學(xué)、南開(kāi)大學(xué)三校成立的臨時(shí)大學(xué)。他在江澤涵教授的幫助下，留在臨時(shí)大學(xué)數(shù)學(xué)系任助教，結(jié)束了流亡生活。1938年春，長(zhǎng)沙臨時(shí)大學(xué)遷往昆明，改名西南聯(lián)合大學(xué)。王湘浩在該校當(dāng)了兩年助教后，1939年成為江澤涵教授的研究生，專攻拓?fù)鋵W(xué)；1941年畢業(yè)，擔(dān)任西南聯(lián)合大學(xué)講師。1946年夏，他到美國(guó)普林斯頓大學(xué)，在著名代數(shù)學(xué)家Ｅ．阿廷指導(dǎo)下攻讀學(xué)位，1947年夏取得碩士學(xué)位，1949年春又取得博士學(xué)位，其博士論文的題目是《關(guān)于格倫瓦爾德定理》。1949年6月他啟程回國(guó)，經(jīng)香港、天津，8月到北京，被北京大學(xué)數(shù)學(xué)系聘為副教授，1950年晉升教授。他在1952年院系調(diào)整時(shí)，到東北人民大學(xué)（后改名為吉林大學(xué)）數(shù)學(xué)系任系主任。1955年他被選為中國(guó)科學(xué)院學(xué)部委員。1976年吉林大學(xué)計(jì)算機(jī)科學(xué)系成立后，王湘浩任該系系主任，后兼任吉林大學(xué)副校長(zhǎng)。

王湘浩1954年加入中國(guó)民主同盟，曾任吉林省民盟副主任委員，長(zhǎng)春市民盟主任委員，民盟中央委員和參議委員。并曾任長(zhǎng)春市政治協(xié)商會(huì)議副主席，全國(guó)人民代表大會(huì)代表。

王湘浩還曾擔(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)。1931年德國(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ò)誤，并寫(xiě)了只有一頁(yè)半的短篇論文《關(guān)于格倫瓦爾德定理的反例》。這篇論文使迪克森猜想又變成了未予證明的猜想，從而動(dòng)搖了有理單純代數(shù)的理論。

1948年底，王湘浩在他的博士論文中，糾正了格倫瓦爾德定理的錯(cuò)誤，將該定理做了推廣，重新證明了迪克森猜想。當(dāng)時(shí)芝加哥大學(xué)數(shù)學(xué)系主任阿爾貝特曾邀請(qǐng)王湘浩就這一重要成果在芝加哥大學(xué)作了學(xué)術(shù)講演。

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

1943年中山隆和松島與三證明了局部域上單純代數(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)楹笳咚�含的錯(cuò)誤，馬斯模定理的原證已不成立。Ｍ．Ｅ．愛(ài)區(qū)勒曾經(jīng)不用格倫瓦爾德定理證明了模定理，但論證非常復(fù)雜。王湘浩曾用他修改后的格倫瓦爾德定理給出過(guò)一個(gè)證明。后來(lái)，他又給出了一個(gè)不用格倫瓦爾德定理的非常簡(jiǎn)單的證明。

1955－1957年，王湘浩得到了Ｇ．柯特半單純環(huán)的亞直接和表示，并討論了與此相關(guān)的擬賦值環(huán)問(wèn)題。

王湘浩在代數(shù)學(xué)上做出了國(guó)際公認(rèn)的重要貢獻(xiàn)。后來(lái)由于國(guó)家建設(shè)的需要，他于1958年便開(kāi)始了電子計(jì)算機(jī)和控制論方面的研究。

王湘浩 - 科學(xué)理論貢獻(xiàn)

50年代末，多值邏輯的一個(gè)重要問(wèn)題——函數(shù)完備性問(wèn)題，引起了各國(guó)學(xué)者的注意。蘇聯(lián)的Ｃ．Ｂ．亞布隆斯基在1958年解決了三值邏輯的完備性問(wèn)題，對(duì)于一般多值邏輯則僅給出了一些零星結(jié)果。60年代初，王湘浩提出了解決這一問(wèn)題的重要思想，即利用“保ｎ項(xiàng)關(guān)系”的方法來(lái)研究ｎ值邏輯的完備性問(wèn)題。在他的指導(dǎo)下，他的學(xué)生終于在1964年解決了這一完備性問(wèn)題。他們的結(jié)果沒(méi)有發(fā)表，實(shí)際上比國(guó)際上公認(rèn)的解決這一問(wèn)題的羅森貝格定理整整早了6年。王湘浩于1963年還提出了多值邏輯中缺值函數(shù)的結(jié)構(gòu)問(wèn)題，并取得一些成果，這一問(wèn)題后來(lái)也由他的學(xué)生完全解決了。

60年代初，王湘浩在自動(dòng)機(jī)理論方面開(kāi)展了研究工作，他引進(jìn)了圈環(huán)的概念并解決了非奇異線性內(nèi)動(dòng)機(jī)的分析問(wèn)題。1990年，王湘浩解決了該文中提出的因子分解問(wèn)題。

王湘浩 - 人工智能貢獻(xiàn)

1977年王湘浩在國(guó)內(nèi)最早提出要開(kāi)展人工智能的研究，并于1980年受教育部委托，在吉林大學(xué)舉辦了全國(guó)性的人工智能討論班，隨之成立了全國(guó)高校人工智能研究會(huì)。王湘浩在定理機(jī)器證明的歸結(jié)方法上做出了研究成果。1982年王湘浩和他的學(xué)生研究了歸結(jié)方法中的取因子問(wèn)題并提出了廣義歸結(jié)方法。廣義歸結(jié)方法包含了普通歸結(jié)方法（Ｊ．Ａ．魯賓遜，1965）和非子句歸結(jié)方法（Ｎ．Ｖ．默里，1982）。在王湘浩的指導(dǎo)下，他的學(xué)生在歸結(jié)方法的研究中提出了一些有用的改進(jìn)策略。

在計(jì)算機(jī)代數(shù)的研究中，王湘浩和他的學(xué)生提出了代數(shù)方程實(shí)根分離的一種較好算法。

王湘浩 - 辦學(xué)方面貢獻(xiàn)

在吉林大學(xué)數(shù)學(xué)系和計(jì)算機(jī)科學(xué)系的建設(shè)和發(fā)展上，王湘浩做出了關(guān)鍵性的貢獻(xiàn)。

王湘浩1952年到吉林大學(xué)后，即將主要精力投入到建立數(shù)學(xué)系的工作中。在建系過(guò)程中，王湘浩做為系主任，不是將注意力放在自己從事的代數(shù)方向上，而是從大局著眼，采取了有遠(yuǎn)見(jiàn)的措施，在較短時(shí)間內(nèi)得到了國(guó)內(nèi)的承認(rèn)和重視。王湘浩在建系過(guò)程中，重視教學(xué)，重視實(shí)際，重視人才，重視青年。50年代他就在數(shù)學(xué)系建起了微分方程，計(jì)算數(shù)學(xué)，計(jì)算機(jī)科學(xué)這三個(gè)方向；到60年代初期，吉林大學(xué)數(shù)學(xué)系已在國(guó)內(nèi)占有重要地位。

1976年，吉林大學(xué)計(jì)算機(jī)科學(xué)系成立，這是國(guó)內(nèi)最早的幾個(gè)計(jì)算機(jī)系之一。在王湘浩的領(lǐng)導(dǎo)下，10年內(nèi)，計(jì)算機(jī)系的軟件專業(yè)就成為國(guó)內(nèi)第一批被批準(zhǔn)的有博士學(xué)位授予權(quán)、有博士后科研流動(dòng)站的專業(yè)，以及屬于國(guó)家重點(diǎn)學(xué)科的專業(yè)。

王湘浩在建設(shè)兩個(gè)系的過(guò)程中，能容納各種不同意見(jiàn)，發(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)有影響的系，這是和王湘浩的人品與見(jiàn)識(shí)分不開(kāi)的。

王湘浩 - 人物簡(jiǎn)歷

1915年5月5日　出生于河北省安平縣。
1933—1937年　就讀于北京大學(xué)數(shù)學(xué)系。
1937—1946年　任西南聯(lián)合大學(xué)助教、講師。
1946—1949年　就讀于美國(guó)普林斯頓大學(xué)，獲博士學(xué)位。
1949—1952年　任北京大學(xué)副教授、教授。
1955年　被評(píng)為中國(guó)科學(xué)院數(shù)學(xué)物理學(xué)部委員。
1952—1976年任東北人民大學(xué)（后改為吉林大學(xué)）數(shù)學(xué)系主任。
1976—1984年　任吉林大學(xué)計(jì)算機(jī)科學(xué)系主任，吉林大學(xué)副校長(zhǎng)。
1984—1994年　任吉林大學(xué)計(jì)算機(jī)科學(xué)系名譽(yù)系主任。
1993年5月4日　逝世于大連。

王湘浩 - 主要論著

1　王湘浩．Maass模定理的一個(gè)簡(jiǎn)單證明．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1955，1：141－142．
2　王湘浩．關(guān)于Kothe半單純環(huán)．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1955，1：143—147．
3　王湘浩．?dāng)M賦值環(huán)．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1957，1：27－40．
4　王湘浩．評(píng)兒玉哲夫君的論文《關(guān)于正規(guī)單純代數(shù)的交換子群》．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1957，1：269－270．
5　王湘浩．代數(shù)方程根的分離的一種方法．吉林大學(xué)學(xué)報(bào)，1960，1：99－101．
6　王湘浩．有限集合上缺值函數(shù)的結(jié)構(gòu)理論．吉林大學(xué)學(xué)報(bào)，1963，2：295－318．
7　王湘浩，劉敘華．廣義歸結(jié)．計(jì)算機(jī)學(xué)報(bào)，1982，2：81－92．
8　王湘浩，劉敘華．歸結(jié)原理中的取因子問(wèn)題．中國(guó)科學(xué)（Ａ輯），1982，11：1052—1058．