帮助
“Lawvere定理”的版本历史
查看该页面的日志
跳到导航
跳到搜索
筛选修订版本
展开
折叠
截止日:
标签
过滤器:
显示版本
差异选择:选中要对比的版本的单选按钮,按Enter键或下方的按钮。
说明:
(当前)
=与最后版本之间的差异,
(之前)
=与上一版本之间的差异,
小
=小编辑。
当前
之前
2026年9月17日 (四) 14:31
Jake
讨论
贡献
8,348字节
+15
→证明
当前
之前
2026年9月17日 (四) 14:31
Jake
讨论
贡献
8,333字节
+1
→证明
当前
之前
2026年9月17日 (四) 14:30
Jake
讨论
贡献
8,332字节
+391
当前
之前
2026年9月17日 (四) 14:26
Jake
讨论
贡献
7,941字节
-63
→证明
当前
之前
2026年9月17日 (四) 14:21
Jake
讨论
贡献
8,004字节
+35
→范畴论版本的Lawvere定理
当前
之前
2026年9月17日 (四) 14:15
Jake
讨论
贡献
7,969字节
-11
→范畴论版本的Lawvere定理
当前
之前
2026年9月17日 (四) 14:07
Jake
讨论
贡献
7,980字节
-12
→范畴论版本的Lawvere定理
当前
之前
2026年9月16日 (三) 20:02
Jake
讨论
贡献
7,992字节
+7,992
建立内容为“Lawvere不动点定理(也称为
Lawvere对角线定理
,1969年提出)是采用
范畴论
语言,统一刻画
对角线自指
与
不动点
现…”的新页面
导航菜单
个人工具
登录
名字空间
页面
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
集智百科
集智主页
集智斑图
集智学园
最近更改
所有页面
捐赠我们
帮助
工具
链入页面
相关更改
Atom
特殊页面
页面信息