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