2009-07-26から1日間の記事一覧
多分、この世界では、P=NP であるか P≠NP であるかのどちらかだと思うのです。 つまり、一方が正しく、一方が間違いなのです。 そこで、P対NP問題を解決するため、P=NP を形式化した命題 を考えます。 さて、ある無矛盾で帰納的な公理系 T において が証明で…
多分、この世界では、P=NP であるか P≠NP であるかのどちらかだと思うのです。 つまり、一方が正しく、一方が間違いなのです。 そこで、P対NP問題を解決するため、P=NP を形式化した命題 を考えます。 さて、ある無矛盾で帰納的な公理系 T において が証明で…