用户贡献
2026年9月8日 (星期二)
递归定理
列表法（Cutland 1980）：把"对角线"画成一张表
-639
递归定理
列表法（Cutland 1980）：把"对角线"画成一张表
+636
文件:列表法证明.png
无编辑摘要
递归定理
列表法（Cutland 1980）：把"对角线"画成一张表
+396
递归定理
证明：一行对角线
-153
递归定理
证明：一行对角线
+179
文件:对角线证明.png
无编辑摘要
递归定理
证明：一行对角线
+160
递归定理
Arslanov 完全性判据（1981）
递归定理
Arslanov 完全性判据（1981）
+3
递归定理
Arslanov 完全性判据（1981）
+247
递归定理
Rogers 同构定理（1958）
+68
递归定理
Smullyan 双递归定理（1959, 1961）
+4
递归定理
推论：SRT 衍生出的若干重要结果
-426
递归定理
起源：一篇研究"序数记号"的 6 页短文
-1
递归定理
三种等价表述
-4
递归定理
三种等价表述
+266
递归定理
与第二递归定理的关系
-5
递归定理
起源：一篇研究"序数记号"的 6 页短文
递归定理
起源：一篇研究"序数记号"的 6 页短文
+3
递归定理
定理表述
+1
递归定理
定理表述
-22
递归定理
定理表述
-1
递归定理
定理表述
-52
递归定理
从"递归定义的函数"说起
+3
递归定理
从"递归定义的函数"说起
-7
递归定理
一个值得铭记的教训
+5
递归定理
命名史
-4
递归定理
起源：一篇研究"序数记号"的 6 页短文
-2
递归定理
起源：一篇研究"序数记号"的 6 页短文
+84
递归定理
"不动点"的两种含义（重要！）
+4
递归定理
递归可枚举集（r.e. set）
+9
递归定理
起源：一篇研究"序数记号"的 6 页短文
+11
递归定理
递归可枚举集（r.e. set）
+12
递归定理
s-m-n 定理（柯里化 / 参数特化）
+4
递归定理
S-m-n 定理（柯里化 / 参数特化）
+30
递归定理
预备知识：读懂本词条所需的全部概念
+246
递归定理
总览：两个定理各说了什么
-568
递归定理
无编辑摘要
+23
递归定理
总览：两个定理各说了什么
+563
文件:两种“不动点”.png
无编辑摘要
递归定理
总览：两个定理各说了什么
-5
递归定理
总览：两个定理各说了什么
+128
2026年9月7日 (星期一)
递归定理
总览：两个定理各说了什么
+61
递归定理
无编辑摘要
+996
递归定理
无编辑摘要
+117
递归定理
无编辑摘要
+326
递归定理
无编辑摘要
-309
文件:自指家族.png
无编辑摘要
递归定理
Kleene 递归定理（Kleene's Recursion Theorems）
-834