Category:計算理論
数学基礎論
Foundations of mathematics
アッカーマン関数
Ackermann function
漸化式
Recurrence relation一階述語論理
First-order logic
コルモゴロフ複雑性
Kolmogorov complexity
自己言及
Self-reference
計算理論
Theory of computation
相互再帰
Mutual recursion
文字列書き換え系
Semi-Thue system
ワンのタイル
Wang tile原始再帰関数
Primitive recursive function
前向き連鎖
Forward chainingゲーデル数
Gödel numbering
スーダン関数
Sudan function
帰納言語
Recursive language後向き連鎖
Backward chaining
非同期セル・オートマトン
Asynchronous cellular automaton
合流性
Confluence (abstract rewriting)
帰納的可算言語
Recursively enumerable language
計算論的哲学
Computational philosophy
計算等価性原理
A New Kind of Science#Principle of computational equivalence
ハイパーコンピュータ
Hypercomputation
計算可能関数
Computable function
計算可能数
Computable number
帰納的可算集合
Computably enumerable set
決定問題
Decision problem
述語論理
Predicate logic項書き換え
Rewriting