王湘浩

　　王湘浩（1915～1993），中国数学家。中国科学院院士。1915年5月5日生于河北安平，1993年5月4日卒于大连。1937年毕业于北京大学算学系。1949年获美国普林斯顿大学哲学博士学位。曾任北京大学数学系教授，中国计算机学会副理事长兼人工智能专业委员会主任委员，中国民主同盟吉林省副主任委员，长春市政协副主席等职。王湘浩主要从事代数数论和赋值论、人工智能学等方面的教授与研究工作，并取得多项国际公认的成果。1948年末纠正了格伦瓦尔定理的错误，对该定理作了推广并于此后给出了该定理成立的重要条件，重新证明了狄克逊猜想。证明了代数数域上单纯代数换位子群与其么模子群相等，并提出了须进一步研究的课题。给出了不用格伦瓦尔定理的Maass模定理的非常简单的证明。60年代初，提出利用“保几项关系”的方法解决多值逻辑中函数集的完备性问题，并于1964年由其学生在其一些成果的基础上予以解决；引进了圈环概念，并于1990年解决了非奇异内动机的分析综合问题。在定理机器证明和计算机代数方面，王湘浩推广了归结原理，并推广而且改进了Vincent定理。发表有《Maass模定理的一个简单证明》等研究论文。