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