[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
20: 2020/04/04(土)15:20 ID:QSa6vuFt(1) AAS
これの隠蓑のための上層の政治的判断かもな
外部ﾘﾝｸ[html]:www3.nhk.or.jp
21: 2020/04/04(土)15:27 ID:zOyj5mW2(2/7) AAS
>>18
もういちいち説明や後進の育成に時間使わなくて良くなるから、強いABC予想にもIUTで取り組めるんじゃない
22: 2020/04/04(土)15:32 ID:zOyj5mW2(3/7) AAS
IUTは微積分に匹敵する新規性なんだからそれこそニュートンやガロア以来の天才でしょ
23: 2020/04/04(土)15:36 ID:G92uyUx8(1) AAS
勝った
掲載によって証明完了
24: 2020/04/04(土)15:37 ID:sczCJwx0(2/3) AAS
完全に専門外の素人の、受験レベルでの知識から見ると
強いABC予想の方が縛りがきつく見えるから、いけそうな気もするんだけどな
望月教授の目的はIUTで数学の新たな地平線を切り開く事であって
既存の数学の上に立つ事は興味はそこまでないのかもしれないが
若手で野望をもった人は、すぐ強いABC予想の証明にとりかかるだろうし
それが出てこないという事は、さらに解決しなきゃいけない問題があるんだろうけど
25(1): 2020/04/04(土)15:40 ID:sZjs6X06(1) AAS
もっちーが脱け殻になりませんように！
でもしばらく休んで温泉でもいって焼き肉食いまくればいいとおもう
どうせ京都も5月まで学内閉鎖レベルらしいし
26: 2020/04/04(土)15:57 ID:Spcs8p3o(1) AAS
第三者が「論文は弱いABC予想を証明してる」と言い出さないうちは信用できない。
27(1): 2020/04/04(土)16:02 ID:Rx3O8pl0(1) AAS
>>14
シュルツが間違いを指摘してるからこの理論は欧米数学学会で相手にされなくなった
今回はそこは大きく修正されてないみたいだから京大にとっては小保方級の失態になる可能性もあるよ
28: 2020/04/04(土)16:04 ID:CQxmQuCH(2/3) AAS
Dupuy and HILADOとDupuy and Joshiが出て、それが本当にアメリカの連中が
読めるものかどうかで今後の流れがきまる。
出るのに1年、アメリカの連中が読むのに1年、向こうの風向きが変わるのに2年必要。
しかも、うまくいったとしての話。
29: 2020/04/04(土)16:10 ID:59HFrgxs(1) AAS
あー望月教授が否定される理由が分かった
タイヒミュラーの名前がナチスを連想するからか
世紀のABC予想証明にナチスの功績みたいになるのを阻止したいのね
ドイツらしいな
30: 2020/04/04(土)16:18 ID:C6VVrpTo(1) AAS
タイヒミュラー空間とか望月関係なく昔からあるんですがそれは……
31(1): 2020/04/04(土)16:19 ID:TcPLQ4oE(1) AAS
あの口ぶりだと、
ショルツは絶対に1週間前の加筆修正読んでないね。
彼の中では既に決着が着いた問題として
関心を失っているのだろう。
32: 2020/04/04(土)16:24 ID:JAltDp7y(1/2) AAS
今年大きな集会が四つ予定されててそこでその他研究者の評価も出るだろうと思ったけどこの騒動だからな
33(1): 2020/04/04(土)16:28 ID:mbv9hr8e(1/2) AAS
Max Lieblich@algeom 13時間
Didn't Scholze and Stix show that the Corollary in question is wrong?
Taylor Dupuy@DupuyTaylor
They did not. The assertion they made is really really really elementary. Like its equivalent to A !=B and A=B at the same time.
There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here.
Twitterﾘﾝｸ:DupuyTaylor
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
34: 2020/04/04(土)16:30 ID:mbv9hr8e(2/2) AAS
なぜ専門家でもない人より専門家に近い人の意見を信じないのかわからない。
35: 2020/04/04(土)16:40 ID:fwEIyINB(1) AAS
数学ってやっぱすごいな
俺の分野だと嘘論文が量産されとるわ
査読が通って掲載されることと事実であることが全く乖離しとる
36: 2020/04/04(土)16:47 ID:dx5T0055(1) AAS
>>33
自動翻訳
ScholzeとStixは、問題のCorollaryが間違っていることを示したのでは？
テイラー・デュピュイ@DupuyTaylor
彼らはしなかった。 彼らの主張は本当に本当に初歩的なものです。 A !=BとA=Bが同時に成立するというようなものです。
他にも論点はありますが、フィールズ受賞者の言が必要なものではありません。ここでは権威へのアピールが多いですね。
37: 2020/04/04(土)16:48 ID:3A0p3doi(1/14) AAS
>>31
その加筆で認識がガラリと変わるとは思えないけど
前にも書いたがあのブログの解説部分も論争の要点であって、反論レポートの内容の単純化でしかない
基本的に、読み込んでその当該部分の認識に必要な装置をちゃんと理解して、組み立てでつまづいてるわけね
ショルツは。普通の数学の感覚だとそれってちょっと珍しいから、深刻なギャップが双方にあるわけ
まあDupuyが東海岸の近所のプール学院に駆り出されるのは間違いないから、そこで認識が変わるかどうかだな
38: 2020/04/04(土)16:49 ID:pkKFZsSO(1) AAS
テータ関数のモジュラー形式に現れる6つの項を
意味のある不変量として定義した上で、それらを3x3に分けて内積を取る
そして現れるSU(3)
この内の随伴表現の8成分を抜き出して新たに定義する
これがlogテータ格子って感じに見える
まるでクォークとグルーオンのよう
39: 2020/04/04(土)16:54 ID:sczCJwx0(3/3) AAS
とりあえず、RIMSで開催されるワークショップが終わるまでは
国際的な情勢は基本的には変わらなさそうな感じだね
40: 2020/04/04(土)17:02 ID:seXEedra(1) AAS
>>15
ひとみん嬉し泣き＆悲し泣きが１度に来て混乱してそう…
願いが叶ったらもっち様は月の都の人に…
ますます遠くなっちゃったね…
ひとみんが可哀想だょー…
41: 2020/04/04(土)17:16 ID:2XEOvoyh(1) AAS
いろいろあるにしても
まさか小保方と比較される日が来ようとは
大きく育ったな
42: 2020/04/04(土)17:23 ID:3A0p3doi(2/14) AAS
Goが悪いんだよ
初っぱなから見た目が胡散臭すぎた
43: 2020/04/04(土)17:25 ID:pPsYRwyp(1/3) AAS
Meu Gato
@meu_gato
If Mochizuki wanted acceptance of the paper to be taken seriously, it should have gone to Annals, JAMS, not PRIMS.
If he can't explain why Cor 3.12 is correct, maybe he should let Hoshi, Yamashita, Fesenko, (you?) try. Else they should not claim they understand.
Taylor Dupuy
@DupuyTaylor
No I totally agree. This is shady AF. Especially in Japan with all the deference to authority. It was a mistake for them even to consider it.
省11
44: 2020/04/04(土)17:28 ID:oceOoELU(5/5) AAS
＞2月にアクセプトされてるのにまた改稿してるの？
＞マジで前回の延長戦やるつもりなのか。
出版する際の微調整とかじゃない？
餅がアクセプト済み論文を改稿する時はCommentsって文章をHP上に公表してるよね
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
45: 2020/04/04(土)17:38 ID:eet5JUza(1) AAS
ゴールポスト動かし親方って事ね
46: 2020/04/04(土)17:44 ID:pPsYRwyp(2/3) AAS
要するにDupuyによれば、SSレポートは補題3.12が「間違っていることを証明する」には全く至っていないが、
結局それ以前に補題3.12が意味不明だから説明できない限り証明したとは思われないし、修正版が出るまで待つしかないってことだな
47(1): 2020/04/04(土)17:49 ID:up5lkRJ+(1/2) AAS
3.12が意味不明なんて言ってないよ
48(1): 2020/04/04(土)17:55 ID:pPsYRwyp(3/3) AAS
>>47
Cor3.12に関するMeu Gotoの意見に完全に同意ですと言ってるね
49: 2020/04/04(土)17:56 ID:3A0p3doi(3/14) AAS
正しいとしても、ショルツが意趣変えの表面をしなけりゃ三年は変わらないだろうな
大体「SSを鵜呑みにしたから海外の研究者は否定的なんだ」ってレスここでも多いけど、
現実はさすがにそこまで低レベルではないし、普通に理解されてないだけ
50: 2020/04/04(土)18:03 ID:up5lkRJ+(2/2) AAS
GOTOは3.12の説明を本人ができないなら周りの人に説明させるべきだと言ってるが、DUPUYは前の方で説明責任は果たしていると言っている。
DUPUYが賛同してるのは身内が査読した部分だけだろ。
51: 2020/04/04(土)18:08 ID:CQxmQuCH(3/3) AAS
もっちーは単に自分のところの雑誌に乗せたいってだけだろ
Gotoの雑誌に関する権威主義逆に何なんって思うけどな
ワイルズもドリーニュも自分のところの雑誌に出しているっつーの
52: 2020/04/04(土)18:13 ID:K5yZQ4IA(1) AAS
AnnalsやJAMSに行くべきにたいして
Dupuyは権威がどうとか言ってるから
皮肉で言ってるんじゃないかってくらいに矛盾してるな
英語難しいわ
53: 2020/04/04(土)18:15 ID:JAltDp7y(2/2) AAS
お墨付きを得たんだからどんどん議論が出てくればいいんだよ
正誤の判断はその先にしかない
54(1): 2020/04/04(土)18:17 ID:3A0p3doi(4/14) AAS
雑誌の話じゃなくて単に講義しろで済む話
で、それはDupuyがやるだろう
55(1): 2020/04/04(土)18:19 ID:CTVUpSZE(1/3) AAS
数学で「お墨付き」って意味あるの？
ペレルマンの論文はインターネットで公表されただけじゃん
お墨付きなんてなくても、”みんな”が認めりゃいいんだろ？
56(2): 2020/04/04(土)18:21 ID:/AQd+f0G(1/2) AAS
ある人が架空のabcdef予想から定義と公理作って理論体系作って証明したとする
すると形式的にはその証明は正しいけど、そうなると数学界に受けいられる受け入れられないの判別基準ってどうなんだろうね。
これこれの理論体系の基で、、証明して下さらないと受付ませんよーってなるのかな?
いやこれは記号と多くの人にコンセンサスがある推論規則使ってるんだから「数学」だ、だから認めないとおかしいって終わりのないバトルになりそう。
57(1): 2020/04/04(土)18:22 ID:CTVUpSZE(2/3) AAS
>>54
＞Dupuyがやるだろう
ところでFesenkoって人は何もせんかったの？
理解したんだろ？
58(2): 2020/04/04(土)18:22 ID:21FY0DYB(1/2) AAS
>もし彼が何故Cor3.12が正しいのかを説明できないのであれば、星、山下、フェセンコ、(あなた？)が挑戦するよう導くべきでしょう。
ほんまそれ
その部分の外部向けの補完というだけで業績になるのに
誰もしない時点で理論ではなく権威に追従してるように見られても仕方ない
59: 2020/04/04(土)18:24 ID:CTVUpSZE(3/3) AAS
>>56
非ユークリッド幾何がどうやって認められたか、調べてみればいいんじゃないか？
60: 2020/04/04(土)18:28 ID:oEv2ickP(1/5) AAS
>>58
証明
じゃなくて
自然
なんだよ、ありのまま
星がサーベイで何回もいってるし、文元もツイッターでそういってる
だから、いわゆる「証明」できない
省1
61: 2020/04/04(土)18:31 ID:Gqk3vTF+(1/2) AAS
なんだよそれ宗教か？
62: 2020/04/04(土)18:31 ID:zDw/U7c4(1/2) AAS
餅Tさんが副所長じゃなくなってるな
もっちーもまた、論文修正してる
おつかれさま
63(2): 2020/04/04(土)18:38 ID:Gqk3vTF+(2/2) AAS
冷静に考えてフィールズ賞受賞者が全く理解できないのに
なぜ特に目立った業績のない弟子は理解できるんだ？
64(1): 2020/04/04(土)18:51 ID:blL9QCqE(2/3) AAS
初歩的なところで間違えたから、躓いてると、モッチーが言っている。
また報道では、複数の査読者と、ＲＩＭＳの編集者が、再査読で２年かけて
問題がないと判断したから、業績のない弟子達ではないよ。
65: 2020/04/04(土)18:55 ID:eErpwMFB(1/3) AAS
100歩譲って弟子は理解できたとして
8年間も経って１つもIUT絡みの別の新発見がないというのが微妙
機密保持契約でも結んでいるのか？
66: 2020/04/04(土)18:56 ID:3A0p3doi(5/14) AAS
>>57
身内のセミナー仕切っただけ
今のところIUTをちゃんと公的に解説した功績はDupuyとJoshiが候補なだけで皆無だよ
でも、ある程度内容を把握してる人は身内以外にも何人かいるので、機会があれば出てくる可能性もある
67: 2020/04/04(土)18:59 ID:3A0p3doi(6/14) AAS
>>63
ショルツばかり出すのもおかしい。ケドラヤも完全なコミットを留保していた実力者の一人だし、
表に出てないだけで十分納得できなかった一流も他にいるよ。しかし、全否定してる人はショルツくらいしか
俺は知らない
68(1): 2020/04/04(土)19:01 ID:Tf7dK2fY(1) AAS
>>641
じゃあ認めてないショルツ以外の数学者も同じく初歩的なところを間違えてるのか？
69: 2020/04/04(土)19:02 ID:TZBCeAcH(1) AAS
Cor3.12が理解できないのなら理解できるようにわかりやすく
解説した論文のようなものを書けばいいのに
なぜしないのかな
６００ページの難しい論文を猿でもわかる簡単な論文に書き直すとか
しろ
70(1): 2020/04/04(土)19:05 ID:o9ywveI7(1/4) AAS
最初っからこの件で良く分からないのは、数学ってそんなに分かりにくい学問だったっけかってことなんだよな
ステップごとには論理式で書けるような内容であるはずで、長いっても1000ページ切ってるんだろ
ある程度素養のある人が眺めてみて何が本質的なアイデアか全くわからないなんてことがあり得るのかね？
71: 2020/04/04(土)19:05 ID:eErpwMFB(2/3) AAS
本人に無理なら
弟子が代わりにショルツの反論に説明を加えればいいじゃん
身内の査読者も理解できたならそれが可能なはずでしょう
Cor3.12に関して本人以外の身内によるコメントってないの？
72(1): 2020/04/04(土)19:07 ID:jmBI9k02(1) AAS
full poly-isomorphism なんて存在していいの？ こんなもの認めていいのかい？
73(1): 2020/04/04(土)19:08 ID:zDw/U7c4(2/2) AAS
ありえるらしい
現代数学は細分化されて高度化されてるため、その筋の専門家しか理解できないことも多々あるらしい
その筋の専門家でさえ理解できないかもしれないらしい
74: 2020/04/04(土)19:08 ID:vePGlEFh(2/3) AAS
何か怖くなってきた
ショルツもタオも初歩的なところで躓いて堆肥村理論を理解できないのに
弟子の星君は完全に理解できると公言してるんでしょ？
75: 2020/04/04(土)19:08 ID:JoR/sPSp(1) AAS
その前に問題になっている部分の説明がないじゃん。
76(2): 2020/04/04(土)19:13 ID:/AQd+f0G(2/2) AAS
400年の難問、｢ケプラー予想の証明｣やっと100％終わる
外部ﾘﾝｸ[html]:www.gizmodo.jp
こういう方法もある、参考まで
77: 2020/04/04(土)19:14 ID:3A0p3doi(7/14) AAS
系312って話になってるけど、要はその背景なんだよね
「SSと同じような箇所が理解できない」ことと、「過度な単純化として望月サイドから批判されているSSと
同じ批判論拠を持っている」ことは必ずしも同じ
ではないことに注意しなければならない
78: 2020/04/04(土)19:18 ID:HG+xQcER(1) AAS
>>73
そんなの半世紀まえからどんな分野でも言われてるよ。
もちろん、本当に本当のその分野の専門家でなければ片手間でしかよまないだろうし。
79: 2020/04/04(土)19:18 ID:o9ywveI7(2/4) AAS
>>72
そこは当初から言われてるよな
どんなに複雑でも本質的なアイデアは圏論ぐらいで焼き直せるはずだと
80: 2020/04/04(土)19:26 ID:zOyj5mW2(4/7) AAS
IUTの根幹が足し算と掛け算の複雑な絡み合いを整理してわかりやすく表示してる装置みたいなものだから証明もクソもないんだっけか
81: 2020/04/04(土)19:35 ID:zOyj5mW2(5/7) AAS
Dupuyは説明してくれれば楽だったよって思ってるんでないかね
結局モッチーとその弟子がいつまで経ってもやらんから、Dupuyが既存の数学で馴染みやすいわかりやすい記号で書いてショートペーパー発表したわけだし
それをモッチーとその弟子がやってればもっと早く決着してたしおれら時間めちゃくちゃ使わんで良かったと思ってそう
82: 2020/04/04(土)19:43 ID:zOyj5mW2(6/7) AAS
SSの指摘自体は単純なものでそれは誤解に基づくものと思っている
しかしそれとは別にモッチーが3.12に対する指摘はただの誤解だし説明する必要はないっていう姿勢に大しては否定的なんだろよ
(その姿勢で弟子たちはモッチーの権威に従って説明しませんって口をつぐんでしまったので)
83: 2020/04/04(土)19:46 ID:XONTJcLP(1) AAS
つまりもっちーの勝ちなの？
84: 2020/04/04(土)19:49 ID:zOyj5mW2(7/7) AAS
もっちーの大勝利だよ
85(1): 2020/04/04(土)19:51 ID:blL9QCqE(3/3) AAS
>>68
＞冷静に考えてフィールズ賞受賞者が全く理解できない
これはＳＳのレポートのことですよね。それは初歩的な誤解の指摘がありますが。
複数の査読者とＲＩＭＳの専門分野の教授が理解でき、ＳＳレポートの指摘は
論文の問題ないと判断したのであれば、SSは雑誌掲載の判断までの経緯を聞いて、
具体的に反論しないといけませんね。 これはフレンケルも言ってますね。
＞認めてないショルツ以外の数学者
省4
86: 2020/04/04(土)20:00 ID:qqVllLrZ(1) AAS
>>85
少数の身内以外に理解不能なのは、不掲載の理由になるでしょ。
87(1): 2020/04/04(土)20:02 ID:o9ywveI7(3/4) AAS
単純化しすぎていて初歩的な誤解に基づくっていう意見あるけど
ショルツのペーパー見る限り、こういう風に単純化するとこんな矛盾が出てくるんだけど
IUTはこの点をどういう風に解決してるのか説明してくれないか？
ってことが聞きたかったんじゃね
それに対して自明だ、論文読めばわかるって突っぱねたらそりゃ相手してもらえないだろ
88: 2020/04/04(土)20:10 ID:QV18ltbz(1) AAS
まわりにお菓子配りまくって、身内だけに認められて、本人が嬉しいなら、それでいいんじゃないの？
89: 2020/04/04(土)20:15 ID:DZ3hypNA(1/4) AAS
敢えて裸の王様にチャレンジするって面白いと思うの
90: 2020/04/04(土)20:35 ID:XcdjS177(1/3) AAS
>>76
そっちは機械的証明なので
基礎理論を一から作るIUTに適用するなら
10年では済まない
91(1): 2020/04/04(土)20:36 ID:eErpwMFB(3/3) AAS
弟子やら数理研やらも巻き込んでるから裸の王様では済まない
証明の欠陥が修正されていなかったら京大数理研全体が裸の王族になる
92: 2020/04/04(土)20:37 ID:XcdjS177(2/3) AAS
>>63-64
「特に目立った業績のない弟子」ばかりだから
信用されなかったというのはあるよな。。。
お笑いだけの人もいるし
93: 2020/04/04(土)20:38 ID:XcdjS177(3/3) AAS
>>91
まあそのために柏原引っ張ってきたんだろうしな
玉川だけでは近すぎて信用されない
65歳以下の現役でできなかったのは残念としか
94: 2020/04/04(土)20:40 ID:21FY0DYB(2/2) AAS
>>76
>ヘールズ教授自らが証明支援ツールで形式的証明を目指す｢Flyspeckプロジェクト｣を発表
>ヘールズ教授自ら ←
ここ重要ね
そもそも難解な論文というだけで
論理の飛躍が指摘された訳ではないから事情が違うよ
95(1): 2020/04/04(土)20:45 ID:G8ZGJQ8W(1/2) AAS
*********
大体「SSを鵜呑みにしたから海外の研究者は否定的なんだ」ってレスここでも多いけど、
現実はさすがにそこまで低レベルではないし
**********
数学者の世界はあんがいそんなもんだよｗ おれのまわりもそう
96(1): 2020/04/04(土)20:49 ID:oEv2ickP(2/5) AAS
そうそうオレの周りもそう
フィールズメダリストの肩書きはデカいらしい
情けない数学者たちよ
理解者らはカンカンだよ、ショルツのせいでとんでもない風評被害を受けたってね
97: 2020/04/04(土)20:50 ID:3A0p3doi(8/14) AAS
>>87
賢いわ。全くその通りだ
98: 2020/04/04(土)20:53 ID:1pkLE+3X(1/3) AAS
ショルツェおしりぺんぺん
99: 2020/04/04(土)20:55 ID:3A0p3doi(9/14) AAS
>>95
>>96
そりゃケースバイケースだろ。読んでない場合はそうなるのがむしろ普通だろな
100: 2020/04/04(土)20:57 ID:dYyS2Fty(1) AAS
ブログにあった黒幕に対抗するために柏原さんを引っ張り出してきたんでしょう
これを受けてショルツはどうするかだね
上下前次1-新書関写板覧索設栞歴
あと 902 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s