Similar to 数学基礎論
計算モデル
Model of computation
計算論的神経科学
Computational neuroscience
コルモゴロフ複雑性
Kolmogorov complexity
自己言及
Self-reference
スーダン関数
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
計算機科学
Computer science
Avida
Avida (software)
アグノスティック (情報工学)
Agnostic (data)アソシアトロン
AP コンピューターサイエンス
AP Computer Science
アルス・エレクトロニカ
Ars Electronica