您现在的位置: 首页 >  院士信息 >  已故院士名单
院士信息

王湘浩

 

【字号:    
王湘浩
代数学、计算机科学家 1915年5月5日生于河北安平。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。1955年被选聘为中国科学院学部委员(院士)。1993年5月4日逝世。 曾任北京大学教授,吉林大学教授。1952年开创吉林大学数学系,任首届系主任。1976年开创吉林大学计算机科学系,任首届系主任。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。1948年留美博士论文中,纠正了Grunwald定理的错误,对该定理作了推广并给出该定理成立的充要条件,重新证明了Dickson猜想。与此同时,证明代数数域上单纯代数换位子群与其幺模子群相等。20世纪50年代在数学系工作中,大力促进应用数学领域的发展,以适应国家的人才需求。60年代初,提出利用“保n项关系”的方法解决了多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面,推广了归结原理,并推广改进了Vincent定理。
导航
首页
学部介绍
院士信息
院士大会
院士增选
智库建设
出版物
学部工作局
动态
学部动态
媒体报道
咨询评议
学术交流
科普活动
院士动态
专题
2017中科院院士增选
陈嘉庚科学奖
科学与中国
学术引领
科学人生·百年
院士文库
缅怀院士
中科院第十八次院士大会
纪念学部成立60周年
院士口述故事
工具栏
院士邮箱系统
院士增选系统
学部咨询项目管理系统
学部学科项目管理系统
院士退休信息报备系统