长春图书馆

王湘浩（1915—1993），代数学、计算机科学家。河北安平人。1937年毕业于北京大学数学系，1949年获美国普林斯顿大学博士学位。曾任北京大学教授，吉林大学教授、吉林大学计算机科学系主任、吉林大学副校长。1955年当选为中国科学院学部委员（院士）。 王湘浩院士1952年组建了吉林大学数学系，任首届系主任。1976年创建了吉林大学计算机科学系，任首届系主任。他主要从事代数数论和赋值论、人工智能学等方面的研究，并取得多项重要成果。1948年，他在留美博士论文中纠正了格伦瓦尔定理的错误，对该定理做了推广并给出该定理成立的充要条件，重新证明Dickson猜想。与此同时，他证明代数数域上单纯代数换位子群与其幺模子群相等。20世纪50年代，他大力促进应用数学领域的发展，以适应国家的人才需求。60年代初，他提出利用“保n项关系”的方法解决了多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面，他推广了归结原理，并推广改进了Vincent定理。