|
王湘浩（1915--1993） 留学美国，博士。河北安平人。
1937年北京大学数学系毕业，后任长沙临时大学助教，西南联大助教、讲师。1946年赴美国普林斯顿大学读研究生。
1949年获哲学博士学位后回国，历任北京大学数学系副教授、教授。
1952年起历任吉林大学数学系教授、系主任、计算机科学系主任、副校长。
1955年当选为中国科学院数理化学部委员。是中国数学会理事，中国计算机学会副主任委员，《工程数学学报》顾问，《计算机学报》副主编。从事代数数论与赋值论方面的研究。
1960年开始参加计算机的研制工作，从事控制论，自动机理论和多值逻辑等方面的研究。
1970年代在中国首先倡导人工智能的研究，所领导的吉林大学人工智能研究集体在计算机的代数、机器定理证明、模糊逻辑、专家系统等方面取得大量成果，还为国家培养了很多数学研究人才。
发表论文20多篇。
主编《近世数学》、《离散数学》，著有《哥伦瓦尔定理的一个反例》、《广义归结》等。 |
