[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
233: 2020/04/05(日)12:02 ID:NtAt+q6Y(7/7) AAS
>>231
ならなぜ科学者の多くは「ショルツが逃げた」という判断をしていないんだ？
234(2): 2020/04/05(日)12:02 ID:TzRDNpXs(2/2) AAS
>>228
ネイチャー読めよ
外部ﾘﾝｸ:www.nature.com
235(1): 2020/04/05(日)12:14 ID:ESZv1/p1(1) AAS
ちと話変わるけどEMSの責任者が知らなかたっていうのおかしいんだよね。
京大の発表では2月5日にアクセプト。今は2ヶ月後。
さすがに2ヶ月あったらアクセプト結果がMehrmannの耳に入ってないってのは信じられない。
今まで物議を醸し出した査読結果なんだからEMS内ですぐに広まるはず。
つまり2月5日にアクセプトしたと言っているが編集委員会はその結果をEMSに送ってないんじゃないか。
236: 2020/04/05(日)12:15 ID:YxWsMJ4i(11/23) AAS
>>234
権威主義の弊害wwww
ネイチャーガー
フィールズメダリストガー
ゴシップ似非サイエンスwwww
237: 2020/04/05(日)12:16 ID:YxWsMJ4i(12/23) AAS
>>235
アクセプトされてすぐ送ってるよ
238: 2020/04/05(日)12:16 ID:BRLakduE(1/4) AAS
問題の系3.12について引っかかるのが、IUTの他の定理は証明が1ページ未満なのに対し、この系3.12だけは10ページ以上も証明があるって点だ
本来は“系”(corollary)というぐらいだから証明もいらないぐらい自明じゃないといけないはずなのに
239(1): 2020/04/05(日)12:17 ID:kdKHAXb8(1/6) AAS
EMSは知らなかったのに5chでそれらしい書き込みがあったから内部者が書いてるの間違いないんだよね。
だから擁護コメは内部者で利害関係人だから信用できないと思ってる。
240: 2020/04/05(日)12:18 ID:YxWsMJ4i(13/23) AAS
>>239
お好きにどうぞー
241(2): 2020/04/05(日)12:19 ID:WYjlPv47(2/4) AAS
ギャップがある事自体は修正か撤回すればいいで済むけど
ギャップを放置したままRIMS内では証明された事にするなら
全く話は変わってくるわな。
242: 2020/04/05(日)12:21 ID:levNeqCT(1) AAS
望月さんはABC予想など小さいよ
もっと大きい論文だよと
こういう態度で
通してるんですかね
ABCもフェルマーも目立つから
勝手に大きな山みたいに扱うが
数学とはもっと大きい学問ですよ
省1
243(1): 2020/04/05(日)12:21 ID:YxWsMJ4i(14/23) AAS
>>221
何が鋭い指摘だ、だよw
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外
さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方
244(1): 2020/04/05(日)12:22 ID:kdKHAXb8(2/6) AAS
>>241
そこなんだよな。
RIMS内部では理解したことになってるわけで、
じゃあ今後RIMSからみんなにわかる明確な説明があるんですよね、TやKはできるんですよね、
という話になってくる。EMSがreflect badly on themって言ってるのはこの事態だろう。
245: 2020/04/05(日)12:22 ID:YxWsMJ4i(15/23) AAS
>>241
ギャップ自体がないのよ、何回いわせんだよ
RIMS内云々ってこれ編集委員会マターだからね、リムスかんけいないの
246(1): 2020/04/05(日)12:23 ID:YxWsMJ4i(16/23) AAS
>>244
リムス内部で理解なんて絶対条件じゃないから
レフリーレポートがすべてよこの世界
247(1): 2020/04/05(日)12:25 ID:kdKHAXb8(3/6) AAS
>>246
きみ査読のことわかってないのバレバレなんだよね。
じつはレフェリーレポートがrejectでも編集委員長がOKなら載せられるんだ。
嘘つきの相手は時間の無駄だから。
248: 2020/04/05(日)12:26 ID:f2J1qa0q(1/3) AAS
ついにABC予想の証明が正しいと認められるwwwww
お、おまえら〜w
249: 2020/04/05(日)12:27 ID:kdKHAXb8(4/6) AAS
編集委員会が査読をさせるのは査読結果を勘案するためであって、
そのレフェリーレポートでacceptかrejectかを決めるためではない。
だから機関誌についてレフェリーの責任であって機関誌の責任ではないとは言えないんだよ。
最終判断下してるのはそこなんだから。
250(1): 2020/04/05(日)12:28 ID:f2J1qa0q(2/3) AAS
反論があるやつは反対論文を投稿しないとなw
251: 2020/04/05(日)12:30 ID:8gUORYpi(1/2) AAS
>>234
＞数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、EMSのガイドラインに違反しないことを確認している。
とあるその記事か
何を逆証の記事をドヤ顔で引用しているわけだド阿呆
252(1): 2020/04/05(日)12:30 ID:1GnoRDNQ(1) AAS
全く良く分からんが、>>180がコミュニティ的に精査されることで、誤解があれば解けるんじゃないの？
元々ギャップ自体ないなら確かに修正しようもないな。
253(1): 2020/04/05(日)12:34 ID:f2J1qa0q(3/3) AAS
望月スクールのやつらは既にABC予想の先をやっているというのにお前らは8年前で止まってるなw
254(1): 2020/04/05(日)12:38 ID:NkAq1xzA(5/7) AAS
>>229
『まったくゼロからの論理学』岩波書店
の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語
演繹，前提，仮定，含意，条件法
について革新的なことが書いてある
俺は野矢のいう条件法で数学を諦めていたのだが
省13
255(2): 2020/04/05(日)12:46 ID:WYjlPv47(3/4) AAS
>>252
ギャップがないなら解説を加えるのも簡単なはずなのよ
コミュニティ側は3.12にギャップが本当に存在しないのなら
その明快な解説を公開した人物の業績は永遠に語り継がれると言っているのに
８年間誰一人として解説を与えられる様子がなかった事で
「理解者」も単なるイエスマンだと見なされて完全に見限られた。
256: 2020/04/05(日)12:54 ID:YxWsMJ4i(17/23) AAS
>>247
いやいや、レフリーレポートが強く勧める内容なら、それをエディターがリジェクトするにはそれ相応の理由が必要だろ？今回何の理由があんだ？まさか「まだ世界的に認められてないから」なんて下世話な理由じゃねーだろうな？
257: 2020/04/05(日)12:55 ID:5VmMZ0as(1) AAS
>>195
自己の無矛盾性を証明ってどうやって？
細かいギャップは修正され続けてますよね
論文は公表されてますから、
矛盾を指摘する側が論理的な破綻を証明する事が可能では？
258(1): 2020/04/05(日)12:56 ID:8gUORYpi(2/2) AAS
>>243>>250
まったくだな
・アインシュタインは量子論を生涯に渡って批判し、問題点を指摘する論文を書き続けた。
あのアインシュタインに延々と批判された量子論など、全くダメダメで何の価値もない
何十人もいる、たかだがフィールズ賞の若造ごときとはレベルが違う、あの人類史上のアインシュタイン大先生からの大批判
しかもそれ自体きちんと査読を通った論文で
もし熟慮の上のまともな批判であるなら、自らもきちんとした反証論文を、学者生命を賭けてでも出すべきだろうがそんなものはなく、出すフシもない
省2
259: 2020/04/05(日)12:56 ID:zs+13/vl(1/2) AAS
野次馬ですけど本人はANDとORの取り違えが原因だと言ってるけど
それを勘案した後でも3.12のギャップは埋まらないんですか？
260: 2020/04/05(日)12:57 ID:YxWsMJ4i(18/23) AAS
>>255
Dupuyがしてるからもうすぐだね！
261: 2020/04/05(日)12:58 ID:0/wXntJa(2/2) AAS
しばらく不毛な罵り合いが続きそうだから古参は1か月くらいしてから復帰でいいな
数年に一度はこうなる
262: 2020/04/05(日)12:58 ID:WmxkQhko(1) AAS
10年後の英語版wikipedia
ＡＢＣ予想の項目の隅に、日本の望月が証明したと主張する者もいるって書かれるのか
ＡＢＣ定理の項目に、望月により証明されたって書かれるのか
どっちだろうね
263: 2020/04/05(日)12:59 ID:imt8W0ho(2/3) AAS
>>255
そのギャップではないよ。
「ショルツの指摘したギャップ」に関して。
望月の[Alien] Example 3.11.4.が正しければ、
ショルツレポートは誤認であればギャップがないという判断であれば、
編集委員会が発表した通り、指摘への修正がなくなる。
264: 2020/04/05(日)12:59 ID:5ue6Irru(2/3) AAS
まあ前に何度もあったねこんな荒れ具合
265: 2020/04/05(日)13:02 ID:KC+9VfMD(2/3) AAS
もっちーの心が安らかであることを祈ります
266: 2020/04/05(日)13:05 ID:XCe+b62S(1) AAS
望月教授の業績が理解されるのには、時間が必要なんだと思う。
267(1): 2020/04/05(日)13:06 ID:FONsPQYw(5/8) AAS
>>254
偽の仮定が、何を、齎す（と言うか仕出かす）のか知る事も論理学じゃが｡
「偽の仮定は常に真」の本当の意味、分かっとらんじゃろ？それじゃあ
「偽の仮定は存在しない」という意味が分かっとらんな｡
> 可能無限派
…は？可能無限派が何でこのスレに茶々入れに来るん？
268(1): 2020/04/05(日)13:08 ID:NkAq1xzA(6/7) AAS
>>267
何だよ本当の意味ってｗ
おしえてｗ
269(1): 2020/04/05(日)13:11 ID:Hhbo791v(1) AAS
今後書かれるIUT関連論文は世界的に相手にされず
PRIMS（あるいはKodaiMath？）に載ることになるんだろうな
270(2): 2020/04/05(日)13:13 ID:xg52hhky(1) AAS
SSが批判して大方の数学者も同調してるから駄目に違いない
一方査読通って掲載されるから理論の正しさは基本的に証明された事に違いない
結局この二つを形変えながら反復して戦ってるだけだなこのスレw
なにも生産性がないなw
271: 2020/04/05(日)13:14 ID:NkAq1xzA(7/7) AAS
全称命題から存在命題を示すことはできない
これより全称命題から個別に元(数)を選ぶことはできない
これは可能無限派なのかな
無限級数の1とか
無限数列の1は取れない
と考えている
272: 2020/04/05(日)13:17 ID:kdKHAXb8(5/6) AAS
>>270
IUTがそもそも生産的ならこんなことにならないんだよね。
タオがいうとおりIUT自体からは有益な応用がないので、
abc予想が解けているかどうかだけに話が集中する。
つまり現状の生産性のなさはIUTの生産性のなさそのもの。
273(1): 2020/04/05(日)13:18 ID:ThBprm7B(1/5) AAS
>>270
ほとんどの人（自分含む）はIUTの定義すら分かってないから、誰々（偉い先生）が言ってたから正しいくらいしか言えないのよね
他の数学スレとは空気が全然違う
274(1): 粋蕎 ◆C2UdlLHDRI 2020/04/05(日)13:20 ID:FONsPQYw(6/8) AAS
>>258
ヤケに堂に入っとるが皮肉？それとも本音？其れを言ったら
相対論だってマクロで通用してミクロで通用しない
量子論だってミクロで通用してマクロで通用しない
だから統一に向けて超弦理論だぁM理論だぁ量子ループ理論だぁと世界で挑戦してる訳で
275(1): 2020/04/05(日)13:20 ID:WfHK39Yw(1) AAS
>>273
ＩＵＴをきちんと論じてるスレがあるんですか？
276: 2020/04/05(日)13:20 ID:WYjlPv47(4/4) AAS
>>269
関連論文以前に本家IUT論文がPRIMSにしか相手にされてないからな。
これが若手研究者の論文とかなら国内でも無視すればいい話だけど
国内では相当な権威を持った研究者の論文だから頭が痛い。
論理的に否定できても政治的に否定できない状況に陥りかねない。
277: 2020/04/05(日)13:22 ID:ThBprm7B(2/5) AAS
>>275
そんなスレはない
他のスレと違うのは、他のスレだと正しいかどうかの議論は基本的には数学的な内容含むけど、このスレだとそれがない（できない）
278: 2020/04/05(日)13:25 ID:/X1urrzq(1) AAS
ゴシップしか出ない
279: 2020/04/05(日)13:25 ID:9JKJwhHF(1) AAS
数学者でも遠アーベル幾何について語れる人って限られるだろうから仕方ないのでは
280: 2020/04/05(日)13:27 ID:5ue6Irru(3/3) AAS
ほとんどの数学者から無限遠方
281(1): 2020/04/05(日)13:58 ID:wxyPr7EP(1/3) AAS
>>199
それを貼ってプリーズ
282(1): 2020/04/05(日)13:59 ID:cTzpxuVq(11/15) AAS
>>226
スレチだけど、どうもありがとう
>工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
>別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。
有限要素法が出てきたときの売り文句がそれだったよね
メッシュの精粗の自由度が高いみたいな
>別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
省8
283(1): 2020/04/05(日)14:00 ID:+I82jeYq(1/4) AAS
>>200
違うわけでもない。納得してないやつがいるだけ
きっちり特別号が発刊されて国際会議が終わるまで待て
284: 2020/04/05(日)14:04 ID:+I82jeYq(2/4) AAS
>>192
誇張でもミスリードでもない
そんなことを京大はやらない
いい加減雑音撒き散らすのは止めろ
285(1): 2020/04/05(日)14:08 ID:ee/QHx52(1) AAS
Iutには生産性がないのが致命的、みたいな意見があるようだが、フェセンコによると何ダースもの重要な数学的帰結が直ちに導き出されるんだろ？
十分生産的じゃん
286: 2020/04/05(日)14:10 ID:kdKHAXb8(6/6) AAS
>>283
特別号はマイナーチェンジなんだろ。だったら待つ意味がない。
特別号はマイナーチェンジだが国際会議でメジャーチェンジになるとも思えないので、
国際会議の内容にもけっきょくみんな納得しないだろうね。
287: 2020/04/05(日)14:44 ID:Xmb5hNtW(1/4) AAS
毎日新聞は「フェルマーの最終定理を簡単に導ける」って誤ったこと書いてた。。
288: 2020/04/05(日)14:45 ID:KC+9VfMD(3/3) AAS
海外でのもっちーへの悪い話というのが気になる
なに言われてたの？
289: 2020/04/05(日)14:50 ID:FBCT1rYI(1) AAS
望月は日本の恥だな
第二の小保方がこんなに早く出てきてしまうとは情けない
290(1): 2020/04/05(日)14:57 ID:i9S9WRK/(1) AAS
望月教授のウィキペディアの英語版によると、世界的には認められてないのですね。
「2020年4月3日、日本人の2人の数学者、柏原正樹と玉川明夫は、
望月が主張するabc予想の証明が、望月が編集長である数理科学研究所（RIMS）の
出版物に掲載されると発表しました。
この発表は、キランケドラとエドワードフレンケルによって懐疑的に受け取られ、
ネイチャーからは「多くの研究者を望月のキャンプに移動させる可能性は低い」
と説明されました。」（グーグル翻訳）
291(1): 2020/04/05(日)15:01 ID:WNDHxFwc(1/2) AAS
世界が認めなかったんじゃない
理解できなかったんだ
日本人誇らしい
292(2): 2020/04/05(日)15:05 ID:kjLxjF70(1/10) AAS
RIMSの研究者かなんかをほのめかしてる割に、理解できてない理論を無条件で擁護するのは何なんだ？w
心情を聞きたいわ。それだけ信頼してるってこと？
293(1): 2020/04/05(日)15:11 ID:C3DuU8EX(1) AAS
>>282
いつまで関係ない話題してんだ
二度と書き込むな
294: 2020/04/05(日)15:15 ID:cTzpxuVq(12/15) AAS
>>290-292
１．4月3日のプレス発表は、一般マスコミ向けで、数学の専門的なことはスルーしているから
ネイチャーの記者も、専門的なことは分からずに、書いているだけでしょ
２．従来懐疑的だった数学者は、プレス発表では、それを覆す情報はないから、意見を変えないのも道理
だから、プロ用の情報発信が要るってこと
３．一方で、中間派というか、数論分野以外の人達（主に海外）は
「RIMSも思い切った発表したが、よほど自信があるのですね」と考えるのが普通でしょ
省1
295: 2020/04/05(日)15:16 ID:cTzpxuVq(13/15) AAS
>>293
ありがとう（＾＾
296: 2020/04/05(日)15:22 ID:aZla/0vu(1) AAS
ショルツのように望月から見て理解しきれなくて的外れな指摘で通してきた勢も、ガンガンIUTが活用された時に真剣に見ざるを得なくなるので、どちらにせよ、議論は進むわな。
297: 2020/04/05(日)15:23 ID:pCc9Yxqh(1/2) AAS
>>274
ID:8gUORYpi は数学板でも有名なトンデモなので餌を与えないで下さい
298: 2020/04/05(日)15:31 ID:ThBprm7B(3/5) AAS
しかし整数論は宇宙の取り換えなんていう、非常に基礎論に近い操作までやるなんて凄いと思う
俺のやってた確率論の分野じゃ出てきそうにもない
299(1): 2020/04/05(日)15:42 ID:WNDHxFwc(2/2) AAS
DupuyのHiladoのサーベイドラフト読了
Lepageの貢献が大きいのがわかる
Tanのサーベイも2年前には出来てたこともわかる
関係者の間では出回ってたのかな？
でもこれ、この内容は完全にショルツ敗北モチー大勝利に帰結じゃん
300(3): 2020/04/05(日)15:51 ID:AWrJ0Lir(4/5) AAS
>>253
逆ｗ
2012年から全然本質的な進歩がないから疑われている。
望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。
だから何の応用も出てこない。
望月の最も優秀な若手は、内心ショルツの言う通りだと思い、矛盾が発生するところまで発見してしまい、
師匠の機嫌を損ねないように沈黙している可能性すらある。
省1
301(1): 2020/04/05(日)15:57 ID:gYLaCYd2(3/3) AAS
>>285
それが導き出せないところが問題なんだろ
そもそも今回の弱いABC予想の証明ではそこまでは無理みたいだし
302: 2020/04/05(日)16:12 ID:BfSFi30b(2/2) AAS
>>300
なんで推測で語るの？
303: 2020/04/05(日)16:15 ID:k4/8qqsP(1) AAS
応用がないってのは事実だから弟子でも応用できないってのは間違い無いんだよね。
304: 2020/04/05(日)16:34 ID:kjLxjF70(2/10) AAS
ABC予想って弱いとか強いとかそんな名称正式にあったっけ？
305: 2020/04/05(日)16:42 ID:lhpQKJcc(2/2) AAS
>>201 >>202
ありがとうございます。
まだまだ時間がかかりそうということで理解しました。
306: 2020/04/05(日)16:55 ID:YxWsMJ4i(19/23) AAS
>>300
ネガキャン復活おめー
>2012年から全然本質的な進歩がないから疑われている。
お前はMzk研のメンバーにそれを直接聞けるか？きけんよな？嘘だからw
>望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。
これも同じく お前の空想
>だから何の応用も出てこない。
省4
307: 2020/04/05(日)16:57 ID:YxWsMJ4i(20/23) AAS
>>301
あのさ、ABC予想に弱い予想なんてないのよ
標準的なABCトリプルなの今回は
特殊な強いABCではない、というだけ
308(1): 2020/04/05(日)16:58 ID:YxWsMJ4i(21/23) AAS
>>299
Dupuyはもう一本用意してる
Lepageも準備してる
309: 2020/04/05(日)17:01 ID:pwQ2dOnk(1/2) AAS
ケドラヤが認めてないとはなんか情報あったっけ？
ウィキじゃなくて
前は確かに証明正しい派に立って検証してたろ
310: 2020/04/05(日)17:09 ID:RCgiPYuK(1) AAS
フェルマーの別証明が出てくる共著論文も、関係者には出回ってる臭いな。
311(1): 2020/04/05(日)17:13 ID:dQo024Tk(1) AAS
＞＞309
Kiran Sridhara Kedlaya
Questions I'm thinking about
外部ﾘﾝｸ:kskedlaya.org
Mochizuki's approach to diophantine approximation (last update: 28 Dec 17)
most specialists (including myself) are not currently treating this proof as fully verified.
312(1): 2020/04/05(日)17:27 ID:zAPWxKsQ(1) AAS
弱いABC予想、強いABC予想というと、強いABC予想の方がすごそうだけどさ
数学専門外の俺が見ての話だけど、弱いABC予想の方が一般的で
強いABC予想は弱いABC予想の中の特殊な場合だとしか思わんがな
313: 2020/04/05(日)17:29 ID:kjLxjF70(3/10) AAS
>>308
だから君はポジショニングしてないで>>292に答えてよ
上下前次1-新書関写板覧索設栞歴
あと 689 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s