韩三千小说

手机浏览器扫描二维码访问

第727章 理性的边界(第3页)

因为假定以自身为元素的集合存在,所以出现了不满足排中律的自我矛盾的命题。

ZF公理系统解决这个矛盾的办法是使用正则性公理。

它禁止将一个集合作为其自身的元素,禁止了诸如“所有集合的集合”和“所有序数的集合”这样的陈述。

另一个nBg公理系统,这里的g就是哥德尔。

它将“所有集合的集合”称为“真类”,将类与集合分离,从而避免出现自指悖论。

“接下来是不是就是那个很着名的哥德尔不完备定理了?”

阿基里斯靠在壁炉旁低声问道。

房间里的温度已经被火焰加热到近似于炎炎夏日的温度,很难想象那个64岁的干瘦老人是如何在这样的环境中裹着厚厚的毛衣还会感到冷。

“比起广为流传的哥德尔不完备定理,先要提起的是哥德尔完备性定理。”

“从这个定理上,能看出自我指涉问题是如何与实无穷扯上联系的。”

“哥德尔完全性定理研究的内容是一阶谓词逻辑,或者说是有限函数演算。”

“它表明命题逻辑和一阶逻辑具有可靠性和完备性。”

“其中可靠性指可以被证明的一定为真,完备性指一切为真的命题都可以被证明。”

“简单来说就是,至少在有限的范围内,用公理和证明机制足以推导出所有普遍成立的命题。”

“但是一阶谓词逻辑是很弱的,它无法处理无限的概念。”

“最基本的一阶算术系统,用来描述自然数的皮亚诺公理就出了这条定理的范围。”

“在涉及到实无穷的时候,不完备性出现了。”

哥德尔不完备定理有两条内容。

第一条,任何一致的形式系统,只要蕴含皮亚诺算术公理,就存在一个在系统中不能被证明的真命题。

如果一个命题为真,直觉上总是可以在系统内被证明出来,而不完备性定理否认了这一点。

第二条,任何一致的形式系统,只要蕴涵皮亚诺算术公理,就不能证明其本身的一致性。

也就是说,一个公理系统的自洽性是无法在自身体系内被证明的,必须依赖于更高阶的系统。

在皮亚诺算术公理定义的自然数系统中,古德斯坦定理就是这样一个例子。

它是一条有关于自然数的命题,但在定义这个命题的公理系统内部,却无法证明这个命题。

该定理可以在更高阶的系统下证明为真,但在皮亚诺算术系统内是不可证的。

连续统假设也是这样一个问题。

连续统问题追问的是实数子集的大小,其相关命题以实数子集为概括对象。

每个实数相当于一个自然数子集,连续统问题所谈论的对象就成了全体自然数子集所构成的集合的子集。

将直接概括自然数的算术称为一阶算术,以自然数子集或者实数为概括对象的算术为二阶算术。

那么连续统问题就属于三阶算术。

康托尔是在由戴德金分割定义的实数系中现的连续统假设,但这个问题在实数模型内部却是不可判定的。

哥德尔形式证明了连续统假设的一般形式与ZFc公理是一致的。

如果把连续统假设作为公理加入集合论的这些公理中,不会产生任何逻辑矛盾。

科恩证明了一般的连续统假设的否定命题也可以加入ZFc中而不产生矛盾。

因此,连续统假设与标准的集合论公理是互相独立的。

它类似于平行公理相对于欧几里得几何的其他公理的地位,集合论的标准公理既不能证明也不能否定它。

根据连续统假设是否成立,可以像是欧几里得几何与非欧几何一样,构造出不同的集合论系统。

这就是康托尔失败的原因。

连续统假设的逻辑独立性就意味着它既不为真又不为假。

集合论中乱成一团的悖论和不可证性可以说是允许非构造的概念——尤其是实无穷,进入数学的自然后果。

喜欢触手怪的宇宙之旅请大家收藏触手怪的宇宙之旅本站更新度全网最快。

热门小说推荐
重回八零过好日子

重回八零过好日子

前世惨死,一睁眼,重生到1988年?这一次她要赚钱赚钱再赚钱。什么渣男贱女,呵,一边去,别挡了本小姐家致富的路。什么深情老公,成,看在你长得帅而且深情的份上,本小姐先笑纳了。几年后,她成了全国人民都尊敬的着名慈善家富。重回八零过好日子...

少年异人

少年异人

作品简介上一任接引道人为何离奇死亡?二四之乱又是啥?平淡的校园生活,随着苏尘救下一位貌美如花的少女而打破,这一系列谜团接踵而来,身为第九任接引道人的他,该何去何从呢?...

古代庶子生存指南

古代庶子生存指南

古代庶子生存指南一书的主角怀泽,意外穿越到某个未载史册的朝代,成为了文官家的庶出子弟。他原计划低调度日,享受悠闲的古代生活。然而,在这个盛行1dquo连坐rdquo之法的时代,怀泽渐渐认识到,身处世家大族之中,每个成员都深受其制,难以独善其身。...

穿乱世:公主女扮男装当兵赚口粮

穿乱世:公主女扮男装当兵赚口粮

主人公是姜离的小说穿乱世公主女扮男装当兵赚口粮讲述了姜离在末世挣扎五年后,为保护战友不幸命丧丧尸之口。她意外穿越成为和亲公主,却随即陷入乱世之中。为便于打探消息,她女扮男装,却不幸被抓壮丁,最终加入墨家军成为一名伙头军。只求温饱的她,在得知粮草被奸臣克扣后,毅然选择上战场,以凶残狠厉的战斗风格赢得了姜阎王的称号。她的才能被少将军看中,一步步晋升为先锋军校尉。然而,在战胜回朝论功行赏时,她竟被皇后认出,从军校尉一跃成为启国尊贵的长公主,震惊天下。...

游戏降临:我靠建设领地当包租婆

游戏降临:我靠建设领地当包租婆

简介关于游戏降临我靠建设领地当包租婆周白正式成为包租婆的那天,神秘游戏降临了!她用她的市区几栋楼换了神秘奖励。游戏正式运营后,她的奖励到了,宿主,是否绑定领主令牌?不久后,她将自己的领地建成了数一数二的大城,继续当起了包租婆!...

火影之修罗神乐

火影之修罗神乐

缔造者火影之修罗神乐...

每日热搜小说推荐