用户贡献
2026年9月9日 (星期三)
递归定理
通用序数记号系统与\omega_1^{CK}
+1
递归定理
通用序数记号系统与\omega_1^{CK}
+1
递归定理
SRT的其它应用
+33
递归定理
沿序数逐层构造之二：构造序数 = 递归序数
-30
递归定理
统一性总结
-40
递归定理
统一性总结
+50
文件:自指统一性总结.png
无编辑摘要
递归定理
沿序数逐层构造之二：构造序数 = 递归序数
递归定理
通用序数记号系统与\omega_1^{CK}
-8
递归定理
通用序数记号系统与[math]\displaystyle{ \omega_1^{CK} }[/math]
+52
文件:Kleene记号系统O.png
无编辑摘要
递归定理
通用序数记号系统与\omega_1^{CK}
递归定理
沿序数逐层构造之一：通用序数记号系统与\omega_1^{CK}
-30
递归定理
沿序数逐层构造之一：通用序数记号系统与\omega_1^{CK}
+65
递归定理
沿序数逐层构造之一：通用序数记号系统与 \omega_1^CK
+367
递归定理
其它应用：非自指构造
-14
递归定理
统一性总结
+6
递归定理
统一性总结
-521
递归定理
统一性总结
+103
文件:自指小结.png
无编辑摘要
递归定理
自省程序与自省式自改进程序
-97
递归定理
自省程序与自省式自改进程序
+347
递归定理
Quine（自打印程序）
+93
递归定理
自指现象：SRT 的"自指"一面
-25
递归定理
冯诺伊曼的自复制自动机（1948）
-6
递归定理
冯诺伊曼的自复制自动机（1948）
+28
文件:冯诺伊曼的自复制自动机的工作原理.png
无编辑摘要
递归定理
冯诺伊曼的自复制自动机（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