アロンゾ・チャーチ
再帰理論（計算可能性理論とも呼ばれる）は計算可能関数とチューリング次数（これは計算不可能関数を同じレベルの計算不可能性を持つ集合に分ける）の性質を研究する。再帰理論はまた一般計算可能性と定義可能性の研究を含む。再帰理論はアロンゾ・チャーチとアラン・チューリングによる1930年代の仕事（これはクリーネとポストによって1940年代に大きく拡張された）から生まれた。