[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 31 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
487: 2018/09/30(日)10:19 ID:ECBsc17H(1/6) AAS
ID:pqOZFPGX氏はまっとうなことを言っているよ。決して「擁護派」なんかではない
IUTTを全否定していないだけで（怪しいとは思っているようだが）
俺もIUTT・IVのSection 3とトポスの取り扱いは気になっていた
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
＞“宇宙替え”は大事ですが、数学基礎論的・論理学的に非自明な操作により証明をしているのではなく
この辺を望月氏や支持者たちは明確に説明しなければならない
これができなければ今後はまともに相手をされないだろう
489(1): 2018/09/30(日)10:27 ID:ECBsc17H(2/6) AAS
ID:pqOZFPGX氏は最近のレスの中では一番厳しいことを書いているよ
>>470
＞・宇宙際形式主義でなければabc予想が証明できないことをメタ証明せよ
＞・フェルマーの最終定理をWilesとは異なる方法で比較的簡潔に証明し、威力を例示せよ
俺はここまで追い詰める気はない（笑）
ただ気になるのは、IUTT及び望月氏その他はこのままだと数学版「知の欺瞞」になってしまうということ
80年代だったらポストモダンの浮かれ連中が殺到していただろうね
493: 2018/09/30(日)11:19 ID:ECBsc17H(3/6) AAS
>>490
ちがうよ。ID:pqOZFPGX氏は以前、俺がIUTT-ⅣのSection 3がよく分からないと書いた時丁寧に答えてくれた人だと思う
「絶対遠アーベル的な視点」とかね。IUTTに詳しくその時は好意的だったようだが、IUTT-ⅣのSection 3については判断の留保があった
トポスの話が出たのもその人から。「基本的な想定舞台はトポスなんだろうけど」とかね
違ってたらゴメン
503(1): 2018/09/30(日)12:45 ID:ECBsc17H(4/6) AAS
RIMSは一貫してノーコメントだし、査読や掲載の話は今はどうでもいいと思う
今の状況で掲載されたら問題になるのは明らかだから
PS＆JS「あなたは抽象的なものと具体的なものを明確に区別していない。簡略化して説明すると(ry」
望月氏「それは基本的な誤解だ。それに議論の為に簡略化は認めたけどやりすぎるな！(ry」
なぜ第一線級の学者の間でこういう5chレベルの議論になってしまったのか？
その背景を探る必要があるのだが、おそらくそれはIUTTそのものの発想・基礎に関わる
これはIUTT支持者側がやるか好事家がやるしかないだろう
省1
504: 2018/09/30(日)12:46 ID:ECBsc17H(5/6) AAS
まあ、グロダンティーク・トポスについて考えてみる良い機会ではあるかもしれないね
557: 2018/09/30(日)19:21 ID:ECBsc17H(6/6) AAS
望月氏とルーリー
それぞれ別の方面からグロタンディークの遺産、夢を継承しているのだろうけど、どうなるのだろうね？
誰かルーリーに詳しい人いる？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s