页面历史
2026年9月13日 (星期日)
→Uniform 形式
+2
→Uniform 形式
+8
无编辑摘要
+152
→直观图景：程序如何"谈论"自己的代码
-45
→直观图景：程序如何"谈论"自己的代码
+1,000
→列表法（Cutland 1980）：把"对角线"画成一张表
+10
→列表法（Cutland 1980）：把"对角线"画成一张表
+43
→一行对角线
+3
→一行对角线
+185
→三种等价表述
+39
→第二递归定理（SRT）
+232
→与第二递归定理的关系
+1
→与第二递归定理的关系
+25
→意义：递归定义的"存在性定理"
+24
→定理表述
+64
→从"递归定义的函数"说起
+22
→一个值得铭记的教训
→命名史
-12
→命名史
+111
→起源：一篇研究"序数记号"的 6 页短文
+1
→起源：一篇研究"序数记号"的 6 页短文
+34
2026年9月12日 (星期六)
→"不动点"的两种含义
+33
→"可计算"与"部分函数"
+8
→总览：两个定理各说了什么
+32
→"不动点"的两种含义（重要！）
-17
→总览：两个定理各说了什么
+6
→总览：两个定理各说了什么
-8
→总览：两个定理各说了什么
+126
→总览：两个定理各说了什么
-9
→总览：两个定理各说了什么
+5
无编辑摘要
+60
无编辑摘要
+315
→自指的可用性依赖于编号系统：KRT 可以被分级
-42
→其它扩展研究
-204
→SRT 与计算复杂性理论
+2
→存在性与可构造性的分野
+347
→存在性与可构造性的分野
+9
→SRT 与计算复杂性理论
+3,195
→SRT 与计算复杂性理论
-71
→自指的可用性依赖于编号系统：KRT 可以被分级
+302
→其它扩展研究
+2,495
→算子递归定理（ORT）：无穷互引的程序族
-28
→Myhill定理：创造集 = 完备集
+1,812
→自指的可用性依赖于编号系统：KRT 可以被分级
-1,754
→算子递归定理（ORT）：无穷互引的程序族
-2
→算子递归定理（ORT）：无穷互引的程序族
-12
→算子递归定理（ORT）：无穷互引的程序族
-387
→算子递归定理（ORT）：无穷互引的程序族
+1,754
→Smullyan双递归定理
+2,945
→Uniform 形式
+437