ケプラー予想の証明100%終わる!400年もかかった数学の難問 - 数学の勉強掲示板
ケプラー予想の証明100%終わる!400年もかかった数学の難問
0名前を書き忘れた受験生 2014/08/14 04:16 4481view
ケプラー予想の証明がついに100%終わりました。
簡単に言えば
ケプラーが1611年に提唱したケプラーの球体充填問題。
「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」
という理論の証明。
いままで99%証明されていたが、コンピューターを使うことによって100%証明された。
https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion
0pt
0pt
関連トピック
掲示板TOPへ戻る