関連記事
ケプラー予想の証明が完了
記事提供元:スラド
あるAnonymous Coward 曰く、 10年以上を費やしていた「ケプラー予想」の証明が完了し、その内容が正しいことが示されたそうだ(GIZMODO)。
ケプラー予想は、ケプラーの法則で知られる数学者/天体物理学者ヨハネス・ケプラーが提唱した、空間上に球体を充填する際に最高密度となる充填方法。1998年にトマス・ヘールズ氏によってその証明が示されていたのだが、その内容は非常に複雑で、その正しさを示すことができなかったという。そのため、へールズ氏は2003年に自身で証明支援ツールを使った「答え合わせ」を開始。それがやっと終了し、証明が正しいことが実証されたという。
スラッシュドットのコメントを読む | サイエンスセクション | 数学
関連ストーリー:
「双子素数予想」の証明につながるかもしれない論文が投稿される 2013年05月23日
難問「ABC予想」解明か 2012年09月19日
P!=NP 予想、証明されるか ? 2010年08月09日
※この記事はスラドから提供を受けて配信しています。
スポンサードリンク
スポンサードリンク
- ヒッグス粒子の存在を予言したピーター・ヒッグス博士が死去 4/10 18:21
- 黒鉛が生命誕生のカギだった可能性 ケンブリッジ大の研究 4/ 7 17:18
- 老化しにくいハダカデバネズミ、老化細胞を除去する仕組み解明 熊大ら 7/15 15:19
- 人類の祖先は恐竜と共存し、恐竜絶滅を生き延びたか 英ブリストル大学らの研究 6/29 16:13
- 北海道で発見された紫外線で光る新鉱物、「北海道石」として認定 5/30 11:52