|
|||||
|
|
| CH和P—NP的间接证明 | |
| 引用本文： | 郑峋如.CH和P—NP的间接证明[J].科技与经济,2000,13(1):42-45. |
| 作者姓名： | 郑峋如 |
| 作者单位： | 河海大学国际工商学院 |
| 摘 要： | 说明 已经证明 ＧＣＨ和Ｐ≠ＮＰ ,及其他一些重要结果。整个证明包括三个部分 :一 , ＣＨ和Ｐ≠ＮＰ的间接证明 ;二 , ＧＣＨ的直接证明 ;三 , ＧＣＨ的形式证明。限于篇幅 ,本文只是第一部分 ( ＣＨ和Ｐ≠ＮＰ的间接证明 )的证明摘要 ,第一部分的所有证明细节及第二、第三部分的证明将在后续文章中给出。1 证明思路( 1 )根据Ｇ ｄｅｌ第一不完全性定理 ,对任一个数学的形式公理系统ＦＡ来说 ,如果ＦＡ满足 :①ＦＡ是真正形式的 ;②ＦＡ足够丰富 ,可以展开一个适量的数论 ;③ＦＡ是协调的 ,那么ＦＡ中至少包含一个命题Ｆ ,使得Ｆ和 Ｆ… |
| 关 键 词： | CH问题 P－NP问题 间接证明 连续统问题 不减数列 元叶树 |
| 本文献已被 CNKI 维普 等数据库收录！ | |