王湘浩：从代数到算法、奠基中国计算机学科的科学家
从代数学到计算机科学，这是一条充满远见与担当的科学之路。吉林大学数学学科与计算机学科的奠基人王湘浩，先在代数领域纠正了世界著名定理的错误，又以超前眼光开创了中国的人工智能与计算机研究。他，正是我国代数学与计算机科学领域的杰出先驱。
纠正"格伦瓦尔定理"的青年数学家
1915年5月，王湘浩出生于河北安平。1937年他从北京大学数学系毕业，后又于西南联大任教。1946年，他赴美国普林斯顿大学攻读博士学位，师从著名代数大师阿廷教授。
在普林斯顿，年轻的王湘浩震惊国际数学界——他找出并纠正了"格伦瓦尔定理"中的错误，将该定理加以推广，给出其成立的充要条件，并重新证明了"狄克逊猜想"。相关论文发表在数学界最负盛名的《数学年刊》上。1949年，他携这份沉甸甸的成果完成博士学业。
毅然回国，北上创立吉大数学系
1949年，王湘浩婉拒导师阿廷和胡适的挽留，怀着建设新中国的热望几经辗转回到祖国；归途中还在香港与恩师江泽涵重逢，携手"北上"。1952年院系调整时，他响应号召奔赴东北，参与筹建东北人民大学（吉林大学前身）数学系，并任首任系主任。
面对缺教材、缺图书、缺师资的艰苦条件，王湘浩以身作则，与同事们用两年时间开出全部基础课程，更建立"长者带年轻人"的讨论班传统，使吉大数学学科迅速崛起，毕业不久的青年教师就已能在学报上发表论文。
我们做科研，不要迷信洋人，要争取比洋人做得好。
推动中国计算机与人工智能研究
从1950年代后期起，王湘浩又敏锐地预见到计算机科学和人工智能的巨大价值，带领团队在国内最早提出开展人工智能研究，在定理机器证明等方向取得重要进展，被誉为中国人工智能研究的开拓者之一。
1976年，吉林大学成立计算机科学系，王湘浩出任首任系主任。他运用创办数学系的经验培养师资、制定教学计划、编写教材，与管纪文、刘叙华等合著的《离散数学》被评为全国优秀教材。此后，吉大计算机软件成为我国首批博士学位授权学科，也是国家重点学科，为国家源源不断输送高水平人才。
关键信息
- 出生：1915年5月5日，河北安平
- 逝世：1993年5月4日
- 身份：代数学家、计算机科学家，中国科学院学部委员（院士）
- 主要成就：纠正并推广格伦瓦尔定理；开创吉林大学数学、计算机学科，推动中国人工智能研究
- 荣誉：1955年当选中国科学院首批学部委员
结语
从纠正"格伦瓦尔定理"到奠基中国计算机学科，王湘浩用一生诠释了"不迷信洋人、要争取比洋人做得好"的科学信念。他既是严谨谦逊的代数学家，也是高瞻远瞩的计算机科学先驱，更是一位心系祖国、淡泊名利的"大先生"，其开创的事业至今仍在惠泽无数后来者。
权威资料
权威来源：中国科学院学部官网
- 生卒1915年—1993年
- 权威简介代数学、计算机科学家 1915年5月5日生于河北安平。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。1955年被选聘为中国科学院学部委员(院士)。1993年5月4日逝世。 曾任北京大学教授，吉林大学教授。1952年开创吉林大学数学系，任首届系主任。1976年开创吉林大学计算机科学系，任首届系主任。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。1948年留美博士论文中，纠正了Grunwald定理的错误，对该定理作了推广并给出该定理成立的充要条件，重新证明了Dickson猜想。与此同时，证明代数数域上单纯代数换位子群与其幺模子群相等。20世纪50年代在数学系工作中，大力促进应用数学领域的发展，以适应国家的人才需求。60年代初，提出利用“保n项关系”的方法解决了多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面，推广了归结原理，并推广改进了Vincent定理。