1.6 KiB
1.6 KiB
title, created, updated, type, tags, sources
| title | created | updated | type | tags | sources |
|---|---|---|---|---|---|
| 自指 (Self-Reference) | 2025-04-15 | 2026-05-01 | concept |
自指 (Self-Reference)
- 领域: 逻辑学、数学基础、语言哲学
- 来源: godel-incompleteness-tutorial
定义
自指是指一个命题、公式或系统指向自身的能力。在哥德尔不完备定理中，自指是通过godel-numbering和diagonalization-method在formal-systems内部合法构造的，核心产物是断言「我不可证」的哥德尔句子 G。
构造机制
- 定义公式 ψ(x) := ¬Prov(Sub(x, x, x))
- 设 ψ(x) 的哥德尔数为 n
- 定义哥德尔句子 G := ψ(n) = ¬Prov(Sub(n, n, n))
- 由于 Sub(n, n, n) = GN(G)，G 等价于 ¬Prov(GN(G))，即 G 断言「G 不可证」
与说谎者悖论的区别
| 方面 | 说谎者悖论 | 哥德尔自指 |
|---|---|---|
| 表达方式 | 「这句话是假的」 | G = ¬Prov(GN(G)) |
| 编码基础 | 自然语言的语义模糊性 | 严格的算术编码 |
| 合法性 | 导致矛盾（悖论） | 在形式系统中完全合法 |
| 结果 | 无法赋值真值 | 为真但不可证 |
对角线方法的历史谱系
康托尔对角线论证（实数不可数）→ 罗素悖论 → 塔斯基不可定义性定理 → 哥德尔不完备定理 → halting-problem
对角线方法的本质是通过让对象谈论自身，揭示系统的内在限制。
相关概念
godel-numbering · diagonalization-method · godel-incompleteness-theorems · halting-problem