アロンゾ・チャーチ
アロンゾ・チャーチとアラン・チューリングは計算可能性の形式的なモデルを提議し、1936年および1937年にそれぞれ独自にヒルベルトの「決定問題」を否定的に解決した。「決定問題」とは、任意の形式的・数学的言明が与えられたときにその言明の真偽をアルゴリズム的に決定できる手順を探求するものである。チャーチとチューリングはそのような手順が存在しないことを証明した; チューリングの論文ではアルゴリズム的な解決が存在しない数学的問題の重要な例として停止性問題が挙げられている。