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

勒布定理

假设算术公理系统 S ,称 P 是 S 的可证性谓词,当且仅当 P 满足以下三个条件:

1. 如果 S⊢ψ ,那么 S⊢P(⌈ψ⌉) ,其中 ⌈ψ⌉ 是 ψ 的哥德尔编码。下文中我们直接用 Pψ 表示 P(⌈ψ⌉) 。

2. S⊢P(ψ→φ)→(Pψ→Pϕ) 。

3. S⊢Pψ→PPψ

可以证明“存在 x 编码了公式 ϕ 的证明”是算术系统 PA 的一个可证性谓词。下文中我们直接令 PA=S ,令 P(x) 为“存在 x 编码了公式 ϕ 的证明”。

在哥德尔第一不完全性定理中,罗瑟(Rosser)定义了一个语句 G ,使得 PA⊬G 且 PA⊬¬G ,进而证明了 PA 不是完全的。这个语句 G 可以简单理解为“ G 不可证”,类似于说谎者悖论。那么如果一个语句陈述自己可以被证呢?即语句 ϕ 满足 ϕ↔Pϕ 。如果这样的语句存在,那么它会有什么样的性质呢?

勒布定理:如果 Pψ→ψ 是 PA 的定理,那么 ψ 是 PA 的定理。

证明: P(x)→ψ 是含有一个自由变元的公式,根据不动点引理,存在公式 φ 满足 φ↔(Pφ→ψ) 。根据条件 3 可得 Pφ→(PPφ→Pψ) ,根据条件 2 可得 Pφ→Pψ ;由于 Pψ→ψ 是 PA 的定理,因此 Pφ→ψ 是 PA 定理,进一步得 φ 是 PA 定理,根据条件 1 可得 Pφ 是 PA 定理,则 ψ 是 PA 定理。因此勒布定理成立。 ⊣

由勒布定理可以轻松推出第二不完全性定理(Kreisel):如果 PA 一致,令 ⊥ 为矛盾式 0=1 ,那么 ⊢P⊥→⊥ 蕴含 ⊢⊥ ,即 ⊢¬P⊥ 蕴含 ⊢⊥ ,由于假设 PA 一致,因此 ⊬⊥ ,则有 ⊬¬P⊥ ,而 ¬P⊥ 就是“ PA 是一致的”,第二不完全性定理成立。 ⊣

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

相关小说

穿书后恶毒女配只想修仙 连载中
穿书后恶毒女配只想修仙
风亿星辰
顾染考研猝死穿书了,《瑶光修仙记》是一本集‘竹马打不过天降’‘仙门团宠’‘恶毒小师妹’为一体的披着修仙文皮的言情小说。而她自然不是穿成了女主......
35.2万字5个月前
奇眠者 连载中
奇眠者
原野稳
写步临笺发现学校里的人一个一个的都失踪了,而他们的父母都没有他们的记忆,直到轮到自己也消失了,她发现自己被困在梦境里。无法走出来,有一天遇到......
1.3万字4个月前
聆笙集 连载中
聆笙集
棠鹤begonia
2.6万字4个月前
虚假的象牙塔 连载中
虚假的象牙塔
趁醉眠
“当我让他的画享誉世界时,我将取走他的生命——毕竟伟大的作品,是不可再生的,不是吗?”这是理想的象牙塔,也可以是一本充满欲望的故事书贪婪的饕......
0.3万字2个月前
厄瑞波斯与光 连载中
厄瑞波斯与光
橋奈洋子
2.4万字2个月前
我将不断追寻精神的本真:两个人的孤独方程 连载中
我将不断追寻精神的本真:两个人的孤独方程
*夜半太阳*
有关于维持时空稳定的失落之石遭到破坏使时空重组,发生在混沌世界的一个小小故事
0.5万字4周前