編者按王世強教授是我國著名數(shù)學家，專于代數(shù)、數(shù)理邏輯和數(shù)學教育，出版著作5部，發(fā)表論文80多篇，其中有18篇刊發(fā)在《數(shù)學通報》．

中國共產(chǎn)黨優(yōu)秀黨員，我國著名數(shù)學家，北京師范大學數(shù)學科學學院王世強教授于2018年2月3日7時10分因病在北京逝世，享年91歲．

王世強1927年3月30日生于河北石家莊市，祖籍河北省深州市相家莊(現(xiàn)衡水市)．1944年以同等學力考入蘭州西北師范學院(現(xiàn)稱西北師范大學)數(shù)學系．抗日戰(zhàn)爭勝利后于1946年復校至北平師范大學數(shù)學系，1948年本科畢業(yè)留校任實習講師，1949年任講師，1956年7月任副教授，1979年7月任教授，1981年任首批博士生導師．1985年3月加入中國共產(chǎn)黨．1997年10月退休．發(fā)表論文80余篇，專著5部．培養(yǎng)碩士生22人，博士生13人．1979～1987年任《數(shù)學進展》編委，1979～1997年任《中國科學》和《科學通報》編委．

在1952年以前，除了數(shù)學教學研究論文外，北京師范大學數(shù)學系僅有極少數(shù)的學術(shù)研究論文．1952年，王世強在《數(shù)學學報》上發(fā)表論文“命題演算的一系公理”，這是數(shù)學系在1949年后發(fā)表的第一篇學術(shù)論文，這篇論文改進了Hilbert-Goetlind的命題驗算公理體系，在《Mathematical Reviews》中受到國際著名數(shù)理邏輯學家王浩的好評．在格論研究方面，他解決了G.Birkhoff的《Lattice Theory》第2版書中三個問題和一個猜想，部分解決了另外兩個問題．以上成果都被寫進《十年來的中國科學(數(shù)學卷):1949-1959》，被國內(nèi)外多本專著引用．他參加《北京市第一臺大氣污染監(jiān)測車》項目獲1978年全國科學大會獎．20世紀60年代初，王世強開設(shè)數(shù)理邏輯選課．80年代，他進一步研究格值邏輯的模型論．他把多值邏輯、布爾值邏輯，甚至模糊邏輯中軟布爾值邏輯統(tǒng)一為格值邏輯來研究，得到一批奠基性的概念、方法和定理．他還將模型論方法應(yīng)用于數(shù)論研究．他用模型論方法構(gòu)造整數(shù)環(huán)的擴充模型，證明對每個二次代數(shù)整數(shù)環(huán)和一些三次代數(shù)整數(shù)環(huán)，存在適合Goldbach性質(zhì)的擴環(huán)，也存在不適合Goldbach性質(zhì)的擴環(huán)．從而表明，Goldbach性質(zhì)對這些環(huán)的理論有某種意義下的獨立性．他還證明了對于孿生素數(shù)性質(zhì)也有類似的結(jié)果．這些具有Goldbach性質(zhì)的擴環(huán)和不具有Goldbach性質(zhì)的擴環(huán)的特性，為研究一些數(shù)論問題的難解性提出了一種新的思路，吸引了不少研究者的興趣．基于這些研究工作，他和羅里波、沈復興、盧景波同獲1986年國家教育委員會科技進步獎一等獎,這是數(shù)學系獲得的第一個省部級科研成果一等獎．20世紀90年代，他又將模型論應(yīng)用于代數(shù)理論的研究,給出Hilbert零點定理的推廣，用模型論方法研究域上無限維向量和無限矩陣的性質(zhì)．他引入了無限線性相關(guān)的概念，給出任意域上每行每列只含有限個非零元的無限方陣存在各種逆方陣的充分必要條件，以及可對角化的充分必要條件等一批結(jié)果，從而也為無限維線性群的研究作了初步探索．他帶領(lǐng)的研究小組在20世紀90年代的工作又獲1996年國家教育委員會科技進步獎三等獎．他的工作不僅得到國內(nèi)同行一致的稱贊，也得到國際數(shù)理邏輯學界的肯定,并多次接受邀請到美國、德國等地訪問．

1987年王世強教授的專著《模型論基礎(chǔ)》在科學出版社出版，這是我國數(shù)理邏輯模型論方面的第一部專著,已成為數(shù)理邏輯專業(yè)研究生的基礎(chǔ)教材之一．1995年，他和楊守廉合著《獨立于ZFC的數(shù)學問題》，介紹用數(shù)理邏輯方法證明的一批數(shù)學問題的獨立性，突出地說明數(shù)理邏輯在數(shù)學中不可缺少的重要作用．該書獲1995年國家教育委員會學術(shù)著作優(yōu)秀獎,被《Mathematical Reviews》評論為集合論方面“最有趣的著作之一”．1998年，他和孟曉青合著《數(shù)理邏輯和范疇論應(yīng)用》,獲1999年第10屆全國優(yōu)秀圖書三等獎．2002年，他為學校百年校慶編著《傅種孫與現(xiàn)代數(shù)學》一書．

王世強教授心地善良，待人寬厚，有求必應(yīng)，不計個人得失，是“學為人師,行為世范”的楷模．他被評為全國優(yōu)秀教育工作者(1989),全國教育系統(tǒng)勞動模范(1993),北京市優(yōu)秀共產(chǎn)黨員(1987),北京市優(yōu)秀教師(1989,1993)等獎項，是北京市第七屆人民代表大會代表(1977)．他60多年如一日,以對我國數(shù)學教育事業(yè)的高度熱情，貢獻了畢生的精力，作出了不可磨滅的貢獻，是一位卓有成就的數(shù)學家．他的逝世是我國數(shù)學教育界的重大損失．讓我們繼承王世強教授的遺志，化悲痛為力量，為發(fā)展我國的數(shù)學教育事業(yè)做出新的、更大的貢獻．

王世強教授永垂不朽！