チャーチ数 0 1 2 3 4 5 ... 僕等が普段接している世界は自然数の世界だ。 0 0に1を足して1 0に1を足して1を足して2 0に1を足して1を足して1を足して3ラムダ計算を生み出したチャーチは、自然数の世界を抽象的に捉えた。 xはzero xにfをしてone xにfをしてfをしてtwo xにfをしてfをしてfをしてthreeschemeに直すとこうだ。 (define zero (lambda (f) (lambda (x) x))) (define one (lambda (f) (lambda (x) (f x)))) (define two (lambda (f) (lambda (x) (f (f x))))) (define three (lambda (f) (lambda (x) (f (f (f x)))))) xにfを何回適用したか。というのがチャーチ数であ