用户贡献
跳到导航
跳到搜索
- 2026年9月10日 (四) 06:31 差异 历史 +3,130 递归定理
- 2026年9月10日 (四) 06:30 差异 历史 +6,861 递归定理
- 2026年9月10日 (四) 06:29 差异 历史 -27,876 递归定理
- 2026年9月10日 (四) 06:28 差异 历史 -31,725 递归定理
- 2026年9月10日 (四) 06:27 差异 历史 +60,824 递归定理
- 2026年9月10日 (四) 06:26 差异 历史 +206 递归定理
- 2026年9月10日 (四) 06:22 差异 历史 +7,123 递归定理
- 2026年9月10日 (四) 06:21 差异 历史 -9,803 递归定理
- 2026年9月10日 (四) 06:20 差异 历史 +16,668 递归定理
- 2026年9月10日 (四) 06:19 差异 历史 -22,072 递归定理
- 2026年9月10日 (四) 06:18 差异 历史 +31,930 递归定理
- 2026年9月10日 (四) 06:17 差异 历史 -84,876 递归定理
- 2026年9月10日 (四) 06:16 差异 历史 +100,713 递归定理
- 2026年9月10日 (四) 06:16 差异 历史 -14 递归定理
- 2026年9月10日 (四) 06:14 差异 历史 +228 递归定理
- 2026年9月10日 (四) 06:10 差异 历史 -100,712 递归定理 页面内容被替换为“'''递归定理（recursion theorem）'''递归函数论——即可计算性理论（computability theory，研究"什么问题原则上可以被机械地…” 标签：替换
- 2026年9月10日 (四) 06:10 差异 历史 +100,894 递归定理
- 2026年9月10日 (四) 06:07 差异 历史 +1,952 递归定理
- 2026年9月10日 (四) 06:06 差异 历史 -2,744 递归定理
- 2026年9月10日 (四) 06:06 差异 历史 -51,540 递归定理
- 2026年9月10日 (四) 06:05 差异 历史 +12,650 递归定理
- 2026年9月10日 (四) 06:05 差异 历史 -8,084 递归定理
- 2026年9月10日 (四) 06:04 差异 历史 -15,973 递归定理
- 2026年9月10日 (四) 06:03 差异 历史 +14,478 递归定理
- 2026年9月10日 (四) 06:03 差异 历史 +4,819 递归定理
- 2026年9月10日 (四) 06:02 差异 历史 +47,742 递归定理
- 2026年9月10日 (四) 06:01 差异 历史 -104,012 递归定理 页面内容被替换为“'''递归定理（recursion theorem）'''递归函数论——即可计算性理论（computability theory，研究"什么问题原则上可以被机械地…” 标签：替换
- 2026年9月10日 (四) 06:01 差异 历史 +30 递归定理
- 2026年9月10日 (四) 05:57 差异 历史 +251 递归定理 →HYP = \Delta^1_1 与有效描述集合论
- 2026年9月10日 (四) 05:50 差异 历史 +1 递归定理 →通用序数记号系统与\omega_1^{CK}
- 2026年9月10日 (四) 05:49 差异 历史 0 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月10日 (四) 05:46 差异 历史 +4 递归定理
- 2026年9月10日 (四) 05:45 差异 历史 +314 递归定理
- 2026年9月9日 (三) 17:20 差异 历史 +36 递归定理 →Myhill定理：创造集 = 完备集
- 2026年9月9日 (三) 17:19 差异 历史 +417 递归定理
- 2026年9月9日 (三) 17:18 差异 历史 +1,397 递归定理
- 2026年9月9日 (三) 17:14 差异 历史 +1,220 递归定理
- 2026年9月9日 (三) 17:10 差异 历史 +1,005 递归定理
- 2026年9月9日 (三) 17:07 差异 历史 +350 递归定理
- 2026年9月9日 (三) 17:05 差异 历史 -5,641 递归定理 →评注与影响
- 2026年9月9日 (三) 17:04 差异 历史 +5,641 递归定理 撤销Jake（讨论）的版本51018 标签：撤销
- 2026年9月9日 (三) 17:03 差异 历史 -5,641 递归定理 →评注与影响
- 2026年9月9日 (三) 17:02 差异 历史 -3 递归定理 →应用地图一览
- 2026年9月9日 (三) 17:01 差异 历史 -7 递归定理 →Solovay 可证性逻辑
- 2026年9月9日 (三) 17:00 差异 历史 -4 递归定理 →有效运算的连续性：Myhill–Shepherdson 与 KLS–Čeĭnin 定理
- 2026年9月9日 (三) 17:00 差异 历史 -9 递归定理 →有效运算的连续性：Myhill–Shepherdson 与 KLS–Čeĭnin 定理
- 2026年9月9日 (三) 16:58 差异 历史 +54 递归定理 →r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
- 2026年9月9日 (三) 16:46 差异 历史 +2 递归定理 →r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
- 2026年9月9日 (三) 16:44 差异 历史 +5 递归定理 →沿序数逐层构造之四：HYP = \Delta^1_1 与有效描述集合论
- 2026年9月9日 (三) 16:39 差异 历史 -29 递归定理 →沿序数逐层构造之三：超算术层级与 Spector 唯一性定理