Similar to クリーネの再帰定理
アルティン相互法則
Artin reciprocityクリーネ閉包
Kleene starAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)CFL条件
Courant–Friedrichs–Lewy condition0
0▼-2 trends1
12
2▼-1 trends3
34
45
56
67
78
89
912345679
計算可能性理論
Computability theoryELEMENTARY
Elementary recursive function解析的階層
Analytical hierarchy緩成長階層
Slow-growing hierarchy帰納的集合
Computable set急成長階層
Fast-growing hierarchy極限計算可能関数
Computation in the limit計算可能解析学
Computable analysis計算可能数
Computable numberケーニヒの補題
Kőnig's lemmaコンプリート・ナンバリング
Complete numbering帰納的分離不能対
Computably inseparable