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