ケプラー予想の証明が完了

2014年8月15日 15:48

小

中

大

印刷

記事提供元:スラド

あるAnonymous Coward 曰く、 10年以上を費やしていた「ケプラー予想」の証明が完了し、その内容が正しいことが示されたそうだ(GIZMODO)。

 ケプラー予想は、ケプラーの法則で知られる数学者/天体物理学者ヨハネス・ケプラーが提唱した、空間上に球体を充填する際に最高密度となる充填方法。1998年にトマス・ヘールズ氏によってその証明が示されていたのだが、その内容は非常に複雑で、その正しさを示すことができなかったという。そのため、へールズ氏は2003年に自身で証明支援ツールを使った「答え合わせ」を開始。それがやっと終了し、証明が正しいことが実証されたという。

 スラッシュドットのコメントを読む | サイエンスセクション | 数学

 関連ストーリー:
「双子素数予想」の証明につながるかもしれない論文が投稿される 2013年05月23日
難問「ABC予想」解明か 2012年09月19日
P!=NP 予想、証明されるか ? 2010年08月09日

 

※この記事はスラドから提供を受けて配信しています。

「サイエンス」の写真ニュース

IT・サイエンスの最新ニュース

RSS

もっと見る

主要ニュース

RSS

もっと見る

広告

広告

SNSツール

RSS

facebook

zaikeishimbun

いいね!

twitter

@zaikei_it

フォロー

google+

Hatena

広告

ピックアップ 注目ニュース