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