王湘浩：润泽桃李潜默声－职工风采－人物频道

详细内容_页头

联系我们邮箱登录通行证登录网站地图

设为首页加入收藏

当前位置：中工网－人物频道－职工风采－正文

王湘浩：润泽桃李潜默声

//m.auribault.com 2015-05-22 来源：吉林日报

分享到：

　　王湘浩是我国著名数学家、教育家。他早期从事近世代数的研究，在类域论研究中获重要成果。后从事多值逻辑的自动机理论研究，并在我国倡导人工智能研究。他是吉林大学数学学科的奠基者和我国计算机学科的开拓者之一。

　　1952年，王湘浩来到吉林大学后，就将主要精力投入到建立数学系的工作中。在建系过程中，王湘浩作为系主任，不是将注意力放在自己从事的代数方向上，而是从大局着眼，采取了有远见的措施，在较短时间内得到了国内的承认和重视。王湘浩在建系过程中，重视教学，重视实际，重视人才，重视青年。上世纪50年代他就在数学系建起了微分方程、计算数学、计算机科学这三个方向。到上世纪60年代初期，吉大数学系已在国内占有重要地位。

　　1976年，吉大计算机科学系成立，这是国内最早的几个计算机系之一。在王湘浩的领导下，10年内，计算机系的软件专业就成为国内第一批被批准的有博士学位授予权、有博士后科研流动站的专业，以及属于国家重点学科的专业。

　　王湘浩在建设两个系的过程中，能容纳各种不同意见，发挥各种人才的作用，能看到各人的优点。他不存私心，每届毕业生留校时，都把学习最好的学生安排到最重要的方向上。吉大数学系和计算机科学系，能很快成长为方向较齐全、在国内有影响的系，这和王湘浩的人品与见识分不开。

　　办学育人的同时，王湘浩在学术研究上也不断取得一项项成果。在计算机科学理论领域，上世纪50年代末，多值逻辑的一个重要问题——函数完备性问题，引起了各国学者的注意。苏联的科学家在1958年解决了三值逻辑的完备性问题，对于一般多值逻辑则仅给出了一些零星结果。上世纪60年代初，王湘浩提出了解决这一问题的重要思想，即利用“保n项关系”的方法来研究n值逻辑的完备性问题。在他的指导下，他的学生终于在1964年解决了这一完备性问题。他们的结果没有发表，实际上比国际上公认的解决这一问题的罗森贝格定理整整早了6年。王湘浩于1963年还提出了多值逻辑中缺值函数的结构问题，并取得一些成果，这一问题后来也由他的学生完全解决了。

　　在人工智能研究方面，王湘浩也作出了突出贡献。1977年王湘浩在国内最早提出要开展人工智能的研究，并于1980年受教育部委托，在吉大举办了全国性的人工智能讨论班，随之成立了全国高校人工智能研究会。王湘浩在定理机器证明的归结方法上做出了研究成果。1982年王湘浩和他的学生研究了归结方法中的取因子问题并提出了广义归结方法。

　　2014年，吉大首次在数学学院、计算机科学与技术学院和软件学院设立王湘浩奖学金基金，旨在纪念吉大数学学科和计算机科学与技术学科的创始人王湘浩院士在教学、科学研究、人才培养和学科建设等方面作出的卓越贡献，弘扬和传承他严谨求实、富于创新的治学精神，激励学生拼搏向上、勤奋学习、勇攀科学研究高峰。（记者缪友银）

编辑：朱晶晶