王湘浩,數(shù)學家,數(shù)學教育家。1949年獲美國普林斯頓大學哲學博士學位。早期從事近世代數(shù)的研究,在類域論研究中獲重要成果。后從事多值邏輯的自動機理論研究,并在我國倡導人工智能研究。他是吉林大學數(shù)學系第一任系主任,后任該校計算機科學系系主任和副校長。王湘浩曾任北京大學教授,1952年—1958年任東北人民大學數(shù)學系主任,后任計算機科學系主任、副校長。王湘浩是我國第一批計算機學科博士導師之一,曾擔任中國數(shù)學會理事,國務院學位委員會計算機學科評議組組長。
人物經(jīng)歷
1933—1937年 就讀于北京大學數(shù)學系。
1915年5月5日生于河北省安平縣。其父王桂山,字仙府,靠耕田和 賣藥為生,在村里免費行醫(yī);時常鼓勵王湘浩讀書,希望他將來做個教師。叔父早年畢業(yè)于天津大學。在父親和叔父的影響下,1931年王湘浩初中畢業(yè)后,考取了河北工業(yè)大學附屬高中。當時北洋工學院的附屬高中實際上是大學預科性質(zhì),畢業(yè)后可以不經(jīng)考試升入本科。王湘浩自小喜歡數(shù)學,小學和中學數(shù)學成績一直很突出。但是,圖畫、手工課成績卻很差。讀北洋工學院附屬高中需要學機械制圖,王湘浩很難應付,逐漸失去了讀工科的興趣。1933年高中畢業(yè)時,他放棄直接升入北洋工學院本科的機會,考取了北京大學算學系(數(shù)學系)。
王湘浩在北京大學數(shù)學系學習,如魚得水,才能得到充分發(fā)揮,成績遙遙領先,受到老師們的稱贊。在三四年級時他獲得每年240元的最高獎學金。
1937年,王湘浩在北京大學數(shù)學系畢業(yè)時恰值抗日戰(zhàn)爭爆發(fā),北京大學南遷。王湘浩先回到河北省家鄉(xiāng),繼而去西安市,最后到長沙市投奔由北京大學、清華大學、南開大學三校成立的臨時大學。他在江澤涵教授的幫助下,留在臨時大學數(shù)學系任助教,結束了流亡生活。1938年春,國立長沙臨時大學遷往昆明市,改名國立西南聯(lián)合大學。王湘浩在該校當了兩年助教后,1939年成為江澤涵教授的研究生,專攻拓撲學;1941年畢業(yè),擔任西南聯(lián)合大學講師。1946年夏,他到美國普林斯頓大學,在著名代數(shù)學家E.阿廷指導下攻讀學位,1947年夏取得碩士學位,1949年春又取得博士學位,其博士論文的題目是《關于格倫瓦爾德定理》。1949年6月他啟程回國,經(jīng)香港特別行政區(qū)、天津市,8月到北京,被北京大學數(shù)學系聘為副教授,1950年晉升教授。他在1952年院系調(diào)整時,到吉林大學(后改名為吉林大學)數(shù)學系任系主任。1955年他被選為中國科學院學部委員。1976年吉林大學計算機科學系成立后,王湘浩任該系系主任,后兼任吉林大學副校長。
王湘浩1954年加入中國民主同盟,曾任吉林省民盟副主任委員,長春市民盟主任委員,民盟中央委員和參議委員。并曾任長春市政協(xié)副主席,全國人民代表大會代表。
1949—1952年 任北京大學副教授、教授。
1955年 被評為中國科學院數(shù)學物理學部委員。
1952—1976年 任吉林大學(后改為吉林大學)數(shù)學系主任。
1976—1984年 任吉林大學計算機科學系主任,吉林大學副校長。
1984—1994年 任吉林大學計算機科學系名譽系主任。
王湘浩還曾擔任中國數(shù)學會理事,中國計算機學會副理事長,中國計算機學會人工智能專業(yè)委員會主任,全國高校人工智能研究會會長,吉林省及長春市計算機學會理事長,長春市數(shù)學會理事長和長春市橋牌協(xié)會主席。
王湘浩是中國第一批計算機學科博士導師之一,曾任國務院學位委員會計算機學科評議組組長。
1993年5月4日 逝世于大連。
主要貢獻
數(shù)學
王湘浩在美國普林斯頓大學攻讀博士學位期間,選擇了代數(shù)作為研究方向。
近世代數(shù)中有一個重要命題——迪克森猜想。這個猜想的證明能徹底闡明有理單純代數(shù)的結構。1931年德國數(shù)學家H.哈塞等人證明了這個猜想,在證明中他們使用了類域論方面的重要定理——格倫瓦爾德定理。
這個猜想的證明,在當時的數(shù)學界是一件大事。美國著名代數(shù)學家A.A.阿爾貝特說:線性結合代數(shù)的理論,當決定所有有理可除代數(shù)的問題找到了解答的時候,也許就達到了它的頂點。
王湘浩在研究這個問題時,發(fā)現(xiàn)了格倫瓦爾德定理的錯誤,并寫了只有一頁半的短篇論文《關于格倫瓦爾德定理的反例》。這篇論文使迪克森猜想又變成了未予證明的猜想,從而動搖了有理單純代數(shù)的理論。
1948年底,王湘浩在他的博士論文中,糾正了格倫瓦爾德定理的錯誤,將該定理做了推廣,重新證明了迪克森猜想。當時芝加哥大學數(shù)學系主任阿爾貝特曾邀請王湘浩就這一重要成果在芝加哥大學作了學術講演。
王湘浩在論文中,只對循環(huán)擴張討論了格倫瓦爾德定理。回國后,他對一般的阿貝爾擴張給出了該定理成立的充要條件。
1943年中山隆和松島與三證明了局部域上單純代數(shù)交換子群等于其么模子群。王湘浩利用自己所推廣的格倫瓦爾德定理證明了上述兩群在代數(shù)數(shù)域情形下仍相等;而且在一般域情形下,當指數(shù)無平方因子時,二群也相等。在最一般情形下結論會是怎樣的呢?這一問題在以后興起的代數(shù)K理論和代數(shù)群論中很重要。在蘇聯(lián),這個問題稱為田中-阿廷問題。實際上,阿廷并未具體提出上述問題,而是王湘浩在上述論文中提出的。這個問題受到了國際上有些同行的重視,但直到現(xiàn)在只得到一些局部性結果。
馬斯模定理的證明中使用了格倫瓦爾德定理,因為后者所含的錯誤,馬斯模定理的原證已不成立。M.E.愛區(qū)勒曾經(jīng)不用格倫瓦爾德定理證明了模定理,但論證非常復雜。王湘浩曾用他修改后的格倫瓦爾德定理給出過一個證明。后來,他又給出了一個不用格倫瓦爾德定理的非常簡單的證明。
1955-1957年,王湘浩得到了G.柯特半單純環(huán)的亞直接和表示,并討論了與此相關的擬賦值環(huán)問題。
王湘浩在代數(shù)上做出了國際公認的重要貢獻。后來由于國家建設的需要,他于1958年便開始了電子計算機和控制論方面的研究。
科學理論
50年代末,多值邏輯的一個重要問題——函數(shù)完備性問題,引起了各國學者的注意。蘇聯(lián)的C.B.亞布隆斯基在1958年解決了三值邏輯的完備性問題,對于一般多值邏輯則僅給出了一些零星結果。60年代初,王湘浩提出了解決這一問題的重要思想,即利用“保n項關系”的方法來研究n值邏輯的完備性問題。在他的指導下,他的學生終于在1964年解決了這一完備性問題。他們的結果沒有發(fā)表,實際上比國際上公認的解決這一問題的羅森貝格定理整整早了6年。王湘浩于1963年還提出了多值邏輯中缺值函數(shù)的結構問題,并取得一些成果,這一問題后來也由他的學生完全解決了。
60年代初,王湘浩在自動機理論方面開展了研究工作,他引進了圈環(huán)的概念并解決了非奇異線性內(nèi)動機的分析問題。1990年,王湘浩解決了該文中提出的因子分解問題。
人工智能
1977年王湘浩在國內(nèi)最早提出要開展人工智能的研究,并于1980年受教育部委托,在吉林大學舉辦了全國性的人工智能討論班,隨之成立了全國高校人工智能研究會。王湘浩在定理機器證明的歸結方法上做出了研究成果。1982年王湘浩和他的學生研究了歸結方法中的取因子問題并提出了廣義歸結方法。廣義歸結方法包含了普通歸結方法(J.A.魯賓遜,1965)和非子句歸結方法(N.V.默里,1982)。在王湘浩的指導下,他的學生在歸結方法的研究中提出了一些有用的改進策略。
在計算機代數(shù)的研究中,王湘浩和他的學生提出了代數(shù)方程實根分離的一種較好算法。
辦學方面
在吉林大學數(shù)學系和計算機科學系的建設和發(fā)展上,王湘浩做出了關鍵性的貢獻。
王湘浩1952年到吉林大學后,即將主要精力投入到建立數(shù)學系的工作中。1953年,王湘浩在吉林大學任教期間,編寫了《分析方法》和《域論》等手抄本講義。在建系過程中,王湘浩做為系主任,不是將注意力放在自己從事的代數(shù)方向上,而是從大局著眼,采取了有遠見的措施,在較短時間內(nèi)得到了國內(nèi)的承認和重視。王湘浩在建系過程中,重視教學,重視實際,重視人才,重視青年。50年代他就在數(shù)學系建起了微分方程,計算數(shù)學,計算機科學這三個方向;到60年代初期,吉林大學數(shù)學系已在國內(nèi)占有重要地位。
1961年,王湘浩與謝邦杰合編的《高等代數(shù)》曾被確定為全國通用教材。
1976年,吉林大學計算機科學系成立,這是國內(nèi)最早的幾個計算機系之一。在王湘浩的領導下,10年內(nèi),計算機系的軟件專業(yè)就成為國內(nèi)第一批被批準的有博士學位授予權、有博士后科研流動站的專業(yè),以及屬于國家重點學科的專業(yè)。
王湘浩在建設兩個系的過程中,能容納各種不同意見,發(fā)揮各種人才的作用,能看到各人的優(yōu)點,包括當時一些不得意的人的優(yōu)點。他不存私心,每屆畢業(yè)生留校時,都把學習最好的學生安排到最重要的方向上。吉林大學數(shù)學系和計算機科學系,能很快成長為方向較齊全、在國內(nèi)有影響的系,這是和王湘浩的人品與見識分不開的。
主要論著
1 王湘浩.Maass模定理的一個簡單證明[J].東北人民大學自然科學學報,1955,1:141-142.
2 王湘浩.關于Kothe半單純環(huán)[J].東北人民大學自然科學學報,1955,1:143—147.
3 王湘浩.擬賦值環(huán)[J].東北人民大學自然科學學報,1957,1:27-40.
4 王湘浩.評兒玉哲夫君的論文《關于正規(guī)單純代數(shù)的交換子群》[C].吉林大學自然科學學報,1957,1:269-270.
5 王湘浩.代數(shù)方程根的分離的一種方法[J].吉林大學學報,1960,1:99-101.
6 王湘浩.有限集合上缺值函數(shù)的結構理論[J].吉林大學學報,1963,2:295-318.
7 王湘浩,謝邦杰高等代數(shù).北京:人民教育出版社,1964.
8 王湘浩,劉敘華.廣義歸結[J].計算機學報,1982,2:81-92.
9 王湘浩,劉敘華.歸結原理中的取因子問題[J].中國科學(A輯),1982,11:1052—1058.
10 王湘浩,管紀文,劉敘華.高散數(shù)學北京:知識出版社,1985.
11 王湘浩,初等幾何中幾個需要深入理解的問題.1988.
12 王湘浩.計算機實用大全.長春出版社,1993.
13 王湘浩,線性代數(shù)[M]. 華中科技大學出版社,1985.
14 王湘浩,復數(shù)的定義[J]. 數(shù)學通報,1951(1).
社會職務
王湘浩曾任社會職務主要有:中國數(shù)學會理事、中國計算機學會副主任委員、國務院學位委員會計算機學科組組長、吉林省科協(xié)副主席、第三屆、第五至八屆全國人大代表、長春市政協(xié)副主席、民盟中央委員、民盟吉林省委副主任委員、民盟參議委員、民盟長春市委主任委員、中國計算機學會副理事長、中國計算機學會人工智能專業(yè)委員會主任、全國高校人工智能研究會會長、吉林省及長春市計算機學會理事長、長春市數(shù)學會理事長、長春市橋牌協(xié)會主席、中國科學院學部委員。
人物評價
王湘浩是中國自動機理論與人工智能研究的開拓者,他在代數(shù)上做出了國際公認的重要貢獻。(北京大學評)
王湘浩數(shù)學基礎深厚,又異常勤奮,他富有學科發(fā)展遠見,是一位卓有成就的著名數(shù)學家,也是一位成功的教育家。(中國民主同盟吉林省委員會評)
王湘浩有著崇高的思想和品格,深邃的學術眼光,在學科建設和人才培養(yǎng)上的遠見卓識。他平易近人、質(zhì)樸無華的工作作風,嚴謹求實而又富于創(chuàng)造性的治學精神,永遠是我們學習的榜樣。(吉林大學數(shù)學學院評)
王湘浩的一生,始終率領著學生們領跑在他所開創(chuàng)的學術前沿,在浩淼的數(shù)學世界里攻城拔寨、建功無數(shù),為吉林大學數(shù)學系和計算機科學系的建設和發(fā)展作出了關鍵性的貢獻。(吉林大學黨委宣傳部評)
后世紀念
東中華路浮雕
長春市東中華路建有名人浮雕墻,王湘浩浮雕像是16幅名仕浮雕之一。
塑像在吉大落成
2008年1月11日下午,我國杰出數(shù)學家、計算機科學家和教育家、中國科學院院士王湘浩教授塑像揭幕儀式在吉林大學計算機樓舉行,民盟中央副主席、盟省委主委、副省長陳曉光,吉林大學校長周其鳳共同為王湘浩教授塑像揭幕。吉林大學計算機科學與技術學院兼軟件學院院長周春光主持儀式。
盟省委副主委張釜、吉林大學領導王勝今、張向東,原吉林大學校領導伍卓群、劉慧智,王湘浩教授的親屬、弟子代表,校友代表,校部機關及相關院系負責人也參加了揭幕儀式。
原吉林大學校長伍卓群教授介紹了王湘浩教授的生平及學術思想。王湘浩教授是我國數(shù)學學科首批九位學部委員之一,第三屆、第五屆至第八屆全國人民代表大會代表,曾任民盟中央委員、吉林省民盟副主任委員,國務院學位委員會計算機學科評議組組長,中國計算機學會副理事長以及其他許多學術兼職和社會兼職。他先后創(chuàng)建我校數(shù)學系、計算機科學系,曾任吉林大學副校長。王湘浩教授早年從事代數(shù)學的研究,他對代數(shù)學的一大貢獻是糾正了類域論中一個重要定理-格倫瓦爾定理的錯誤,給出了該定理成立的充要條件,從而重新證明了有理單純代數(shù)理論中著名的狄克遜猜想。王湘浩教授的另一重要工作是關于局部域上單純代數(shù)換位子群的研究,他所得到的結果在多年后興起的代數(shù)K理論和代數(shù)群論中有重要作用,被國際同行視為關于著名的埃米爾·阿廷問題的經(jīng)典結果。他還卓有成效地在國內(nèi)倡導和推動了人工智能和計算機代數(shù)的研究。
周其鳳、劉淑瑩分別在揭幕儀式上講話。他們在講話中都高度肯定了王湘浩教授在科學上獲得的杰出成就和在教育事業(yè)上建立的卓越功勛。他們指出,王湘浩教授的崇高思想和品格,深的學術眼光,在學科建設和人才培養(yǎng)上的遠見卓識,平易近人、質(zhì)樸無華的工作作風,嚴謹求實而又富于創(chuàng)造性的治學精神,永遠是我們學習的榜樣。我們應學習王湘浩教授扎實治學、奉獻一生的精神,為建設吉林大學、振興吉林省作貢獻。
據(jù)悉,王湘浩教授的另一尊塑像同時展放在數(shù)學樓一樓大廳。當天下午,陳曉光、劉淑瑩、周其鳳、伍卓群等還前往數(shù)學樓,共同為該塑像揭幕。
紀念講座
2021年9月28日,吉林大學王湘浩人工智能杰出學者系列講座首場活動在中心校區(qū)東榮大廈會議中心報告廳舉行。
參考資料 >
王湘浩.吉林大學.2023-12-28
吉大數(shù)學人物 | 王湘浩.微信公眾平臺.2024-07-08
王湘浩.吉林大學.2023-12-28
《中國人工智能簡史》:數(shù)學家翻開了中國人工智能研究的第一頁.百家號.2023-12-19
王湘浩我國自動機理論跟人工智能研究的開拓者.doc.原創(chuàng)力文檔.2024-03-30
高等代數(shù).豆瓣讀書.2024-03-30
計算機實用大全./www.las.ac.cn.2024-03-30
王湘浩——我國自動機理論與人工智能研究的開拓者.北京大學新聞網(wǎng).2024-03-31
【紀念民盟成立75周年】王湘浩:“紅學家”的猜想與證明.微信公眾平臺.2024-07-08
民盟長春市第六屆委員會主委:王湘浩.微信公眾平臺.2024-07-08
豐碑禮贊 | 王湘浩:明見萬里,敢為人先(第二輯 第36期).微信公眾平臺.2024-07-08
王湘浩科學精神教育基地.吉林大學符號計算與知識工程教育部重點實驗室.2024-07-09
“紅學家”的猜想與證明.中國民主同盟吉林省委員會.2024-07-08
王湘浩教授塑像揭幕儀式隆重舉行.吉林大學數(shù)學學院.2024-07-08
吉大先賢:桃李葳蕤,芳華成蹊.吉林大學新聞中心網(wǎng)站.2024-07-08
與大師為鄰.百家號.2024-07-08
吉林大學舉辦王湘浩人工智能杰出學者系列講座首場活動.吉林大學思想政治工作網(wǎng).2024-07-08