深切悼念王世强教授

编者按王世强教授是我国著名数学家，专于代数、数理逻辑和数学教育，出版著作5部，发表论文80多篇，其中有18篇刊发在《数学通报》．

中国共产党优秀党员，我国著名数学家，北京师范大学数学科学学院王世强教授于2018年2月3日7时10分因病在北京逝世，享年91岁．

王世强1927年3月30日生于河北石家庄市，祖籍河北省深州市相家庄(现衡水市)．1944年以同等学力考入兰州西北师范学院(现称西北师范大学)数学系．抗日战争胜利后于1946年复校至北平师范大学数学系，1948年本科毕业留校任实习讲师，1949年任讲师，1956年7月任副教授，1979年7月任教授，1981年任首批博士生导师．1985年3月加入中国共产党．1997年10月退休．发表论文80余篇，专著5部．培养硕士生22人，博士生13人．1979～1987年任《数学进展》编委，1979～1997年任《中国科学》和《科学通报》编委．

在1952年以前，除了数学教学研究论文外，北京师范大学数学系仅有极少数的学术研究论文．1952年，王世强在《数学学报》上发表论文“命题演算的一系公理”，这是数学系在1949年后发表的第一篇学术论文，这篇论文改进了Hilbert-Goetlind的命题验算公理体系，在《Mathematical Reviews》中受到国际著名数理逻辑学家王浩的好评．在格论研究方面，他解决了G.Birkhoff的《Lattice Theory》第2版书中三个问题和一个猜想，部分解决了另外两个问题．以上成果都被写进《十年来的中国科学(数学卷):1949-1959》，被国内外多本专著引用．他参加《北京市第一台大气污染监测车》项目获1978年全国科学大会奖．20世纪60年代初，王世强开设数理逻辑选课．80年代，他进一步研究格值逻辑的模型论．他把多值逻辑、布尔值逻辑，甚至模糊逻辑中软布尔值逻辑统一为格值逻辑来研究，得到一批奠基性的概念、方法和定理．他还将模型论方法应用于数论研究．他用模型论方法构造整数环的扩充模型，证明对每个二次代数整数环和一些三次代数整数环，存在适合Goldbach性质的扩环，也存在不适合Goldbach性质的扩环．从而表明，Goldbach性质对这些环的理论有某种意义下的独立性．他还证明了对于孪生素数性质也有类似的结果．这些具有Goldbach性质的扩环和不具有Goldbach性质的扩环的特性，为研究一些数论问题的难解性提出了一种新的思路，吸引了不少研究者的兴趣．基于这些研究工作，他和罗里波、沈复兴、卢景波同获1986年国家教育委员会科技进步奖一等奖,这是数学系获得的第一个省部级科研成果一等奖．20世纪90年代，他又将模型论应用于代数理论的研究,给出Hilbert零点定理的推广，用模型论方法研究域上无限维向量和无限矩阵的性质．他引入了无限线性相关的概念，给出任意域上每行每列只含有限个非零元的无限方阵存在各种逆方阵的充分必要条件，以及可对角化的充分必要条件等一批结果，从而也为无限维线性群的研究作了初步探索．他带领的研究小组在20世纪90年代的工作又获1996年国家教育委员会科技进步奖三等奖．他的工作不仅得到国内同行一致的称赞，也得到国际数理逻辑学界的肯定,并多次接受邀请到美国、德国等地访问．

1987年王世强教授的专著《模型论基础》在科学出版社出版，这是我国数理逻辑模型论方面的第一部专著,已成为数理逻辑专业研究生的基础教材之一．1995年，他和杨守廉合著《独立于ZFC的数学问题》，介绍用数理逻辑方法证明的一批数学问题的独立性，突出地说明数理逻辑在数学中不可缺少的重要作用．该书获1995年国家教育委员会学术著作优秀奖,被《Mathematical Reviews》评论为集合论方面“最有趣的著作之一”．1998年，他和孟晓青合著《数理逻辑和范畴论应用》,获1999年第10届全国优秀图书三等奖．2002年，他为学校百年校庆编著《傅种孙与现代数学》一书．

王世强教授心地善良，待人宽厚，有求必应，不计个人得失，是“学为人师,行为世范”的楷模．他被评为全国优秀教育工作者(1989),全国教育系统劳动模范(1993),北京市优秀共产党员(1987),北京市优秀教师(1989,1993)等奖项，是北京市第七届人民代表大会代表(1977)．他60多年如一日,以对我国数学教育事业的高度热情，贡献了毕生的精力，作出了不可磨灭的贡献，是一位卓有成就的数学家．他的逝世是我国数学教育界的重大损失．让我们继承王世强教授的遗志，化悲痛为力量，为发展我国的数学教育事业做出新的、更大的贡献．

王世强教授永垂不朽！