Category:計算理論
チューリング完全
Turing completenessアッカーマン関数
Ackermann function自己言及
Self-referenceEDVACに関する報告書の第一草稿
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