用户贡献
跳到导航
跳到搜索
- 2026年9月9日 (三) 16:35 差异 历史 +1 递归定理 →通用序数记号系统与\omega_1^{CK}
- 2026年9月9日 (三) 16:33 差异 历史 +1 递归定理 →通用序数记号系统与\omega_1^{CK}
- 2026年9月9日 (三) 16:32 差异 历史 +33 递归定理 →SRT的其它应用
- 2026年9月9日 (三) 16:28 差异 历史 -30 递归定理 →沿序数逐层构造之二：构造序数 = 递归序数
- 2026年9月9日 (三) 16:27 差异 历史 -40 递归定理 →统一性总结
- 2026年9月9日 (三) 16:26 差异 历史 +50 递归定理 →统一性总结 标签：可视化编辑
- 2026年9月9日 (三) 16:26 差异 历史 +21 新 文件:自指统一性总结.png 当前
- 2026年9月9日 (三) 16:23 差异 历史 0 递归定理 →沿序数逐层构造之二：构造序数 = 递归序数
- 2026年9月9日 (三) 16:21 差异 历史 -8 递归定理 →通用序数记号系统与\omega_1^{CK}
- 2026年9月9日 (三) 16:21 差异 历史 +52 递归定理 →通用序数记号系统与[math]\displaystyle{ \omega_1^{CK} }[/math] 标签：可视化编辑
- 2026年9月9日 (三) 16:19 差异 历史 +19 新 文件:Kleene记号系统O.png 当前
- 2026年9月9日 (三) 16:17 差异 历史 0 递归定理 →通用序数记号系统与\omega_1^{CK}
- 2026年9月9日 (三) 13:22 差异 历史 -30 递归定理 →沿序数逐层构造之一：通用序数记号系统与\omega_1^{CK}
- 2026年9月9日 (三) 13:21 差异 历史 +65 递归定理 →沿序数逐层构造之一：通用序数记号系统与\omega_1^{CK}
- 2026年9月9日 (三) 13:19 差异 历史 +367 递归定理 →沿序数逐层构造之一：通用序数记号系统与 \omega_1^CK
- 2026年9月9日 (三) 13:04 差异 历史 -14 递归定理 →其它应用：非自指构造
- 2026年9月9日 (三) 13:00 差异 历史 +6 递归定理 →统一性总结
- 2026年9月9日 (三) 12:59 差异 历史 -521 递归定理 →统一性总结
- 2026年9月9日 (三) 12:58 差异 历史 +103 递归定理 →统一性总结 标签：可视化编辑
- 2026年9月9日 (三) 12:57 差异 历史 +12 新 文件:自指小结.png 当前
- 2026年9月9日 (三) 11:02 差异 历史 -97 递归定理 →自省程序与自省式自改进程序
- 2026年9月9日 (三) 11:00 差异 历史 +347 递归定理 →自省程序与自省式自改进程序
- 2026年9月9日 (三) 10:48 差异 历史 +93 递归定理 →Quine（自打印程序）
- 2026年9月9日 (三) 10:46 差异 历史 -25 递归定理 →自指现象：SRT 的"自指"一面
- 2026年9月9日 (三) 10:40 差异 历史 -6 递归定理 →冯诺伊曼的自复制自动机（1948）
- 2026年9月9日 (三) 10:39 差异 历史 +28 递归定理 →冯诺伊曼的自复制自动机（1948） 标签：可视化编辑
- 2026年9月9日 (三) 10:39 差异 历史 +48 新 文件:冯诺伊曼的自复制自动机的工作原理.png 当前
- 2026年9月9日 (三) 10:36 差异 历史 +60 递归定理 →冯诺伊曼的自复制自动机（1948）
- 2026年9月9日 (三) 10:34 差异 历史 +41 递归定理 →von Neumann 自复制自动机（1948）
- 2026年9月9日 (三) 10:30 差异 历史 +171 递归定理 →Gödel 第一不完备定理（1931）
- 2026年9月9日 (三) 10:14 差异 历史 -2 递归定理 →图灵停机问题（1936）
- 2026年9月9日 (三) 10:11 差异 历史 +18 递归定理 →图灵停机问题（1936）
- 2026年9月9日 (三) 10:09 差异 历史 +405 递归定理 →Turing 停机问题（1936）
- 2026年9月9日 (三) 10:03 差异 历史 -5 递归定理 →Russell 悖论（1901）
- 2026年9月9日 (三) 10:02 差异 历史 +16 递归定理 →Russell 悖论（1901）
- 2026年9月9日 (三) 09:59 差异 历史 +2 递归定理 →康托尔对角线论证（1891）
- 2026年9月9日 (三) 09:58 差异 历史 +134 递归定理 →康托尔对角线论证（1891）
- 2026年9月9日 (三) 09:56 差异 历史 +139 递归定理 →自指现象：SRT 的"自指"一面
- 2026年9月9日 (三) 09:51 差异 历史 +258 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月9日 (三) 09:48 差异 历史 -18 递归定理 →第二递归定理（SRT）——本文重点
- 2026年9月9日 (三) 08:35 差异 历史 +3 递归定理 →Lawvere 不动点定理（1969）
- 2026年9月9日 (三) 08:32 差异 历史 +195 递归定理 →Lawvere 不动点定理（1969）
- 2026年9月9日 (三) 08:23 差异 历史 +131 递归定理 →Lawvere 不动点定理（1969）
- 2026年9月9日 (三) 08:17 差异 历史 -9 递归定理 →Gödel 不动点引理（对角引理）
- 2026年9月9日 (三) 08:15 差异 历史 +28 递归定理 →Gödel 不动点引理（对角引理）
- 2026年9月9日 (三) 08:11 差异 历史 +47 递归定理 →\lambda 演算视角：与 Y 组合子的关系
- 2026年9月9日 (三) 08:07 差异 历史 +176 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月8日 (二) 17:05 差异 历史 +138 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月8日 (二) 16:27 差异 历史 -40 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表
- 2026年9月8日 (二) 16:23 差异 历史 +23 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表
