Similar to 帰納言語
チャーチ＝チューリングのテーゼ
Church–Turing thesis
チューリング完全
Turing completeness
停止性問題
Halting problem
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation
ビザンチン将軍問題
Byzantine fault
ビジービーバー
Busy beaver
非同期セル・オートマトン
Asynchronous cellular automaton
前向き連鎖
Forward chaining
マルコフアルゴリズム
Markov algorithm
文字列書き換え系
Semi-Thue system
領域理論
Domain theory
ワンのタイル
Wang tile
数理論理学
Mathematical logic
一般と特殊 (数学)
Special case
意味論 (論理学)
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)
カントールの往復論法
Back-and-forth method
記述計算量
Descriptive complexity theory
逆関係
Converse relation