12/03/05 06:53:57.18
>>641は悪魔の証明の意味を勘違いしてそうだから簡単に説明しとくぞ
「白いカラスは存在するか？」という問い合わせに対してのアプローチには
・白いカラスは存在する【ある】
・白いカラスは存在しない【ない】
の2つがある
んでそれぞれを証明しようとすれば前者は白いカラスを捕まえるだけで証明出来るが後者は世界中のカラスを捕まえて白いカラスがいない事を確認しなければいけない
世界中のカラスを捕まえるには大変な労力と時間が必要で限りなく不可能に近い
これこそ「ない事を証明するのは難しい」という悪魔の証明