您现在的位置 > 首页 > 河北省 > 衡水市 > 安平县人物

王湘浩


[公元1915年-1993年,中国科学院院士]
  王湘浩,代数学、计算机科学家 1915年5月5日生于河北安平。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。1955年被选聘为中国科学院学部委员(院士)。1993年5月4日逝世。 曾任北京大学教授,吉林大学教授。1952年开创吉林大学数学系,任首届系主任。1976年开创吉林大学计算机科学系,任首届系主任。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。1948年留美博士论文中,纠正了Grunwald定理的错误,对该定理作了推广并给出该定理成立的充要条件,重新证明了Dickson猜想。与此同时,证明代数数域上单纯代数换位子群与其幺模子群相等。20世纪50年代在数学系工作中,大力促进应用数学领域的发展,以适应国家的人才需求。60年代初,提出利用“保n项关系”的方法解决了多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面,推广了归结原理,并推广改进了Vincent定理。
  [以上内容由"-"分享。]


相关院校:

同年(公元1915年)出生的名人:
王大珩 (19152011) 中国科学院院士,中国工程院院士 江苏省苏州
席承藩 (19152002) 中国科学院院士 山西省吕梁文水县
唐敖庆 (19152008) 中国科学院院士 江苏省无锡宜兴
宋叔和 (19152008) 中国科学院院士 河北省唐山市迁安
秦馨菱 (19152003) 中国科学院院士 山东省潍坊安丘

同年(公元1993年)去世的名人:
唐仲璋 (19051993) 中国科学院院士 福建省福州市
沈其震 (19071993) 中国科学院院士 湖南省长沙市开福区
俞大绂 (19011993) 中国科学院院士 浙江省绍兴
支秉彝 (19111993) 中国科学院院士 江苏省泰州海陵
黎尚豪 (19171993) 中国科学院院士 广东省梅州市梅县
郭仲衡 (19341993) 中国科学院院士 广东省广州市

下一名人:王守武