王世强

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

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

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