Category:計算理論
ゲーデル数
Gödel numbering▲1 trends
ビザンチン将軍問題
Byzantine fault
停止性問題
Halting problem
計算複雑性理論
Computational complexity theory
オートマトン
Automata theory
漸化式
Recurrence relation
計算可能数
Computable number
竹内関数
Tak (function)
数学基礎論
Foundations of mathematics
自己言及
Self-reference原始再帰関数
Primitive recursive function
非同期セル・オートマトン
Asynchronous cellular automaton
チャイティンの定数
Chaitin's constant
ハイパーコンピュータ
Hypercomputation
帰納的可算集合
Computably enumerable set
合流性
Confluence (abstract rewriting)
計算可能関数
Computable function
領域理論
Domain theory
相互再帰
Mutual recursion
ワンのタイル
Wang tile
計算モデル
Model of computation
決定問題
Decision problem
計算論的哲学
Computational philosophy
文字列書き換え系
Semi-Thue system
後向き連鎖
Backward chaining
計算等価性原理
A New Kind of Science#Principle of computational equivalence項書き換え
Rewriting
スーダン関数
Sudan function