王世强
- 作品数：84 被引量：73H指数：5
- 供职机构：北京师范大学数学科学学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：理学文化科学文学经济管理更多>>
- 归纳环及归纳域被引量：2
- 1988年
- 提出了归纳环的概念(即:含1且适合1阶Peano归纳公理的环),指出其意义并提出下列关于确定归纳环代数结构的问题:是否每一归纳环都与由整数环的一族剩余类环及特征数0的代数闭域所作的一个超积初等等价?首先给出了有关归纳环及归纳域的一些基本事实.然后着重在代数范围内进行讨论,得到下列的结果:每个有限次实代数数域都不是归纳域;代数整数环的每个子环都不是归纳环.还证明了很多有限次代数数域不与上述的超积初等等价.
- 王世强
- 关键词：可换环代数数域超积
- 完全k叉树理论的可数模型及其胞腔性
- 2012年
- 将在逻辑Lω1ω中把完全k(k<ω)叉树理论的可数模型刻画到同构,并给出它们的Scott语句具体形式,证明了完全k叉树理论的可数模型的胞腔性质.
- 马鑫王世强
- 怀念傅种孙老师——纪念傅老师病逝50周年
- 2011年
- 傅种孙先生是我国著名的前辈数学家与数学教育家.他自学成才,极富数学眼光与数学思想和教育事业心.著名科学家钱学森院士,著名数学家段学复院士,著名数学家闵嗣鹤、熊全淹、魏庚人、赵慈庚、金保赤、张远达、袁兆鼎等均师从傅先生.
- 王世强
- 关键词：数学傅种孙数学教育
- 纪念华罗庚院士百年诞辰
- 2010年
- 华罗庚在1910年11月12日生于江苏省金坛县．1924年初中毕业后，因家贫辍学，刻苦自修数学,1930年在《科学》杂志发表关于代数方程的重要文章．受到数学家熊庆来重视，被邀去清华大学工作．在杨武之教授指导下研究数论．因工作出色，曾多次出国访问．1938年任西南联合大学教授．新中国建国后在1950年由美国回国任清华大学数学系主任；1952年中国科学院数学研究所成立，任所长．后被选为院士．
- 王世强史璟
- 关键词：院士大学教授
- 两种形式的素数与挛生素数猜想
- 2011年
- 用模型论方法证明几乎一切形式为p2+4(p是素数)的数都是素数,几乎一切形式为2p+1(p是素数)的数也都是素数.并证明关于各种素数的挛生素数猜想.
- 王世强
- 关键词：素数模型论
- 一些多值狭义谓词演算中的标准形被引量：1
- 1980年
- 本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模型论作准备。但它们显然也是自身有意义的。在我们所讨论的多值谓词演算中。
- 王世强翁稼丰
- 关键词：谓词演算标准形前束模型论不可判定性
- 我国最早讲几何学与三角学的书被引量：1
- 2010年
- 几何起源于古代的土地测量问题．在我国周代就有了“勾股定理”．后来经希腊人欧几里得（Euclid）的系统整理而成为理论严密的一门数学．这方面最早是由意大利传教士利玛窦（Metteo Ricci，1552—1610）传进我国，他和徐光启（1562-1633）合作中译为《几何原本》．
- 王世强史璟
- 关键词：几何学三角学《几何原本》欧几里得测量问题利玛窦
- 一类素数问题等对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅳ)被引量：1
- 2004年
- 用模型论方法证明了 2次函数素数值问题及一种 3重完美数问题对于PA的条件独立性 ,以及一些更一般的结论 .
- 王世强别荣芳
- 关键词：模型论
- 关于公理集合论的一个注记(Ⅰ)
- 2011年
- 本文证明了一个句子集(记为T)是协调的。
- 侯振挺王世强阎国军
- 关键词：模型论剩余类环
- 数学基础研究的一些新进展──纪念傅种孙先生百年诞辰被引量：1
- 1998年
- 数学基础研究的一些新进展—纪念傅种孙先生百年诞辰王世强（北京师范大学１００８７５）１傅种孙先生是我国数学基础研究及教育的先行者傅种孙先生诞生于１８９８年２月，是我国近代著名的数学家和数学教育家．他是在我国最早提倡数理逻辑和数学基础研究的学者之一．早在...
- 王世强
- 关键词：数理逻辑傅种孙数学家数学教育家
