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

フェルマーの最終定理、IUT理論による証明が行われる」記事へのコメント

  • by Anonymous Coward

    IUT理論って証明されてるの?

    • by nekopon (1483) on 2021年11月25日 12時29分 (#4158463) 日記
      問題まみれ [columbia.edu]らしい
      親コメント
      • by Anonymous Coward

        理解できる人が世界に数人とかいう話だっけ?

        今回のフェルマーの最終定理証明、って話で一気に胡散臭くなったなー、って印象。
        まぁ門外漢だから単なる印象だけど、そんな簡単に難問が解けるもんなのかね。

        単にほとんどの人類には早すぎた理論なだけで、正しいのかもしれないが…。

        • by Anonymous Coward

          そんな簡単に難問が解けるもんなのかね。

          専門家が20年かけて築いた理論を「簡単に」って言っちゃう元コメの人ってどんだけ超絶天才?
          20年あれば小っちゃなベイビーが大きな大人になっちゃうんだよ。お酒飲めるんだよ。
          プリキュアシリーズの最初っから今までに匹敵するんだよ。
          あれだけうじゃうじゃいた平成ライダーシリーズの長さだよ。
          必殺シリーズなら続けて放送していた時期だけじゃなく激突まで含んじゃうんだよ。
          スーパー戦隊の歴史の4/9に匹敵するんだよ。
          ……なんかすごいのかすごくないのかわからなくなってきたな。

          • by Anonymous Coward

            ABCというかテレ朝だな

          • by Anonymous Coward

            ニュートンが長い時間かけて築いた理論も、
            学習指導要領に沿って高校理系を選択して学習すれば理論的にはみんな理解できてるはず

            オイラーが長い時間かけて築いた数式、計算法も、
            学校の教科書を見れば理解できるはず

            0から作り出す手間と、だれかが作り出したものを理解する手間は、めっちゃ差があるものが多い

            • by ikotom (20155) on 2021年11月26日 9時22分 (#4158992)

              それは階段を建てる人と建てられた階段を登る人の違いですね。

              その喩えで言えば IUT理論は、多くの先駆者たちが建てた階段が重なった上に
              一段一段の高さがとても高い階段を建てているので
              登るだけでも相当の筋力が必要ということかと。

              親コメント
        • by Anonymous Coward

          ABC予想とフェルマーの最終定理はもともと関連が知られてるので、
          ABCの方を認めるならそれほど無茶な話ではなさげですが

          • by Anonymous Coward

            強いABC予想(まだ証明されていない)を仮定すると、n≧6のときのフェルマー予想は「直ちに従う」と言えるくらい簡単に証明できるんだっけ

        • by Anonymous Coward

          多分に数学科のポスドクの人のyoutubeの解説動画で、IUT理論の論文は全部公開されてるのに1ページも理解できねーと壊れている物がありました。abc予想とか宇宙際の意味とかタイヒミューラー論については詳しく解説してくれていたのですけれど。
          その動画内でabc予想が成立するならフェルマーの最終定理簡単に証明できると言っていて、実際に説明に1分とかかっていなかったので素のIUT理論のみを使って非常に簡単に証明出来たとしても驚くに値しません。

          なお、abc予想には楕円関数の本質が詰まっているのではないか?という考えもあるみたいで、それを証明した(とされる)IUT理論も楕円関数の本質に迫っているのではないかと素人的には思います。
          根拠は聞かないで下さい。abc予想もですが無理ですが、それ以上にIUT理論の説明ができる訳無いでしょ。

          • by Anonymous Coward

            知らんけど
            ABC予想には強いABC予想と弱いABC予想の2種類があって
            これまで望月らが証明したと主張していたのは弱いABC予想
            フェルマーの最終定理は、強いABC予想を前提にすれば証明できるけれど
            弱いABC予想からは証明できない、と聞いた
            とはいえ、関連ある定理なのは確かだから、ITU理論からフェルマーの最終定理もとなっても驚きはない
            知らんけど

            • by Anonymous Coward

              >知らんけど
              ダウト

              • by Anonymous Coward

                この分野は素人なのですが

        • by Anonymous Coward

          道具の方が強すぎるのは良くある話。

          フェルマーの最終定理も、ワイルズがもっと強力な定理を証明して、ってことはついでにフェルマーの最終定理も成り立つよね、と決着された。
          その「ついで」が成立する事を証明するのに天才数学者が何年かかかってるような話ではあるけど。
          ポアンカレ予想も、「1種類しか無い事を証明せよ」で良かったところを「なんでも分類する方法を作ったよ。それによると1種類だね」とオーバーキルされてる。

          ちょうどぴったり証明される事の方が珍しい。ABC予想は証明できれば強力過ぎる道具。

          • by Anonymous Coward

            せっかく証明したのに定理を自分の名前で呼んでもらえないワイルズさんかわいそう

            • by nekopon (1483) on 2021年11月25日 18時33分 (#4158700) 日記
              定理の名誉は予想した人のもの! とまでは言わないもののわりとそんな感じ
              親コメント
              • by Anonymous Coward

                普通予想しただけで名前は与えられなくて、むしろフェルマーの最終定理が例外的だと思ってたんだけど

            • by Anonymous Coward

              せっかく証明したのに定理を自分の名前で呼んでもらえないワイルズさんかわいそう

              谷山-志村予想はワイルズの定理になったの?谷山-志村の定理なの?

            • by Anonymous Coward

              しかし「フェルマーの最終定理」の方がこれだけメジャーになった今、
              「『あのフェルマーの最終定理』を証明したワイルズさん」の方が
              「『ワイルズの定理』を証明したワイルズさん」より凄く聞こえますよ。
              (「最終」というもっともらしい形容も箔をつけてますね。
              それに対抗するには「ワイルズのワイルドだろぉ?な定理」くらいの名前が必要になりそうです)

日々是ハック也 -- あるハードコアバイナリアン

処理中...