王湘浩,代數學、計算機科學家。1915年5月5日生于河北安平。1937年畢業于北京大學。1949年獲美國普林斯頓大學哲學博士學位。1955年被選聘為中國科學院學部委員(院士)。曾任北京大學教授,吉林大學數學系主任、計算機科學系主任、副校長。主要從事代數數論和賦值論、人工智能學等方面的研究并取得多項重要成果。20世紀40年代糾正了格倫瓦爾定理的錯誤,對該定理做了推廣并給出該定理成立的充要條件,重新證明了狄克遜猜想。證明代數數域上單純代數換位子群與其幺模子群相等。提出并解決了利用“保n項關系”的方法解決多值邏輯中函數集的完備性問題。在定理機器證明和計算機代數方面,推廣了歸結原理,并推廣改進了Vincent定理。1993年5月4日逝世于遼寧大連。