400年をかけたケプラー予想の解決は、コンピューターの力も証明した

[blueboy]

id:I_LoveScience 六方最密充填構造 と 面心立方格子構造 は、１層目と３層目の配置関係が少しズレているだけで、本質的には同等の構造です。Wikipediaなどを見るとわかります。

[usurausura]

http://www.oishi.info.waseda.ac.jp/~oishi/presentation.ppt

[ya--mada]

球充填の話なのに何言ってんだかまったく解らない

[invent]

400年をかけたケプラー予想の解決は、コンピューターの力も証明した « WIRED.jp via @Instapaper

[bule_b48]

400年をかけたケプラー予想の解決は、コンピューターの力も証明した « WIRED.jp

[tukirou]

昔、ケプラーの人生を描いた演劇を観たけど、苦労人すぎて泣けたのを思い出す。楕円軌道の提案や、オレンジの山からピラミッド型を発想するところからして、ケプラーも直観型の天才だったんだろうな。

[konekonekoneko]

現実はドサッと山積みにしただけなのにね。

[deep_one]

その「検証」の中身が分からないと「解決された」気分になれない。

[tatsuh]

[]

[ikkou7]

ガウスさんやオイラーさんなどの過去の著名な数学者が、今の性能のコンピュータを使える環境に生まれたら、どんな成果を残しただろうか。むしろ負の作用の方が大きいかな。

[kamei_rio]

これ、論文執筆者が自ら検証に挑まなかったら、結論は宙に浮いたままだったのかな

[shibuyads]

400年をかけたケプラー予想の解決は、コンピューターの力も証明した « WIRED.jp

[zumrud]

いや、どちらかが正しいと仮定したときに限って他方が正しいと言えるだけでしょ。物差しの長さを証明したいならもう一個別の物差しが必要だろ

[masastyle]

何に役に立つのかを理解すべき内容

[ita]

有限の任意形状の箱に詰める場合はまたさらに難しい。

[ymmtmdk]

シリコンによる証明

[daybeforeyesterday]

うーむ

[gikazigo]

400年をかけたケプラー予想の解決は、コンピューターの力も証明した « WIRED.jp

[karatte]

“現代数学の父、ダフィット・ヒルベルトが1900年に提示した「ヒルベルトの23の問題」の18番目となったほどに重要なものだ”←18番目って大したことなさそうだけど……後の数字のほうが重要だったりするとか？

[gotoka]

「400年をかけたケプラー予想の解決は、コンピューターの力も証明した」の"証明"って国語的な意味の方だから、"も"って使わないでほしい。少し気持ち悪い。