Similar to 再帰理論
Smn定理
Smn theorem
計算可能性理論
Computability theory
DPLLアルゴリズム
DPLL algorithm
アルゴリズム
Algorithm▲1 trends
宇宙 (数学)
Universe (mathematics)
逆数学
Reverse mathematicsゲーデル数
Gödel numbering
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
チューリング次数
Turing degree
Μ再帰関数
General recursive functionラムダ計算
Lambda calculus▲1 trends
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
チャーチ＝チューリングのテーゼ
Church–Turing thesis
0
0▼-1 trends
1
1
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9▼-1 trends
12345679
180度パルス
19式装輪自走155mmりゅう弾砲
Type 19 155 mm wheeled self-propelled howitzer▼-4 trends