Similar to ポストの定理
Smn定理
Smn theoremアッカーマン関数
Ackermann function解析的階層
Analytical hierarchy緩成長階層
Slow-growing hierarchyグジェゴルチク階層
Grzegorczyk hierarchyクリーネの再帰定理
Kleene's recursion theorem圧縮定理
Compression theoremAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)0
01
1▲9 trends2
23
34
45
56
67
78
89
912345679
計算可能性理論
Computability theoryELEMENTARY
Elementary recursive function帰納的集合
Computable set急成長階層
Fast-growing hierarchy極限計算可能関数
Computation in the limit計算可能解析学
Computable analysis計算可能数
Computable numberケーニヒの補題
Kőnig's lemma