Category:計算理論
一階述語論理
First-order logic
数学基礎論
Foundations of mathematics
アッカーマン関数
Ackermann function
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
竹内関数
Tak (function)
計算可能関数
Computable functionゲーデル数
Gödel numbering
ワンのタイル
Wang tile
領域理論
Domain theory
計算可能数
Computable number
項書き換え
Rewriting
型付きラムダ計算
Typed lambda calculus
合流性
Confluence (abstract rewriting)
チャイティンの定数
Chaitin's constant文字列書き換え系
Semi-Thue system
ノモグラム
Nomogram
帰納的可算言語
Recursively enumerable language
前向き連鎖
Forward chaining
相互再帰
Mutual recursion
計算論的哲学
Computational philosophy
計算等価性原理
A New Kind of Science#Principle of computational equivalence
帰納言語
Recursive language後向き連鎖
Backward chaining
オートマトン
Automata theory
計算モデル
Model of computation
コルモゴロフ複雑性
Kolmogorov complexity
Μ再帰関数
General recursive function