更改

跳到导航跳到搜索

递归定理 (查看源代码)

2026年9月16日 (三) 19:22的版本

添加44字节、 2026年9月16日 (星期三)

→‎函数版本的Lawvere定理

第472行：第472行：

:<math>\alpha(g(y)) = \alpha(f(y,y)) = g(y)</math>

:<math>\alpha(g(y)) = \alpha(f(y,y)) = g(y)</math>

+

取<math>t=g(y)</math>即得到不动点。

=====范畴论版本的Lawvere定理=====

=====范畴论版本的Lawvere定理=====

行政员、界面管理员、管理员

3,094

个编辑

取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51272”