2010-02-08から1日間の記事一覧
「ある」ことを否定するのは簡単だけど、「ない」ことを否定するのは難しい。これは、あることを否定するのには一つの反例を挙げれば済むのに対し、無いことを否定するのには全ての可能性を網羅的に調べ上げなければならないからだ。この非対称性には「悪魔…
「ある」ことを否定するのは簡単だけど、「ない」ことを否定するのは難しい。これは、あることを否定するのには一つの反例を挙げれば済むのに対し、無いことを否定するのには全ての可能性を網羅的に調べ上げなければならないからだ。この非対称性には「悪魔…
