王湘浩

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