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

勒布定理

假设算术公理系统 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),接着再看更方便。

相关小说

十二星座:方寸死斗 连载中
十二星座:方寸死斗
简思达江斯特
〖星座文内含cp向注意避雷〗因为杀死所爱之人而被困在噩梦里无法解脱这一次,饱受折磨的少年做了变成女孩子的梦(有刀哈,心理承受能力较差的老婆酌......
1.6万字6个月前
三人行之一:魔法列车的低语 连载中
三人行之一:魔法列车的低语
璃月非李月
魔幻小说作者某天突然的脑洞,有点发疯,自认为能到个小学水平#求评论!不拒绝吐槽但别过分了灵湖小学五年三班迎来了一个新班主任!但这位班主任的行......
4.3万字5个月前
千秋引岚霜录 连载中
千秋引岚霜录
梦茳行
我的信仰因你而生,所以在我的世界当中,你则是我的神明。————————我不在乎你在别人眼中是谁,我只在乎你是我一人的阿岚,唯一的阿岚
0.6万字5个月前
缥缈之梦 连载中
缥缈之梦
一只小猹w
虽说神界很美,可惜再漫长的路总有尽头,海市蜃楼再美也不过是假象,而这些梦里梦外缠烂辉煌的世界,却来自于无数个悲惨的回忆和童年。(书籍原名:缘......
2.5万字3个月前
2068年的世界 连载中
2068年的世界
基拉哈斯提
2.3万字2个月前
无限:古堡之诗 连载中
无限:古堡之诗
槐x2
这是一个古怪的世界,所有人都被【系统】分配进各个无限流游戏关卡副本中【古堡之诗】通关率5%,危险率???但仍有倒霉蛋被分配在一起,6人一组作......
8.1万字2个月前