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