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

收藏 创建:2013-12-05 访问: