Similar to 解析的階層
Smn定理
Smn theorem
アッカーマン関数
Ackermann function
ELEMENTARY
Elementary recursive function
緩成長階層
Slow-growing hierarchyグジェゴルチク階層
Grzegorczyk hierarchy
ポストの定理
Post's theorem
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
12345679
実効記述集合論
Effective descriptive set theory
計算可能性理論
Computability theory
帰納的集合
Computable set急成長階層
Fast-growing hierarchy
極限計算可能関数
Computation in the limitクリーネの再帰定理
Kleene's recursion theorem
計算可能解析学
Computable analysis計算可能数
Computable number
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable