Category:計算可能性理論
停止性問題
Halting problemアッカーマン関数
Ackermann functionビジービーバー
Busy beaver計算可能性理論
Computability theory計算可能解析学
Computable analysisポストの定理
Post's theoremグジェゴルチク階層
Grzegorczyk hierarchy二重再帰法
Double recursionフリードバーグ・ナンバリング
Friedberg numberingELEMENTARY
Elementary recursive functionケーニヒの補題
Kőnig's lemma緩成長階層
Slow-growing hierarchy急成長階層
Fast-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)ハーディ階層
Hardy hierarchyライス=シャピロの定理
Rice–Shapiro theorem計算可能数
Computable number帰納的集合
Computable setSmn定理
Smn theorem解析的階層
Analytical hierarchyクリーネの再帰定理
Kleene's recursion theorem