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▲1 trends相互再帰
Mutual recursion竹内関数
Tak (function)チャイティンの定数
Chaitin's constantチャーチ=チューリングのテーゼ
Church–Turing thesisチューリング完全
Turing completeness停止性問題
Halting problemノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine faultビジービーバー
Busy beaver非同期セル・オートマトン
Asynchronous cellular automaton