Church–Turing thesis
彼らの基本的な成果を通じて、チューリング計算可能性という概念が樹立された。これは計算の実効性という非形式的な概念に正しい形式化を与えるものである。そこからスティーヴン・クリーネ（1952年）は、「チャーチのテーゼ」（Kleene 1952:300）と「チューリングのテーゼ」（p.376）という2つの用語を作った。現在では、これらはしばしばチャーチ＝チューリングのテーゼという一つの仮説と看做されているが、これはアルゴリズムで計算可能な関数は如何なるものであろうと計算可能関数だ、と述べるものである。ゲーデルも、1946年には賛同を示した。