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