暇つぶし2chat SCIENCEPLUS

- 暇つぶし2ch221:ニュースソース検討中＠自治議論スレ
19/01/31 19:39:55.81 gLQ3anFQ.net
リーマン予想自体が良い例。
コンピュータを使って何万と言う解についてリーマン予想が正しいことが示せる。
しかし、そもそも解が無限にあるので、この方法では永遠に証明が終わらない。
つまり証明出来ない。