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