不可能只用Peano公理组证明3x+1猜想
不可能只用Peano公理组证明3x+1猜想
王世强 (北京师范大学数学学院,100875 北京)
史璟,杜文静 (南开大学哲学系,300071 天津)
摘要:在本文中,我们用模型论方法证明了:存在一个Peano公理组的模型,在其中3x+1猜想不成立.从而可知:不可能只用Peano公理组证明3x+1猜想.
关键词:3X+1猜想,模型论.
中图分类号:O.141.4
作者简介:
(1)王世强(1927-), 男, 博士生导师, (已退休), 主要从事泛代数, 数理逻辑及数理逻辑中模型论及其对代数与数论的应用的研究. E-mail:wangshiqiang8@gmail.com
(2)史璟(1980-), 女, 博士生, 主要从事模态逻辑与一阶模型论对数论应用的研
究.E-mail:shijing0707@163.com
(3)杜文静(1979-), 女, 博士生, 主要从事模态逻辑与一阶模型论对数论应用的研究.E-mail:duwenjing_16@163.com
责编：stdaily
上一篇 : 电磁波本质探究
──试论电磁波振子、光子及普朗克恒量
下一篇 : 膨胀的多重宇宙
版权与免责声明
- ①凡本站注明稿件来源为：科技日报、科技文摘报、前沿科学、科技日报社、科报网的所有文字、图片和音视频稿件，版权均属本网所有，任何媒体、网站或个人未经本网协议授权不得转载、链接、转贴或以其他方式复制发表。已经本网授权使用作品的，被授权人应在授权范围内使用，并注明“来源：科报网”。违反上述声明者，本网将追究其相关法律责任。
- ②本站注明稿件来源为其它媒体的文字、图片和音视频稿件均为转载稿，本站转载不意味着赞同其观点或证实其内容的真实性。
- ③任何单位或个人认为本网站或本网站链接内容可能涉嫌侵犯其合法权益，应该及时向本网站书面反馈，并提供身份证明，权属证明及详细侵权情况证明，本网站在收到上述法律文件后，将会尽快移除被控侵权的内容或链接。
- ④如因作品内容、版权和其他问题需要与本网联系的，请在该事由发生之日起30日内进行。电话：010-58884166，电子邮件：wangzhan@stdaily.com。
