2014-04-25から1日間の記事一覧
■天使の証明 不存在証明の不可能性は悪魔の証明なんてカッコ良い名前まであって特別扱いですが，存在証明だって厳密なことをいえば不可能です。小悪魔の証明か天使の証明とでも呼んであげなければ不公平です。■定義の問題 存在証明は実例を一つ示せば済むと…
■天使の証明 不存在証明の不可能性は悪魔の証明なんてカッコ良い名前まであって特別扱いですが，存在証明だって厳密なことをいえば不可能です。小悪魔の証明か天使の証明とでも呼んであげなければ不公平です。■定義の問題 存在証明は実例を一つ示せば済むと…
