Similar to 計算論的哲学
決定問題
Decision problem原始再帰関数
Primitive recursive function項書き換え
Rewriting合流性
Confluence (abstract rewriting)コルモゴロフ複雑性
Kolmogorov complexity再帰
Recursion▲1 trends自己言及
Self-reference述語論理
Predicate logicスーダン関数
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前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tileTemplate:科学哲学
Template:Philosophy of scienceアクターネットワーク理論
Actor–network theory