用户贡献
跳到导航
跳到搜索
- 2026年9月8日 (二) 16:20 差异 历史 -639 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表
- 2026年9月8日 (二) 16:13 差异 历史 +636 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表 标签：可视化编辑
- 2026年9月8日 (二) 16:13 差异 历史 +15 新 文件:列表法证明.png 当前
- 2026年9月8日 (二) 16:09 差异 历史 +396 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表
- 2026年9月8日 (二) 15:56 差异 历史 -153 递归定理 →证明：一行对角线
- 2026年9月8日 (二) 15:53 差异 历史 +179 递归定理 →证明：一行对角线 标签：可视化编辑
- 2026年9月8日 (二) 15:53 差异 历史 +15 新 文件:对角线证明.png 当前
- 2026年9月8日 (二) 15:51 差异 历史 +160 递归定理 →证明：一行对角线
- 2026年9月8日 (二) 15:48 差异 历史 0 递归定理 →Arslanov 完全性判据（1981）
- 2026年9月8日 (二) 15:47 差异 历史 +3 递归定理 →Arslanov 完全性判据（1981）
- 2026年9月8日 (二) 15:46 差异 历史 +247 递归定理 →Arslanov 完全性判据（1981）
- 2026年9月8日 (二) 15:42 差异 历史 +68 递归定理 →Rogers 同构定理（1958）
- 2026年9月8日 (二) 15:20 差异 历史 +4 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月8日 (二) 15:16 差异 历史 -426 递归定理 →推论：SRT 衍生出的若干重要结果
- 2026年9月8日 (二) 15:11 差异 历史 -1 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月8日 (二) 15:10 差异 历史 -4 递归定理 →三种等价表述
- 2026年9月8日 (二) 15:09 差异 历史 +266 递归定理 →三种等价表述
- 2026年9月8日 (二) 15:02 差异 历史 -5 递归定理 →与第二递归定理的关系
- 2026年9月8日 (二) 15:00 差异 历史 0 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月8日 (二) 14:59 差异 历史 +3 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月8日 (二) 14:58 差异 历史 +1 递归定理 →定理表述
- 2026年9月8日 (二) 14:57 差异 历史 -22 递归定理 →定理表述
- 2026年9月8日 (二) 14:57 差异 历史 -1 递归定理 →定理表述
- 2026年9月8日 (二) 14:56 差异 历史 -52 递归定理 →定理表述
- 2026年9月8日 (二) 14:51 差异 历史 +3 递归定理 →从"递归定义的函数"说起
- 2026年9月8日 (二) 14:50 差异 历史 -7 递归定理 →从"递归定义的函数"说起
- 2026年9月8日 (二) 14:48 差异 历史 +5 递归定理 →一个值得铭记的教训
- 2026年9月8日 (二) 14:46 差异 历史 -4 递归定理 →命名史
- 2026年9月8日 (二) 14:43 差异 历史 -2 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月8日 (二) 14:42 差异 历史 +84 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月8日 (二) 14:36 差异 历史 +4 递归定理 →"不动点"的两种含义（重要！）
- 2026年9月8日 (二) 14:33 差异 历史 +9 递归定理 →递归可枚举集（r.e. set）
- 2026年9月8日 (二) 11:26 差异 历史 +11 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月8日 (二) 11:21 差异 历史 +12 递归定理 →递归可枚举集（r.e. set）
- 2026年9月8日 (二) 11:19 差异 历史 +4 递归定理 →s-m-n 定理（柯里化 / 参数特化）
- 2026年9月8日 (二) 11:16 差异 历史 +30 递归定理 →S-m-n 定理（柯里化 / 参数特化）
- 2026年9月8日 (二) 11:14 差异 历史 +246 递归定理 →预备知识：读懂本词条所需的全部概念
- 2026年9月8日 (二) 11:04 差异 历史 -568 递归定理 →总览：两个定理各说了什么
- 2026年9月8日 (二) 11:01 差异 历史 +23 递归定理
- 2026年9月8日 (二) 10:56 差异 历史 +563 递归定理 →总览：两个定理各说了什么 标签：可视化编辑
- 2026年9月8日 (二) 10:53 差异 历史 +21 新 文件:两种“不动点”.png 当前
- 2026年9月8日 (二) 10:44 差异 历史 -5 递归定理 →总览：两个定理各说了什么
- 2026年9月8日 (二) 10:42 差异 历史 +128 递归定理 →总览：两个定理各说了什么
- 2026年9月7日 (一) 21:01 差异 历史 +61 递归定理 →总览：两个定理各说了什么
- 2026年9月7日 (一) 20:57 差异 历史 +996 递归定理
- 2026年9月7日 (一) 20:45 差异 历史 +117 递归定理
- 2026年9月7日 (一) 20:38 差异 历史 +326 递归定理
- 2026年9月7日 (一) 20:37 差异 历史 -309 递归定理 标签：可视化编辑
- 2026年9月7日 (一) 20:36 差异 历史 +12 新 文件:自指家族.png 当前
- 2026年9月7日 (一) 20:31 差异 历史 -834 递归定理 →Kleene 递归定理（Kleene's Recursion Theorems）
