Similar to 停止性問題
計算等価性原理
A New Kind of Science#Principle of computational equivalence
計算複雑性理論
Computational complexity theory
計算モデル
Model of computation
計算論的神経科学
Computational neuroscience
計算論的哲学
Computational philosophyゲーデル数
Gödel numbering
決定問題
Decision problem原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)
コルモゴロフ複雑性
Kolmogorov complexity再帰
Recursion
自己言及
Self-reference
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
スーダン関数
Sudan function
漸化式
Recurrence relation
相互再帰
Mutual recursion
竹内関数
Tak (function)
チャイティンの定数
Chaitin's constant
チューリング完全
Turing completeness
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation
ビザンチン将軍問題
Byzantine fault
非同期セル・オートマトン
Asynchronous cellular automaton
不動点コンビネータ
Fixed-point combinator
前向き連鎖
Forward chaining
マルコフアルゴリズム
Markov algorithm