Inter-universal geometryとABC予想(シン応援スレ) 92 (278ﾚｽ)
上下前次1-新
268(1): 07/18(土)13:19 ID:yk4CMt8u(2/4) AAS
この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
abc予想は望月によって証明されてはないとはっきりと宣言しています
269(1): 07/18(土)16:32 ID:HVwj1DT/(4/6) AAS
>>268
>この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
>abc予想は望月によって証明されてはないとはっきりと宣言しています
ほぼ同意ですが
近しい人達を傷付けないように柔らかい表現で書いてありますが
↓
マスコミに誤解されて 近しい人達を傷付けないような表現で書いてあるが 数学的な客観事実はしっかり書かれている
プロ数学者が読めば
abc予想は望月による証明で
3.11→3.12 で Lean のロジックが繋がっていない
省9
270(1): 07/18(土)16:57 ID:HVwj1DT/(5/6) AAS
>>269 追加
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一 主張・講演
[13] 宇宙際タイヒミューラー理論への誘（いざな）い 《拡大版》 （東京大学 2013年06月) PDF
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
P10 より
古典的なガウス積分
略
の計算（＝「デカルト座標→極座標」）の、数体上大域的な類似物と見る
ことができる！
省10
271: 07/18(土)16:58 ID:HVwj1DT/(6/6) AAS
Leanプロジェクトで指摘された ギャップを埋められれば 拍手喝采だ
はてさて どうなることか？
272(1): 07/18(土)17:09 ID:s4oDEHbd(2/4) AAS
どうなることか？
自称IUT理解者が1年がかりでできなかった実績がある、つまりまったくの白紙
リーマン予想が証明されれば拍手喝采、はてさてどうなることか？ と言ってること同じだよ
273: 07/18(土)17:15 ID:tNVzwFR0(4/4) AAS
元からできねーのにLEANちゃんが勝手に証明してくれるわけでもなしw
274: 07/18(土)17:33 ID:s4oDEHbd(3/4) AAS
>Leanプロジェクトで指摘された ギャップ
という言い方も変だけどな
SSに指摘されたギャップが確かにありましたってだけやん
275: 07/18(土)18:11 ID:yk4CMt8u(3/4) AAS
>>270
「と見ることができる」はIUT界隈ではよく使うよね
276: 07/18(土)18:12 ID:yk4CMt8u(4/4) AAS
>>272
SS論文から8年だよ
277: 07/18(土)18:19 ID:s4oDEHbd(4/4) AAS
SS論文は間違いでギャップ無し
って認識だったからギャップを埋めようとし始めたのはもっと後だろ
278: 07/18(土)19:18 ID:dAI7NO4p(1) AAS
AA省
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s