Category:計算理論
ビジービーバー
Busy beaver▲1 trends漸化式
Recurrence relation再帰
Recursionチューリング完全
Turing completenessオートマトン
Automata theoryビザンチン将軍問題
Byzantine faultチャーチ=チューリングのテーゼ
Church–Turing thesisアッカーマン関数
Ackermann function計算可能関数
Computable function不動点コンビネータ
Fixed-point combinator一階述語論理
First-order logicノモグラム
Nomogram述語論理
Predicate logic原始再帰関数
Primitive recursive function停止性問題
Halting problem自己言及
Self-reference項書き換え
Rewriting竹内関数
Tak (function)ゲーデル数
Gödel numberingハイパーコンピュータ
Hypercomputation計算複雑性理論
Computational complexity theory領域理論
Domain theory計算モデル
Model of computation型付きラムダ計算
Typed lambda calculusEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVACマルコフアルゴリズム
Markov algorithm計算可能数
Computable number合流性
Confluence (abstract rewriting)