Category:計算可能性理論
アッカーマン関数
Ackermann function停止性問題
Halting problem計算可能性理論
Computability theoryビジービーバー
Busy beaver計算可能数
Computable number帰納的集合
Computable setSmn定理
Smn theorem二重再帰法
Double recursionフリードバーグ・ナンバリング
Friedberg numberingグジェゴルチク階層
Grzegorczyk hierarchyハーディ階層
Hardy hierarchyコンプリート・ナンバリング
Complete numbering低基底定理
Low basis theorem極限計算可能関数
Computation in the limit実効ポーランド空間
Effective Polish space創造的集合と生産的集合
Creative and productive sets単純集合
Simple set帰納的分離不能対
Computably inseparableナンバリング (計算可能性理論)
Numbering (computability theory)ポストの定理
Post's theoremライス=シャピロの定理
Rice–Shapiro theorem▼-1 trendsELEMENTARY
ELEMENTARY緩成長階層
Slow-growing hierarchy計算可能解析学
Computable analysisケーニヒの補題
Kőnig's lemma急成長階層
Fast-growing hierarchy解析的階層
Analytical hierarchyクリーネの再帰定理
Kleene's recursion theorem