Similar to ワンのタイル
ゲーデル数
Gödel numbering
決定問題
Decision problem原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)再帰
Recursion
自己言及
Self-reference
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
スーダン関数
Sudan function
漸化式
Recurrence relation
相互再帰
Mutual recursion
竹内関数
Tak (function)
停止性問題
Halting problem
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation
ビザンチン将軍問題
Byzantine fault
ビジービーバー
Busy beaver
非同期セル・オートマトン
Asynchronous cellular automaton
不動点コンビネータ
Fixed-point combinator
前向き連鎖
Forward chaining
マルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system
領域理論
Domain theory
数学のエポニムの一覧
アーベルの定理
アインシュタインの定数
Einstein's constant
アルティン予想