Inter-universal geometryとABC予想(シン応援スレ) 92 (278レス)
前次1-
抽出解除 レス栞

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
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.596s*