Inter-universal geometryとABC予想(シン応援スレ) 92 (288ﾚｽ)
上下前次1-新
264(2): 07/18(土)09:30 ID:HVwj1DT/(3/10) AAS
>>262-263 補足
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
3名の立場は
１）ショルツ スティクス 分析は、望月氏の3.12を全否定しているが
しかし、その分析は不十分
２）望月氏の現時点のIUT論文から 形式的なLeanコードに 落とすことはできなかったが
何かを補えば 3.12を Leanコードに 落とすことが出来る可能性は残っている
省24
265: 07/18(土)11:11 ID:tNVzwFR0(3/7) AAS
ほんとIUT擁護派ってコピペで逃げるキチガイしかいねーよな
266: 07/18(土)11:48 ID:s4oDEHbd(1/5) AAS
事実：IUT理解者とされる星参加のもと24年9月から2年近くかかって疑義を呈されている部分だけすら形式化できなかった。
事実の正しい見方：望月論文は「η^q=ηS^anab予想 ⇒ ABC予想」を証明した可能性が高いが、「η^q=ηS^anab予想」の証明は全くの白紙、従って「ABC予想」の証明も全くの白紙。
267: 07/18(土)13:15 ID:yk4CMt8u(1/4) AAS
結局ほぼそのまま想像通りの発表でした
>今後も残された論点を数学的に明確な形にし、望月氏および京都大学数理解析研究所（RIMS）側との対話も続けながら
と加藤文元が語ってるのは
今も望月がギャップを公式にも仲間内でも認めてないという意味でしょうし
それも想像通りでした
・望月は公式には認めてないギャップを埋めようとしたことがあるか
・あるとしたらいつからいつまでか
は結局は分かりませんでした
自分は2018年から2020年くらいまではやろうとしたんじゃないかと想像してます
ただ加藤が結論を先延ばしにしたのは「この点(ギャップの事)に関する望月の説明が進化してきたからだ」と言っておりLANAプロジェクトに触発されて最近も取り組んでいた可能性が高そうです
省6
268(1): 07/18(土)13:19 ID:yk4CMt8u(2/4) AAS
この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
abc予想は望月によって証明されてはないとはっきりと宣言しています
269(1): 07/18(土)16:32 ID:HVwj1DT/(4/10) AAS
>>268
>この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
>abc予想は望月によって証明されてはないとはっきりと宣言しています
ほぼ同意ですが
近しい人達を傷付けないように柔らかい表現で書いてありますが
↓
マスコミに誤解されて 近しい人達を傷付けないような表現で書いてあるが 数学的な客観事実はしっかり書かれている
プロ数学者が読めば
abc予想は望月による証明で
3.11→3.12 で Lean のロジックが繋がっていない
省9
270(1): 07/18(土)16:57 ID:HVwj1DT/(5/10) 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/10) AAS
Leanプロジェクトで指摘された ギャップを埋められれば 拍手喝采だ
はてさて どうなることか？
272(1): 07/18(土)17:09 ID:s4oDEHbd(2/5) AAS
どうなることか？
自称IUT理解者が1年がかりでできなかった実績がある、つまりまったくの白紙
リーマン予想が証明されれば拍手喝采、はてさてどうなることか？ と言ってること同じだよ
273: 07/18(土)17:15 ID:tNVzwFR0(4/7) AAS
元からできねーのにLEANちゃんが勝手に証明してくれるわけでもなしw
274: 07/18(土)17:33 ID:s4oDEHbd(3/5) 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/5) AAS
SS論文は間違いでギャップ無し
って認識だったからギャップを埋めようとし始めたのはもっと後だろ
278: 07/18(土)19:18 ID:dAI7NO4p(1) AAS
AA省
279: 07/18(土)21:33 ID:6OQHWFYg(1) AAS
SSへ「お前らは間違いだ」と書簡は送ったのかな？
送ってないのなら今すぐ送るべきだろ
280(1): 07/18(土)21:47 ID:HVwj1DT/(7/10) AAS
>>273-279
『僕の前に道はない
僕の後ろに道は出來る』高村光太郎
数学の進歩とは 数学の証明とは
そうしたものだ
外部ﾘﾝｸ[html]:www.aozora.gr.jp
道程
高村光太郎
底本：「美の廢墟第六號」美の廢墟社
1914（大正3）年3月5日発刊
省15
281(1): 07/18(土)21:57 ID:tNVzwFR0(5/7) AAS
>>280
ズレまくり
偉人を騙った紛い物w
282(1): 07/18(土)21:58 ID:tNVzwFR0(6/7) AAS
証明できずにポエムマンw
しかもコピペで丸パクリ
文脈解釈能力ゼロ
ポエムでもゴミ
これがIUT擁護派おじさんw
283(1): 07/18(土)22:42 ID:HVwj1DT/(8/10) AAS
>>281-282
『証明できずに・・』？
いみわからん？ｗ
わたしゃ 第三者で ヤジ馬ですがな
明々白々にねｗ （＾＾
だが、親カメこけたら？
上に乗っている子ガメはどうなる？
望月氏は、すでに教授で スゴロクの上がりだが
星さん 准教授
（星氏の学生） 東山 和巳
省15
284: 07/18(土)22:48 ID:HVwj1DT/(9/10) AAS
>>283 追加
おっと、山下剛さん 忘れていた
山下剛さん 出番ですよ
がんばって！ （＾＾
285: 07/18(土)22:58 ID:HVwj1DT/(10/10) AAS
補足
>>264 ジョルダン曲線定理 みたく
多くの数学者が ”自明”と考えてきた命題で
後に 要証明事項とされたことは 多々ある
そして、なんらかの形で その命題自身か
あるいは その命題の変形などに
後に証明が与えられたことも多い
今回の 望月IUT 3.12も
そうできる可能性はある
それが、今回のLEAN プロジェクト >>264
省5
286: 07/18(土)23:01 ID:hqlf3v2g(1) AAS
阪大工学部で数学落ちこぼれた素人が
わけもわからずシッタカぶって恥さらす
287(1): 07/18(土)23:03 ID:s4oDEHbd(5/5) AAS
できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい
擁護派頭わっる
288: 07/18(土)23:11 ID:tNVzwFR0(7/7) AAS
>>287
ただの未解決問題だよなw
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s