チャーチ＝チューリングのテーゼ
アロンゾ・チャーチはラムダ計算を提案した。チューリングマシンは有限オートマトンと無限の長さがあるテープ（理論で扱う上では）を使う。これらのような、計算を形式化したものを計算モデルと言う。理論的にはラムダ計算もチューリングマシンも他の多くの計算モデルも、何が「計算可能」であるかという点では同等の能力を持つことが証明されていて、これらの計算モデルで計算可能であるということを、「計算可能」ということの定義としよう、という定立がチャーチ＝チューリングのテーゼである。