[過去ﾛｸﾞ] 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
556: 2022/04/24(日)09:57 ID:B58pvhrO(5/11) AAS
>>555
>必死に望月IUTをディスる
それは被害妄想ですね
むしろあなたが必死で「望月IUTが正しい」と宣伝するのが痛々しいです
なんで素人が訳も分からずそんなことに必死になるのでしょうか？
>”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
>オカ、シムラ、モチヅキ”
>が、あなたの持論でしたね
省2
557(2): 2022/04/24(日)10:02 ID:B58pvhrO(6/11) AAS
>>555
>望月IUTを認める同じ専門の他の数学者、名前は
>昨年の4回のIUT国際会議と Promenade in IUTの
>講師の人たちですよ （単なる参加者でなく）
「単なる参加者でなく」と必死に訴えるのも痛々しいですね
今年のICMで望月新一氏に何の賞もでないどころか
基調講演等で全く取り上げられなかったら
それが今の数学界におけるIUT理論の評価
だと気づきましょう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ ｱﾎﾞﾝOFF
ぬこの手 ぬこTOP 0.037s