王湘浩(1915.5.5-1993.5.4)，河北安平人。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。吉林大学教授。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。40年代纠正了格伦瓦尔定理的错误，对该定理作了推广并给出该定理成立的充要条件，重新证明了狄克逊猜想。证明代数数域上单纯代数换位子群与其么模子群相等。提出并解决了利用“保n项关系”的方法解决多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面，推广了归结原理，并推广而且改进了Vincent定理。

个人简历

１９３３—１９３７年 就读于北京大学数学系。

１９３７—１９４６年 任西南联合大学助教、讲师。

１９４６—１９４９年 就读于美国普林斯顿大学，获博士学位。

１９４９—１９５２年 任北京大学副教授、教授。

１９５５年 被评为中国科学院数学物理学部委员。

１９５２—１９７６年 任东北人民大学（后改为吉林大学）数学系主任。

１９７６—１９８４年 任吉林大学计算机科学系主任，吉林大学副校长。

１９８４—１９９４年 任吉林大学计算机科学系名誉系主任。

1955年选聘为中国科学院院士（学部委员）。