王湘浩

王湘浩

王湘浩,數學家,數學教育家。早期從事近世代數的研究,在類域論研究中獲重要成果。後從事多值邏輯的自動機理論研究,並在我國倡導人工智慧研究。他是吉林大學數學系第一任系主任,後任該校計算機科學系系主任和副校長。王湘浩是我國第一批計算機學科博士導師之一,曾擔任中國數學會理事,中國計算機學會副理事長,中國計算機學會人工智慧專業委員會主任,全國高校人工智慧研究會會長,吉林省及長春市計算機學會理事長,長春市數學會理事長和長春市橋牌協會主席,國務院學位委員會計算機學科評議組組長。

基本信息

人物經歷

1933—1937年 就讀於北京大學數學系。

王湘浩 王湘浩

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

王湘浩在北京大學數學系學習,如魚得水,才能得到充分發揮,成績遙遙領先,受到老師們的稱讚。在三四年級時他獲得每年240元的最高獎學金。

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

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

1949—1952年 任北京大學副教授、教授。

1955年 被評為中國科學院數學物理學部委員。

1952—1976年 任東北人民大學(後改為吉林大學)數學系主任。

1976—1984年 任吉林大學計算機科學系主任,吉林大學副校長。

1984—1994年 任吉林大學計算機科學系名譽系主任。

王湘浩還曾擔任中國數學會理事,中國計算機學會副理事長,中國計算機學會人工智慧專業委員會主任,全國高校人工智慧研究會會長,吉林省及長春市計算機學會理事長,長春市數學會理事長和長春市橋牌協會主席。

王湘浩是中國第一批計算機學科博士導師之一,曾任國務院學位委員會計算機學科評議組組長 。

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

主要貢獻

數學

王湘浩在美國普林斯頓大學攻讀博士學位期間,選擇了代數學作為研究方向。

近世代數中有一個重要命題——迪克森猜想。這個猜想的證明能徹底闡明有理單純代數的結構。1931年德國數學家H.哈塞等人證明了這個猜想,在證明中他們使用了類域論方面的重要定理——格倫瓦爾德定理。

這個猜想的證明,在當時的數學界是一件大事。美國著名代數學家A.A.阿爾貝特說:線性結合代數的理論,當決定所有有理可除代數的問題找到了解答的時候,也許就達到了它的頂點。

王湘浩在研究這個問題時,發現了格倫瓦爾德定理的錯誤,並寫了只有一頁半的短篇論文《關於格倫瓦爾德定理的反例》。這篇論文使迪克森猜想又變成了未予證明的猜想,從而動搖了有理單純代數的理論。

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

王湘浩在論文中,只對循環擴張討論了格倫瓦爾德定理。回國後,他對一般的阿貝爾擴張給出了該定理成立的充要條件。

1943年中山隆和松島與三證明了局部域上單純代數交換子群等於其么模子群。王湘浩利用自己所推廣的格倫瓦爾德定理證明了上述兩群在代數數域情形下仍相等;而且在一般域情形下,當指數無平方因子時,二群也相等。在最一般情形下結論會是怎樣的呢?這一問題在以後興起的代數K理論和代數群論中很重要。在蘇聯,這個問題稱為田中-阿廷問題。實際上,阿廷並未具體提出上述問題,而是王湘浩在上述論文中提出的。這個問題受到了國際上有些同行的重視,但直到現在只得到一些局部性結果。

馬斯模定理的證明中使用了格倫瓦爾德定理,因為後者所含的錯誤,馬斯模定理的原證已不成立。M.E.愛區勒曾經不用格倫瓦爾德定理證明了模定理,但論證非常複雜。王湘浩曾用他修改後的格倫瓦爾德定理給出過一個證明。後來,他又給出了一個不用格倫瓦爾德定理的非常簡單的證明。

1955-1957年,王湘浩得到了G.柯特半單純環的亞直接和表示,並討論了與此相關的擬賦值環問題。

王湘浩在代數學上做出了國際公認的重要貢獻。後來由於國家建設的需要,他於1958年便開始了電子計算機和控制論方面的研究。

科學理論

50年代末,多值邏輯的一個重要問題——函式完備性問題,引起了各國學者的注意。蘇聯的C.B.亞布隆斯基在1958年解決了三值邏輯的完備性問題,對於一般多值邏輯則僅給出了一些零星結果。60年代初,王湘浩提出了解決這一問題的重要思想,即利用“保n項關係”的方法來研究n值邏輯的完備性問題。在他的指導下,他的學生終於在1964年解決了這一完備性問題。他們的結果沒有發表,實際上比國際上公認的解決這一問題的羅森貝格定理整整早了6年。王湘浩於1963年還提出了多值邏輯中缺值函式的結構問題,並取得一些成果,這一問題後來也由他的學生完全解決了。

60年代初,王湘浩在自動機理論方面開展了研究工作,他引進了圈環的概念並解決了非奇異線性內動機的分析問題。1990年,王湘浩解決了該文中提出的因子分解問題。

人工智慧

1977年王湘浩在國內最早提出要開展人工智慧的研究,並於1980年受教育部委託,在吉林大學舉辦了全國性的人工智慧討論班,隨之成立了全國高校人工智慧研究會。王湘浩在定理機器證明的歸結方法上做出了研究成果。1982年王湘浩和他的學生研究了歸結方法中的取因子問題並提出了廣義歸結方法。廣義歸結方法包含了普通歸結方法(J.A.魯賓遜,1965)和非子句歸結方法(N.V.默里,1982)。在王湘浩的指導下,他的學生在歸結方法的研究中提出了一些有用的改進策略。

在計算機代數的研究中,王湘浩和他的學生提出了代數方程實根分離的一種較好算法。

辦學方面

在吉林大學數學系和計算機科學系的建設和發展上,王湘浩做出了關鍵性的貢獻。

王湘浩1952年到吉林大學後,即將主要精力投入到建立數學系的工作中。在建系過程中,王湘浩做為系主任,不是將注意力放在自己從事的代數方向上,而是從大局著眼,採取了有遠見的措施,在較短時間內得到了國內的承認和重視。王湘浩在建系過程中,重視教學,重視實際,重視人才,重視青年。50年代他就在數學系建起了微分方程,計算數學,計算機科學這三個方向;到60年代初期,吉林大學數學系已在國內占有重要地位。

1976年,吉林大學計算機科學系成立,這是國內最早的幾個計算機系之一。在王湘浩的領導下,10年內,計算機系的軟體專業就成為國內第一批被批准的有博士學位授予權、有博士後科研流動站的專業,以及屬於國家重點學科的專業。

王湘浩在建設兩個系的過程中,能容納各種不同意見,發揮各種人才的作用,能看到各人的優點,包括當時一些不得意的人的優點。他不存私心,每屆畢業生留校時,都把學習最好的學生安排到最重要的方向上。吉林大學數學系和計算機科學系,能很快成長為方向較齊全、在國內有影響的系,這是和王湘浩的人品與見識分不開的。

主要論著

1 王湘浩.Maass模定理的一個簡單證明[J].東北人民大學自然科學學報,1955,1:141-142.

2 王湘浩.關於Kothe半單純環[J].東北人民大學自然科學學報,1955,1:143—147.

3 王湘浩.擬賦值環[J].東北人民大學自然科學學報,1957,1:27-40.

4 王湘浩.評兒玉哲夫君的論文《關於正規單純代數的交換子群》[C].東北人民大學自然科學學報,1957,1:269-270.

5 王湘浩.代數方程根的分離的一種方法[J].吉林大學學報,1960,1:99-101.

6 王湘浩.有限集合上缺值函式的結構理論[J].吉林大學學報,1963,2:295-318.

7 王湘浩,劉敘華.廣義歸結[J].計算機學報,1982,2:81-92.

8 王湘浩,劉敘華.歸結原理中的取因子問題[J].中國科學(A輯),1982,11:1052—1058.

後世紀念

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

陳曉光,周其鳳共同為王湘浩教授塑像揭幕 陳曉光,周其鳳共同為王湘浩教授塑像揭幕

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

盟省委副主委張釜、吉林大學領導王勝今、張向東,原吉林大學校領導伍卓群、劉慧智,王湘浩教授的親屬、弟子代表,校友代表,校部機關及相關院系負責人也參加了揭幕儀式。

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

周其鳳、省人大常委會副主任劉淑瑩分別在揭幕儀式上講話。他們在講話中都高度肯定了王湘浩教授在科學上獲得的傑出成就和在教育事業上建立的卓越功勳。他們指出,王湘浩教授的崇高思想和品格,深邃的學術眼光,在學科建設和人才培養上的遠見卓識,平易近人、質樸無華的工作作風,嚴謹求實而又富於創造性的治學精神,永遠是我們學習的榜樣。我們應學習王湘浩教授紮實治學、奉獻一生的精神,為建設吉大、振興吉林作貢獻。

據悉,王湘浩教授的另一尊塑像同時展放在數學樓一樓大廳。當天下午,陳曉光、劉淑瑩、周其鳳、伍卓群等還前往數學樓,共同為該塑像揭幕。

相關詞條

相關搜尋

熱門詞條

聯絡我們