john7rv

チャーチ数はラムダ式を使って自然数を表したものです。
ゼロ関数zと後続関数sを使って表します

0 = λsz.z
1 = λsz.sz
2 = λsz.s(sz)
3 = λsz.s(s(sz))

このsの数が数を表します
自然数の加算を表す場合は変数をxyzにして

plus = λxysz.xs(ysz)

とします

ラムダ計算論の目的は数学における計算可能なものを全てラムダ関数で表現することであり
自然数もラムダ関数で表します