雑誌読んだり、ちょっと掃除したり。

404 Blog Not Found:TuringとChurchの狭間で で少しすっきりしたので、分かったところまでメモ。 0 := λ f x . x 1 := λ f x . f x 2 := λ f x . f f x 自然数 の場合を自分用に噛み砕いて。 自然数 は、2 変数関数である。 関数 の第一引数は、関数である。…