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

伪证

许多悖论都可以视为不加限制地使用逻辑, 得到对矛盾的伪证.

1. 小试牛刀: 说谎者悖论

"这句话为假." 这句话的存在本身就能导出矛盾.

• 如果这句话是真的, 那么根据它的内容, 它是假的.

• 如果这句话是假的, 那么它必须是真的.

因此这句话既真又假, 矛盾.

2. 强说谎者悖论

对说谎者悖论的一个自然的补丁是认为自然语言中有些句子是无意义的. "我在说谎"这句话就是无意义的. 但这个补丁只是把自然语言的真值扩展到了三值: 真, 假, 无意义. 它完全没有解决这个悖论. 考虑 "这句话为假或者无意义".

• 如果这句话为真, 那么它为假或无意义.

• 如果这句话为假或无意义, 那么它为真.

因此这句话既是真的, 也或者为假, 或者无意义, 矛盾.

3. Curry 悖论

Curry 悖论似乎允许我们证明任何命题. 下面我们试着证明荒谬的0=1.

考虑这句话: "如果这句话是真的, 那么0=1." 记之为 k, 于是 k 所说的就是:如果 k 为真, 那么 0=1.

1. 如果 k 为真, 那么平凡地, k 为真.

2. 在 1 中展开 k 的定义得到, 如果 k 为真, 那么如果 k 为真, 那么 0=1.

3. 综合 1, 2 得到:如果 k 为真, 那么 0=1.

4. 但 3 就是 k! 所以 k 是真的.

5. 综合 3, 4 得到:0=1.

4. Tarski 真不可定义性

The best part of this unified scheme is that it shows that there are really no paradoxes. There are limitations. Paradoxes are ways of showing that if you permit one to violate a limitation, then you will get an inconsistent systems.[1]

将上面的悖论形式化到一阶算术, 就能得到著名的 Tarski 定理. 固定一个算术公式到自然数的Gödel 编码 φ(x)↦⌜φ(x)⌝.

Theorem. (Tarski) 集合 {n∈ℕ│n } 在算术语言中是不可定义的.

Proof. 假设它被公式 T(x) 定义. 固定一个函数 D:ℕ → ℕ, 使得对任意公式 φ(x),D(⌜φ(x)⌝)=⌜φ(⌜φ(x)⌝)⌝. 显然存在这样的递归函数, 因此它是可表示的.

定义公式G(x) 为 ¬T(D(x)), 则公式 G(⌜G(x)⌝) 便是"我在说谎":G(⌜(G(x)⌝) ⇔ ¬T(D(⌜G(x)⌝)) ⇔ ¬G(⌜G(x)⌝)矛盾. □

哲学上, 这一切悖论说的都是语言不能谈论自身的真值, 不然就会导致悖论. 读者可以在 Yanofsky[1]的文章里看到更多有趣的例子.

参考:1. A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points https://arxiv.org/abs/math/0305282

2. A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points https://arxiv.org/abs/math/0305282

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

相关小说

这个自然之灵,自由之子有点腹黑啊 连载中
这个自然之灵,自由之子有点腹黑啊
Y159***65764
**自然之女,自由之灵**她出生于晨曦的温暖,伴着鸟鸣的乐章,她是自然之女,身披阳光的衣裳。她的笑声,是风的低语,她的眼神,是星辰的闪亮。她......
6.9万字3个月前
琴落玉湖 连载中
琴落玉湖
烟霏雨
这是一个民族的崛起与消亡史,尽管今天的人几乎不曾听过它的故事,但那两个女人的勇敢,同雪山、阳光一样神奇不朽
1.3万字3个月前
亡命之徒:救赎 连载中
亡命之徒:救赎
上官子兰
被人改造的实验体是根本没有人类的感情…———————————————这里是世界上最大的实验基地也是设备样样俱全的“莫古拉实验基地”里面的科学......
0.8万字3个月前
春风酌酒 连载中
春风酌酒
不想更新的一天
我以春风酌酒,愿故友永宁。(禁止任何形式的抄袭,以及投喂AI等一系列的侵权操作。)
6.9万字1个月前
快穿:三千妄念缚明月 连载中
快穿:三千妄念缚明月
我心许月
【双男主+快穿+万人迷+1vN+主受视角】长衡宗长老温简言心怀道义,怜悯苍生,白雪仙尘,天人之姿。是无数人心中肖想的,可望而不可即的明月。温......
9.9万字3周前
梦里逢仙 连载中
梦里逢仙
念乡也
简介:“睡吧,梦里什么都有。”更新中:青衣女魃一次意外,闻歌在睡梦中见到了传说中的神仙,每一个夜晚,她都会进入那些神仙的记忆里,去观看她们的......
20.6万字1周前