こんにちは、これらのコンビネータ SK = KI の証明に問題があります
括弧 [] で囲まれた手順は、私が行っている手順を示しているだけです。たとえば、[λxy.x / x] in λyz.xz(yz) は、式 λyz.xz(yz) のすべての x を (λxy.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
2 つの答えは、私 (λyz.zz) と λy に等しくないように見えますが。λx.x 誰か私が何を間違えたのか説明してくれませんか? ありがとうございました。