Similar to 実現可能性_(論理学)
誤った数学的推論
Mathematical fallacy
実現可能性 (論理学)
Realizability
BFGS法
Broyden–Fletcher–Goldfarb–Shanno algorithmL-BFGS法
Limited-memory BFGS
QR分解
QR decomposition
アルファシェイプ
Alpha shape
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
証明論
Proof theory
カット除去定理
Cut-elimination theorem
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
自然演繹
Natural deduction
証明可能性論理
Provability logic
初等関数算術
Elementary function arithmetic