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

数学の未解決問題「コラッツ予想」の解決に1億2000万円の懸賞金。音圧爆上げくん」記事へのコメント

  • by Anonymous Coward on 2021年07月12日 15時36分 (#4069098)

    広告文に「解法は証明または反証」とあるけど、「決定不能と証明される」って落ちもあるよね。
    普通に停止問題だし、コラッツの初期値でゲーデル文を構成するだとか、実はチューリング完全だ(んなわけないが)と証明するとかそんな雰囲気の。

    ついでに言えば公理系を指定しないのもちょい怖い。
    適当な公理系をでっち上げれば証明できるだろうけど、あとはどうやって「世界の数学界に一般的に受け入れられ」たと認めさせるか。
    数学者の興味を引く面白い公理系を頑張って作ると言うルートもあるかもね。

    個人的には「実は全て停止するけど、証明も反証も決定不能と証明することもできない停止問題」ってパターンだと思う。

    • by Anonymous Coward

      決定不能と証明されたら、それはイコール成り立つことの証明だよ。

      たった一つでも成り立たない数値を見つけたらそれが反証になるし、決定できるという証明になる。
      つまり決定不能と証明されるというのは、成り立たない数値を見つけることができないという証明でもあり、成り立たない数値を見つけれないならそれは成り立つことになる。

      • by Anonymous Coward

        > 成り立たない数値を見つけれないならそれは成り立つことになる。
        これを認める公理系と認めない公理系があるでしょ。

      • by Anonymous Coward

        「決定不能」ってのは「実際に反証になる初期値が見つかるか、そんなものがないか」ってことでしょ。
        で仮にそんなものがなければ本当に決定不能。要は実際に計算するまで分からないという停止問題の定番。
        例えば「3.14以下の円周率に~兆回(適当な大きい数字)の0の連続が存在するか」という命題みたいなもん。
        小さけりゃ普通に見つかるけど十分大きいとおそらく存在しないがそれをたぶん証明できない。

        • by Anonymous Coward

          十分大きいと存在しない、のかな
          十分探せばあるんじゃないのかな

    • by Anonymous Coward

      コラッツ予想はΠ_1文で書けるから決定不能なら真だよ

にわかな奴ほど語りたがる -- あるハッカー

処理中...