Similar to 計算論的哲学
相互再帰
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科学基礎論学会
科学的コンセンサス
Scientific consensus科学的方法
Scientific method科学理論
Scientific theory機能的文脈主義
Functional contextualism巨人の肩の上
Standing on the shoulders of giants決定不全
Underdetermination検証可能性 (科学哲学)
Testability行為の哲学
Action theory (philosophy)作業仮説
Working hypothesis