手动更新

wiki/concepts/Y-Combinator.md

@@ -0,0 +1,33 @@
+---
+title: "Y-Combinator"
+type: concept
+tags: []
+---
+
+## 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
+- [[a-formalization-of-recursive-self-optimizing-generative-systems]]
+
+## Connections
+- [[Self-Referential Computation]] ← implemented_by ← [[Y-Combinator]]
+- [[Fixed-Point Semantics]] ← computes ← [[Y-Combinator]]