Category:計算理論
アッカーマン関数
Ackermann function
チューリング完全
Turing completeness
オートマトン
Automata theory
計算複雑性理論
Computational complexity theory
ビザンチン将軍問題
Byzantine fault
漸化式
Recurrence relation
チャイティンの定数
Chaitin's constant
コルモゴロフ複雑性
Kolmogorov complexity
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
ビジービーバー
Busy beaver
決定問題
Decision problem原始再帰関数
Primitive recursive function
ハイパーコンピュータ
Hypercomputation
自己言及
Self-reference
数学基礎論
Foundations of mathematics
停止性問題
Halting problem
述語論理
Predicate logic
型付きラムダ計算
Typed lambda calculus
合流性
Confluence (abstract rewriting)
不動点コンビネータ
Fixed-point combinator
文字列書き換え系
Semi-Thue system
ワンのタイル
Wang tile
帰納的可算言語
Recursively enumerable language
計算論的哲学
Computational philosophy
後向き連鎖
Backward chaining
計算可能数
Computable number
チャーチ＝チューリングのテーゼ
Church–Turing thesis
計算論的神経科学
Computational neuroscience