公共文化服务平台

关于Fermat素数的Goldbach猜想及其它: 2011年; 用模型论方法证明一种加强形式的Goldbach猜想(加强在:只用Fermat素数,不用其它素数);并证明关于素数的一些结果.; 王世强史璟; 关键词：GOLDBACH猜想素数模型论

关于3x+1猜想与其推广: 2009年; 有一个数学问题，叫做3x＋1猜想．它是说：“对任何正整数n，若n是偶数，就用2除它，若n是奇数，就算出3n＋1．象这样计算有限次后，必定得1”．; 王世强史璟杜文静; 关键词：猜想数学问题正整数

哥德巴赫猜想的故事: 2009年; 1742年，德国数学家哥德巴赫（G．Goldbach）在大量验算的基础上提出了两个猜想（“猜想”就是：看起来很象是真的，但还未经过严格证明的命题）：; 王世强史璟杜文静; 关键词：哥德巴赫猜想故事数学家

后形而上学的科学之真: 2011年; 科学的合法性在于它的"真"的意义,无论是把科学之真看做科学家应该追求的一种精神,还是把真看做对确定知识的追求,都会因为"真"的价值而获得一种合法性。这种科学之真的确证的观念始于近代以来的哲学传统。在实证主义、证伪主义等经验科学观以及一些科学进步观中,"真"是用经验基础证明自己,它被看做逼真性概念。科学之真是文化政治学中的一个概念,是一种话语方式,这种话语只能在科学共同体以及把科学作为一种文化的语境中得到理解,它要坚持科学的实用主义原则,"真"意味着一种科学理论表达的文化功能。对科学之真的形而上学证明是不能实现的。科学哲学中的范式理论为我们提供的历史主义视角可以对形而上学的科学之真作出一种革命性的转变,即在科学之真的看法上的"后形而上学思想"的转向。如今我们要在后形而上学思想上去理解科学之真的原则,一个科学理论如果能够在文化共同体中发挥作用或具有程序化的功能,那么它便是真的科学。真正的语境主义的科学之真是值得赞赏的,"真"代表了一种文化范式或政治学,它的表述是一种主体间性而不是纯粹客观性,这就是后形而上学的科学之真的思想。; 史璟; 关键词：后形而上学

关于史丰收速算法: 2010年; 很多人知道史丰收有一种祖传的速算法．在这方面，北京师范大学的赵慈庚教授曾帮助他整理成系统的文章．赵慈庚教授曾与华罗庚院士共同观看史丰收表演．史还曾去国外表演．其计算速度与电子计算器差不多．令人惊奇![在百度网上有对史丰收速算法的介绍]．; 王世强史璟; 关键词：速算法电子计算器百度网表演

论必然性: 2011年; 自亚里士多德以来,必然性一直是西方哲学史上的一个重要问题。因果必然性与逻辑必然性不同,原因和结果之间的必然联系是心灵从原因的印象达到结果的生动观念的过程;而逻辑必然性与心理习惯联想无关。本文试图从逻辑命题的必然性和逻辑推理的必然性两个层次进行分析,最后从模态逻辑的角度分析这种逻辑必然性的模态逻辑。; 史璟; 关键词：哲学逻辑必然性

计算某年某月某日是星期几的查表法: 2010年; 计算某年月日是星期几，一般有一个计算公式[读者可查百度网等]．但对于不习惯做计算的老百姓来说，下述的查表法也许更方便．按照历法学家的说法，每四百年有一个“闰日”，这样算时间才更准确．现在我们只考虑不含“闰日”的四百年，; 王世强史璟; 关键词：查表法星期老百姓百度网法学家

模态逻辑的集合论语义与互模拟不变性: 2021年; 含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合a,一个命题变元p在a上真当且仅当p属于a。命题联结词的解释与古典命题逻辑相同。一个公式3A在a上真当且仅当存在集合b属于a,使得A在b上是真的。在一个集合中,属于关系被看作可及关系。在这种思想下,我们可以定义从模态语言到一阶集合论语言的标准翻译。对任意模态公式A和集合变元x,可以递归定义一阶集合论语言的公式ST(A,x)。在关系语义学下,van Benthem刻画定理是说,在带有唯一的二元关系符号R的一阶语言中,任何一阶公式等价于某个模态公式的标准翻译当且仅当这个一阶公式在互模拟下保持不变。因此,模态语言是该一阶关系语言的互模拟不变片段。同样,我们可以在集合上定义互模拟关系,证明van Benthem刻画定理对于集合论语义和集合上的互模拟不变片段成立,即模态语言是一阶集合论语言的集合互模拟不变片段。; 史璟; 关键词：模态逻辑互模拟

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

史璟