Similar to 計算論的哲学
再帰
Recursion
自己言及
Self-reference
述語論理
Predicate logic
スーダン関数
Sudan function
漸化式
Recurrence relation
相互再帰
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 tile
Template:科学哲学
Template:Philosophy of science
アクターネットワーク理論
Actor–network theory
科学基礎論学会
科学的コンセンサス
Scientific consensus
科学的方法
Scientific method
機能的文脈主義
Functional contextualism
巨人の肩の上
Standing on the shoulders of giants