Similar to 計算論的哲学
竹内関数
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スイスチーズモデル
Swiss cheese model