Similar to 再帰理論
Smn定理
Smn theorem計算可能性理論
Computability theoryDPLLアルゴリズム
DPLL algorithmアルゴリズム
Algorithm宇宙 (数学)
Universe (mathematics)逆数学
Reverse mathematicsゲーデル数
Gödel numberingゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theoremsチューリング次数
Turing degreeΜ再帰関数
General recursive functionラムダ計算
Lambda calculusAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)チャーチ=チューリングのテーゼ
Church–Turing thesis0
01
1▼-1 trends2
23
34
45
56
67
78
89
912345679
180度パルス
90度パルス