王湘浩

王湘浩，數(shù)學(xué)家，數(shù)學(xué)教育家。早期從事近世代數(shù)的研究，在類域論研究中獲重要成果。后從事多值邏輯的自動機(jī)理論研究，并在我國倡導(dǎo)人工智能研究。他是吉林大學(xué)數(shù)學(xué)系第一任系主任，后任該校計(jì)算機(jī)科學(xué)系系主任和副校長。王湘浩是我國第一批計(jì)算機(jī)學(xué)科博士導(dǎo)師之一，曾擔(dān)任中國數(shù)學(xué)會理事，國務(wù)院學(xué)位委員會計(jì)算機(jī)學(xué)科評議組組長。

1933—1937年　就讀于北京大學(xué)數(shù)學(xué)系。

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

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

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

王湘浩

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

1949—1952年　任北京大學(xué)副教授、教授。

1955年　被評為中國科學(xué)院數(shù)學(xué)物理學(xué)部委員。

1952—1976年 任東北人民大學(xué)（后改為吉林大學(xué)）數(shù)學(xué)系主任。

1976—1984年　任吉林大學(xué)計(jì)算機(jī)科學(xué)系主任，吉林大學(xué)副校長。

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

王湘浩還曾擔(dān)任中國數(shù)學(xué)會理事，中國計(jì)算機(jī)學(xué)會副理事長，中國計(jì)算機(jī)學(xué)會人工智能專業(yè)委員會主任，全國高校人工智能研究會會長，吉林省及長春市計(jì)算機(jī)學(xué)會理事長，長春市數(shù)學(xué)會理事長和長春市橋牌協(xié)會主席。

王湘浩是中國第一批計(jì)算機(jī)學(xué)科博士導(dǎo)師之一，曾任國務(wù)院學(xué)位委員會計(jì)算機(jī)學(xué)科評議組組長。

1993年5月4日　逝世于大連。

數(shù)學(xué)

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

近世代數(shù)中有一個(gè)重要命題——迪克森猜想。這個(gè)猜想的證明能徹底闡明有理單純代數(shù)的結(jié)構(gòu)。1931年德國數(shù)學(xué)家H．哈塞等人證明了這個(gè)猜想，在證明中他們使用了類域論方面的重要定理——格倫瓦爾德定理。

這個(gè)猜想的證明，在當(dāng)時(shí)的數(shù)學(xué)界是一件大事。美國著名代數(shù)學(xué)家A．A．阿爾貝特說：線性結(jié)合代數(shù)的理論，當(dāng)決定所有有理可除代數(shù)的問題找到了解答的時(shí)候，也許就達(dá)到了它的頂點(diǎn)。

王湘浩在研究這個(gè)問題時(shí)，發(fā)現(xiàn)了格倫瓦爾德定理的錯(cuò)誤，并寫了只有一頁半的短篇論文《關(guān)于格倫瓦爾德定理的反例》。這篇論文使迪克森猜想又變成了未予證明的猜想，從而動搖了有理單純代數(shù)的理論。

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

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

1943年中山隆和松島與三證明了局部域上單純代數(shù)交換子群等于其么模子群。王湘浩利用自己所推廣的格倫瓦爾德定理證明了上述兩群在代數(shù)數(shù)域情形下仍相等；而且在一般域情形下，當(dāng)指數(shù)無平方因子時(shí)，二群也相等。在最一般情形下結(jié)論會是怎樣的呢？這一問題在以后興起的代數(shù)K理論和代數(shù)群論中很重要。在蘇聯(lián)，這個(gè)問題稱為田中－阿廷問題。實(shí)際上，阿廷并未具體提出上述問題，而是王湘浩在上述論文中提出的。這個(gè)問題受到了國際上有些同行的重視，但直到現(xiàn)在只得到一些局部性結(jié)果。

馬斯模定理的證明中使用了格倫瓦爾德定理，因?yàn)楹笳咚腻e(cuò)誤，馬斯模定理的原證已不成立。M．E．愛區(qū)勒曾經(jīng)不用格倫瓦爾德定理證明了模定理，但論證非常復(fù)雜。王湘浩曾用他修改后的格倫瓦爾德定理給出過一個(gè)證明。后來，他又給出了一個(gè)不用格倫瓦爾德定理的非常簡單的證明。

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

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

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

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

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

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

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

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

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

王湘浩在建設(shè)兩個(gè)系的過程中，能容納各種不同意見，發(fā)揮各種人才的作用，能看到各人的優(yōu)點(diǎn)，包括當(dāng)時(shí)一些不得意的人的優(yōu)點(diǎn)。他不存私心，每屆畢業(yè)生留校時(shí)，都把學(xué)習(xí)最好的學(xué)生安排到最重要的方向上。吉林大學(xué)數(shù)學(xué)系和計(jì)算機(jī)科學(xué)系，能很快成長為方向較齊全、在國內(nèi)有影響的系，這是和王湘浩的人品與見識分不開的。

1　王湘浩．Maass模定理的一個(gè)簡單證明[J]．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1955，1：141－142．

2　王湘浩．關(guān)于Kothe半單純環(huán)[J]．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1955，1：143—147．

3　王湘浩．?dāng)M賦值環(huán)[J]．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1957，1：27－40．

4　王湘浩．評兒玉哲夫君的論文《關(guān)于正規(guī)單純代數(shù)的交換子群》[C]．東北人民大學(xué)自然科學(xué)學(xué)報(bào)，1957，1：269－270．

5　王湘浩．代數(shù)方程根的分離的一種方法[J]．吉林大學(xué)學(xué)報(bào)，1960，1：99－101．

6　王湘浩．有限集合上缺值函數(shù)的結(jié)構(gòu)理論[J]．吉林大學(xué)學(xué)報(bào)，1963，2：295－318．

7　王湘浩，劉敘華．廣義歸結(jié)[J]．計(jì)算機(jī)學(xué)報(bào)，1982，2：81－92．

8　王湘浩，劉敘華．歸結(jié)原理中的取因子問題[J]．中國科學(xué)（A輯），1982，11：1052—1058．

原盟省委副主委王湘浩院士雕像在吉大落成

2008年1月11日下午，原盟省委副主委、我國杰出數(shù)學(xué)家、計(jì)算機(jī)科學(xué)家和教育家、中國科學(xué)院院士王湘浩教授塑像揭幕儀式在吉林大學(xué)計(jì)算機(jī)樓舉行，民盟中央副主席、盟省委主委、副省長陳曉光，吉林大學(xué)校長周其鳳共同為王湘浩教授塑像揭幕。吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院兼軟件學(xué)院院長周春光主持儀式。

盟省委副主委張釜、吉林大學(xué)領(lǐng)導(dǎo)王勝今、張向東，原吉林大學(xué)校領(lǐng)導(dǎo)伍卓群、劉慧智，王湘浩教授的親屬、弟子代表，校友代表，校部機(jī)關(guān)及相關(guān)院系負(fù)責(zé)人也參加了揭幕儀式。

原吉林大學(xué)校長伍卓群教授介紹了王湘浩教授的生平及學(xué)術(shù)思想。王湘浩教授是我國數(shù)學(xué)學(xué)科首批九位學(xué)部委員之一，第三屆、第五屆至第八屆全國人民代表大會代表，曾任民盟中央委員、吉林省民盟副主任委員，國務(wù)院學(xué)位委員會計(jì)算機(jī)學(xué)科評議組組長，中國計(jì)算機(jī)學(xué)會副理事長以及其他許多學(xué)術(shù)兼職和社會兼職。他先后創(chuàng)建我校數(shù)學(xué)系、計(jì)算機(jī)科學(xué)系，曾任吉林大學(xué)副校長。王湘浩教授早年從事代數(shù)學(xué)的研究，他對代數(shù)學(xué)的一大貢獻(xiàn)是糾正了類域論中一個(gè)重要定理-格倫瓦爾定理的錯(cuò)誤，給出了該定理成立的充要條件，從而重新證明了有理單純代數(shù)理論中著名的狄克遜猜想。王湘浩教授的另一重要工作是關(guān)于局部域上單純代數(shù)換位子群的研究，他所得到的結(jié)果在多年后興起的代數(shù)K理論和代數(shù)群論中有重要作用，被國際同行視為關(guān)于著名的阿廷問題的經(jīng)典結(jié)果。他還卓有成效地在國內(nèi)倡導(dǎo)和推動了人工智能和計(jì)算機(jī)代數(shù)的研究。

周其鳳、省人大常委會副主任劉淑瑩分別在揭幕儀式上講話。他們在講話中都高度肯定了王湘浩教授在科學(xué)上獲得的杰出成就和在教育事業(yè)上建立的卓越功勛。他們指出，王湘浩教授的崇高思想和品格，深邃的學(xué)術(shù)眼光，在學(xué)科建設(shè)和人才培養(yǎng)上的遠(yuǎn)見卓識，平易近人、質(zhì)樸無華的工作作風(fēng)，嚴(yán)謹(jǐn)求實(shí)而又富于創(chuàng)造性的治學(xué)精神，永遠(yuǎn)是我們學(xué)習(xí)的榜樣。我們應(yīng)學(xué)習(xí)王湘浩教授扎實(shí)治學(xué)、奉獻(xiàn)一生的精神，為建設(shè)吉大、振興吉林作貢獻(xiàn)。

據(jù)悉，王湘浩教授的另一尊塑像同時(shí)展放在數(shù)學(xué)樓一樓大廳。當(dāng)天下午，陳曉光、劉淑瑩、周其鳳、伍卓群等還前往數(shù)學(xué)樓，共同為該塑像揭幕。