页面历史
2026年9月8日 (星期二)
→证明：一行对角线
+179
→证明：一行对角线
+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
→总览：两个定理各说了什么
-5
→总览：两个定理各说了什么
+128
2026年9月7日 (星期一)
→总览：两个定理各说了什么
+61
无编辑摘要
+996
无编辑摘要
+117
无编辑摘要
+326
无编辑摘要
-309
→Kleene 递归定理（Kleene's Recursion Theorems）
-834
无编辑摘要
-127
无编辑摘要
+1,027
无编辑摘要
+99,823