リーマン予想が決定不能だったら
では、リーマン予想はどうか? これが面白いんです。もし、リーマン予想が決定不能なら、リーマン予想は正しいことになるのです。なぜか?
リーマン予想が正しくないとすると、直線から外れたゼロ点があるはずで、それは一生懸命に計算すれば、いずれ出てきます。これは計算速度の問題でしかありません。つまり、偽だとすると、必ず証明はできるのです。
ではもし、リーマン予想が決定不能だとすると、どうでしょうか? 決定不能とは、「予想が正しく、すべてのゼロ点は直線上にあるが、その証明を見つけることができない」ことです。つまり、リーマン予想が正しいことになるわけです。
こんがらがらがりそうですね。