Similar to 背理法
対偶論法
Proof by contrapositive
反例
Counterexample
アッカーマン関数
Ackermann function
アリティ
Arity
証明 (数学)
Mathematical proof
二重否定の除去
PCP (計算複雑性理論)
Probabilistically checkable proof
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
0
01
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
1048576
1048576
12345679
カントールの対角線論法
Cantor's diagonal argument
帰謬法 (修辞学)
Reductio ad absurdum
自然演繹
Natural deduction
タブローの方法
Method of analytic tableaux