用户贡献
跳到导航
跳到搜索
- 2026年9月18日 (五) 09:01 差异 历史 -1 递归定理 →冯诺伊曼的自复制自动机（1948）
- 2026年9月18日 (五) 09:01 差异 历史 +303 递归定理 →冯诺伊曼的自复制自动机（1948）
- 2026年9月18日 (五) 08:54 差异 历史 +106 递归定理 →哥德尔第一不完备定理（1931）
- 2026年9月17日 (四) 16:50 差异 历史 -6 递归定理 →哥德尔第一不完备定理（1931）
- 2026年9月17日 (四) 16:49 差异 历史 -6 递归定理 →哥德尔第一不完备定理（1931）
- 2026年9月17日 (四) 16:48 差异 历史 -2 递归定理 →哥德尔第一不完备定理（1931）
- 2026年9月17日 (四) 16:45 差异 历史 -12 递归定理 →哥德尔第一不完备定理（1931）
- 2026年9月17日 (四) 16:42 差异 历史 +10 递归定理 →SRT与自指
- 2026年9月17日 (四) 14:37 差异 历史 +5 递归定理 →与Y组合子的关系
- 2026年9月17日 (四) 14:31 差异 历史 +15 Lawvere定理 →证明 当前
- 2026年9月17日 (四) 14:31 差异 历史 +1 Lawvere定理 →证明
- 2026年9月17日 (四) 14:30 差异 历史 +391 Lawvere定理
- 2026年9月17日 (四) 14:30 差异 历史 +377 递归定理 →Lawvere不动点定理
- 2026年9月17日 (四) 14:29 差异 历史 -377 递归定理 →与SRT的对应
- 2026年9月17日 (四) 14:26 差异 历史 -63 Lawvere定理 →证明
- 2026年9月17日 (四) 14:21 差异 历史 +35 Lawvere定理 →范畴论版本的Lawvere定理
- 2026年9月17日 (四) 14:15 差异 历史 -11 Lawvere定理 →范畴论版本的Lawvere定理
- 2026年9月17日 (四) 14:07 差异 历史 -12 Lawvere定理 →范畴论版本的Lawvere定理
- 2026年9月17日 (四) 13:52 差异 历史 -6,676 递归定理
- 2026年9月16日 (三) 20:02 差异 历史 +7,992 新 Lawvere定理 建立内容为“Lawvere不动点定理（也称为Lawvere对角线定理，1969年提出）是采用范畴论语言，统一刻画对角线自指与不动点现…”的新页面
- 2026年9月16日 (三) 19:58 差异 历史 +56 递归定理 →证明
- 2026年9月16日 (三) 19:54 差异 历史 +4,626 递归定理 →范畴论版本的Lawvere定理
- 2026年9月16日 (三) 19:27 差异 历史 -1 递归定理 →范畴论版本的Lawvere定理
- 2026年9月16日 (三) 19:22 差异 历史 +44 递归定理 →函数版本的Lawvere定理
- 2026年9月16日 (三) 19:20 差异 历史 +460 递归定理 →Lawvere不动点定理
- 2026年9月16日 (三) 19:14 差异 历史 +119 递归定理 →函数版本的Lawvere定理 标签：可视化编辑
- 2026年9月16日 (三) 19:13 差异 历史 +28 新 文件:Lawvere定理的函数版本.png 当前
- 2026年9月16日 (三) 19:09 差异 历史 +1,360 递归定理 →Lawvere不动点定理
- 2026年9月15日 (二) 21:31 差异 历史 +441 生命系统的组织 当前
- 2026年9月15日 (二) 21:28 差异 历史 +11 递归定理 →与SRT的对应
- 2026年9月15日 (二) 21:25 差异 历史 -21 递归定理 →与SRT的对应
- 2026年9月15日 (二) 21:25 差异 历史 +12 递归定理 →与SRT的对应
- 2026年9月15日 (二) 21:21 差异 历史 +112 递归定理 →Lawvere不动点定理
- 2026年9月15日 (二) 20:53 差异 历史 -30 递归定理 →Lawvere不动点定理（笛卡尔闭范畴版本）
- 2026年9月15日 (二) 20:50 差异 历史 +742 递归定理 →与SRT的对应
- 2026年9月15日 (二) 20:47 差异 历史 -1,373 递归定理 →Lawvere 不动点定理（1969）
- 2026年9月13日 (日) 10:21 差异 历史 +119 递归定理 →与其它不动点定理的关系
- 2026年9月13日 (日) 10:01 差异 历史 +21 递归定理 →Arslanov 完全性判据（1981）
- 2026年9月13日 (日) 09:57 差异 历史 +14 递归定理 →Rogers 同构定理（1958）
- 2026年9月13日 (日) 09:52 差异 历史 +285 递归定理 →算子递归定理（ORT）
- 2026年9月13日 (日) 09:48 差异 历史 +63 递归定理 →一个值得铭记的教训
- 2026年9月13日 (日) 09:47 差异 历史 0 递归定理 →算子递归定理（ORT）
- 2026年9月13日 (日) 09:38 差异 历史 -18 递归定理 →Smullyan双递归定理
- 2026年9月13日 (日) 09:28 差异 历史 +2 递归定理 →Uniform 形式
- 2026年9月13日 (日) 09:26 差异 历史 +8 递归定理 →Uniform 形式
- 2026年9月13日 (日) 09:21 差异 历史 +152 递归定理
- 2026年9月13日 (日) 09:17 差异 历史 -45 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月13日 (日) 09:09 差异 历史 +1,000 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月13日 (日) 09:03 差异 历史 +10 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表
- 2026年9月13日 (日) 08:55 差异 历史 +43 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表
