Category:計算理論
一階述語論理
First-order logicチューリング完全
Turing completenessアッカーマン関数
Ackermann functionオートマトン
Automata theory停止性問題
Halting problem述語論理
Predicate logicビザンチン将軍問題
Byzantine fault数学基礎論
Foundations of mathematics計算複雑性理論
Computational complexity theory竹内関数
Tak (function)チャーチ=チューリングのテーゼ
Church–Turing thesis原始再帰関数
Primitive recursive function計算理論
Theory of computationEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVACハイパーコンピュータ
Hypercomputation計算モデル
Model of computation型付きラムダ計算
Typed lambda calculus計算可能関数
Computable function決定問題
Decision problemΜ再帰関数
General recursive function計算論的神経科学
Computational neuroscience計算可能数
Computable number帰納言語
Recursive language不動点コンビネータ
Fixed-point combinator項書き換え
Rewriting非同期セル・オートマトン
Asynchronous cellular automaton計算等価性原理
A New Kind of Science#Principle of computational equivalenceスーダン関数
Sudan function