Similar to 実現可能性_(論理学)
実現可能性 (論理学)
Realizability
誤った数学的推論
Mathematical fallacy
QR分解
QR decomposition
アルファシェイプ
Alpha shape
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▲1 trends
9
9
12345679
構成主義 (数学)
Constructivism (philosophy of mathematics)
原始帰納的算術
Primitive recursive arithmetic
直観主義型理論
Intuitionistic type theory
ハイティング代数
Heyting algebra
証明論
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