Category:計算理論
コルモゴロフ複雑性
Kolmogorov complexityビジービーバー
Busy beaver漸化式
Recurrence relationチャーチ=チューリングのテーゼ
Church–Turing thesisΜ再帰関数
General recursive function不動点コンビネータ
Fixed-point combinator一階述語論理
First-order logicチャイティンの定数
Chaitin's constant竹内関数
Tak (function)計算可能関数
Computable function計算モデル
Model of computationゲーデル数
Gödel numbering自己言及
Self-reference型付きラムダ計算
Typed lambda calculus計算論的神経科学
Computational neuroscience計算理論
Theory of computationマルコフアルゴリズム
Markov algorithm停止性問題
Halting problem文字列書き換え系
Semi-Thue system帰納言語
Recursive language後向き連鎖
Backward chaining相互再帰
Mutual recursionノモグラム
Nomogram述語論理
Predicate logic合流性
Confluence (abstract rewriting)計算等価性原理
A New Kind of Science#Principle of computational equivalenceスーダン関数
Sudan function非同期セル・オートマトン
Asynchronous cellular automaton