純粋・応用数学・数学隣接分野（含むガロア理論）21 (217ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
31(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/21(月)23:46 ID:60RWf/A5(7/9) AAS
つづき
20世紀
解決に向けて次のステップを踏み出したのはラースロー・フェイェシュ＝トートである。彼は、規則・不規則を問わずあらゆる配置の最大密度を求める問題が、有限個の（しかし非常に多数の）計算に還元されることを示した[1]。これはしらみつぶし法による証明が原理的に可能だということである。フェイェシュ＝トートも気づいていたように、十分高性能なコンピュータがあればここからケプラー予想解決への現実的なアプローチが得られる可能性があった。
他方では、あらゆる可能な球配置の最大密度の上界を見つけようという試みがなされていた。イギリスの数学者クロード・アンブローズ・ロジャーズは一つの上界として約78%の値を得た[6]。それに続く数学者の努力によりこの値はわずかに引き下げられたが、立方最密充填の約74%には程遠かった。
1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。この成果は「エンサイクロペディア・ブリタニカ」および「サイエンス」誌で好意的に取り上げられ、シアンはAMS-MAAジョイントミーティングに招待される栄誉を得た[7]。シアンの主張は幾何学的な手法でケプラー予想を証明したというものだった[8][9]。しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで「細部に目を向ければ、重要な言明の多くが容認できるような証明を欠いている」と述べた。ヘイルズはシアンの仕事を詳細に批判し[10]、シアンはこれに反論した[11]。現在ではシアンの証明は不完全なものだったと認められている[12]。
ヘイルズの証明
ミシガン大学に在籍していたトマス・ヘイルズは、ラースロー・フェイェシュ＝トートが提案したアプローチ[1]にならい、150個の変数を持つある関数を最小化することによって最大密度配置を見出せると考えた。1992年、大学院生のサミュエル・ファーガソンを助手としたヘイルズは、系統的な線型計画法により、すべての異なる配置の集合に含まれる5000種以上の配置一つ一つについて関数値の下界を求める計画に着手した。すべての配置で関数の下界が立方最密配置の関数値を超えるならば、それがケプラー予想の証明になる。可能なすべてのケースについて下界を求めるには、10万個ほどの線形計画問題を解く必要があった。
1996年に研究プロジェクトを公表するに際して、終結は目前ながら完了まで「1・2年」かかるかもしれない、とヘイルズは述べた。1998年の8月にヘイルズは証明の完了を発表した。この時点で証明は250ページの手稿と3ギガバイトのプログラム、データ、計算結果から構成されていた。
証明の形式が異例だったにもかかわらず、Annals of Mathematics誌の編集者は掲載に同意したが、12人の専門家による査読を条件とした。2003年、四年間の作業を経て、査読者団の筆頭であったガボル・フェイェシュ＝トートは証明が正しいことに「99%の確信を持っている」と報告した。しかし、コンピュータによる計算がすべて正しいと保証することはできなかった。
つづく
34(1): 07/22(火)00:12 ID:4jFdIsuX(1/8) AAS
>>30-33
君、博識だねえ
じゃあ
>なぜZFで和集合の公理が必要か、なぜ積集合の公理が不要か分かる？
にも答えられるよね 答えてみて
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.155s*