页面历史
2026年9月9日 (星期三)
→通用序数记号系统与\omega_1^{CK}
+1
→通用序数记号系统与\omega_1^{CK}
+1
→SRT的其它应用
+33
→沿序数逐层构造之二：构造序数 = 递归序数
-30
→统一性总结
-40
→统一性总结
+50
→沿序数逐层构造之二：构造序数 = 递归序数
→通用序数记号系统与\omega_1^{CK}
-8
→通用序数记号系统与[math]\displaystyle{ \omega_1^{CK} }[/math]
+52
→通用序数记号系统与\omega_1^{CK}
→沿序数逐层构造之一：通用序数记号系统与\omega_1^{CK}
-30
→沿序数逐层构造之一：通用序数记号系统与\omega_1^{CK}
+65
→沿序数逐层构造之一：通用序数记号系统与 \omega_1^CK
+367
→其它应用：非自指构造
-14
→统一性总结
+6
→统一性总结
-521
→统一性总结
+103
→自省程序与自省式自改进程序
-97
→自省程序与自省式自改进程序
+347
→Quine（自打印程序）
+93
→自指现象：SRT 的"自指"一面
-25
→冯诺伊曼的自复制自动机（1948）
-6
→冯诺伊曼的自复制自动机（1948）
+28
→冯诺伊曼的自复制自动机（1948）
+60
→von Neumann 自复制自动机（1948）
+41
→Gödel 第一不完备定理（1931）
+171
→图灵停机问题（1936）
-2
→图灵停机问题（1936）
+18
→Turing 停机问题（1936）
+405
→Russell 悖论（1901）
-5
→Russell 悖论（1901）
+16
→康托尔对角线论证（1891）
+2
→康托尔对角线论证（1891）
+134
→自指现象：SRT 的"自指"一面
+139
→直观图景：程序如何"谈论"自己的代码
+258
→第二递归定理（SRT）——本文重点
-18
→Lawvere 不动点定理（1969）
+3
→Lawvere 不动点定理（1969）
+195
→Lawvere 不动点定理（1969）
+131
→Gödel 不动点引理（对角引理）
-9
→Gödel 不动点引理（对角引理）
+28
→\lambda 演算视角：与 Y 组合子的关系
+47
→直观图景：程序如何"谈论"自己的代码
+176
2026年9月8日 (星期二)
→直观图景：程序如何"谈论"自己的代码
+138
→列表法（Cutland 1980）：把"对角线"画成一张表
-40
→列表法（Cutland 1980）：把"对角线"画成一张表
+23
→列表法（Cutland 1980）：把"对角线"画成一张表
-639
→列表法（Cutland 1980）：把"对角线"画成一张表
+636
→列表法（Cutland 1980）：把"对角线"画成一张表
+396
→证明：一行对角线
-153