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

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

1915年5月5日生于河北省安平縣。其父王桂山，字仙府，靠耕田和 賣(mài)藥為生，在村里免費(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)先，受到老師們的稱(chē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年成為江澤涵教授的研究生，專(zhuān)攻拓?fù)鋵W(xué)；1941年畢業(yè)，擔(dān)任西南聯(lián)合大學(xué)講師。1946年夏，他到美國(guó)普林斯頓大學(xué)，在著名代數(shù)學(xué)家E．阿廷指導(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ì)代表。

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ù)系主任。

王湘浩還曾擔(dān)任中國(guó)數(shù)學(xué)會(huì)理事，中國(guó)計(jì)算機(jī)學(xué)會(huì)副理事長(zhǎng)，中國(guó)計(jì)算機(jī)學(xué)會(huì)人工智能專(zhuān)業(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)。

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

數(shù)學(xué)

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

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

這個(gè)猜想的證明，在當(dāng)時(shí)的數(shù)學(xué)界是一件大事。美國(guó)著名代數(shù)學(xué)家A．A．阿爾貝特說(shuō)：線(xiàn)性結(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ù)K理論和代數(shù)群論中很重要。在蘇聯(lián)，這個(gè)問(wèn)題稱(chēng)為田中－阿廷問(wèn)題。實(shí)際上，阿廷并未具體提出上述問(wèn)題，而是王湘浩在上述論文中提出的。這個(gè)問(wèn)題受到了國(guó)際上有些同行的重視，但直到現(xiàn)在只得到一些局部性結(jié)果。

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

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

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

50年代末，多值邏輯的一個(gè)重要問(wèn)題——函數(shù)完備性問(wèn)題，引起了各國(guó)學(xué)者的注意。蘇聯(lián)的C．B．亞布隆斯基在1958年解決了三值邏輯的完備性問(wèn)題，對(duì)于一般多值邏輯則僅給出了一些零星結(jié)果。60年代初，王湘浩提出了解決這一問(wèn)題的重要思想，即利用“保n項(xiàng)關(guān)系”的方法來(lái)研究n值邏輯的完備性問(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)的概念并解決了非奇異線(xiàn)性?xún)?nèi)動(dòng)機(jī)的分析問(wèn)題。1990年，王湘浩解決了該文中提出的因子分解問(wèn)題。

1977年王湘浩在國(guó)內(nèi)最早提出要開(kāi)展人工智能的研究，并于1980年受教育部委托，在吉林大學(xué)舉辦了全國(guó)性的人工智能討論班，隨之成立了全國(guó)高校人工智能研究會(huì)。王湘浩在定理機(jī)器證明的歸結(jié)方法上做出了研究成果。1982年王湘浩和他的學(xué)生研究了歸結(jié)方法中的取因子問(wèn)題并提出了廣義歸結(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é)系的工作中。在建系過(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ī)系的軟件專(zhuān)業(yè)就成為國(guó)內(nèi)第一批被批準(zhǔn)的有博士學(xué)位授予權(quán)、有博士后科研流動(dòng)站的專(zhuān)業(yè)，以及屬于國(guó)家重點(diǎn)學(xué)科的專(zhuān)業(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)的。

1　王湘浩．Maass模定理的一個(gè)簡(jiǎn)單證明[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　王湘浩．評(píng)兒玉哲夫君的論文《關(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é)原理中的取因子問(wèn)題[J]．中國(guó)科學(xué)（A輯），1982，11：1052—1058．

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

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

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

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

周其鳳、省人大常委會(huì)副主任劉淑瑩分別在揭幕儀式上講話(huà)。他們?cè)谥v話(huà)中都高度肯定了王湘浩教授在科學(xué)上獲得的杰出成就和在教育事業(yè)上建立的卓越功勛。他們指出，王湘浩教授的崇高思想和品格，深邃的學(xué)術(shù)眼光，在學(xué)科建設(shè)和人才培養(yǎng)上的遠(yuǎn)見(jiàn)卓識(shí)，平易近人、質(zhì)樸無(wú)華的工作作風(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é)樓，共同為該塑像揭幕。