リーマン予想が決定不能だったら
カントルの連続体仮説は、決定不能だそうです。つまり、連続体仮説は真とも偽とも言える。
では、リーマン予想はどうか? これが面白いんです。もし、リーマン予想が決定不能なら、リーマン予想は正しいことになるのです。なぜか?
リーマン予想が正しくないとすると、直線から外れたゼロ点があるはずで、それは一生懸命に計算すれば、いずれ出てきます。これは計算速度の問題でしかありません。つまり、偽だとすると、必ず証明はできるのです。
ではもし、リーマン予想が決定不能だとすると、どうでしょうか? 決定不能とは、「予想が正しく、すべてのゼロ点は直線上にあるが、その証明を見つけることができない」ことです。つまり、リーマン予想が正しいことになるわけです。
こんがらがらがりそうですね。
では、リーマン予想はどうか? これが面白いんです。もし、リーマン予想が決定不能なら、リーマン予想は正しいことになるのです。なぜか?
リーマン予想が正しくないとすると、直線から外れたゼロ点があるはずで、それは一生懸命に計算すれば、いずれ出てきます。これは計算速度の問題でしかありません。つまり、偽だとすると、必ず証明はできるのです。
ではもし、リーマン予想が決定不能だとすると、どうでしょうか? 決定不能とは、「予想が正しく、すべてのゼロ点は直線上にあるが、その証明を見つけることができない」ことです。つまり、リーマン予想が正しいことになるわけです。
こんがらがらがりそうですね。
by tomoarrow
| 2013-11-29 07:00
| モチーフについて
|
Comments(3)
Commented
by
tai
at 2014-01-29 18:30
at 2014-01-30 11:25
