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