Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论(I) |
| |
引用本文: | 王世强.Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论(I)[J].北京师范大学学报(自然科学版),2001,37(4):452-455. |
| |
作者姓名: | 王世强 |
| |
作者单位: | 北京师范大学数学系,北京100875 |
| |
基金项目: | 国家自然科学基金;19931020; |
| |
摘 要: | 用模型论方法证明了,在对于自然数系Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者,此外,还宣布了一些其他结果。
|
关 键 词: | Goldbach猜想 Peano公理组 模型论 数论 整数环 逻辑 |
修稿时间: | 2001年4月5日 |
本文献已被 维普 等数据库收录! |
|