アカウント名:
パスワード:
変に短い証明文ってのも怪しいし、そんなあっさり見つかるかね。まぁ数学者でもないし、数学者だって検証には下手すりゃ何年かかかったりするようだが。論文読んでもわけわかめだからふわっとした事しか言えない。
しかし本当ならミレニアム懸賞問題もそこそこ順調に解かれて行っているのかな?定理証明は理論的には解である最短の証明文長に対してNP問題だし、たまたま高々百年で解ける理由もそんなにはないはずな気がするのに不思議だ。
そしてリーマン問題って正直若干面白さに欠ける。いやストーリー的な面白さはあるんだが、P=NPが証明されました!みたいな夢に欠ける。比較的分かりやすいのはいいけど。有名な未解決問題に対して証明も反証もできないと証明されるみたいな展開があれば面白いかもしれない。
> ふわっとした事しか言えない
大丈夫、結構ネチネチしてるから
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
コンピュータは旧約聖書の神に似ている、規則は多く、慈悲は無い -- Joseph Campbell
リーマン予想ねぇ (スコア:0)
変に短い証明文ってのも怪しいし、そんなあっさり見つかるかね。
まぁ数学者でもないし、数学者だって検証には下手すりゃ何年かかかったりするようだが。
論文読んでもわけわかめだからふわっとした事しか言えない。
しかし本当ならミレニアム懸賞問題もそこそこ順調に解かれて行っているのかな?
定理証明は理論的には解である最短の証明文長に対してNP問題だし、たまたま高々百年で解ける理由もそんなにはないはずな気がするのに不思議だ。
そしてリーマン問題って正直若干面白さに欠ける。
いやストーリー的な面白さはあるんだが、P=NPが証明されました!みたいな夢に欠ける。
比較的分かりやすいのはいいけど。
有名な未解決問題に対して証明も反証もできないと証明されるみたいな展開があれば面白いかもしれない。
Re:リーマン予想ねぇ (スコア:0)
> ふわっとした事しか言えない
大丈夫、結構ネチネチしてるから