Lambda微積分幫助

Question

所以我完全停留在這個問題的一部分。如果有人能夠幫助，這將是非常棒的.........

表明ZZ其中Z是λz.λx. x（z z x）滿足 對ZZM =βM（ZZM）的定點組合器的要求。

Answer 1

這是完全微不足道的。 你只適用β-減少的兩倍定義：

Z Z M = (λz.λx. x(z z x)) Z M > (λx. x(Z Z x)) M > M (Z Z M) 

其中>是β-減少。因此Z ZMβ-分兩步減少到M（Z Z M），因此Z Z M =βM（Z Z M）。