Category:計算理論
停止性問題
Halting problem
オートマトン
Automata theory
チャーチ＝チューリングのテーゼ
Church–Turing thesis一階述語論理
First-order logic
述語論理
Predicate logic
アッカーマン関数
Ackermann function原始再帰関数
Primitive recursive function
ビジービーバー
Busy beaver
決定問題
Decision problem
ビザンチン将軍問題
Byzantine fault
数学基礎論
Foundations of mathematics
Μ再帰関数
General recursive function
不動点コンビネータ
Fixed-point combinator
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
ハイパーコンピュータ
Hypercomputationゲーデル数
Gödel numbering
ワンのタイル
Wang tile
スーダン関数
Sudan function
チャイティンの定数
Chaitin's constant
非同期セル・オートマトン
Asynchronous cellular automaton
マルコフアルゴリズム
Markov algorithm
合流性
Confluence (abstract rewriting)
帰納言語
Recursive language
領域理論
Domain theory
計算論的哲学
Computational philosophy
文字列書き換え系
Semi-Thue system
前向き連鎖
Forward chaining
計算モデル
Model of computation