Similar to 停止性問題
竹内関数
Tak (function)チャイティンの定数
Chaitin's constantチューリング完全
Turing completenessノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine fault非同期セル・オートマトン
Asynchronous cellular automaton不動点コンビネータ
Fixed-point combinator前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tile計算可能性理論
Computability theoryELEMENTARY
ELEMENTARY解析的階層
Analytical hierarchy緩成長階層
Slow-growing hierarchy帰納的集合
Computable set急成長階層
Fast-growing hierarchy極限計算可能関数
Computation in the limitグジェゴルチク階層
Grzegorczyk hierarchyクリーネの再帰定理
Kleene's recursion theorem計算可能解析学
Computable analysisケーニヒの補題
Kőnig's lemmaコンプリート・ナンバリング
Complete numbering帰納的分離不能対
Computably inseparable実効ポーランド空間
Effective Polish space創造的集合と生産的集合
Creative and productive sets