Inter-universal geometryとABC予想(シン応援スレ) 92at MATHInter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト500:１３２人目の素数さん 26/07/25 15:44:35.23 GEmS8Kd0.net >>494 自明でないなら即敗北 はいっ、死にました！ 501:１３２人目の素数さん 26/07/25 16:52:44.94 9niKyc4j.net そのギャップを解決する本質的なアイデアがなくて空虚なのなら一からABC予想証明するより難しいかもしれないけど 502:１３２人目の素数さん 26/07/25 17:01:49.83 bmdqsgm3.net >>501 GAP解消に至らなくても とても良いアイデア満載なんだろ 503:１３２人目の素数さん 26/07/25 17:02:40.97 bmdqsgm3.net しかっし IUTダメなら F1何てもっとダメダメだろうに 504:１３２人目の素数さん 26/07/25 17:23:33.39 1OyDcIqY.net >>480 ↑これって望月先生本人の？ まじですか 505:１３２人目の素数さん 26/07/25 18:33:58.86 AuqA/R3q.net 順番にいくよ >>504 >↑これって望月先生本人の？ >まじですか 多分、望月先生ご本人でしょう 他にも多数の投稿があるよ それらは、望月先生ご本人と仮定しても 完全に無矛盾だから >>495-503 >その通りだとは思うがどう考えても誰かはダメージを受けるね。 理系では仕方ない よくあることです 論文が間違っていました これのゴマカシは きかない >オープンに望月新一の大惨敗を認めればいいだけ それに近いが 「Lean形式化未達」を まず 率直に認めることだね 全ては そこが出発点だ >後付けで証明したら >望月新一ではなくLean形式化チームのみの大成果 >望月も星も蚊帳の外 残念でした 南無阿弥陀仏 もし、そうなっても仕方ないだろう 数学では ゴマカシはきかない >そのギャップを解決する本質的なアイデアがなくて空虚なのなら一からABC予想証明するより難しいかもしれないけど まあ、現実を 誤魔化さずに素直に 直視すること そこが、基本で出発点ですよ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch