Category:計算理論
ハイパーコンピュータ
Hypercomputation
不動点コンビネータ
Fixed-point combinator
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
計算可能数
Computable number
計算論的神経科学
Computational neuroscience
数学基礎論
Foundations of mathematics
計算モデル
Model of computation
計算理論
Theory of computation
自己言及
Self-reference
コルモゴロフ複雑性
Kolmogorov complexity
竹内関数
Tak (function)
ノモグラム
Nomogram
ビザンチン将軍問題
Byzantine fault
アッカーマン関数
Ackermann function
計算複雑性理論
Computational complexity theory
漸化式
Recurrence relation一階述語論理
First-order logic
チューリング完全
Turing completeness再帰
Recursion