Category:計算理論
停止性問題
Halting problem
ワンのタイル
Wang tile
ビジービーバー
Busy beaver
自己言及
Self-reference原始再帰関数
Primitive recursive function
チャーチ＝チューリングのテーゼ
Church–Turing thesis
ハイパーコンピュータ
Hypercomputation
計算等価性原理
A New Kind of Science#Principle of computational equivalence
文字列書き換え系
Semi-Thue system
合流性
Confluence (abstract rewriting)
前向き連鎖
Forward chaining
相互再帰
Mutual recursion
帰納言語
Recursive language
計算論的哲学
Computational philosophy
スーダン関数
Sudan function
非同期セル・オートマトン
Asynchronous cellular automaton
帰納的可算言語
Recursively enumerable language後向き連鎖
Backward chaining
計算モデル
Model of computation
数学基礎論
Foundations of mathematics
決定問題
Decision problem
コルモゴロフ複雑性
Kolmogorov complexity項書き換え
Rewriting
領域理論
Domain theory
ビザンチン将軍問題
Byzantine fault
型付きラムダ計算
Typed lambda calculus
帰納的可算集合
Computably enumerable set
計算可能数
Computable number