Similar to クヌース・ベンディックス完備化アルゴリズム
アルゴリズム
Algorithm▲1 trendsゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trends数理論理学
Mathematical logicDPLLアルゴリズム
DPLL algorithmギルモアのアルゴリズム
P進タイヒミュラー理論
P-adic Teichmüller theoryアーベル-ルフィニの定理
Abel–Ruffini theoremQ超幾何級数
Basic hypergeometric series計算理論
Theory of computationレーベンシュタイン距離
Levenshtein distanceM系列
Maximum length sequenceカリー=ハワード同型対応
Curry–Howard correspondenceクヌース賞
Knuth Prizeゲーム意味論
Game semantics再帰的定義
Recursive definition数学基礎論
Foundations of mathematics制約論理プログラミング
Constraint logic programming不動点コンビネータ
Fixed-point combinator並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programmingMizar
Mizar systemラムダ計算
Lambda calculus論理プログラミング
Logic programmingSmn定理
Smn theoremエルブランの定理
Herbrand's theoremグッドスタインの定理
Goodstein's theoremゲーデルの完全性定理
Gödel's completeness theoremタルスキの定義不可能性定理
Tarski's undefinability theorem