2

ラムダ式:λx.λy.x(xy)があり、その整数表現を推測することになっています。特に教会のエンコーディングと教会の数字についてたくさん読んだことがありますが、何の数字かわかりません。3 歳児が理解できるように説明してもらえますか、またはウィキペディアよりも優れたリソースを紹介してもらえますか?

4

1 に答える 1

1

整数のチャーチ エンコーディングは次のとおりです。

  • "0" ≡ (λf.(λx.x))(λf.(λx.x)):意味として考えてください: 関数fと要素が与えられた場合x、結果は次のようになります: 関数を にゼロ回x適用するようなものです。fx
  • "1" ≡ (λf.(λx.(fx))):(λf.(λx.(fx)))意味と考えてください: 関数fと要素が与えられた場合x、結果は: に適用されるか、より標準的な数学表記でf(x)(fx)のように考えられるべきです。fx
  • "2" ≡ (λf.(λx.(f(fx)))): 意味として考えてください:(λf.(λx.(f(fx))))関数fと要素が与えられた場合x、結果は(f(fx)): に適用されると考える必要fがx あります。
  • "3" ≡ (λf.(λx.(f(f(fx))))): 意味として考えてください(λf.(λx.(f(f(fx))))): 関数fと要素が与えられた場合x、結果は: これは3 回(f(f(fx)))に適用されるか、より標準的な数学表記法では f(f(f(x))) のように考えfられるべきです。x

パターン (および背後にあるロジック) を理解していただければ幸いです。あなたの場合、(λx.(λy.(x(xy))))番号のチャーチエンコーディングです2（もちろん、アルファ等価を使用します）。

ウィキの記事は実際には非常に明確です。わからないってどういうこと？

于 2016-01-28T15:47:05.867 に答える