用户贡献
2026年9月13日 (星期日)
递归定理
一行对角线
+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
递归定理
其它形式的第二递归定理
+13
递归定理
Uniform 形式
+458
递归定理
Uniform 形式
递归定理
Uniform 形式
+20
递归定理
Uniform 形式
+109
递归定理
第二递归定理（SRT）
+117
递归定理
Uniform 不动点定理
-9