用户贡献
跳到导航
跳到搜索
- 2026年9月13日 (日) 08:41 差异 历史 +3 递归定理 →一行对角线
- 2026年9月13日 (日) 08:35 差异 历史 +185 递归定理 →一行对角线
- 2026年9月13日 (日) 08:26 差异 历史 +39 递归定理 →三种等价表述
- 2026年9月13日 (日) 08:22 差异 历史 +232 递归定理 →第二递归定理（SRT）
- 2026年9月13日 (日) 08:08 差异 历史 +1 递归定理 →与第二递归定理的关系
- 2026年9月13日 (日) 08:08 差异 历史 +25 递归定理 →与第二递归定理的关系
- 2026年9月13日 (日) 08:06 差异 历史 +24 递归定理 →意义：递归定义的"存在性定理"
- 2026年9月13日 (日) 08:04 差异 历史 +64 递归定理 →定理表述
- 2026年9月13日 (日) 07:58 差异 历史 +22 递归定理 →从"递归定义的函数"说起
- 2026年9月13日 (日) 07:56 差异 历史 0 递归定理 →一个值得铭记的教训
- 2026年9月13日 (日) 07:53 差异 历史 -12 递归定理 →命名史
- 2026年9月13日 (日) 07:52 差异 历史 +111 递归定理 →命名史
- 2026年9月13日 (日) 07:49 差异 历史 +1 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月13日 (日) 07:45 差异 历史 +34 递归定理 →起源：一篇研究"序数记号"的 6 页短文
- 2026年9月12日 (六) 20:59 差异 历史 +33 递归定理 →"不动点"的两种含义
- 2026年9月12日 (六) 20:49 差异 历史 +8 递归定理 →"可计算"与"部分函数"
- 2026年9月12日 (六) 20:47 差异 历史 +32 递归定理 →总览：两个定理各说了什么
- 2026年9月12日 (六) 20:46 差异 历史 -17 递归定理 →"不动点"的两种含义（重要！）
- 2026年9月12日 (六) 20:45 差异 历史 +6 递归定理 →总览：两个定理各说了什么
- 2026年9月12日 (六) 20:43 差异 历史 -8 递归定理 →总览：两个定理各说了什么
- 2026年9月12日 (六) 20:43 差异 历史 +126 递归定理 →总览：两个定理各说了什么
- 2026年9月12日 (六) 20:35 差异 历史 -9 递归定理 →总览：两个定理各说了什么
- 2026年9月12日 (六) 20:34 差异 历史 +5 递归定理 →总览：两个定理各说了什么
- 2026年9月12日 (六) 20:32 差异 历史 +60 递归定理
- 2026年9月12日 (六) 20:29 差异 历史 +315 递归定理
- 2026年9月12日 (六) 15:51 差异 历史 -42 递归定理 →自指的可用性依赖于编号系统：KRT 可以被分级
- 2026年9月12日 (六) 15:16 差异 历史 -204 递归定理 →其它扩展研究
- 2026年9月12日 (六) 14:57 差异 历史 +2 递归定理 →SRT 与计算复杂性理论
- 2026年9月12日 (六) 13:34 差异 历史 +347 递归定理 →存在性与可构造性的分野
- 2026年9月12日 (六) 13:32 差异 历史 +9 递归定理 →存在性与可构造性的分野
- 2026年9月12日 (六) 13:29 差异 历史 +3,195 递归定理 →SRT 与计算复杂性理论
- 2026年9月12日 (六) 13:18 差异 历史 -71 递归定理 →SRT 与计算复杂性理论
- 2026年9月12日 (六) 13:12 差异 历史 +302 递归定理 →自指的可用性依赖于编号系统：KRT 可以被分级
- 2026年9月12日 (六) 13:11 差异 历史 +2,495 递归定理 →其它扩展研究
- 2026年9月12日 (六) 13:01 差异 历史 -28 递归定理 →算子递归定理（ORT）：无穷互引的程序族
- 2026年9月12日 (六) 12:58 差异 历史 +1,812 递归定理 →Myhill定理：创造集 = 完备集
- 2026年9月12日 (六) 12:57 差异 历史 -1,754 递归定理 →自指的可用性依赖于编号系统：KRT 可以被分级
- 2026年9月12日 (六) 12:50 差异 历史 -2 递归定理 →算子递归定理（ORT）：无穷互引的程序族
- 2026年9月12日 (六) 10:55 差异 历史 -12 递归定理 →算子递归定理（ORT）：无穷互引的程序族
- 2026年9月12日 (六) 10:53 差异 历史 -387 递归定理 →算子递归定理（ORT）：无穷互引的程序族
- 2026年9月12日 (六) 10:48 差异 历史 +1,754 递归定理 →算子递归定理（ORT）：无穷互引的程序族
- 2026年9月12日 (六) 10:45 差异 历史 +2,945 递归定理 →Smullyan双递归定理
- 2026年9月12日 (六) 10:13 差异 历史 +437 递归定理 →Uniform 形式
- 2026年9月12日 (六) 10:02 差异 历史 +13 递归定理 →其它形式的第二递归定理
- 2026年9月12日 (六) 10:01 差异 历史 +458 递归定理 →Uniform 形式
- 2026年9月12日 (六) 09:46 差异 历史 0 递归定理 →Uniform 形式
- 2026年9月12日 (六) 09:46 差异 历史 +20 递归定理 →Uniform 形式
- 2026年9月12日 (六) 09:44 差异 历史 +109 递归定理 →Uniform 形式
- 2026年9月12日 (六) 09:38 差异 历史 +117 递归定理 →第二递归定理（SRT）
- 2026年9月12日 (六) 09:31 差异 历史 -9 递归定理 →Uniform 不动点定理