[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
129(2): 04/15(水)00:21 ID:NvdyhW90(1/2) AAS
正しいも何もそこまでは内容ない造語の羅列ってショルツも言ってるじゃん
ばかなのかな？
130(1): 04/15(水)00:23 ID:NvdyhW90(2/2) AAS
結局望月スピリチュアルのカルト数学でしかないんだよな
> "The logic of (supposedly difficult portions of) IUT
is in fact very simple and elementary."
また超長文の罵倒に逃げて喧嘩別れするまで何ヶ月持つのかな〜w
131: 04/15(水)04:54 ID:A4p+RiWe(1) AAS
17℃
くもり
132: 04/15(水)05:57 ID:UyDk3oK3(1/6) AAS
>>128
>とりあえず3.11までは完全に正しいらしい。
ブラックボックスじゃなくて
検証できてるの？
133: 04/15(水)06:53 ID:UyDk3oK3(2/6) AAS
>>129
>正しいも何もそこまでは内容ない造語の羅列ってショルツも言ってるじゃん
そんなこと言ってたっけ？
134: 04/15(水)07:16 ID:Y67Qj9rH(1/4) AAS
俺は>>129ではないけど
zentralblattのreviewより
>Finally, let me briefly summarize the content of the individual papers.
>In parts II and III, with the exception of the critical Corollary 3.12,
>the reader will not find any proof that is longer than a few lines;
>the typical proof reads “The various assertions of Corollary 2.3 follow
>immediately from the definitions and the references quoted in the
>statements of these assertions.”, which is in line with the amount
>of mathematical content.
（要約）3.12の証明までは、望月氏が定義あるいは既知の結果から自明と
省1
135: 04/15(水)07:21 ID:UyDk3oK3(3/6) AAS
じゃあ「内容無い」とまでは言ってないわけだな
136: 04/15(水)07:35 ID:Y67Qj9rH(2/4) AAS
先に引用した文章に続いて
>these may be of interest to specialists
と婉曲的に「興味がある人以外には意味なし」判定をしています
よりはっきりした「内容がない」という趣旨の発言なら
例えばPersiflageにおけるコメントがあります
>Note that this proof is in fact the only proof in parts II and III
>that is longer than a few lines which essentially say “This follows
>from the definitions”. Those proofs, by the way, are completely sound,
>very little seems to happen in those two papers (to me).
137: 04/15(水)08:06 ID:UyDk3oK3(4/6) AAS
completely soundだからいいって認めてるんじゃないの？
それとこの2つの論文の中には殆ど無いって言ってるけど
138(1): 04/15(水)08:27 ID:Y67Qj9rH(3/4) AAS
"Those proofs"は3.12の証明以外を指しています
だから3.12の証明以外は「もっともらしいけど内容はない」という主張です
139: 04/15(水)08:48 ID:Y67Qj9rH(4/4) AAS
ついでに俺の評価：
IUT理論が（何らかの形で）成立するかという問題は後で述べるとして
望月氏vsScholze氏の議論は内容もスタイルもS氏の圧勝に終わったと思います
望月氏は独自の用語・用法による理解不能の説明を繰り返したあげく
他の研究者に対する敬意を失する言動をとり信頼を損なっています
今後について言えば、論文発表から十数年たったにもかかわらず
現時点で主要なアイディアが何も見つかっていないということは
今後も見つからないということを意味すると思います
見るべき内容なしとして当初否定された重大業績が十数年たって
初めて認められたという事例は歴史上Heegnerのものしか知りません
省4
140: 04/15(水)08:49 ID:UyDk3oK3(5/6) AAS
そうかなあ
そこまでは言ってないと思うね
141(1): 04/15(水)09:27 ID:RhrMB4Zt(1) AAS
>>138 3.12の証明以外は「もっともらしいけど内容はない」という主張
それの意味するところが、3.12が証明されてないから他は意味をもたないのか
それとも、「数学風文学じゃん」という意味でゆってるのか・・どっちなの？？
142: 04/15(水)11:54 ID:iRBXybsr(1/4) AAS
例え話や批判者への誹謗中傷でなく
これを詰めて説明すればいいだけなのに
住数年何もやらんのだからもう詰んでるって
本人も周りも薄々気づいてるだろ
プライドだけはめっちゃ高そうだしなあの辺りの連中
> "The logic of (supposedly difficult portions of) IUT
is in fact very simple and elementary."
143: 04/15(水)11:55 ID:iRBXybsr(2/4) AAS
トランプと同じだな
自分の過ちを素直に認められない
謝ったら死ぬ病、望月w
144: 04/15(水)12:51 ID:r9w7HmZD(1/4) AAS
>>128
そりゃそうだろ
そこまでただの部品パートだぞw
145: 04/15(水)12:51 ID:r9w7HmZD(2/4) AAS
>>130
お正月の謎ブログでしょ
146(1): 04/15(水)12:52 ID:r9w7HmZD(3/4) AAS
>>141
3.11まではただの部品がバラバラ書いてあるパート
3.12からさあなんかやるぞってところでいきなりアウト
147: 04/15(水)15:16 ID:0Vjsw/AC(1) AAS
>>113
理解者なんていなかったのかよ
148: 04/15(水)15:23 ID:qHL9htwz(1/3) AAS
いたらとっくに納得させられてる
149: 04/15(水)16:27 ID:mrlpFZSO(1/2) AAS
☆が唯一の理解者
150(1): 04/15(水)16:39 ID:qHL9htwz(2/3) AAS
しかしコード化できない
151(1): 04/15(水)16:58 ID:iRBXybsr(3/4) AAS
数理研もすっかりすごい数学者の集まり感はなくなってしまったけど
その大きな原因はあの一派だろうな
152: 04/15(水)17:45 ID:mrlpFZSO(2/2) AAS
>>150
まだコード化の最中だよ
153(1): 04/15(水)17:49 ID:qHL9htwz(3/3) AAS
コード化の最中で壁にぶち当たって身動き取れない
154: 04/15(水)18:35 ID:vfjJ2HAB(1) AAS
>>128
（著者より） この連載をお読みいただきありがとうございました。IUT理論の形式化は、今この瞬間も GitHub 上などで進められています。いつか「コンパイル成功」のニュースが世界を駆け巡るのか、それとも別の結論が出るのか。その日、数学は新しいステージへと進化します。
だいぶポジティブやな
リソース割いて他人の犬の糞拾ったぐらいの印象
155: 04/15(水)19:44 ID:iRBXybsr(4/4) AAS
数学者に伝わらない望月精神論が
コード化できるとかお花畑もいいところ
156: 04/15(水)20:00 ID:UyDk3oK3(6/6) AAS
上手く克服できる可能性もあるよ
しかし
オリジナルのIUTの検証をすべきで
別のアイデアを盛り込んではなるまい
157: 04/15(水)21:56 ID:r9w7HmZD(4/4) AAS
>>151
角川に寄生されて腐ったんだな
158: 04/15(水)23:19 ID:7t7Rbezd(1/2) AAS
そういやこの春RIMSから沖縄に逃げた教授がいるな
沖縄ならアロハも逃げればいいのに
159(1): 04/15(水)23:20 ID:7t7Rbezd(2/2) AAS
>>153
これからこれから
結論決め打ちしないように
160: 04/16(木)00:00 ID:57BQbduN(1) AAS
scholzeの見解
quanta magazine 2018.9.20
> Personally, he said, “I didn’t really see a key idea that would get us closer to the proof of the abcconjecture.”
161: 04/16(木)00:09 ID:UE4mPsz6(1/5) AAS
>>159
いやいや証明が完成してるなら形式化作業において隘路に突き当たるのは説明がつかない
162: 04/16(木)00:16 ID:UE4mPsz6(2/5) AAS
もともと証明なんて無かったという事実が顕在化した・・・IUT詰んだね
163: 04/16(木)00:25 ID:kmyCVAte(1) AAS
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
動画ﾘﾝｸ[YouTube]
164(1): 04/16(木)07:42 ID:2lldHlYL(1/2) AAS
1:06:51〜で、ステージ１（3.11⇒3.12の形式化）に必要な時間は
"an ideal world"（LEAN熟練者がIUTを理解して形式化に協力する）では
半年〜１年以下だそうです
なにせ
>The logic of (supposedly difficult portions of) IUT
>is in fact very simple and elementary
ですから
IUTが理解不能であるという問題をLEANで解決するためには
LEAN熟練者がIUTを理解する必要があるということでしょうか？
エッシャーの階段です、モノドロミーの問題が生じています
省2
165: 04/16(木)08:16 ID:a16iKKwJ(1) AAS
モノドロミーは
１８５７年の
リーマンの論文に出てくる
166: 04/16(木)10:10 ID:p5dVy/CN(1) AAS
>>164
IUT習熟者（☆）がLANAチーム（形式化実行部隊）と一体となって形式化とIUT理解に邁進してるところ
生暖かく見守ろうではないか
ダメだと決めつけない
まだ「間違ってさえいない」のだから
167: 04/16(木)10:17 ID:BPvubZyx(1) AAS
ABC conjecture/IUTT new reaction
外部ﾘﾝｸ:www.youtube.com
168(6): 04/16(木)11:39 ID:UE4mPsz6(3/5) AAS
外部ﾘﾝｸ:zen.ac.jp
星裕一郎「定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの多くが、その中に何か超えられない壁があると感じている」
何か超えられない壁とは？ お気持ち表明で終わらせず、どのような壁かきちんと説明すべきでは？ 進捗報告としてはちょっとお粗末では？
169: 04/16(木)12:17 ID:4YpKvmgS(1) AAS
>>168
望月新一本人だけが自明と言ってるいつもの現象
170: 04/16(木)13:18 ID:pVN+5O5k(1/8) AAS
STAP細胞も実はとても簡単だったんです！って売りにしてたよね
偽科学で飯を食う人間が好むキーワードなんだろうな、実はとても簡単w
171: 04/16(木)13:43 ID:dvt/r/ke(1) AAS
やっぱダメだわってのが明確になったという意味では LENA プロジェクトをやった価値はあったな。
172: 04/16(木)14:03 ID:pVN+5O5k(2/8) AAS
最初からショルツも越川も散々指摘してたのにこいつは何すっとぼけてんの？星も無実ではないよねもう
> 星裕一郎「定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの多くが、その中に何か超えられない壁があると感じている」
173: 04/16(木)19:17 ID:2lldHlYL(2/2) AAS
望月氏のグループが書いたLEANコードはグループ内での
communication toolとしてとても役立っています
講演アブストラクト
>The skeletal Lean code that we wrote for this portion of IUT
>constituted a remarkably successful case of the use of Lean as
>a communication tool.
（拙訳）私たちが書いた"skeletal Lean code"はLEANをコミュニケーション
ツールとして使うことの非常に成功した事例となります
講演スライド
>We note, however, that this Lean code is still in a somewhat
省10
174: 04/16(木)19:42 ID:pVN+5O5k(3/8) AAS
星も一年かけて説明できなかったんだから
誰も理解できていなかったってことだな
あるのは望月真理教のスピリチュアルだけ
175: 04/16(木)21:37 ID:YCTn2K4o(1) AAS
星新一
176(1): 04/16(木)22:17 ID:QxCVKXBJ(1) AAS
星はまだ理解への努力を続けると言っておろうが
一年やったからダメだったとかで外野が無理やり結論づけないでくれよ
177(1): 04/16(木)22:18 ID:Xm9fofzp(1) AAS
理解者って10人くらいいなかった？
RIMSで査読通したやつはどこ逃げたの？
178(2): 04/16(木)22:23 ID:G1B3tCJr(1) AAS
理解者っていっても3.12まで理解してるのは☆とGoだけだろう？
Sも理解してるはずだけど、説明から逃げてる
モチの子分たち数名（Y、M、TU、TA ...）
E.Lepage
ぐらいか？
Fesenkoや加藤はほんとは何もわかってないなんちゃってIUTフォロワー
179: 04/16(木)22:37 ID:UE4mPsz6(4/5) AAS
>>176
超えられない壁って何？
なぜ超えられないの？
超えるために何をどう取り組むの？
君はどこまで分かってて
>結論づけないでくれよ
と言ってるの？
180: 04/16(木)22:41 ID:FGRIWLfw(1/7) AAS
>>177
ホンソレ
181: 04/16(木)22:47 ID:UE4mPsz6(5/5) AAS
進捗レポートの体裁になってないんだよなぁ
見つかった課題に対してその内容と何をどうやって解決を試みるつもりなのか、そこを説明しないと読み手は順調でないこと以外何も分からないよ
俺がスポンサーならこんなレポート出されたら直ちにスポンサーを降りる
182: 04/16(木)22:58 ID:FGRIWLfw(2/7) AAS
>>178
ホントに理解してるの？
183: 04/16(木)23:15 ID:pVN+5O5k(4/8) AAS
結局金のためのポジショントークだったわけだね、あの界隈の連中は
184: 04/16(木)23:15 ID:FGRIWLfw(3/7) AAS
>>168
端的に言って「導けない」ということでないの？
書かれてない別の理由によって「導け」ても
それではIUT論文が正しかったとは言えないのでは？
185: 04/16(木)23:16 ID:pVN+5O5k(5/8) AAS
そもそもGOなんて自分の博論も間違ってるポンコツじゃん
186(1): 04/16(木)23:17 ID:pVN+5O5k(6/8) AAS
結局雑魚院生が書いてたコメントが全てだったんだな
誰も理解していないのに(尊師が言ってるのだから)正しいだろう、という空気感が一人歩きしていただけだったのね
187: 04/16(木)23:18 ID:FGRIWLfw(4/7) AAS
たとえば「フェルマーの定理」は正しかったけれど
フェルマー自身は何も証明できていなかったろうという評価よね
たとえ系3.12がIUTの4つの論文以外の努力で証明できたとしても
それでは彼の論文が正しかったとは言えないでしょうに
188(1): 04/16(木)23:19 ID:FGRIWLfw(5/7) AAS
>>186
そのコメントって？
189(1): 04/16(木)23:20 ID:pVN+5O5k(7/8) AAS
>>188 当人のブログ見ろ
190: 04/16(木)23:21 ID:FGRIWLfw(6/7) AAS
でも7月17日（祇園祭に？）中間報告が待たれるな
191(1): 04/16(木)23:21 ID:FGRIWLfw(7/7) AAS
>>189
当人って？
192(1): 04/16(木)23:30 ID:pVN+5O5k(8/8) AAS
説明責任を果たさず陰謀論全開の被害者仕草で
十数年ゴネ続けてきた挙句結局何も出てこなかった空箱にいつまでも期待してもね
まあ後世の人間が関係者を断罪するための証言集めにはなるかな、程度の興味しか湧かない
193: 04/17(金)00:14 ID:LKmMoNxy(1/5) AAS
>>192
AERA／朝日新聞に戦犯ライター居るよな
194(1): 04/17(金)05:14 ID:XvEXHpXA(1/5) AAS
>>191
jinのツイッターみろ
195: 04/17(金)05:17 ID:XvEXHpXA(2/5) AAS
LANAプロジェクトの空気感は望月こりゃコンパイルできねえよ、みたいだが
星君が7月までに逆転の納得いく説明が出来るか？にIUTの未来はかかっている
説明できなけりゃ、IUTは闇の中へ
説明できりゃ、大逆転のおまいらゴメンナサイだぞ
196: 04/17(金)06:46 ID:mJFdF5wn(1/2) AAS
>>194
よく分からんが検索してみたけど
IUT絶賛してるんじゃないの？
197: 04/17(金)08:45 ID:q3zE+7aj(1/2) AAS
星の努力によって間違ってすらいないから間違ってるに進展できるかの瀬戸際
198: 04/17(金)08:46 ID:aw1yPZBj(1/2) AAS
ガウスはリーマンの論文を絶賛したが
AIだったらどう評価しただろうか
199: 04/17(金)08:47 ID:aw1yPZBj(2/2) AAS
１７℃
くもりのち晴れ
200: 04/17(金)09:54 ID:XxOU4b/p(1/3) AAS
>>178
>Sも理解してるはずだけど
Saidi？
201: 04/17(金)10:06 ID:XvEXHpXA(3/5) AAS
思考転換が必要、なんだね
202: 04/17(金)10:07 ID:XvEXHpXA(4/5) AAS
jinのツイッター見てたらそんな気がしてきた
203: 04/17(金)10:25 ID:XxOU4b/p(2/3) AAS
素人●違いのMath_jinのいうこと真に受ける白〇っているの？
204: 04/17(金)10:49 ID:XvEXHpXA(5/5) AAS
jinのいうこと、というか彼の情報収集能力よね
今はLANAプロジェクトの関係者っぽい人のブログを書き散らしてる
205: 04/17(金)11:26 ID:z6PgVSSZ(1/2) AAS
結局、SSが指摘した系と同じところでleanも詰まったらしいな
206(1): 04/17(金)12:09 ID:lL351xK0(1/2) AAS
少なくとも「自明」ではないよね？そこは認めようよ
207: 04/17(金)13:44 ID:Ot76aGND(1/3) AAS
結局望月のスピリチュアルしか支えてるものがなかった擬似数学ってことだな
狂人の妄想に付き合わされた院生とかは悲劇だね
今後の人生どうすんの？
208(1): 04/17(金)14:34 ID:2rQ760M7(1/2) AAS
「ほんとはここの部分よくわからないんだけど
聞くと望月さん怒るからなぁ
まああの彼があれだけ言ってるんだし正しいんだろうw」
↑ 結局自称理解者たちもこのレベルの解像度でしか理解できていなかったってことだよね
第一信者の星ですら一年かけても説明できなかったんだから
209: 04/17(金)14:35 ID:2rQ760M7(2/2) AAS
望月が理解者はどんどん増えてます、
何年かかければ誰でも理解できることも判明！
とか大本営発表してたのも真っ赤な嘘ってことだね
210: 04/17(金)14:42 ID:XxOU4b/p(3/3) AAS
>>208
＞ここの部分よくわからないんだけど
＞聞くと望月さん怒るからなぁ
実は望月新一自身全然わかってないから
聞かれるとムカつく、という展開
211: 04/17(金)16:01 ID:z6PgVSSZ(2/2) AAS
系3.12を理解してる（妄信してる）
212: 04/17(金)16:37 ID:vaXjtDyz(1) AAS
例のLANAプロジェクト内部情報ブログ、IUTの何が問題かと、どうすれば解決できるかを、感情論てなく論理的にかつ簡易に説明してくれてる
213: 04/17(金)16:50 ID:LKmMoNxy(2/5) AAS
IUT擁護派ってLLMコピペしてるだけのバカ多すぎね？
214: 04/17(金)16:52 ID:Ot76aGND(2/3) AAS
望月見てると飛び級しまくりってやっぱり精神発育上良くないんだろうね、自分が特別って勘違いしちゃうし
河東は日本に飛び級ないことを批判してるけど全然同意できないな
215: 04/17(金)16:53 ID:q3zE+7aj(2/2) AAS
そこまで分かってるなら「超えられない壁」なんて無いんだが
216(1): 04/17(金)17:21 ID:lL351xK0(2/2) AAS
Leanで試そうとした結果、証明が正しくないことがわかったって結論でええやろ。
217: 04/17(金)17:31 ID:LKmMoNxy(3/5) AAS
>>216
これまでハッタリかまして税金抜いてた奴らが？
あと他にやたら貶して問題発言してたよな
川上含めて
218: 04/17(金)17:42 ID:7OnpyrTa(1) AAS
あと３ヶ月で結論がでるよ
まあそれまではおとなしく待ちましょう
どうせこのスレにいる素人には真贋判定はできないのだから
219: 04/17(金)17:45 ID:TIqJY5Vk(1) AAS
まあ、論文を何ページ読んだのかと尋ねたい。
私は0ページw
220(2): 04/17(金)18:13 ID:c/6mCoBJ(1/2) AAS
IUT理論は望月新一IUT提唱者のみIUTの理解者で他の理解者は提唱者が決めるとりまき階層性の「全く新しい数学」。
ー ➖
IUTTの検証.進捗情報の報告
2013年12月現在
京大数理解析研究所教授.望月新一
・1。 P5
>ABC予想には本質的に異なる
手法による「別証明」が果たして存在 し得るか、疑問を抱かざるを得ないと いう意味においても「正しい理論」で ある。
・2。 P6
>IUTの場合「絶対遠アーベル幾何」や 「エタール.テ-タ関数の剛性性質」 「Hode.Arakelov理論」といったテーマについて既に深い理解とそれなりの研究業績を有する研究者なら、そのような
省5
221: 04/17(金)18:17 ID:c/6mCoBJ(2/2) AAS
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
222: 04/17(金)18:41 ID:Ot76aGND(3/3) AAS
>>220 全部嘘だったわけねこれも w
223: 04/17(金)21:47 ID:LKmMoNxy(4/5) AAS
>>220
判定する資格がないフイタw
マジでクズの手口じゃん
で、深ーい理解しちゃった理解者はどこ逃げたんだ？コラ
224: 04/17(金)21:48 ID:LKmMoNxy(5/5) AAS
mathjinとか見てると
言語力も数学力もない奴が
LLM使ってもゴミしか引き出せないんだなって如実にわかるよな
225: 04/17(金)22:57 ID:mJFdF5wn(2/2) AAS
>>206
それをGAPがあるって言うよね普通
226: 04/18(土)00:15 ID:0LJAMCCG(1) AAS
無敵の人「自明だ。分からないおまえらがバカなだけ。」
227: 04/20(月)00:25 ID:/bl68fq7(1) AAS
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress ...
動画ﾘﾝｸ[YouTube]
228(2): 04/20(月)20:59 ID:JM++wMPj(1) AAS
>>146
それだったら3.11までのバラバラな部分を一部でも指摘したら済む話じゃねーの？？
上下前次1-新書関写板覧索設栞歴
あと 774 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.276s*