王湘浩

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

北京大学

王大珩 (1915～2011) 中国科学院院士,中国工程院院士 江苏省苏州

席承藩 (1915～2002) 中国科学院院士 山西省吕梁市文水县

唐敖庆 (1915～2008) 中国科学院院士 江苏省无锡宜兴

宋叔和 (1915～2008) 中国科学院院士 河北省唐山市迁安

秦馨菱 (1915～2003) 中国科学院院士 山东省潍坊市安丘

唐仲璋 (1905～1993) 中国科学院院士 福建省福州市

沈其震 (1907～1993) 中国科学院院士 湖南省长沙市开福区

俞大绂 (1901～1993) 中国科学院院士 浙江省绍兴

支秉彝 (1911～1993) 中国科学院院士 江苏省泰州海陵

黎尚豪 (1917～1993) 中国科学院院士 广东省梅州市梅县区

郭仲衡 (1934～1993) 中国科学院院士 广东省广州市