您好，我无法证明这些组合子 SK = KI
带括号 [] 的步骤只是告诉您我正在执行的步骤。例如，λyz.xz(yz) 中的 [λxy.x / x] 表示我将用 (λxy.x) 替换表达式 λyz.xz(yz) 中的每个 x
到目前为止，我尝试的是减少 SK，我得到了这个：
S K
(λxyz.x z(y z)) (λxy.x)
[λxy.x / x] in λyz.x z(y z)
(λyz. (λxy.x) z(y z))
[z/x] in λy.x
(λyz. (λy.z) (y z))
[y/y] in λy.z
(λyz. z z)
然后减少KI，我得到了这个：
K I
(λxy.x) (λx.x)
[λx.x / x] in λy.x
λy. λx.x
虽然这两个答案似乎不等于我（λyz.zz）和λy。λx.x 有人可以向我解释我做错了什么吗？谢谢你。