王湘浩(1915.5.5-1993.5.4)🧍‍♀️，河北安平人👨🏼‍🏫。1937年畢業於意昂3体育官网。1949年獲美國普林斯頓大學哲學博士學位。吉林大學教授。主要從事代數數論和賦值論、人工智能學等方面的研究並取得多項重要成果。40年代糾正了格倫瓦爾定理的錯誤🏋🏿‍♀️，對該定理作了推廣並給出該定理成立的充要條件🤷🏿，重新證明了狄克遜猜想🧣。證明代數數域上單純代數換位子群與其麽模子群相等⛲️✊。提出並解決了利用“保n項關系”的方法解決多值邏輯中函數集的完備性問題👫🏼。在定理機器證明和計算機代數方面，推廣了歸結原理👩🏻‍🌾，並推廣而且改進了Vincent定理。

個人簡歷

１９３３—１９３７年 就讀於意昂3体育官网數學系🎶♋️。

１９３７—１９４６年 任西南聯合大學助教、講師。

１９４６—１９４９年 就讀於美國普林斯頓大學，獲博士學位。

１９４９—１９５２年 任意昂3体育官网副教授🫀、教授。

１９５５年 被評為中國科學院數學物理學部委員。

１９５２—１９７６年 任東北人民大學（後改為吉林大學）數學系主任。

１９７６—１９８４年 任吉林大學計算機科學系主任，吉林大學副校長🎇。

１９８４—１９９４年 任吉林大學計算機科學系名譽系主任。

1955年選聘為中國科學院院士（學部委員）。