Similar to 四値論理
形式論理学
Formal logic証明 (数学)
Mathematical proof反例
Counterexample量子論理
Quantum logicアッカーマン関数
Ackermann functionアリティ
Arity1+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
Hundredth0
0▼-1 trends1
1▲5 trends2
23
34
45
56
67
78
89
91048576
12345679
論理学
LogicColorless green ideas sleep furiously
Colorless green ideas sleep furiouslyTwo wrongs don't make a right
Two wrongs don't make a rightイェール射撃問題
Yale shooting problem意味論 (論理学)
Semantics