页面历史
2026年9月12日 (星期六)
→其它形式的第二递归定理
+13
→Uniform 形式
+458
→Uniform 形式
→Uniform 形式
+20
→Uniform 形式
+109
→第二递归定理（SRT）
+117
→Uniform 不动点定理
-9
→uniform
+1,679
→带参数的形式
-27
无编辑摘要
→其它形式的第二递归定理
+3,144
→推论：SRT 衍生出的若干重要结果
-3,364
无编辑摘要
-22
→SRT与自指
+1,225
→λ演算视角：与 Y 组合子的关系
-1,223
无编辑摘要
无编辑摘要
无编辑摘要
→推论：SRT 衍生出的若干重要结果
+87
→λ演算视角：与 Y 组合子的关系
+9,667
→推论：SRT 衍生出的若干重要结果
-9,668
2026年9月11日 (星期五)
无编辑摘要
-75
→一行对角线
+246
→一行对角线
+21
→证明：一行对角线
+206
→Rice定理（1951）
-1
→Smullyan 双递归定理（1959, 1961）
+261
→Smullyan 双递归定理（1959, 1961）
+2
→Smullyan 双递归定理（1959, 1961）
-361
→Smullyan 双递归定理（1959, 1961）
+1,148
→Smullyan 双递归定理（1959, 1961）
+12
→Smullyan 双递归定理（1959, 1961）
+1
→Smullyan 双递归定理（1959, 1961）
+157
→Smullyan 双递归定理（1959, 1961）
+5
→意义：递归定义的"存在性定理"
+7
无编辑摘要
+87
→通用序数记号系统\omega_1^{CK}
-19
无编辑摘要
+33
→超算术集与有效描述集合论
+1
→超算术级与有效描述集合论
-15
→Rice定理（1951）
+33
→自省程序与自省式自改进程序
+45
→冯诺伊曼的自复制自动机（1948）
+49
→哥德尔第一不完备定理（1931）
+92
→Lawvere 不动点定理（1969）
+39
→直观图景：程序如何"谈论"自己的代码
+1
→直观图景：程序如何"谈论"自己的代码
+31