Inter-universal geometryとABC予想(シン応援スレ) 92 (408ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
400(2): 07/21(火)18:55 ID:9lPB4r8c(2/2) AAS
>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
402: 07/21(火)19:56 ID:2GPRU5Zx(1/2) AAS
>>400
ですね
405: 07/21(火)23:47 ID:IngSDRcX(1) AAS
>>400
>>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
>ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
例えば 過去レスにも書いたが
下記のフェルマー最終定理の証明と対比するのが適当だろう
ワイルズによる証明は、100点満点の99点で ただし1点足りない状態で
リチャード・テイラーの協力を仰ぐ
そして、1年 『彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際』だった
そのとき もの凄いアイデアが降ってきた！
『不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた』
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s