Similar to Smn定理
計算可能性理論
Computability theoryアッカーマン関数
Ackermann functionクリーネの再帰定理
Kleene's recursion theorem単純集合
Simple setDPLLアルゴリズム
DPLL algorithmアルゴリズム
Algorithm▼-1 trends再帰理論
Μ再帰関数
General recursive functionラムダ計算
Lambda calculusAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)0
01
12
23
34
45
56
67
78
8▼-1 trends9
912345679
ライスの定理
Rice's theoremELEMENTARY
Elementary recursive function解析的階層
Analytical hierarchy緩成長階層
Slow-growing hierarchy帰納的集合
Computable set急成長階層
Fast-growing hierarchy