2009-10-27から1日間の記事一覧

バグと悪魔の証明

ないことの証明は悪魔の証明と言われる。 ある範囲のなかに「ないこと」は容易に確かめられる。 では範囲が不定だった場合、「見える範囲にない」までしかわからず、もっと視野の広い人がいれば「見つけられるかもしれない」 結局のところ、無限大の範囲を見…