3,094
个编辑
更改
跳到导航
跳到搜索
第448行：
第448行： − + − '''Lawvere不动点定理'''（也称为Lawvere对角线定理，1969年提出）是范畴论中统一刻画对角线自指与不动点现象的基础定理。它表明，只要一个笛卡尔闭范畴中存在对函数族的通用编码机制，那么输出对象上的所有自变换都必然存在不动点。+
→Lawvere不动点定理（笛卡尔闭范畴版本）
注：'''Gödel 不动点引理本身是 SRT 最干净、最纯粹的推论'''（既可以把 SRT 当证明工具来证它，也可以两边都用"自指 + 对角线"的同源手法独立证明）。它和 SRT 的关系是"同源、互为推论"；但 [[Gödel 不完备定理]] 与 SRT 的关系则另当别论，见 [[#哥德尔第一不完备定理（1931）|§5.7.4]] 的"双重身份"分析。
注：'''Gödel 不动点引理本身是 SRT 最干净、最纯粹的推论'''（既可以把 SRT 当证明工具来证它，也可以两边都用"自指 + 对角线"的同源手法独立证明）。它和 SRT 的关系是"同源、互为推论"；但 [[Gödel 不完备定理]] 与 SRT 的关系则另当别论，见 [[#哥德尔第一不完备定理（1931）|§5.7.4]] 的"双重身份"分析。
==== Lawvere不动点定理（笛卡尔闭范畴版本） ====
====Lawvere不动点定理====
[[Lawvere不动点定理]]（也称为[[Lawvere对角线定理]]，1969年提出）是范畴论中统一刻画对角线自指与不动点现象的基础定理。它表明，只要一个笛卡尔闭范畴中存在对函数族的通用编码机制，那么输出对象上的所有自变换都必然存在不动点。
===== 定理陈述 =====
===== 定理陈述 =====