Category:計算理論
一階述語論理
First-order logic停止性問題
Halting problemオートマトン
Automata theoryチューリング完全
Turing completenessアッカーマン関数
Ackermann function数学基礎論
Foundations of mathematics再帰
Recursion述語論理
Predicate logicビザンチン将軍問題
Byzantine fault竹内関数
Tak (function)計算複雑性理論
Computational complexity theoryチャーチ=チューリングのテーゼ
Church–Turing thesis計算理論
Theory of computation原始再帰関数
Primitive recursive function計算モデル
Model of computation計算可能関数
Computable function型付きラムダ計算
Typed lambda calculusEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVACΜ再帰関数
General recursive function漸化式
Recurrence relationハイパーコンピュータ
Hypercomputation計算論的神経科学
Computational neuroscience決定問題
Decision problem後向き連鎖
Backward chaining計算可能数
Computable number自己言及
Self-reference項書き換え
Rewriting帰納言語
Recursive language