页面历史
2026年9月20日 (星期日)
2026年9月18日 (星期五)
→存在性与可构造性的分野
+4
→存在性与可构造性的分野
+3
→SRT 与计算复杂性理论
+6
→Myhill定理：创造集 = 完备集
+9
→通用序数记号系统ω_1^{CK}
-2
无编辑摘要
→Rice-Shapiro 定理（1956）
-1,749
→Rice定理（1951）
+11
→超算术集与有效描述集合论
+16
→超算术层级与 Spector 唯一性定理
+6
→超算术层级与 Spector 唯一性定理
-5
→构造序数 = 递归序数
-18
→通用序数记号系统ω_1^{CK}
-29
→SRT的其它应用
+27
→统一性总结
-3
→自省程序与自省式自改进程序
+11
→冯诺伊曼的自复制自动机（1948）
-1
→冯诺伊曼的自复制自动机（1948）
+303
→哥德尔第一不完备定理（1931）
+106
2026年9月17日 (星期四)
→哥德尔第一不完备定理（1931）
-6
→哥德尔第一不完备定理（1931）
-6
→哥德尔第一不完备定理（1931）
-2
→哥德尔第一不完备定理（1931）
-12
→SRT与自指
+10
→与Y组合子的关系
+5
→Lawvere不动点定理
+377
→与SRT的对应
-377
无编辑摘要
-6,676
2026年9月16日 (星期三)
→证明
+56
→范畴论版本的Lawvere定理
+4,626
→范畴论版本的Lawvere定理
-1
→函数版本的Lawvere定理
+44
→Lawvere不动点定理
+460
→函数版本的Lawvere定理
+119
→Lawvere不动点定理
+1,360
2026年9月15日 (星期二)
→与SRT的对应
+11
→与SRT的对应
-21
→与SRT的对应
+12
→Lawvere不动点定理
+112
→Lawvere不动点定理（笛卡尔闭范畴版本）
-30
→与SRT的对应
+742
→Lawvere 不动点定理（1969）
-1,373
2026年9月13日 (星期日)
→与其它不动点定理的关系
+119
→Arslanov 完全性判据（1981）
+21
→Rogers 同构定理（1958）
+14
→算子递归定理（ORT）
+285
→一个值得铭记的教训
+63
→算子递归定理（ORT）
→Smullyan双递归定理
-18