 王湘浩[公元1915年－1993年，中国科学院院士] 河北衡水市安平县人物 王湘浩（1915年5月5日—1993年5月4日），河北安平人，数学家，计算机科学家，教育家，中国科学院学部委员（院士），生前是吉林大学副校长。 王湘浩是中国杰出的数学家、计算机科学家和教育家，1915年5月5日出生于河北省安平县。以下是他的生平介绍： 早年经历与教育背景 王湘浩的父亲王桂山靠耕田和卖药为生，还在村里免费行医，时常鼓励他读书，希望他将来做个教师。受父亲和毕业于天津北洋大学的叔父影响，1931年初中毕业后，王湘浩考取了北洋工学院附属高中。但因读工科需学机械制图，而这是他的弱项，他逐渐失去读工科兴趣。1933年高中毕业时，他放弃直接升入北洋工学院本科的机会，考取了北京大学算学系（数学系）。在北大数学系，王湘浩如鱼得水，成绩突出，三四年级时获得每年240元的最高奖学金。 1937年，王湘浩从北京大学数学系毕业时，抗日战争爆发，北大南迁。他先回河北家乡，后到西安，最终到长沙投奔由北大、清华、南开三校成立的临时大学，在江泽涵教授帮助下，留在临时大学数学系任助教。1938年春，长沙临时大学迁往昆明，改名西南联合大学。王湘浩在该校当了两年助教后，1939年成为江泽涵教授的研究生，专攻拓扑学，1941年毕业并担任西南联合大学讲师。 1946年夏，王湘浩到美国普林斯顿大学，在著名代数学家E.阿廷指导下攻读学位，1947年夏取得硕士学位，1949年春取得博士学位，博士论文题目是《关于格伦瓦尔德定理》。 回国后的学术生涯 1949年6月，王湘浩启程回国，8月到北京，被北京大学数学系聘为副教授，1950年晋升为教授。1952年院系调整时，他到东北人民大学（后改名为吉林大学）数学系任系主任。1955年，他被选为中国科学院学部委员。 王湘浩早期从事近世代数研究。他发现了格伦瓦尔德定理的错误，写了《关于格伦瓦尔德定理的反例》，使迪克森猜想再次成为未证明的猜想，动摇了有理单纯代数的理论。后来在博士论文中，他纠正了该定理错误并将其推广，重新证明了迪克森猜想。回国后，他又对一般的阿贝尔扩张给出了该定理成立的充要条件。他还利用推广的格伦瓦尔德定理证明了局部域上单纯代数交换子群与么模子群在代数数域情形下相等，以及在一般域情形下指数无平方因子时二群也相等，并提出了相关的田中 - 阿廷问题。此外，他还用修改后的格伦瓦尔德定理证明了马斯模定理，后来又给出了不用该定理的简单证明。1955 - 1957年，王湘浩得到了G.柯特半单纯环的亚直接和表示，并讨论了拟赋值环问题。 50年代末，王湘浩的研究方向转向多值逻辑。当时多值逻辑的函数完备性问题受到各国学者关注，苏联学者解决了三值逻辑完备性问题，对于一般多值逻辑仅给出零星结果。60年代初，王湘浩提出用“保n项关系”的方法研究n值逻辑完备性问题，在他指导下，学生于1964年解决了这一问题，比国际公认的罗森贝格定理早了6年。1963年，他还提出多值逻辑中缺值函数的结构问题，并取得一定成果，后来也由学生完全解决。 60年代初，王湘浩在自动机理论方面开展研究，引进圈环概念并解决了非奇异线性内动机的分析问题，1990年解决了该研究中提出的因子分解问题。 开拓人工智能研究 1977年，王湘浩在国内最早提出开展人工智能研究。1980年，受教育部委托，他在吉林大学举办全国性人工智能讨论班，随之成立全国高校人工智能研究会。他在定理机器证明的归结方法上取得研究成果，1982年和学生研究归结方法中的取因子问题并提出广义归结方法，该方法包含了普通归结方法和非子句归结方法。在他指导下，学生在归结方法研究中提出一些有用的改进策略。在计算机代数研究中，王湘浩和学生提出代数方程实根分离的一种较好算法。 教育贡献 王湘浩对吉林大学数学系和计算机科学系的建设与发展贡献巨大。1952年到吉林大学后，他全力投入数学系建立工作。1953年编写了《分析方法》和《域论》等手抄本讲义。他从大局着眼，采取有远见的措施，重视教学、实际、人才和青年，50年代就在数学系建起微分方程、计算数学、计算机科学三个方向，到60年代初期，吉林大学数学系已在国内占有重要地位。1961年，他与谢邦杰合编的《高等代数》被确定为全国通用教材。 1976年，吉林大学计算机科学系成立，这是国内最早的几个计算机系之一。在王湘浩领导下，10年内，计算机系的软件专业成为国内第一批有博士学位授予权、有博士后科研流动站以及属于国家重点学科的专业。 王湘浩在建设两个系的过程中，能容纳不同意见，发挥各种人才的作用，看到各人优点。每届毕业生留校时，他都把学习最好的学生安排到最重要的方向上。 社会职务与荣誉 王湘浩担任过众多社会职务，包括中国数学会理事、中国计算机学会副理事长、中国计算机学会人工智能专业委员会主任、全国高校人工智能研究会会长、吉林省及长春市计算机学会理事长、长春市数学会理事长、长春市桥牌协会主席、国务院学位委员会计算机学科评议组组长、吉林省科协副主席、第三届及第五至八届全国人大代表、长春市政协副主席、民盟中央委员、民盟吉林省委副主任委员、民盟长春市委主任委员等。 1993年5月4日，王湘浩逝世于大连。他是中国自动机理论与人工智能研究的开拓者，在代数学上做出国际公认的重要贡献。他数学基础深厚、勤奋，富有学科发展远见，是卓有成就的数学家和成功的教育家，其崇高的思想品格、深邃的学术眼光、在学科建设和人才培养上的远见卓识，以及平易近人、质朴无华的工作作风，严谨求实而又富于创造性的治学精神，为后人树立了榜样。 |
