パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

P≠NPの証明(P≠PHの証明)」記事へのコメント

  • by Anonymous Coward

    在野の証明って何かしら間違っていたり正しくても相手されないよね。
    使いやすくて確実な定理検証システムが普及してれば学者無しでも確実な証明が保証されるのに。
    数学界は論文を査読とか馬鹿な事やってないで、プリンキピア・マテマティカみたいな記号論理学的な形式的な証明にコンパイルしたものをアクセプトする形にするべき。
    そうなってないのは現代の技術では難しいからなのかな?

    • 自動定理証明は色々と研究ありますが、一般的には難しいようですね。
      特に、記法すら確立していないような新しい手法なんかは全く歯が立たないかと思います。(この証明は違うけど)

      まあ、確実な定理検証システムができてしまうと、数学の証明手法が大きく変わりそうですね。
      量子コンピューターで(網羅的に)全ての定理を並列に検証して正しい定理を探り当てる、データマイニング的な手法が数学者の仕事になるかも。

      • 自動定理証明のシステムが存在するなら
        P=NPになりませんか?

        • by fiercewinds (22740) on 2018年03月07日 21時53分 (#3372985) 日記

          NP問題も(膨大な時間を使うことができれば)コンピューターで計算することは
          可能ですので、自動定理証明のシステムが存在してもP=NPにはならないですね。

          また、量子コンピューターは(NP問題を効率的に計算できる)非決定性チューリング
          マシンを比較的効率的にエミュレートすることができますので、NP問題が効率的に
          計算できるようになったからといってP=NPになるわけではないです。
          #量子コンピューターでも、NP完全問題は効率的に計算できないみたいですけど

          親コメント

UNIXはただ死んだだけでなく、本当にひどい臭いを放ち始めている -- あるソフトウェアエンジニア

処理中...