1
教会の数字を含むラムダ計算の評価
教会の数字 がλs のように見えることを理解しています。λ Z 。s（... n回...）。何よりも「機能よりも、この手段適用されたファンクション回」。cんcnc_nλ sの。λ Z。sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssんnnzzz 関数の可能な定義は次のとおりです：。身体を見ると、その機能の背後にある論理がわかります。しかし、評価を開始すると、行き詰まります。例を挙げて説明します。TはiがmはE 、S = λ M 。λ nは。λ sの。メートルトンの私のメートルe stimes\mathtt{times}トンの私のメートルE S =λM。λnは。λsの。メートル（ns ）times=λm.λn.λs.m(ns)\mathtt{times} = \lambda m. \lambda n. \lambda s. m \; (n\; s) （λ M 。λ N 。λ S 。M（nS ））（λ S 。λ Z。ssz）（λ S 。λ …