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