SOME CONNECTIONS OF GOLDBACH CONJECTURE AND OTHERS WITH PA--LOGICAL DISCUSSIONS ABOUT SOME PROBLEMS IN NUMBER THEORY (Ⅱ)
Author(s): WANG Shiqiang
Pages: 183-186
Year: 2002 Issue: 2
Journal: JOURNAL OF BEIJING NORMAL UNIVERSITY (NATURAL SCIENCE)
Keyword: Goldbach猜想; 孪生素数猜想; Peano公理组; 模型论;
Abstract: 用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).
Pages: 183-186
Year: 2002 Issue: 2
Journal: JOURNAL OF BEIJING NORMAL UNIVERSITY (NATURAL SCIENCE)
Keyword: Goldbach猜想; 孪生素数猜想; Peano公理组; 模型论;
Abstract: 用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).
Related Articles