Category:計算理論
ビザンチン将軍問題
Byzantine fault一階述語論理
First-order logic再帰
Recursion
チューリング完全
Turing completeness
漸化式
Recurrence relation
コルモゴロフ複雑性
Kolmogorov complexity
自己言及
Self-reference
帰納的可算集合
Computably enumerable set
停止性問題
Halting problemゲーデル数
Gödel numbering
計算複雑性理論
Computational complexity theory
チャーチ＝チューリングのテーゼ
Church–Turing thesis原始再帰関数
Primitive recursive function
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
帰納的可算言語
Recursively enumerable language
決定問題
Decision problem
アッカーマン関数
Ackermann function
数学基礎論
Foundations of mathematics
計算モデル
Model of computation
ノモグラム
Nomogram
ワンのタイル
Wang tile
帰納言語
Recursive language
オートマトン
Automata theory
Μ再帰関数
General recursive function
ハイパーコンピュータ
Hypercomputation
計算論的神経科学
Computational neuroscience
ビジービーバー
Busy beaver
相互再帰
Mutual recursion