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