関数が計算可能であるとはどういうことか？
非公式には関数の値が計算できれば計算可能であるが、アラン・チューリング、アロンゾ・チャーチ、クルト・ゲーデルはそれぞれ、チューリングマシン、ラムダ計算、一般再帰関数という計算可能性の正式な定義をしていたでござる。  チャーチ・チューリング論文で、この3つの定式化が等価であることが示されると、計算可能性の正式な定義として使用できることがより明確になったのであるでござる。