您现在的位置: 首页 > 网站导航收录 > 百科知识百科知识

王世强简介(资料简历图片)

北京师范大学,模型,方阵王世强简介(资料简历图片)

发布时间：2019-02-08加入收藏来源：互联网点击：

王世强，数学家。从事代数和数理逻辑方面的教学与研究。在格论和泛代数、逻辑演算、格值模型论及模型论的代数应用等领域多有建树。1948年毕业北平师范大学数学系。建国后，历任北京师范大学副教授、教授。1985年加入中国共产党。专于数理逻辑和代数，倡导模型论的研究。从计算机科学、多值逻辑和模糊逻辑发展背景中提出格值模型论，并将模型论应用于代数方面，研究一些命题间的相对和谐性和独立性。“模型论与判定问题”的研究1986年获国家教委科技进步奖一等奖。撰有《关于合同关系的可换性》、《格值模型论中的省略型定理》、《一些三次数环的具有及不具有Goldbach性质的扩环》等论文。,

王世强，数学家。从事代数和数理逻辑方面的教学与研究。在格论和泛代数、逻辑演算、格值模型论及模型论的代数应用等领域多有建树。1948年毕业北平师范大学数学系。建国后，历任北京师范大学副教授、教授。1985年加入中国共产党。专于数理逻辑和代数，倡导模型论的研究。从计算机科学、多值逻辑和模糊逻辑发展背景中提出格值模型论，并将模型论应用于代数方面，研究一些命题间的相对和谐性和独立性。“模型论与判定问题”的研究1986年获国家教委科技进步奖一等奖。撰有《关于合同关系的可换性》、《格值模型论中的省略型定理》、《一些三次数环的具有及不具有Goldbach性质的扩环》等论文。

王世强 - 人物生平

王世强于1927年3月30日生于河北省石家庄市，祖籍河北省深县相家庄（现划归衡水市）。父亲王经春是中国银行职员，母亲耿月秋是家庭妇女。他自幼在家中受到父母的启蒙教育，学习识字、算术及阅读儿童读物。7岁时在河北省定县住过半年多，在那里受到教育家晏阳初“平民教育”试验的影响，学习过“中华平民教育促进会”编写的一些宣扬民族精神的教材。他上学较晚，9岁时入初小4年级插班，那时对他印象较深的主要是抗日救亡的爱国教育以及初步的科学教育。

抗日战争爆发时，他刚刚读完小学5年级；跟随父母逃难，在沦陷后的天津市法租界读完小学，然后于1939年辗转迁徙到抗日战争后方的甘肃省。他于1942年在甘肃武威中学初中毕业后，去酒泉河西中学高中部肄业两年，于1944年以同等学历考入兰州西北师范学院数学系。

抗日战争胜利后，他于1946年转入北京师范大学（当时名北平师范学院）数学系，1948年毕业留校。北京解放后，他继续留校工作至今。

他于1949年升任讲师，1956年升任副教授，1979年升任教授，1981年被评为博士生导师。他多年来对本科生及研究生讲授过代数及数理逻辑方面多种课程，并作了不少科研工作。他至今已培养了硕士18人，博士11人。

他曾于1979至1987年兼任《数学进展》编委，于1979年至今兼任《中国科学》及《科学通报》编委，做过不少审稿工作。

他于1985年3月加入中国共产党，曾在校内3次被评为优秀党员。

据他回忆，在他的成长过程中，曾受到很多位师长及学友的教益。其中特别是（按时间先后）受到李恩波、段学复、傅种孙、张禾瑞诸位老师的教育和影响。关于这方面的情况，他在一篇自述性文章中有较详细的记述。他最近已开始在小范围筹划对傅种孙先生的数学基础思想及数学教育思想进行发掘、研究及宣传的工作，认为这是在我国数学发展中一个容易被忽略的重要侧面。

他在数学学习及科研中的主要兴趣是在代数和数理逻辑方面，特别是数理逻辑对数学的应用方面。他对数理逻辑方法在数学研究中的作用有一种很强的信念，这在上述他的文章中也有较详细的论述。

在学术交流活动方面，他除了曾多次参加国内的专业会议外，在“文化大革命”前就参加过一些接待外国专家的活动（如A.I.马尔采夫（Malcev），L.考尔马（Kalmár）等）。自从我国实行改革开放政策以来，他又多次参加国内外的国际性专业会议以及出国访问和邀请外宾来访等。1977年，他又应邀加入纽约科学院，愿意进一步为发展国际学术交流及推进跨分支、跨学科的研究事业而努力。

王世强 - 学术贡献

自20世纪50年代以来，王世强在格论、泛代数、逻辑演算、格值模型论及模型论的代数应用等方面已发表论文40余篇，在美国的《数学评论》（《Mathematical Reviews》，以下简称MR）中有评介的30余条。现在对他的科研成果选择简介如下。

1.格论及泛代数方面

在他1955年以前的4篇论文中，解决了G.伯克霍夫（Birkhoff）《Lattice Theory》（1948年第2版）中的问题31，64，103及一个猜想；部分解决了问题32，72。在1964年发表的论文中，他部分解决了该书“代数前言”中一个待解问题。具体结果如：

问题31的解答：有限拟群上任意两个同余关系都是可交换的。对于每个无限基数α，都有基数为α并且具有不交换同余关系的拟群和圈存在。

问题103的解答：可以将实数偶构成的有序加群造成几种类型的有序环。

问题72的部分解答：在可补格L上所有同余关系构成一个布尔代数的充分必要条件是：L的每个中立理想格都是主理想格。

以上结果段学复等人曾作过介绍，并被G.伯克霍夫（Birkhoff），杨宗磐，L.富克斯（Fuchs），G.格莱策（Grtzer）等在专著中引用。

2.逻辑演算方面

他改进了希尔伯特-戈特林德（Hilbert-Gtlind）的命题演算公理体系。这一结果有文章介绍过，在《数学评论》中也受到王浩的好评。他在两篇文章中给出了关于延时电路演算的两个简洁公理体系，对逻辑电路的理论研究有一定意义。这两篇文章发表于“大跃进”期间，流传不广（因限于其中的符号非专业人士不熟悉，不在此详述）。

3.格值模型论方面

他与吴望名等合作对格值逻辑进行研究，这是对前人多值逻辑研究的推广。后来又发展为模型论性质的研究，是对前人布尔值模型理论的推广。他在1980至1982年发表了3篇文章是关于格值模型论的一批基础性概念、方法及定理。这些工作，后来被沈复兴等多人继续作了较系统的发展。

他曾在国内外学术会议上介绍这方面的工作，并谈到其理论意义及在计算机科学方面的实际意义。可参看他的综述文章及在IEEE会议文集中论文。此外，他还有一批未出版的讲稿。（因限于符号及图表，不在此详述。）

4.模型论的代数应用之一

他在3篇文章中，用模型论及数论方法证明了：对每个二次代数整数环及某些三次代数整数环，都存在适合哥德巴赫（Goldbach）性质的扩环，也存在不适合哥德巴赫性质的扩环。从而表明了哥德巴赫猜想对这些环的理论在一种弱意义下的独立性。对于孪生素数猜想，也得到了类似的结果。他对上述各种扩环的其他数论性质作了一些探讨。

构作这些扩环的基本思路是：考虑上述任一数环I的某些剩余类环，由于它们是有限环，所以易于判断哥德巴赫性质对之是否成立。如果能找到I的无限多个适合此性质的剩余类环，则可构作它们的一个适当的超积J，使J成为Ⅰ的扩环。又由于哥德巴赫性质是1阶逻辑语言中的命题，所以由模型论中的超积基本定理可知J也适合哥德巴赫性质。对于哥德巴赫性质的反面以及孪生素数命题及其否定命题，也都可沿着类似思路构作出I的相应扩环。但对于孪生素数偶的有限性或无限性，由于不是1阶性质，所以需要对相应的超积作适当论证。（另外，在有了适用的无限多个剩余类环之后，也可不用超积而用模型论中的紧致性定理来证明这些扩环的存在性。）

 1/3    1 2 3 下一页 尾页