王湘浩（1915-1993）河北安平人。数学家、计算机科学家。学部委员。北京大学毕业。曾任北大教授等。主要从事代数数论和赋值论、人工智能等方面的教学与研究。曾纠正了格伦瓦尔定理的错误，并推广了该定理，重新证明了狄克逊猜想等。在定理机器证明和计算机代数方面，推广了归结原理。著有《论格伦瓦尔定理》等。