Category:計算理論
帰納的可算言語
Recursively enumerable language
項書き換え
Rewriting
チャーチ＝チューリングのテーゼ
Church–Turing thesis
帰納的可算集合
Computably enumerable set
Μ再帰関数
General recursive function
相互再帰
Mutual recursionゲーデル数
Gödel numbering
チャイティンの定数
Chaitin's constant
停止性問題
Halting problem
帰納言語
Recursive language
計算論的哲学
Computational philosophy文字列書き換え系
Semi-Thue system
述語論理
Predicate logic
マルコフアルゴリズム
Markov algorithm
ハイパーコンピュータ
Hypercomputation
計算可能関数
Computable function
前向き連鎖
Forward chaining
合流性
Confluence (abstract rewriting)
非同期セル・オートマトン
Asynchronous cellular automaton後向き連鎖
Backward chaining
計算等価性原理
A New Kind of Science#Principle of computational equivalence
型付きラムダ計算
Typed lambda calculus
自己言及
Self-reference
スーダン関数
Sudan function
計算論的神経科学
Computational neuroscience
決定問題
Decision problem
数学基礎論
Foundations of mathematics
ワンのタイル
Wang tile