納得いかねぇ
居酒屋に何人か客が入っているとしよう。このとき、「その人が酒を飲んでいるなら他の客もみんな酒を飲んでいる」ような客が必ずいる。あるいは:
∃x : 客. (飲んでいる(x) ⇒ ∀y : 客. 飲んでいる(y))
Smullyan's drinkers' paradox というらしい。知らなかった。あとずっと見てたら客がゲシュタルト崩壊した。なんだこの字。
居酒屋に何人か客が入っているとしよう。このとき、「その人が酒を飲んでいるなら他の客もみんな酒を飲んでいる」ような客が必ずいる。あるいは:
∃x : 客. (飲んでいる(x) ⇒ ∀y : 客. 飲んでいる(y))
Smullyan's drinkers' paradox というらしい。知らなかった。あとずっと見てたら客がゲシュタルト崩壊した。なんだこの字。