帮助
“递归定理”的版本历史
查看该页面的日志
跳到导航
跳到搜索
筛选修订版本
展开
折叠
截止日:
标签
过滤器:
显示版本
差异选择:选中要对比的版本的单选按钮,按Enter键或下方的按钮。
说明:
(当前)
=与最后版本之间的差异,
(之前)
=与上一版本之间的差异,
小
=小编辑。
(最新 |
最旧
) 查看(前50个 |
后50个
)(
20
|
50
|
100
|
250
|
500
)
当前
之前
2026年9月20日 (日) 08:43
Jake
讨论
贡献
124,556字节
+19
→SRT 与计算复杂性理论
当前
之前
2026年9月18日 (五) 10:51
Jake
讨论
贡献
124,537字节
+4
→存在性与可构造性的分野
当前
之前
2026年9月18日 (五) 10:51
Jake
讨论
贡献
124,533字节
+3
→存在性与可构造性的分野
当前
之前
2026年9月18日 (五) 10:47
Jake
讨论
贡献
124,530字节
+6
→SRT 与计算复杂性理论
当前
之前
2026年9月18日 (五) 10:38
Jake
讨论
贡献
124,524字节
+9
→Myhill定理:创造集 = 完备集
当前
之前
2026年9月18日 (五) 10:36
Jake
讨论
贡献
124,515字节
-2
→通用序数记号系统ω_1^{CK}
当前
之前
2026年9月18日 (五) 10:35
Jake
讨论
贡献
124,517字节
0
当前
之前
2026年9月18日 (五) 10:34
Jake
讨论
贡献
124,517字节
-1,749
→Rice-Shapiro 定理(1956)
当前
之前
2026年9月18日 (五) 10:29
Jake
讨论
贡献
126,266字节
+11
→Rice定理(1951)
当前
之前
2026年9月18日 (五) 10:22
Jake
讨论
贡献
126,255字节
+16
→超算术集与有效描述集合论
当前
之前
2026年9月18日 (五) 10:17
Jake
讨论
贡献
126,239字节
+6
→超算术层级与 Spector 唯一性定理
当前
之前
2026年9月18日 (五) 09:59
Jake
讨论
贡献
126,233字节
-5
→超算术层级与 Spector 唯一性定理
当前
之前
2026年9月18日 (五) 09:51
Jake
讨论
贡献
126,238字节
-18
→构造序数 = 递归序数
当前
之前
2026年9月18日 (五) 09:41
Jake
讨论
贡献
126,256字节
-29
→通用序数记号系统ω_1^{CK}
当前
之前
2026年9月18日 (五) 09:22
Jake
讨论
贡献
126,285字节
+27
→SRT的其它应用
当前
之前
2026年9月18日 (五) 09:14
Jake
讨论
贡献
126,258字节
-3
→统一性总结
当前
之前
2026年9月18日 (五) 09:13
Jake
讨论
贡献
126,261字节
+11
→自省程序与自省式自改进程序
当前
之前
2026年9月18日 (五) 09:01
Jake
讨论
贡献
126,250字节
-1
→冯诺伊曼的自复制自动机(1948)
当前
之前
2026年9月18日 (五) 09:01
Jake
讨论
贡献
126,251字节
+303
→冯诺伊曼的自复制自动机(1948)
当前
之前
2026年9月18日 (五) 08:54
Jake
讨论
贡献
125,948字节
+106
→哥德尔第一不完备定理(1931)
当前
之前
2026年9月17日 (四) 16:50
Jake
讨论
贡献
125,842字节
-6
→哥德尔第一不完备定理(1931)
当前
之前
2026年9月17日 (四) 16:49
Jake
讨论
贡献
125,848字节
-6
→哥德尔第一不完备定理(1931)
当前
之前
2026年9月17日 (四) 16:48
Jake
讨论
贡献
125,854字节
-2
→哥德尔第一不完备定理(1931)
当前
之前
2026年9月17日 (四) 16:45
Jake
讨论
贡献
125,856字节
-12
→哥德尔第一不完备定理(1931)
当前
之前
2026年9月17日 (四) 16:42
Jake
讨论
贡献
125,868字节
+10
→SRT与自指
当前
之前
2026年9月17日 (四) 14:37
Jake
讨论
贡献
125,858字节
+5
→与Y组合子的关系
当前
之前
2026年9月17日 (四) 14:30
Jake
讨论
贡献
125,853字节
+377
→Lawvere不动点定理
当前
之前
2026年9月17日 (四) 14:29
Jake
讨论
贡献
125,476字节
-377
→与SRT的对应
当前
之前
2026年9月17日 (四) 13:52
Jake
讨论
贡献
125,853字节
-6,676
当前
之前
2026年9月16日 (三) 19:58
Jake
讨论
贡献
132,529字节
+56
→证明
当前
之前
2026年9月16日 (三) 19:54
Jake
讨论
贡献
132,473字节
+4,626
→范畴论版本的Lawvere定理
当前
之前
2026年9月16日 (三) 19:27
Jake
讨论
贡献
127,847字节
-1
→范畴论版本的Lawvere定理
当前
之前
2026年9月16日 (三) 19:22
Jake
讨论
贡献
127,848字节
+44
→函数版本的Lawvere定理
当前
之前
2026年9月16日 (三) 19:20
Jake
讨论
贡献
127,804字节
+460
→Lawvere不动点定理
当前
之前
2026年9月16日 (三) 19:14
Jake
讨论
贡献
127,344字节
+119
→函数版本的Lawvere定理
标签
:
可视化编辑
当前
之前
2026年9月16日 (三) 19:09
Jake
讨论
贡献
127,225字节
+1,360
→Lawvere不动点定理
当前
之前
2026年9月15日 (二) 21:28
Jake
讨论
贡献
125,865字节
+11
→与SRT的对应
当前
之前
2026年9月15日 (二) 21:25
Jake
讨论
贡献
125,854字节
-21
→与SRT的对应
当前
之前
2026年9月15日 (二) 21:25
Jake
讨论
贡献
125,875字节
+12
→与SRT的对应
当前
之前
2026年9月15日 (二) 21:21
Jake
讨论
贡献
125,863字节
+112
→Lawvere不动点定理
当前
之前
2026年9月15日 (二) 20:53
Jake
讨论
贡献
125,751字节
-30
→Lawvere不动点定理(笛卡尔闭范畴版本)
当前
之前
2026年9月15日 (二) 20:50
Jake
讨论
贡献
125,781字节
+742
→与SRT的对应
当前
之前
2026年9月15日 (二) 20:47
Jake
讨论
贡献
125,039字节
-1,373
→Lawvere 不动点定理(1969)
当前
之前
2026年9月13日 (日) 10:21
Jake
讨论
贡献
126,412字节
+119
→与其它不动点定理的关系
当前
之前
2026年9月13日 (日) 10:01
Jake
讨论
贡献
126,293字节
+21
→Arslanov 完全性判据(1981)
当前
之前
2026年9月13日 (日) 09:57
Jake
讨论
贡献
126,272字节
+14
→Rogers 同构定理(1958)
当前
之前
2026年9月13日 (日) 09:52
Jake
讨论
贡献
126,258字节
+285
→算子递归定理(ORT)
当前
之前
2026年9月13日 (日) 09:48
Jake
讨论
贡献
125,973字节
+63
→一个值得铭记的教训
当前
之前
2026年9月13日 (日) 09:47
Jake
讨论
贡献
125,910字节
0
→算子递归定理(ORT)
当前
之前
2026年9月13日 (日) 09:38
Jake
讨论
贡献
125,910字节
-18
→Smullyan双递归定理
(最新 |
最旧
) 查看(前50个 |
后50个
)(
20
|
50
|
100
|
250
|
500
)
导航菜单
个人工具
登录
名字空间
页面
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
集智百科
集智主页
集智斑图
集智学园
最近更改
所有页面
捐赠我们
帮助
工具
链入页面
相关更改
Atom
特殊页面
页面信息