アカウント名:
パスワード:
変に短い証明文ってのも怪しいし、そんなあっさり見つかるかね。まぁ数学者でもないし、数学者だって検証には下手すりゃ何年かかかったりするようだが。論文読んでもわけわかめだからふわっとした事しか言えない。
しかし本当ならミレニアム懸賞問題もそこそこ順調に解かれて行っているのかな?定理証明は理論的には解である最短の証明文長に対してNP問題だし、たまたま高々百年で解ける理由もそんなにはないはずな気がするのに不思議だ。
そしてリーマン問題って正直若干面白さに欠ける。いやストーリー的な面白さはあるんだが、P=NPが証明されました!みたいな夢に欠ける。比較的分かりやすいのはいいけど。有名な未解決問題に対して証明も反証もできないと証明されるみたいな展開があれば面白いかもしれない。
面白さより実利じゃないですかね暗号処理や量子コンピュータに応用できれば劇的な進歩……または多くの理論が使い物にならない、なんて展開もありえますし。
実利だったらさあ、「すべての自然数」について成り立たなくてもたとえば2^8192以下について正しいだけでRSA暗号には十分なわけだけど、そういう方向の研究ってないのかな。
物理方面でよくある。条件を気にしないで積分記号入れ替えまくりとか、確率測度を考える前にσ-加法性を気にしないとか、空間と言ったらハウスドルフだと無意識に思うとか
大丈夫。
数学者がちゃんと理由付けをしてくれます。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
※ただしPHPを除く -- あるAdmin
リーマン予想ねぇ (スコア:0)
変に短い証明文ってのも怪しいし、そんなあっさり見つかるかね。
まぁ数学者でもないし、数学者だって検証には下手すりゃ何年かかかったりするようだが。
論文読んでもわけわかめだからふわっとした事しか言えない。
しかし本当ならミレニアム懸賞問題もそこそこ順調に解かれて行っているのかな?
定理証明は理論的には解である最短の証明文長に対してNP問題だし、たまたま高々百年で解ける理由もそんなにはないはずな気がするのに不思議だ。
そしてリーマン問題って正直若干面白さに欠ける。
いやストーリー的な面白さはあるんだが、P=NPが証明されました!みたいな夢に欠ける。
比較的分かりやすいのはいいけど。
有名な未解決問題に対して証明も反証もできないと証明されるみたいな展開があれば面白いかもしれない。
Re: (スコア:0)
面白さより実利じゃないですかね
暗号処理や量子コンピュータに応用できれば劇的な進歩……または多くの理論が使い物にならない、なんて展開もありえますし。
Re: (スコア:0)
実利だったらさあ、「すべての自然数」について成り立たなくてもたとえば2^8192以下について正しいだけでRSA暗号には十分なわけだけど、そういう方向の研究ってないのかな。
Re:リーマン予想ねぇ (スコア:0)
物理方面でよくある。条件を気にしないで積分記号入れ替えまくりとか、確率測度を考える前にσ-加法性を気にしないとか、空間と言ったらハウスドルフだと無意識に思うとか
ヘヴィサイド変換 がこっちを見てます (スコア:0)
大丈夫。
数学者がちゃんと理由付けをしてくれます。