パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

ケプラー予想の証明が完了」記事へのコメント

  • by Anonymous Coward

    "Hales の証明は、コンピュータを使ってあらゆる個々のケースを調べつくすという方法" https://ja.wikipedia.org/wiki/%E7%90%83%E5%85%85%E5%A1%AB#.E7.90.83.E5... [wikipedia.org]
    発想・手法としては4色問題と同じなのね。 https://ja.wikipedia.org/wiki/4%E8%89%B2%E5%95%8F%E9%A1%8C [wikipedia.org]
    Coqというのも使えるのかな?

    • Re: (スコア:2, 参考になる)

      by Anonymous Coward

      似てますよね。今後もより良い充填方法は見つからないことは示されたけど、それが何故なのかは未だに未解決、みたいな。
      4色問題も、何故4になるのかは分からないままで、最小値が存在してそれがたまたま4だったのか、4である事に意味があるのかが不明。

      似たような結果になるかと危惧されていたフェルマーの大定理が、3という数字に深い意味が見いだされて決着が付いたのとは対照的。

      • by Anonymous Coward on 2014年08月15日 14時35分 (#2657131)

        せっかく証明したのに誰も自分の名前で定理を呼んでくれないワイルズさんカワイソス

        親コメント
        • by Anonymous Coward

          ペレルマンさんはむしろペレルマンの定理とか呼ばれたら嫌がりそうだ

開いた括弧は必ず閉じる -- あるプログラマー

処理中...