純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
32(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/21(月)23:46 ID:60RWf/A5(8/9) AAS
つづき
形式的証明
2003年1月、ヘイルズはケプラー予想の完全な形式的証明を求める共同プロジェクトを開始した。その目標は、証明の妥当性に一切の疑問を残さないため、HOL LightやIsabelleなどの自動証明検証（英語版）[訳語疑問点]プログラムにかけられるような形式的証明を構築することであった。プロジェクトは「Flyspeck」と名付けられた。そのうちの3文字、F、P、Kは「Formal Proof of Kepler」（ケプラーの形式的証明）から取ったものである。ヘイルズは完全な形式的証明を構築するのには20年ほどの作業が必要だと見積もっていた。2014年8月10日にプロジェクトの終結が発表された[15]。2015年1月、ヘイルズと21人の共同研究者は「ケプラー予想の形式的証明」と題された論文を公開した[16]
高次元における球充填
最適球充填の問題は1、2、3、8、24次元を除いて未解決である。8次元と24次元における証明は2016年にマリナ・ヴィヤゾフスカによって得られた[22]。
外部ﾘﾝｸ:ja.wikipedia.org
マリナ・セルヒイウナ・ヴィヤゾフスカ（ウクライナ語: Марина Сергіївна В'язовська、英語: Maryna Sergiivna Viazovska、1984年12月2日 - ）は、ウクライナの女性数学者。球充填問題を8次元と24次元において解決した業績で知られる
省13
34(1): 07/22(火)00:12 ID:4jFdIsuX(1/8) AAS
>>30-33
君、博識だねえ
じゃあ
>なぜZFで和集合の公理が必要か、なぜ積集合の公理が不要か分かる？
にも答えられるよね 答えてみて
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s