数学联邦政治世界观
超小超大

不完全性定理

第一不完全性定理的内容是:“无论数学无矛盾地如何形式化,都存在着既不能证明也不能反证的命题。”

换句话说,不可能写出数学所需的所有公理。

既然这个定理被特意冠之以第一,那么也存在成为第二不完全性定理的东西。

第二不完备性定理是“任何形式的体系都不能证明其体系自身并不矛盾”。

这意味着,要显示某一形式体系并不矛盾,作为元逻辑,需要比该体系更有力的体系。

第一个在连续统问题上取得进展的是哥德尔。

受到罗素类型论思想的启发,哥德尔为集合论的公理系统ZFC构造了一个模型L,L的元素称为可构成集。

可构成集模型是一个分层的结构,其中每一层都是由前面层谱的可定义子集得到的。

哥德尔证明除了集合论已有的公理都在L中成立外,“可构成公理(V=L)”,即所有集合都是可构成的,在L中也成立,而这一公理蕴涵连续统假设,因此CH也在L中成立。

用数理逻辑的术语说,哥德尔的结果表明:如果ZFC是一致的,则ZFC+CH也是一致的。

因此,我们不能期望从ZFC证明CH是假的。

哥德尔构造集合论模型的方法是从全类V出发,L是对V的限制。

L包含了所有的序数(因此它是一个真类),它在“高度”上与V是一致的,只是它比V显得更“细”。

现在一般把包含所有序数的传递类称为“内模型”。

Ⅴ和L高度一致,宽度不够

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

女寝海龟汤实录 连载中
女寝海龟汤实录
养老院里劈过腿
每日一则海龟汤。女寝444成员:橙子、花花、佳琪、小青档案记录&管理人员:~养老院里劈过腿~
1.0万字6个月前
下一位守门人 连载中
下一位守门人
阿翙_556556860
[养成系女主][异国他乡的探险之旅]一次巧合,我来到了一个奇怪的世界。这里似乎正在经历一次浩劫。这具身体的主人洛伊和他爷爷收养的哥哥阿野被他......
2.5万字3个月前
灵霄幻世之灵兔破冰缘 连载中
灵霄幻世之灵兔破冰缘
莫言霖
在充满奇幻色彩与无尽奥秘的灵霄大陆,星罗与天斗两大帝国分庭抗礼,各自闪耀着独特光芒。星罗帝国尚武之风盛行,皇室血脉觉醒的黑虎武魂仿若洪荒巨兽......
1.0万字2个月前
人类和人鱼之间的恋爱 连载中
人类和人鱼之间的恋爱
璀璨星辰_804006620649190
3.1万字4周前
砚影池光 连载中
砚影池光
少不少
5.8万字3周前
一花枝 连载中
一花枝
闲客之外
1.7万字5天前