10/06/20 14:40:12 SKrS5SG7
悪魔の証明
悪魔の証明とは、「ある事実・現象が『全くない(なかった)』」というような、それを証明することが非常に困難な命題を証明すること。
例えば「アイルランドに蛇はいる」ということを証明するとしたら、アイルランドで蛇を一匹捕まえて来ればよいが、
「アイルランドに蛇はいない」ということの証明はアイルランド全土を探査しなくてはならないので非常に困難、事実上不可能であるというような場合、これを悪魔の証明という。
注意点
「『全くない』ことを証明するのは不可能に近い」のであって、「『全くない』のは確実である」という意味ではない。
また、「ある一連の事実が『全て本当にあった』」ことを証明することも、言い換えれば「その一連の事実に『嘘は全くない』」ことを証明することであり、
同様に不可能に近い。
(補注：すなわち「ある事実・現象の有り無しを『100％』確定するのは不可能に近い」ということである)
何処を調べてもこの注意点に似た注釈が書かれてるが？
上のお二人さんは悪魔の証明という言葉の背景を知る機会に居合わせてラッキーだったねｗ