Category:計算理論
チューリング完全
Turing completeness
アッカーマン関数
Ackermann function
自己言及
Self-reference
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC再帰
Recursion
計算複雑性理論
Computational complexity theory一階述語論理
First-order logic
停止性問題
Halting problem
項書き換え
Rewriting
ノモグラム
Nomogram
チャイティンの定数
Chaitin's constant
帰納的可算言語
Recursively enumerable language
型付きラムダ計算
Typed lambda calculus
計算可能数
Computable number
数学基礎論
Foundations of mathematics
計算理論
Theory of computation
帰納的可算集合
Computably enumerable set
計算論的神経科学
Computational neuroscience
相互再帰
Mutual recursion
領域理論
Domain theory
合流性
Confluence (abstract rewriting)
ワンのタイル
Wang tile
帰納言語
Recursive language
非同期セル・オートマトン
Asynchronous cellular automaton
漸化式
Recurrence relation
計算等価性原理
A New Kind of Science#Principle of computational equivalence文字列書き換え系
Semi-Thue system
計算論的哲学
Computational philosophy