Similar to 誤った数学的推論
数学的なジョーク
Mathematical joke3人の子供の年齢のパズル
Ages of Three Children puzzle4つの4
Four fours0
0▼-1 trends1
1▲2 trends2
23
34
4▲1 trends5
56
6▲1 trends7
78
8▲1 trends9
912345679
証明論
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実現可能性 (論理学)
Realizability証明可能性論理
Provability logic初等関数算術
Elementary function arithmeticチャーチ・クリーネ順序数
Nonrecursive ordinal二重否定翻訳
Double-negation translation