王世强

(1927-2018),1927年出生于河北省石家庄市。抗战爆发后,随父母辗转迁徙,1944年考入兰州西北师范学院数学系,1946年转入北京师范大学(当时名北平师范学院)数学系,1948年毕业留校,被数学系主任 提升为讲师。1952年在《数学学报》发表第一篇关于命题演算的文章,改进了希尔伯特-戈特林德(Hilbert-Gtlind)的命题演算公理体系,1956年升为副教授,1979年升任教授,1981年被评为博士生导师。1979年至2002年兼任《中国科学》、《科学通报》等杂志编委。 在数学学习和科研中的主要兴趣是在代数和数理逻辑方面,特别是数理逻辑对数学的应用方面。由于其在格植模型轮方面和模型轮的代数应用两方面的工作,曾获得国家教委1986年科学技术进步奖第一等奖。出版了《模型论基础》《独立于ZFC的数学问题》《数理逻辑与范畴论》《 与现代数学》《代数与数理逻辑》等著作。

先生给本科生及研究生讲授过代数及数理逻辑方面的多种课程。1978年,他与 、刘绍学、严士健等教授一起申报了第一批硕士、博士点。在他退休以前,总共培养了硕士20多人,博士13人,为北京师范大学数学学科的发展做出了突出贡献。

2018年2月3日, 先生因心脏衰竭逝世于北京,享年91岁。