Category:計算理論
不動点コンビネータ
Fixed-point combinatorゲーデル数
Gödel numbering
計算モデル
Model of computation
チャーチ＝チューリングのテーゼ
Church–Turing thesis
計算可能数
Computable number
アッカーマン関数
Ackermann function
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
チャイティンの定数
Chaitin's constant
型付きラムダ計算
Typed lambda calculus
計算論的神経科学
Computational neuroscience
帰納的可算集合
Computably enumerable set
計算可能関数
Computable function
述語論理
Predicate logic再帰
Recursion
オートマトン
Automata theory
停止性問題
Halting problem
コルモゴロフ複雑性
Kolmogorov complexity
チューリング完全
Turing completeness一階述語論理
First-order logic