1.3 KiB
1.3 KiB
title, type, tags
| title | type | tags |
|---|---|---|
| Y-Combinator | concept |
Definition
Y组合子（Y-Combinator）是 λ-calculus 中的不动点组合子，用于在无名字 λ-calculus 中表达递归函数。其标准定义为：
Y \equiv \lambda f.(\lambda x.f(x,x))(\lambda x.f(x,x))
Role in Recursive Self-Optimizing Systems
在递归自我优化框架中，Y 组合子用于表达稳定生成器 G^* 的自引用不动点方程：
定义单步更新函数：
\text{STEP} \equiv \lambda G.\; (M\;G)\big((O\;(G\;I));\Omega\big)
稳定生成器通过不动点组合子获得：
G^* \equiv Y\;\text{STEP}
展开验证不动点性质：
Y\;\text{STEP} = (\lambda x.\text{STEP}(x,x))(Y\;\text{STEP}) = \text{STEP}(Y\;\text{STEP}) = \text{STEP}(G^*)
这精确表达了"生成器的输出就是它自身的输入"这一自引用性质。
Key Insight
Y 组合子将递归的语义（"调用自身"）转化为组合子的语法（无自由变量的 λ-项），从而在纯数学结构中捕捉了自我改进系统的本质。
Sources
Connections
- Self-Referential Computation ← implemented_by ← Y-Combinator
- Fixed-Point Semantics ← computes ← Y-Combinator