Similar to 帰納的可算言語
ノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine faultビジービーバー
Busy beaver非同期セル・オートマトン
Asynchronous cellular automaton前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tile数理論理学
Mathematical logic一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
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逆数学
Reverse mathematics吸収法則
Absorption law強制法
Forcing (mathematics)