0530132人目の素数さん垢版 | 大砲2018/11/15(木) 07:33:08.90ID:ct0hOoEF >>524 ケプラー予想は、途中の計算部分の検証が容易でないんだと思う。四色問題と同じ。 論理の部分は正しいと検証されてるよ まあ、何度も言われてるけど、証明が正しければ必ず人を説得できる。 なぜなら正しい証明は最終的には三段論法の段階まで詳しく展開できるから。 SSが証明に疑問を持ち、望月がかれらに理解されるまで詳しい証明を与えられなかった時点で、 望月は正しい証明を得ていないとわかる。