页面历史
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