Similar to カリー＝ハワード同型対応
6
6
7
7
8
8
9
9▼-1 trends
1349
1349 (band)
12345679
証明論
Proof theory
カット除去定理
Cut-elimination theorem
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
自然演繹
Natural deduction
実現可能性 (論理学)
Realizability
証明可能性論理
Provability logic
初等関数算術
Elementary function arithmetic
チャーチ・クリーネ順序数
Nonrecursive ordinal
独立性 (数理論理学)
Independence (mathematical logic)
二重否定翻訳
Double-negation translation
保存拡大
Conservative extension
計算機科学哲学
Philosophy of computer science
チャーチ＝チューリングのテーゼ
Church–Turing thesis
理論計算機科学
Theoretical computer scienceアルファベット (計算機科学)
Alphabet (formal languages)
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
計算木論理
Computation tree logic