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