用户贡献
跳到导航
跳到搜索
- 2026年9月10日 (四) 13:18 差异 历史 +1 递归定理 →推论：SRT 衍生出的若干重要结果
- 2026年9月10日 (四) 13:14 差异 历史 +138 递归定理 →Arslanov 完全性判据（1981）
- 2026年9月10日 (四) 13:00 差异 历史 +45 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月10日 (四) 12:58 差异 历史 -17 递归定理 →通用序数记号系统与\omega_1^{CK}
- 2026年9月10日 (四) 12:57 差异 历史 -6 递归定理 →HYP = \Delta^1_1 与有效描述集合论
- 2026年9月10日 (四) 12:55 差异 历史 +31 递归定理 →HYP = \Delta^1_1 与有效描述集合论
- 2026年9月10日 (四) 12:50 差异 历史 -1 递归定理 →r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
- 2026年9月10日 (四) 12:50 差异 历史 +4 递归定理 →r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
- 2026年9月10日 (四) 12:49 差异 历史 +8 递归定理 →超算术层级与 Spector 唯一性定理
- 2026年9月10日 (四) 12:48 差异 历史 +2 递归定理 →构造序数 = 递归序数
- 2026年9月10日 (四) 12:47 差异 历史 +2 递归定理 →哥德尔第一不完备定理（1931）
- 2026年9月10日 (四) 12:46 差异 历史 +9 递归定理 →Rogers 同构定理（1958）
- 2026年9月10日 (四) 12:45 差异 历史 +4 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月10日 (四) 12:44 差异 历史 +2 递归定理 →一个值得铭记的教训
- 2026年9月10日 (四) 12:43 差异 历史 -30 递归定理 →总览：两个定理各说了什么
- 2026年9月10日 (四) 12:41 差异 历史 +24 递归定理 →SRT的其它应用
- 2026年9月10日 (四) 12:38 差异 历史 +67 递归定理 →HYP = \Delta^1_1 与有效描述集合论
- 2026年9月10日 (四) 12:35 差异 历史 -623 递归定理 →r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
- 2026年9月10日 (四) 12:33 差异 历史 -4 递归定理 →r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
- 2026年9月10日 (四) 12:30 差异 历史 +27 递归定理 →Rice定理（1951）
- 2026年9月10日 (四) 12:26 差异 历史 +5 递归定理 →Rice-Shapiro 定理（1956）
- 2026年9月10日 (四) 12:25 差异 历史 +13 递归定理 →Rice-Shapiro 定理（1956）
- 2026年9月10日 (四) 12:22 差异 历史 +77 递归定理 →Myhill定理：创造集 = 完备集
- 2026年9月10日 (四) 12:20 差异 历史 +21 递归定理 →Myhill定理：创造集 = 完备集
- 2026年9月10日 (四) 12:18 差异 历史 +31 递归定理 →Myhill定理：创造集 = 完备集
- 2026年9月10日 (四) 12:17 差异 历史 +8 递归定理 →有效运算的连续性：Myhill–Shepherdson 与 KLS–Čeĭnin 定理
- 2026年9月10日 (四) 12:16 差异 历史 +17 递归定理 →有效运算的连续性：Myhill–Shepherdson 与 KLS–Čeĭnin 定理
- 2026年9月10日 (四) 12:13 差异 历史 +7 递归定理 →Solovay 可证性逻辑
- 2026年9月10日 (四) 12:12 差异 历史 +61 递归定理 →Solovay 可证性逻辑
- 2026年9月10日 (四) 12:10 差异 历史 -24 递归定理 →应用地图一览
- 2026年9月10日 (四) 12:09 差异 历史 +24 递归定理 →应用地图一览
- 2026年9月10日 (四) 12:04 差异 历史 -7 递归定理 →评注与影响
- 2026年9月10日 (四) 12:00 差异 历史 -3 递归定理 →HYP = \Delta^1_1 与有效描述集合论
- 2026年9月10日 (四) 11:45 差异 历史 +15 递归定理 →评注与影响
- 2026年9月10日 (四) 11:45 差异 历史 +11 递归定理 →Lawvere 不动点定理（1969）
- 2026年9月10日 (四) 11:42 差异 历史 -15 递归定理 →命名史
- 2026年9月10日 (四) 11:40 差异 历史 +51 递归定理 →总览：两个定理各说了什么
- 2026年9月10日 (四) 09:45 差异 历史 0 递归定理 →总览：两个定理各说了什么
- 2026年9月10日 (四) 09:42 差异 历史 +2,049 递归定理
- 2026年9月10日 (四) 08:41 差异 历史 -2 递归定理
- 2026年9月10日 (四) 08:39 差异 历史 0 递归定理 →总览：两个定理各说了什么
- 2026年9月10日 (四) 08:39 差异 历史 -32 递归定理
- 2026年9月10日 (四) 08:08 差异 历史 +48 递归定理
- 2026年9月10日 (四) 07:23 差异 历史 +5 递归定理
- 2026年9月10日 (四) 07:21 差异 历史 +54 递归定理
- 2026年9月10日 (四) 07:17 差异 历史 +23 递归定理
- 2026年9月10日 (四) 06:34 差异 历史 +31,725 递归定理
- 2026年9月10日 (四) 06:33 差异 历史 +5,249 递归定理
- 2026年9月10日 (四) 06:33 差异 历史 +6 递归定理 →冯诺伊曼的自复制自动机（1948）
- 2026年9月10日 (四) 06:32 差异 历史 +12,636 递归定理