アロンゾ・チャーチ
再帰理論は、1930年代のクルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリング、スティーヴン・コール・クリーネ、エミール・ポストらの研究に端を発している。