ラムダ計算 メモ

・変数
・ラムダ抽象
・関数適用

だけで構成される計算模型を、ラムダ計算という。
これだけで数字や足し算など、自然数やその上の演算を定義できる

定義の方法　　チャーチ数

LISP、ML、Haskellなどの関数型プログラミング言語の理論的基盤。

どんなコンピューター上のプログラムも原理的に記述可能
ラムダ計算がチューリング完全だから。