[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
555(2): 2022/04/24(日)09:07 ID:/7dcPctj(6/16) AAS
>>554
つづき
2005年、ヘイルズは100ページの論文で、証明の中でコンピュータを用いない部分を詳述した[11]。ファーガソンとの共著による2006年の論文および数篇の続報ではコンピュータによる部分を報告した[12]。2009年にヘイルズとファーガソンは離散数学の分野の優れた論文に対して贈られるファルカーソン賞を受賞した。
(引用終り)
つまり、1953年にラースロー・フェイェシュ＝トートが、しらみつぶし法による証明が原理的に可能だということを示した
1990年のウ＝イ・シアン（項武義）のケプラー予想を証明した（ここにはギャップあり）との発表を受けて
ヘイルズ氏が、1992年から始めて 2009年に、ファルカーソン賞を受賞した
つまりは、未完成でも途中の1953年とか1990年とかの仕事は、後の ヘイルズの証明へ繋がっているのです （4色問題に類似 外部ﾘﾝｸ:ja.wikipedia.org ）
だから、望月IUTが どういう評価になるかは、今後を待つとして
あなたが、必死に望月IUTをディスる姿が滑稽に見えます
省12
上下前次1-新書関写板覧索設栞歴
あと 447 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s