逻辑及数学演算中的不动项与不可判定命题ⅱ-智能系统学报.pdf

第９卷第５期　 　 　 　 　 　 　 　 　 　 　 　 　 　 智　 能　 系　 统　 学　 报　 　 　 　 　 　 　 　 　 　 　 　 　 　 Ｖｏｌ．９ №．５ ２０１４年１０月　 　 　 　 　 　 　 　 　 　 　 ＣＡＡＩ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ　 　 　 　 　 　 　 　 　 　 　 　 　 Ｏｃｔ． ２０１４ ＤＯＩ：１０．３９６９／ ｊ．ｉｓｓｎ．１６７３⁃４７８５．２０１３１００７６ 逻辑及数学演算中的不动项与不可判定命题（Ⅱ） 张金成 （中央党校函授学院广德教学点，安徽 广德 ２４２２００） 摘　 要：不动点是一个广泛而深刻的数学现象，它已经渗透到数学的各个领域。 文中把不动点推广到逻辑思维领 域，证明Ｒｕｓｓｅｌ悖论是集合论中的不动项，Ｇöｄｅｌ不可判定命题是自然数系统Ｎ 中的不动项，Ｃａｎｔｏｒ对角线方法构造 的项是不动项，不可判定的Ｔｕｒｉｎｇ机也是不动项。 进一步可以证明，当一个已知集合 可以分割成正、反集合时，不 Ｕ 动项不在正集或反集之中，不动项一定是 外不动项， 外不动项的逻辑性质相对于 已经发生变异，是未定义项， Ｕ Ｕ Ｕ Ｕ外不动项命题是不可判定的，这是系统的固有现象。 自然数系统Ｎ 中同样存在不动项，不动项的存在与不可判 定，并不影响正、反集合的递归性与系统的完全性，因此，Ｇöｄｅｌ不完全定理的证明不成立，Ｃａｎｔｏｒ对角线方法证明是 错误的，Ｔｕｒｉｎｇ停机问题证明也是错误的。 “系统Ｎ能否完全”、实数是否可数、Ｔｕｒｉｎｇ停机问题是否可判定都必须 重新思考。 关键词：正项；反项；不动项；悖论； 外不动项；不可判定命题；不完全定理；对角线方法；不可数；停机问题。 Ｕ 中图分类号：Ｂ８１３；ＴＰ１８　 文献标志码：Ａ　 文章编号：１６７３⁃４７８５（２０１４）０５⁃０６１８⁃１４ 中文引用格式：张金成． 逻辑及数学演算中的不动项与不可判定命题（Ⅱ）［Ｊ］． 智能系统学报，２０１４，９（５）：６１８⁃６３１． 英文引用格式：ＺＨＡＮＧＪｉｎｃｈｅｎｇ． Ｆｉｘｅｄ ｔｅｒｍｓ ａｎｄ ｕｎｄｅｃｉｄａｂｌｅ ｐｒｏｐｏｓｉｔｉｏｎｓ ｉｎ ｌｏｇｉｃａｌ ａｎｄ ｍａｔｈｅｍａｔｉｃａｌ ｃａｌｃｕｌｕｓ （Ⅱ）［Ｊ］． ＣＡＡＩ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ，２０１４，９（５）：６１８⁃６３１． Ｆｉｘｅｄ ｔｅｒｍｓ ａｎｄ ｕｎｄｅｃｉｄａｂｌｅ ｐｒｏｐｏｓｉｔｉｏｎｓ ｉｎ ｌｏｇｉｃａｌ ａｎｄ ｍａｔｈｅｍａｔｉｃａｌ ｃａｌｃｕｌｕｓ （Ⅱ） ＺＨＡＮＧＪｉｎｃｈｅｎｇ （Ｃｏｒｒｅｓｐｏｎｄｅｎｃｅ Ｓｃｈｏｏｌ，Ｃｏｍｍｕｎｉｓｔ Ｐａｒｔｙ Ｃｏｌｌｅｇｅ，Ｇｕａｎｇｄｅ ２４２２００，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ａｓａｋｉｎｄｏｆｂｒｏａｄａｎｄｄｅｅｐｍａｔｈｅｍａｔｉｃａｌｐｈｅｎｏｍｅｎｏｎ，ｆｉｘｅｄｐｏｉｎｔｈａｓｐｅｎｅｔｒａｔｅｄｉｎｔｏａｌｌｆｉｅｌｄｓｏｆｍａｔｈ⁃ ｅｍａｔｉｃｓ． Ｔｈｉｓｐａｐｅｒｅｘｔｅｎｄｓｔｈｅｆｉｘｅｄｐｏｉｎｔｔｏｔｈｅｌｏｇｉｃａｌｔｈｉｎｋｉｎｇ．Ｉｔｐｒｏｖｅｓｔｈａｔ Ｒｕｓｓｅｌｌ’ｓｐａｒａｄｏｘ ｉｓｔｈｅｆｉｘｅｄｔｅｒｍ ｉｎ ａｃｃｏｒｄａｎｃｅ ｗｉｔｈ ｔｈｅ ｓｅｔ ｔｈｅｏｒｙ． Ｉｔ ａｌｓｏ ｐｒｏｖｅｓ ｔｈａｔ Ｇöｄｅｌ’ｓ ｕｎｄｅｃｉｄａｂｌｅ ｐｒｏｐｏｓｉｔｉｏｎ ｉｓ ｔｈｅ ｆｉｘｅｄ ｔｅｒｍ ｗｉｔｈｉｎ ｔｈｅ ｎａｔｕｒａｌ ｎｕｍｂｅｒ ｓｙｓｔｅｍ Ｎ． Ｔｈｅ