用户贡献
2026年9月18日 (星期五)
2026年9月17日 (星期四)
递归定理
哥德尔第一不完备定理（1931）
-6
递归定理
哥德尔第一不完备定理（1931）
-6
递归定理
哥德尔第一不完备定理（1931）
-2
递归定理
哥德尔第一不完备定理（1931）
-12
递归定理
SRT与自指
+10
递归定理
与Y组合子的关系
+5
Lawvere定理
证明
+15
Lawvere定理
证明
+1
Lawvere定理
无编辑摘要
+391
递归定理
Lawvere不动点定理
+377
递归定理
与SRT的对应
-377
Lawvere定理
证明
-63
Lawvere定理
范畴论版本的Lawvere定理
+35
Lawvere定理
范畴论版本的Lawvere定理
-11
Lawvere定理
范畴论版本的Lawvere定理
-12
递归定理
无编辑摘要
-6,676
2026年9月16日 (星期三)
Lawvere定理
建立内容为“Lawvere不动点定理（也称为Lawvere对角线定理，1969年提出）是采用范畴论语言，统一刻画对角线自指与不动点现…”的新页面
递归定理
证明
+56
递归定理
范畴论版本的Lawvere定理
+4,626
递归定理
范畴论版本的Lawvere定理
-1
递归定理
函数版本的Lawvere定理
+44
递归定理
Lawvere不动点定理
+460
递归定理
函数版本的Lawvere定理
+119
文件:Lawvere定理的函数版本.png
无编辑摘要
递归定理
Lawvere不动点定理
+1,360
2026年9月15日 (星期二)
生命系统的组织
无编辑摘要
+441
递归定理
与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
递归定理
Uniform 形式
+2
递归定理
Uniform 形式
+8
递归定理
无编辑摘要
+152
递归定理
直观图景：程序如何"谈论"自己的代码
-45
递归定理
直观图景：程序如何"谈论"自己的代码
+1,000
递归定理
列表法（Cutland 1980）：把"对角线"画成一张表
+10
递归定理
列表法（Cutland 1980）：把"对角线"画成一张表
+43