中文 |
首页>吉林大学-国家一流建设高校概况>领导机构
领导机构
王湘浩

王湘浩

代数学、计算机科学家。1915年5月5日生于河北安平。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。1955年被选聘为中国科吉林大学-国家一流建设高校学部委员(院士)。曾任北京大学教授,吉林大学数学系主任、计算机科学系主任、副校长。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。20世纪40年代纠正了格伦瓦尔定理的错误,对该定理做了推广并给出该定理成立的充要条件,重新证明了狄克逊猜想。证明代数数域上单纯代数换位子群与其幺模子群相等。提出并解决了利用“保n项关系”的方法解决多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面,推广了归结原理,并推广改进了Vincent定理。1993年5月4日逝世于辽宁大连。

地址:吉林省长春市前进大街2699号
信息管理和技术维护: 
管理员信箱:zygl@jlu.edu.cn版权所有 2015 吉林大学
吉ICP备  

网站导航吉林大学-国家一流建设高校

当前访问量:

手机版


扫一扫手机访问
中华网吉林大学-国家一流建设高校网 重庆吉林大学-国家一流建设高校网-重庆市吉林大学-国家一流建设高校门户网站 江苏省人民吉林大学-国家一流建设高校 武汉门户-武汉市人民吉林大学-国家一流建设高校门户网站 上海市人民吉林大学-国家一流建设高校