位置:首页 > 人物大全 > 王湘浩

王湘浩

所属地区:河北省衡水市安平县 发布时间:2024-03-25 15:56:28

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

所属地区

安平县位于河北省中南部。总面积493平方千米。总人口31万人(2004年)。县政府驻安平镇,邮编:053600。代码:131125。区号:0318。拼音:Anping Xian。行政区划安平县辖3个镇、5个乡:安平镇、马店镇、南王庄镇、大何庄乡、程油子乡、西两洼乡、大子文乡、东黄城乡。历史沿革战国时为赵安平邑。汉置安平县。据《安平县志》载:“众官民安居乐业,且地势平坦”,故名。2000年,安平县辖3个镇、5个乡。根据第五次人口普查数据:全县总人口322650人,其中各乡镇人口(人): 安平镇 77667 马店镇 53928 南王庄镇 36375 大何庄乡 36072 程油子乡 36446 西两...河北省衡水市安平县

=∣更多人物∣=