论文部分内容阅读
用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).
Goldbach猜想等与PA的一些联系—对一些数论问题的逻辑讨论（Ⅱ）
【摘 要】
：
用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上
【机 构】
：
北京师范大学数学系100875
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
2002年2期
【基金项目】
：
国家自然科学基金
其他文献
20世纪90年代散文从多侧面、多角度、全方位、立体化地展示着自然、社会、人生,在前所未有的深度和广度上更深层次地进入对于人的、人类的、人性的前途、命运的思考,具有哲思
创建“放心粮油示范市”是四川深入开展“放心粮油”工程的重大举措,是认真贯彻党的十八届六中全会、省委十届九次会议及全省食品和农产品“双安双创”工作现场会议精神,努力
研究二维系统Xn+1=aXn(1-Xn), Yn+1=Xn由倍周期分岔--"锯齿波型"周期--混沌的转变,发现了一种孪生双旋转吸引子.
【正】 去年夏天,正当“四人帮”紧锣密鼓地加速策划篡党夺权阴谋活动的时刻,“四人帮”在国家体委的那个亲信也迫不及待地跳出来紧密配合,打出“体育革命”旗号,抛出了一系
都市农业发展是现代农业发展的组成部分，在农业现代化发展的过程中具有重要的指导作用．从我国农业发展的基本情况出发，建立完善的农业发展框架，为都市农业的全面发展注入新的活力
【正】 含混不清的名词概念,必然引起模棱两可的胡乱猜测。结果,视听混淆,本意它迁。当前,体育界对一些常用体育名词术语的解释和理解就有类似情况。为了使理论界的同志们对
【正】 1979年10月,国家体委将桥牌列入我国正式体育竞赛项目,并成立了中国桥牌协会。1980年10月8日,世界桥牌联合会在荷兰法尔肯堡举行全体会议,接纳我国桥牌协会为正式会员