20/04/05 12:17:29 kdKHAXb8.net
EMSは知らなかったのに5chでそれらしい書き込みがあったから内部者が書いてるの間違いないんだよね。
だから擁護コメは内部者で利害関係人だから信用できないと思ってる。
251:１３２人目の素数さん
20/04/05 12:18:10 YxWsMJ4i.net
>>239
お好きにどうぞー
252:１３２人目の素数さん
20/04/05 12:19:22 WYjlPv47.net
ギャップがある事自体は修正か撤回すればいいで済むけど
ギャップを放置したままRIMS内では証明された事にするなら
全く話は変わってくるわな。
253:１３２人目の素数さん
20/04/05 12:21:13 levNeqCT.net
望月さんはABC予想など小さいよ
もっと大きい論文だよと
こう
254:いう態度で 通してるんですかね ABCもフェルマーも目立つから 勝手に大きな山みたいに扱うが 数学とはもっと大きい学問ですよ こういう感じなのかな
255:１３２人目の素数さん
20/04/05 12:21:20 YxWsMJ4i.net
>>221
何が鋭い指摘だ、だよw
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外
さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方
256:１３２人目の素数さん
20/04/05 12:22:03 kdKHAXb8.net
>>241
そこなんだよな。
RIMS内部では理解したことになってるわけで、
じゃあ今後RIMSからみんなにわかる明確な説明があるんですよね、TやKはできるんですよね、
という話になってくる。EMSがreflect badly on themって言ってるのはこの事態だろう。
257:１３２人目の素数さん
20/04/05 12:22:47 YxWsMJ4i.net
>>241
ギャップ自体がないのよ、何回いわせんだよ
RIMS内云々ってこれ編集委員会マターだからね、リムスかんけいないの
258:１３２人目の素数さん
20/04/05 12:23:45 YxWsMJ4i.net
>>244
リムス内部で理解なんて絶対条件じゃないから
レフリーレポートがすべてよこの世界
259:１３２人目の素数さん
20/04/05 12:25:10 kdKHAXb8.net
>>246
きみ査読のことわかってないのバレバレなんだよね。
じつはレフェリーレポートがrejectでも編集委員長がOKなら載せられるんだ。
嘘つきの相手は時間の無駄だから。
260:１３２人目の素数さん
20/04/05 12:26:37 f2J1qa0q.net
ついにABC予想の証明が正しいと認められるwwwww
お、おまえら～w
261:１３２人目の素数さん
20/04/05 12:27:50 kdKHAXb8.net
編集委員会が査読をさせるのは査読結果を勘案するためであって、
そのレフェリーレポートでacceptかrejectかを決めるためではない。
だから機関誌についてレフェリーの責任であって機関誌の責任ではないとは言えないんだよ。
最終判断下してるのはそこなんだから。
262:１３２人目の素数さん
20/04/05 12:28:06 f2J1qa0q.net
反論があるやつは反対論文を投稿しないとなw
263:１３２人目の素数さん
20/04/05 12:30:16 8gUORYpi.net
>>234
＞数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、EMSのガイドラインに違反しないことを確認している。
とあるその記事か
何を逆証の記事をドヤ顔で引用しているわけだド阿呆
264:１３２人目の素数さん
20/04/05 12:30:53 1GnoRDNQ.net
全く良く分からんが、>>180がコミュニティ的に精査されることで、誤解があれば解けるんじゃないの？
元々ギャップ自体ないなら確かに修正しようもないな。
265:１３２人目の素数さん
20/04/05 12:34:25 f2J1qa0q.net
望月スクールのやつらは既にABC予想の先をやっているというのにお前らは8年前で止まってるなw
266:１３２人目の素数さん
20/04/05 12:38:28 NkAq1xzA.net
>>229
『まったくゼロからの論理学』岩波書店
の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語
演繹，前提，仮定，含意，条件法
について革新的なことが書いてある
俺は野矢のいう条件法で数学を諦めていたのだが
偽の仮定という言葉がないことを知って再開することができた
だから薦めている
因みに新書の話だが
たとえば全称命題における
数学的帰納法ですべての自然数nに対して
n=1の場合を取り出すことは不能であると考えるので
可能無限派に属するとは思う
それだから
∃n,k∈N
n_1=1
n_k=k
n_k+1=k+1
という記法になってしまう
267:１３２人目の素数さん
20/04/05 12:46:09 WYjlPv47.net
>>252
ギャップがないなら解説を加えるのも簡単なはずなのよ
コミュニティ側は3.12にギャップが本当に存在しないのなら
その明快な解説を公開した人物の業績は永遠に語り継がれると言っているのに
８年間誰一人として解説を与えられる様子がなかった事で
「理解者
268:」も単なるイエスマンだと見なされて完全に見限られた。
269:１３２人目の素数さん
20/04/05 12:54:46 YxWsMJ4i.net
>>247
いやいや、レフリーレポートが強く勧める内容なら、それをエディターがリジェクトするにはそれ相応の理由が必要だろ？今回何の理由があんだ？まさか「まだ世界的に認められてないから」なんて下世話な理由じゃねーだろうな？
270:１３２人目の素数さん
20/04/05 12:55:16 5VmMZ0as.net
>>195
自己の無矛盾性を証明ってどうやって？
細かいギャップは修正され続けてますよね
論文は公表されてますから、
矛盾を指摘する側が論理的な破綻を証明する事が可能では？
271:１３２人目の素数さん
20/04/05 12:56:07 8gUORYpi.net
>>243>>250
まったくだな
・アインシュタインは量子論を生涯に渡って批判し、問題点を指摘する論文を書き続けた。
あのアインシュタインに延々と批判された量子論など、全くダメダメで何の価値もない
何十人もいる、たかだがフィールズ賞の若造ごときとはレベルが違う、あの人類史上のアインシュタイン大先生からの大批判
しかもそれ自体きちんと査読を通った論文で
もし熟慮の上のまともな批判であるなら、自らもきちんとした反証論文を、学者生命を賭けてでも出すべきだろうがそんなものはなく、出すフシもない
外野がウロ理解を元にネットで何か突いてた
→うわあ大問題 この理論大間違い決定終わりーっ
272:１３２人目の素数さん
20/04/05 12:56:47 zs+13/vl.net
野次馬ですけど本人はANDとORの取り違えが原因だと言ってるけど
それを勘案した後でも3.12のギャップは埋まらないんですか？
273:１３２人目の素数さん
20/04/05 12:57:25 YxWsMJ4i.net
>>255
Dupuyがしてるからもうすぐだね！
274:１３２人目の素数さん
20/04/05 12:58:04 0/wXntJa.net
しばらく不毛な罵り合いが続きそうだから古参は1か月くらいしてから復帰でいいな
数年に一度はこうなる
275:１３２人目の素数さん
20/04/05 12:58:05 WmxkQhko.net
10年後の英語版wikipedia
ＡＢＣ予想の項目の隅に、日本の望月が証明したと主張する者もいるって書かれるのか
ＡＢＣ定理の項目に、望月により証明されたって書かれるのか
どっちだろうね
276:１３２人目の素数さん
20/04/05 12:59:20 imt8W0ho.net
>>255
そのギャップではないよ。
「ショルツの指摘したギャップ」に関して。
望月の[Alien] Example 3.11.4.が正しければ、
ショルツレポートは誤認であればギャップがないという判断であれば、
編集委員会が発表した通り、指摘への修正がなくなる。
277:１３２人目の素数さん
20/04/05 12:59:31 5ue6Irru.net
まあ前に何度もあったねこんな荒れ具合
278:１３２人目の素数さん
20/04/05 13:02:47 KC+9VfMD.net
もっちーの心が安らかであることを祈ります
279:１３２人目の素数さん
20/04/05 13:05:48 XCe+b62S.net
望月教授の業績が理解されるのには、時間が必要なんだと思う。
280:１３２人目の素数さん
20/04/05 13:06:09 FONsPQYw.net
>>254
偽の仮定が、何を、齎す（と言うか仕出かす）のか知る事も論理学じゃが｡
「偽の仮定は常に真」の本当の意味、分かっとらんじゃろ？それじゃあ
「偽の仮定は存在しない」という意味が分かっとらんな｡
> 可能無限派
…は？可能無限派が何でこのスレに茶々入れに来るん？
281:１３２人目の素数さん
20/04/05 13:08:22 NkAq1xzA.net
>>267
何だよ本当の意味ってｗ
おしえてｗ
282:１３２人目の素数さん
20/04/05 13:11:09 Hhbo791v.net
今後書かれるIUT関連論文は世界的に相手にされず
PRIMS（あるいはKodaiMath？）に載ることになるんだろうな
283:１３２人目の素数さん
20/04/05 13:13:48 xg52hhky.net
SSが批判して大方の数学者も同調してるから駄目に違いない
一方査読通って掲載されるから理論の正しさは基本的に証明された事に違いない
結局この二つを形変えながら反復して戦ってるだけだなこのスレw
なにも生産性がないなw
284:１３２人目の素数さん
20/04/05 13:14:55 NkAq1xzA.net
全称命題から存在命題を示
285:すことはできない これより全称命題から個別に元(数)を選ぶことはできない これは可能無限派なのかな 無限級数の1とか 無限数列の1は取れない と考えている
286:１３２人目の素数さん
20/04/05 13:17:31 kdKHAXb8.net
>>270
IUTがそもそも生産的ならこんなことにならないんだよね。
タオがいうとおりIUT自体からは有益な応用がないので、
abc予想が解けているかどうかだけに話が集中する。
つまり現状の生産性のなさはIUTの生産性のなさそのもの。
287:１３２人目の素数さん
20/04/05 13:18:24 ThBprm7B.net
>>270
ほとんどの人（自分含む）はIUTの定義すら分かってないから、誰々（偉い先生）が言ってたから正しいくらいしか言えないのよね
他の数学スレとは空気が全然違う
288:粋蕎 ◆C2UdlLHDRI
20/04/05 13:20:29 FONsPQYw.net
>>258
ヤケに堂に入っとるが皮肉？それとも本音？其れを言ったら
相対論だってマクロで通用してミクロで通用しない
量子論だってミクロで通用してマクロで通用しない
だから統一に向けて超弦理論だぁM理論だぁ量子ループ理論だぁと世界で挑戦してる訳で
289:１３２人目の素数さん
20/04/05 13:20:44 WfHK39Yw.net
>>273
ＩＵＴをきちんと論じてるスレがあるんですか？
290:１３２人目の素数さん
20/04/05 13:20:52 WYjlPv47.net
>>269
関連論文以前に本家IUT論文がPRIMSにしか相手にされてないからな。
これが若手研究者の論文とかなら国内でも無視すればいい話だけど
国内では相当な権威を持った研究者の論文だから頭が痛い。
論理的に否定できても政治的に否定できない状況に陥りかねない。
291:１３２人目の素数さん
20/04/05 13:22:29 ThBprm7B.net
>>275
そんなスレはない
他のスレと違うのは、他のスレだと正しいかどうかの議論は基本的には数学的な内容含むけど、このスレだとそれがない（できない）
292:１３２人目の素数さん
20/04/05 13:25:06 /X1urrzq.net
ゴシップしか出ない
293:１３２人目の素数さん
20/04/05 13:25:44 9JKJwhHF.net
数学者でも遠アーベル幾何について語れる人って限られるだろうから仕方ないのでは
294:１３２人目の素数さん
20/04/05 13:27:44 5ue6Irru.net
ほとんどの数学者から無限遠方
295:１３２人目の素数さん
20/04/05 13:58:05.97 wxyPr7EP.net
>>199
それを貼ってプリーズ
296:１３２人目の素数さん
20/04/05 13:59:52.95 cTzpxuVq.net
>>226
スレチだけど、どうもありがとう
>工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
>別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。
有限要素法が出てきたときの売り文句がそれだったよね
メッシュの精粗の自由度が高いみたいな
>別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
>「やばそうなところ」の例は、
それは、数学でも、トポロジーの手術みたいなものでしょ
特異点出てきたら、切って、貼付けて、特異点無くすみたいない
>流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
>賞金とかかけられますが。
数学的にちゃんとした解が存在するかどうかが、数学としては重要ってことでしょうね
それと、乱流の数学的扱いの手法開発という意味もあると思っています
スレチですけど
297:１３２人目の素数さん
20/04/05 14:00:38.81 +I82jeYq.net
>>200
違うわけでもない。納得してないやつがいるだけ
きっちり特別号が発刊されて国際会議が終わるまで待て
298:１３２人目の素数さん
20/04/05 14:04:41.80 +I82jeYq.net
>>192
誇張でもミスリードでもない
そんなことを京大はやらない
いい加減雑音撒き散らすのは止めろ
299:１３２人目の素数さん
20/04/05 14:08:42.30 ee/QHx52.net
Iutには生産性がないのが致命的、みたいな意見があるようだが、フェセンコによると何ダースもの重要な数学的帰結が直ちに導き出されるんだろ？
十分生産的じゃん
300:１３２人目の素数さん
20/04/05 14:10:15.38 kdKHAXb8.net
>>283
特別号はマイナーチェンジなんだろ。だったら待つ意味がない。
特別号はマイナーチェンジだが国際会議でメジャーチェンジになるとも思えないので、
国際会議の内容にもけっきょくみんな納得しないだろうね。
301:１３２人目の素数さん
20/04/05 14:44:37.36 Xmb5hNtW.net
毎日新聞は「フェルマーの最終定理を簡単に導け
302:る」って誤ったこと書いてた。。
303:１３２人目の素数さん
20/04/05 14:45:10.48 KC+9VfMD.net
海外でのもっちーへの悪い話というのが気になる
なに言われてたの？
304:１３２人目の素数さん
20/04/05 14:50:32.90 FBCT1rYI.net
望月は日本の恥だな
第二の小保方がこんなに早く出てきてしまうとは情けない
305:１３２人目の素数さん
20/04/05 14:57:22.30 i9S9WRK/.net
望月教授のウィキペディアの英語版によると、世界的には認められてないのですね。
「2020年4月3日、日本人の2人の数学者、柏原正樹と玉川明夫は、
望月が主張するabc予想の証明が、望月が編集長である数理科学研究所（RIMS）の
出版物に掲載されると発表しました。
この発表は、キランケドラとエドワードフレンケルによって懐疑的に受け取られ、
ネイチャーからは「多くの研究者を望月のキャンプに移動させる可能性は低い」
と説明されました。」（グーグル翻訳）
306:１３２人目の素数さん
20/04/05 15:01:43.32 WNDHxFwc.net
世界が認めなかったんじゃない
理解できなかったんだ
日本人誇らしい
307:１３２人目の素数さん
20/04/05 15:05:58.20 kjLxjF70.net
RIMSの研究者かなんかをほのめかしてる割に、理解できてない理論を無条件で擁護するのは何なんだ？w
心情を聞きたいわ。それだけ信頼してるってこと？
308:１３２人目の素数さん
20/04/05 15:11:31.78 C3DuU8EX.net
>>282
いつまで関係ない話題してんだ
二度と書き込むな
309:１３２人目の素数さん
20/04/05 15:15:51.50 cTzpxuVq.net
>>290-292
１．4月3日のプレス発表は、一般マスコミ向けで、数学の専門的なことはスルーしているから
ネイチャーの記者も、専門的なことは分からずに、書いているだけでしょ
２．従来懐疑的だった数学者は、プレス発表では、それを覆す情報はないから、意見を変えないのも道理
だから、プロ用の情報発信が要るってこと
３．一方で、中間派というか、数論分野以外の人達（主に海外）は
「RIMSも思い切った発表したが、よほど自信があるのですね」と考えるのが普通でしょ
それだけでも、大きな意義ある
310:１３２人目の素数さん
20/04/05 15:16:28.63 cTzpxuVq.net
>>293
ありがとう（＾＾
311:１３２人目の素数さん
20/04/05 15:22:04.86 aZla/0vu.net
ショルツのように望月から見て理解しきれなくて的外れな指摘で通してきた勢も、ガンガンIUTが活用された時に真剣に見ざるを得なくなるので、どちらにせよ、議論は進むわな。
312:１３２人目の素数さん
20/04/05 15:23:19.13 pCc9Yxqh.net
>>274
ID:8gUORYpi は数学板でも有名なトンデモなので餌を与えないで下さい
313:１３２人目の素数さん
20/04/05 15:31:44.53 ThBprm7B.net
しかし整数論は宇宙の取り換えなんていう、非常に基礎論に近い操作までやるなんて凄いと思う
俺のやってた確率論の分野じゃ出てきそうにもない
314:１３２人目の素数さん
20/04/05 15:42:17.93 WNDHxFwc.net
DupuyのHiladoのサーベイドラフト読了
Lepageの貢献が大きいのがわかる
Tanのサーベイも2年前には出来てたこともわかる
関係者の間では出回ってたのかな？
でもこれ、この内容は完全にショルツ敗北モチー大勝利に帰結じゃん
315:１３２人目の素数さん
20/04/05 15:51:36 AWrJ0Lir.net
>>253
逆ｗ
2012年から全然本質的な進歩がないから疑われている。
望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。
だから何の応用も出てこない。
望月の最も優秀な若手は、内心ショルツの言う通りだと思い、矛盾が発生するところまで発見してしまい、
師匠の機嫌を損ねないように沈黙している可能性すらある。
アジアンの限界だろう。
316:１３２人目の素数さん
20/04/05 15
317::57:03 ID:gYLaCYd2.net
318:１３２人目の素数さん
20/04/05 16:12:15 BfSFi30b.net
>>300
なんで推測で語るの？
319:１３２人目の素数さん
20/04/05 16:15:38 k4/8qqsP.net
応用がないってのは事実だから弟子でも応用できないってのは間違い無いんだよね。
320:１３２人目の素数さん
20/04/05 16:34:21.87 kjLxjF70.net
ABC予想って弱いとか強いとかそんな名称正式にあったっけ？
321:１３２人目の素数さん
20/04/05 16:42:33.84 lhpQKJcc.net
>>201 >>202
ありがとうございます。
まだまだ時間がかかりそうということで理解しました。
322:１３２人目の素数さん
20/04/05 16:55:58.82 YxWsMJ4i.net
>>300
ネガキャン復活おめー
>2012年から全然本質的な進歩がないから疑われている。
お前はMzk研のメンバーにそれを直接聞けるか？きけんよな？嘘だからw
>望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。
これも同じく お前の空想
>だから何の応用も出てこない。
望月の最も優秀な若手は、内心ショルツの言う通りだと思い、矛盾が発生するところまで発見してしまい、
師匠の機嫌を損ねないように沈黙している可能性すらある。
ここに至っては可能性wwwチラ裏乙www
もうお前の屈折感情をフェイクニュースでたれ流すな！
323:１３２人目の素数さん
20/04/05 16:57:34.72 YxWsMJ4i.net
>>301
あのさ、ABC予想に弱い予想なんてないのよ
標準的なABCトリプルなの今回は
特殊な強いABCではない、というだけ
324:１３２人目の素数さん
20/04/05 16:58:57.35 YxWsMJ4i.net
>>299
Dupuyはもう一本用意してる
Lepageも準備してる
325:１３２人目の素数さん
20/04/05 17:01:35.57 pwQ2dOnk.net
ケドラヤが認めてないとはなんか情報あったっけ？
ウィキじゃなくて
前は確かに証明正しい派に立って検証してたろ
326:１３２人目の素数さん
20/04/05 17:09:07.75 RCgiPYuK.net
フェルマーの別証明が出てくる共著論文も、関係者には出回ってる臭いな。
327:１３２人目の素数さん
20/04/05 17:13:44.16 dQo024Tk.net
＞＞309
Kiran Sridhara Kedlaya
Questions I'm thinking about
URLﾘﾝｸ(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.
328:１３２人目の素数さん
20/04/05 17:27:46.73 zAPWxKsQ.net
弱いABC予想、強いABC予想というと、強いABC予想の方がすごそうだけどさ
数学専門外の俺が見ての話だけど、弱いABC予想の方が一般的で
強いABC予想は弱いABC予想の中の特殊な場合だとしか思わんがな
329:１３２人目の素数さん
20/04/05 17:29:53.88 kjLxjF70.net
>>308
だから君はポジショニングしてないで>>292に答えてよ
330:１３２人目の素数さん
20/04/05 17:38:15.67 PJ0LZdaJ.net
逆転ホームラン来たか
331:１３２人目の素数さん
20/04/05 17:40:03.74 BRLakduE.net
そもそもABC予想の拡張自体が複数種類あるからどれを強いABC予想って呼んでるのかわからん
そもそもフェルマーの最終定理の証明にはK(ε)が一つ求まればよく、ABC予想の拡張版を使う必要はない
332:１３２人目の素数さん
20/04/05 17:50:04.47 kjLxjF70.net
>>312
具体的なほうがより情報を含んでるからな
effectiveというのも同じ理由から
ガロア表現に役立つというからには、まあフェルマーというかワイルズの理論と比較的ダイレクトに
関連付けられると期待されるだろう
333:１３２人目の素数さん
20/04/05 17:52:12.41 WiMqcQ46.net
>>281
アニメ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
334:１３２人目の素数さん
20/04/05 18:02:18 VRcC3TNb.net
アニメはこれな
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
335:of%20q-pilot%20(animation).mp4
336:１３２人目の素数さん
20/04/05 18:09:50 pwQ2dOnk.net
なんだ先入観なく当初肯定的だった大御所のケドラヤが現在は認めてないんじゃダメじゃん
本編手前のエタールセータ関数の理解までは順調だったんでしょ？この人
337:１３２人目の素数さん
20/04/05 18:18:25 BRLakduE.net
ε=1、K(ε)=1のことを「強いABC予想」って言ってる人がいるみたいだけど、この命題からは通常のABC予想は導かれないから「強い」「弱い」という表し方は間違ってる気がする
338:１３２人目の素数さん
20/04/05 18:24:14.15 kjLxjF70.net
DupuyとKedlayaがまたお仲間なのが面白いんだよね
「彼は正しいだろう」とは言わなかったわけ。研究分野のリストからもIUTは消えてるしね
339:粋蕎
20/04/05 18:42:36.37 FONsPQYw.net
儂が此の12年、偶にしか来ん内に、何じゃ此の体堕落。いつの間に此んなトンデモ語りが増えたんじゃ？
此の儂でさえ、此の、儂、「ごとき」でさえ分かるトンデモ語りが増えたと言えるわい｡
340:１３２人目の素数さん
20/04/05 18:44:36.79 wxyPr7EP.net
>>317 >>318
サンクス！
341:１３２人目の素数さん
20/04/05 18:44:55.93 DVbOPeo5.net BE:865427687-2BP(1000)
URLﾘﾝｸ(img.5ch.net)
あな
342:１３２人目の素数さん
20/04/05 18:45:06.44 DVbOPeo5.net BE:865427687-2BP(1000)
URLﾘﾝｸ(img.5ch.net)
こんなお絵かきによく研究とか
343:１３２人目の素数さん
20/04/05 18:45:20.20 DVbOPeo5.net BE:865427687-2BP(1000)
URLﾘﾝｸ(img.5ch.net)
あな
344:１３２人目の素数さん
20/04/05 18:45:44.48 DVbOPeo5.net BE:865427687-2BP(1000)
URLﾘﾝｸ(img.5ch.net)
絵と定義出来る分野間違えなくなるのと後は初等が世界で一つでもあるかで
345:１３２人目の素数さん
20/04/05 18:46:48.24 BRLakduE.net
>>311
Mochizuki's approach to diophantine approximation (last update: 28 Dec 17)
2012年に望月真一は、グロタンディークの遠アーベル幾何学の原理から非常に緩やかに派生したエキゾチックなアイデアのコレクションを使用して、これらの推測の証明を発表しました。
（2017年末現在）望月の「宇宙際タイヒミューラー理論」（IUT）に関する4つの論文は受理されたようですが、中心的な概念に関する独立した説明はほとんどなく、ほとんどの専門家（私を含む）は現在この証明を完全に検証済みとして扱っていない。
この行き詰まりを解決することは、緊急の重要性の問題ですが、恒久的な学術的地位を確保するために研究ポートフォリオを確立する必要がある若い研究者にはお勧めできないかもしれません。
潜在的な開始点の1つは、主題の基礎を明確にすることです。議論の性質は、遠アーベル的再構築によって特定の「不確定性の程度」を定量化することでディオファントス不等式を導き出すことであり、
ホモトピー型理論のような現代のツールは、 「再構築」が実際に何を意味するかをより正確に特定するために用いることができるだろう。
346:１３２人目の素数さん
20/04/05 18:57:56.26 XSg/U45p.net
>>180
ふーむなるほど
確かにこれは追跡するのが難しいわ
しかしAlien Copies見ると凄いね
既存の数学への応用がついに始まってるのがわかる
Alien Copiesという名前の付け方もカッコよすぎだろ
347:１３２人目の素数さん
20/04/05 19:23:41.41 pzbiEseN.net
査読に時間がかかった理由を墓場に持っていくって言うのも
「超天才にして数学界の権威であるショルツからギャップが指摘されたので
時間をかけて調べてみたが、とくに穴は確認されなかったので問題なしと認めた」
ってことなんだろうけど、それを言うと
属人的な軋轢を産んでしまい、ショルツにも悪いので
「墓場まで持っていく」ってことなんだろうね、いま思うと
そう
348:はっきり言ってしまうと、ショルツのせいで査読に時間がかかったことになり 逆にショルツが攻撃されてしまうからな
349:粋蕎 ◆C2UdlLHDRI
20/04/05 19:43:25 FONsPQYw.net
有り得んコピーズと読む人間が現れような
350:１３２人目の素数さん
20/04/05 20:03:40 wxyPr7EP.net
第1問（期限： 2020/04/10 0:30 JST）
URLﾘﾝｸ(www.youtube.com)
スレチスマソ
351:１３２人目の素数さん
20/04/05 20:16:32 DY6sVXAx.net
京大は妄想トンデモばっか
↓
感染の疑いがある医療関係者は隔離
するのではなく、感染病棟担当にする
のはどうか
by 京大某有名教授
352:１３２人目の素数さん
20/04/05 20:17:31 kjLxjF70.net
>>330
そう解釈するのは一つだけど、フェアに言って今はまだそこまで決定的と言えないでしょう
もしかしたら興味を持った連中がDHを読んでさっくり理解するかもしれないけど、
やはり欧米の雰囲気がもっと変わらない限り決着とは言えないよ
353:１３２人目の素数さん
20/04/05 20:21:58 inJGyrDw.net
なんか勝手にショルツが批判の大元って話になってるけど、
SSレポートはM（執筆者ではない）がわざわざ呼んで会談させたあとの話でしょ。
あのレポートが出たのは批判の時系列ではかなりあとっていうかほぼトドメの話でしかないんだけど。
354:１３２人目の素数さん
20/04/05 20:32:26 kjLxjF70.net
>>335
雰囲気としてはその認識で合ってるが、はっきり疑問を出したのはあれが最初だからな
ショルツが言う前から大丈夫かよこれみたいな雰囲気はあった
355:１３２人目の素数さん
20/04/05 20:44:43 inJGyrDw.net
>>336
雰囲気じゃなくてそういう時系列。
2015年12月 IUT国際ワークショップ（不評）
2017年12月 朝日新聞へ誰かが掲載予定をリーク。既に基礎論関連の指摘あり。
2018年8月 SSレポート
356:１３２人目の素数さん
20/04/05 20:53:23 YxWsMJ4i.net
はぁ
フェイク 妄想 もう秋田
357:１３２人目の素数さん
20/04/05 20:54:35 kjLxjF70.net
>>337
基礎論の指摘とかははっきり証明に関係するのか定かではなかったでしょう
証明自体にはっきり異議を出したのはSS。それまでは正否についてははっきりした意見は無かった
358:１３２人目の素数さん
20/04/05 20:57:36 inJGyrDw.net
>>339
数学の証明は正否不明なら否だっていうのを忘れてない？
359:１３２人目の素数さん
20/04/05 21:00:24.02 3neAliTx.net
しかしフィールズ賞受賞の新進気鋭の数学者が初歩的な間違いをやるかね？
大きな部分で直感的な違和感があってそれをうまく指摘できてないだけな気がするんだが
ただ、簡単に指摘できるほどはっきりした穴はないんだろうなとも思う
360:１３２人目の素数さん
20/04/05 21:03:27.04 inJGyrDw.net
>>341
例えばワイルズの査読を例にとると、ワイルズのミスをカッツが指摘した時点では、
なぜそう間違っているのかは判然としていなかった。
ただカッツはワイルズの説明が説明になっていないからrejectした。
ワイルズはそれに対して文句は言っていない。
ワイルズが最初の証明がなぜ間違っているのかに気づいたのは正しい証明を得る直前。
361:１３２人目の素数さん
20/04/05 21:04:56.58 Xmb5hNtW.net
対面して数日議論しても物別れに終わったんだからな
世界の七不思議だろ。もしかしたら数学には真理は二つあるのかもしれん
362:１３２人目の素数さん
20/04/05 21:06:16.20 imt8W0ho.net
>>329
IUT本論文[1]～[4]の方で、査読の方が確かめたのかな。
363:１３２人目の素数さん
20/04/05 21:07:20.16 ZJkf8tlV.net
>>300
お前ニュー即でもおんなじこと繰り返して言って馬鹿にされてたろ
364:１３２人目の素数さん
20/04/05 21:13:19.58 DY6sVXAx.net
>>338
事実
次世代幾何学研究準備センター
数論幾何学，特に宇宙際タイヒ
ミューラー理論を中心に広く次世代
の幾何学 の研究を推進するため，
研究および研究プロジェクトの
方向性や内容を検討・準 備する
目的で，数理解析研究所教授 3 名を
併任教員として平成 29 年 12 月 1 日 に設置した.
今後，研究プロジェクトの進展と
共に，研究センターとして特任
教 員も含めての運用を予定している.
次世代幾何学研究センター
柏原正樹特任教授
森重文特任教授
365:１３２人目の素数さん
20/04/05 21:14:10.05 eSjHnRSz.net
墓場まで持っていくというのが隠蔽的な意味じゃなくて
簡単なことを理解できなかったショルツへの配慮って事なら、くだらん世話だと思うけどな
まぁ隠蔽なら墓場まで持っていくなんて堂々と言わんから
なにかしらの京都大学なりのフォローなのかも
366:１３２人目の素数さん
20/04/05 21:15:16.03 kjLxjF70.net
>>340
いや、まだ査読段階で判明でないなら否ではなくて「非正」のほうがそれは正確じゃない？
はっきり否定もされずグレーゾーンだったに過ぎない
367:１３２人目の素数さん
20/04/05 21:15:21.26 eSjHnRSz.net
柏原正樹森重文重鎮過ぎるｗｗｗ
おしっこちびっちゃう
368:１３２人目の素数さん
20/04/05 21:15:56.53 hwKofnvv.net
上でも書いてあるけど、ショルツの批判からは2年経ってない。
2015年にあった報道からの3年の遅れはショルツのせいにはできないぞ。
369:１３２人目の素数さん
20/04/05 21:16:55.23 DY6sVXAx.net
>>347
うん？
京都大学の都合でしょ
↓
>>346
370:１３２人目の素数さん
20/04/05 21:17:34.55 SbLAnb2B.net
>>348
査読が正否を決めるんじゃなくて数学者コミュニティが決めるんだぞ。
わかんなかったら証明はされてないよ。
すごく皮肉な結果としては、例えばここから別の数学者のXがギャップを埋めたら、
望月＝X理論になる。そういうレベルの話。
371:１３２人目の素数さん
20/04/05 21:17:43.91 DY6sVXAx.net
>>349
八百長じゃんw
372:１３２人目の素数さん
20/04/05 21:20:31.27 eSjHnRSz.net
望月さんはアメリカとか欧米主義みたいなのが嫌いっぽいし
自分ところの雑誌で出すなんてという批判は覚悟で意地でもPRISMで出したかったんだろうな
なのに呑気にAnnalsやJAMSに出せばいいのにと言ってる向こうの反応
まさにそれが嫌なんだよ！って事なんだろうな
373:１３２人目の素数さん
20/04/05 21:26:35.05 YxKr9qd/.net
ねえ
もしかして
これが間違いだったら
京大数理解析研究所は7年間ドブに捨てたことになるの？
374:１３２人目の素数さん
20/04/05 21:34:31.90 Xmb5hNtW.net
Fumiharu Kato 加藤文元@FumiharuKato
2019年11月24日
(1) Scholze-Stixの反論ノートに対して、望月さんは回答しなかったというのは事実に反します。望月さん側は45ページに及ぶ詳細な回答
URLﾘﾝｸ(kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(kurims.kyoto-u.ac.jp)
を公開しています。
4) 「理論のとっかかりで破綻」ということですが、これも理論の「とっかかり」がどこにあるのかが明確に述べられていないので、
ステートメントとして無効であると考えます。少なくともScholze-Stixが2018年3月に指摘した「ギャップ」の所在は、
Fumiharu Kato 加藤文元
@FumiharuKato
現在ではIUT理論やその周辺の専門分野に関わる専門家たち（念のために述べますが、日本人に限りません）の間では、
Scholze-Stixによる勘違いであったのだろうという認識であり、現在に至っても「破綻」していたりギャップがあったりしている箇所は指摘されていません。
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
375:１３２人目の素数さん
20/04/05 21:38:04 ATudNi/o.net
BはIUTをきちんと説明できないのに擁護してるのが意味不明なんだよなあ。
376:１３２人目の素数さん
20/04/05 21:40:28 wzxDEpNH.net
ナビエーストークスの定理を代数的に解いたんすか
377:１３２人目の素数さん
20/04/05 21:42:03 ThBprm7B.net
文元て望月のセミナー相手だったのに説明できないとかあるんか
どの場面でそう思ったんだ
378:◆QZaw55cn4c
20/04/05 21:44:40 XCX6uXLx.net
>>333
法の奴隷には思いもつかない合理的な考え方だと思います
感染したお医者さんが、その症状が軽症で感染病棟で続けて勤務していただける希望をお持ちならば、そうするべきでしょう
379:１３２人目の素数さん
20/04/05 21:47:49 YxWsMJ4i.net
>>352
>>348
>査読が正否を決めるんじゃなくて数学者コミュニティが決めるんだぞ。
頭大丈夫かな？
380:１３２人目の素数さん
20/04/05 21:48:12 Xmb5hNtW.net
>>356
Scholze側はこの反論の存在はちゃんと知ってるんか？
381:１３２人目の素数さん
20/04/05 21:48:20 ATudNi/o.net
>>359
最近で出た本みたらわかる。
382:１３２人目の素数さん
20/04/05 21:49:08 ATudNi/o.net
>>361
査読は証明の正しさは決めないぞ。
最後はほかの数学者が認めるかどうか。
383:１３２人目の素数さん
20/04/05 21:50:38 kjLxjF70.net
>>352
ちょっとずつ話がずれてるんだけどw
前からフェセンコなど自称理解者はいたし、かといってはっきり否定するほど強い異議もなかった
確かに懐疑派のほうが国際的には多勢なんだろうが、この辺の見解はSS以外には表ではよくわからんしな
だからSS前後の雰囲気の話をしたんだよ
384:１３２人目の素数さん
20/04/05 21:54:22 9LQRPQ2M.net
反論ノートの応酬は、Scholze→望月→Scholze→望月で止まっている
今回の件を受けてScholzeが再反論してくれたら状況が一転するかもだけど
Scholzeも自分の仕事があるだろうしIUT論争に時間を割くのは難しいのかな
385:１３２人目の素数さん
20/04/05 21:55:53 wzxDEpNH.net
擬等角写像理論なんすから流体力学に応用効くんすよね。チンピラ
386:１３２人目の素数さん
20/04/05 22:06:10 iYV3j/tM.net
もっちーの最後の反論ノートの傲慢っぷりとScholzeとStixへの人格攻撃は異常だったじゃん？
そりゃSSも次は書かないわ
387:１３２人目の素数さん
20/04/05 22:08:48 yO9P2iL9.net
本当の天才たちにはもっと生産的なことに取り組んでほしい
乱門を過ること無かれ
388:１３２人目の素数さん
20/04/05 22:09:32 wzxDEpNH.net
全部ダミーっしょ
389:１３２人目の素数さん
20/04/05 22:11:05 ThBprm7B.net
>>363
文元の出した一般向けの本のこと？
あれ読んできちんと説明できてないと断じるて逆にお前の頭大丈夫かよ
390:１３２人目の素数さん
20/04/05 22:11:25 cOTxobhi.net
>>355
証明が間違っていただけなら7年間程度で済むけど
今回正しいと主張した証明がやっぱり間違っていた場合には
今後の数学界での信用も長期間失う事になる
今後の未来の信用も捨てる事になる
391:１３２人目の素数さん
20/04/05 22:13:35 wzxDEpNH.net
ルードヴィッヒ・ウィトゲンシュタインって哲学者としてわけのわからないことをしたけど
実は応用数学裏でやってたんじゃないかとかよく調べると見えてくる
392:１３２人目の素数さん
20/04/05 22:14:37 cOTxobhi.net
最後の反論ノートの攻撃っぷりからして
仮に弟子がIUT理論の矛盾点を発見したとして
それを指摘出来るような雰囲気は微塵もないだろうな。
指摘どころか匂わせるだけで立場がヤバくなりそう。
393:１３２人目の素数さん
20/04/05 22:18:19 wzxDEpNH.net
応用できるところ大体尽くしたんで正しいってなったんでは無いすか
394:１３２人目の素数さん
20/04/05 22:18:34 AWrJ0Lir.net
>>369
じゃあ、今回のPRIMS掲載決定は、なんらABC予想の証明を意味するものではないとして、
世界的には単純に無視されるという事になるんだろうね。
その可能性は大いにある。
もはやあいつらを相手にしても数学の真理とは無縁だし時間の無駄だという事で。
395:１３２人目の素数さん
20/04/05 22:22:20 zs+13/vl.net
dupuyも望月氏本人と話すべきと言ってるけどショルツは会談前にメール1通質問しただけなんだろ
それじゃ天才でも間違うんじゃないか？
396:１３２人目の素数さん
20/04/05 22:23:14 wzxDEpNH.net
ア
397:ールフォースの場合は米軍から補助金出てたし、同じように軍隊絡みというか 新型コロナが蔓延というタイミングで出てきたのは なんか飛沫感染の数理みたいな陰謀論
398:１３２人目の素数さん
20/04/05 22:27:10 cOTxobhi.net
>>376
政治的な意味はある。
少なくともRIMS内、京大界隈ではABC定理として扱わないと整合性が取れない。
まだABC予想は証明されてないなんて主張しようもんなら
ショルツ並に攻撃を受けるけどそれに耐えられる日本の研究者はほぼいないし。
399:１３２人目の素数さん
20/04/05 22:31:01 wzxDEpNH.net
新型コロナウイルスが蔓延していることがなんで検査せずにわかるのか
400:１３２人目の素数さん
20/04/05 22:46:51 8LLZd4ef.net
誰かが何かを企んでばら撒いてるからでしょ
401:１３２人目の素数さん
20/04/05 22:58:51.49 wzxDEpNH.net
第３次世界大戦の前フリすか。第一次のときは飛行機、第２次は原爆
402:１３２人目の素数さん
20/04/05 22:59:21.84 GM2Cr2cl.net
>>379
そういえばみんな薄々感づいているのか英語版に合わせてるのか、
Wikipediaはabc予想のまんまだな。
403:１３２人目の素数さん
20/04/05 23:00:41.51 kIQOAUw4.net
そもそもSSが指摘した点を反証できるならRIMSが査読完了宣言する前にそれを簡潔にペーパーにまとめて
SSに送って議論を再開すれば良かったと思うのはおれだけ？
RIMS側にも査読を急ぐ必要性全くないだろ
404:１３２人目の素数さん
20/04/05 23:01:57.92 +I82jeYq.net
>>333
極めて合理的で妥当な提案だな
医療関係者に使命感があって引き続き担当したいならな
隔離は治療の戦力ダウンにしかならず皺寄せを他にもたらすマイナスが大きいし合理性に欠ける
さすが京大教授である
これを妄想とかトンデモとかいうやつは社会を崩壊方向にベクトルを向ける偽善者だ
405:１３２人目の素数さん
20/04/05 23:03:43.71 Hqz9yvRd.net
ああ、これWikipediaはRIMSにとってちょっとマズい存在になりそうだね。
各国語に特化した版は作ってはいけないことになってるから、
英語版とかがabc theoremにならないかぎり日本語版も変更できない。
406:１３２人目の素数さん
20/04/05 23:04:24.47 pCc9Yxqh.net
おまえらｗ
証明が正しかろうが間違ってようがおまえら底辺にはなんの関係も無いのにｗ
407:１３２人目の素数さん
20/04/05 23:05:33.74 wzxDEpNH.net
wikipediaは基本英語版に合わせるだろ。
技術系は翻訳しかしてないんだし。
408:１３２人目の素数さん
20/04/05 23:09:04.79 Ck6SbutY.net
>>385
現場から離れた妄想だよ
京大名物の裸の王様さ
みんなスルー
409:１３２人目の素数さん
20/04/05 23:10:41.61 wzxDEpNH.net
abc予想で新たな職とか創出されんのか？そんなことはないだろうからあくまで趣味の範囲で関わるというのが正しい態度だな
410:１３２人目の素数さん
20/04/05 23:10:45.03 W6thwF7k.net
項目はabc予想でも、日本語版だけ証明されたとか書くことはできるんじゃないの？
受け入れられるかは知らんが
ってか初報から横目に見てる程度だけど、海外との関係軽視しすぎだろこの件
外国の研究者が8年もこんなわけわかんない対応してたらおれなら間違いなくキレるぞ
411:１３２人目の素数さん
20/04/05 23:11:49.56 cOTxobhi.net
国内の大御所を巻き込んだ事もあって
今後のRIMS周辺は「ABC定理」という踏み絵を踏まないと村八分。
しかし踏んでしまったら最後、その研究者は海外からは相手にされなくなるジレンマ。
これ鬱病になる奴出るだろ。
412:１３２人目の素数さん
20/04/05 23:13:47.44 wzxDEpNH.net
クソ役立たずはスルースルー
413:１３２人目の素数さん
20/04/05 23:14:15.51 O17LlzMj.net
4/3からどんだけのびてるんw
アクセプトされたんだからもちーの勝利
もちーは今頃気持ちよく大河でも見返してるよ
414:１３２人目の素数さん
20/04/05 23:15:11.75 +I82jeYq.net
>>385
医療関係者が軽症の前提条件ね
重症なら即入院で隔離が当たり前
415:１３２人目の素数さん
20/04/05 23:17:26.43 wzxDEpNH.net
ハーラン・フィスク・ストーンの気分ですな
416:１３２人目の素数さん
20/04/05 23:17:29.03 W6thwF7k.net
軽症でも休ませてやれよw
無症状で既に抗体出来てればそりゃ感染病棟向きだろうけど
417:１３２人目の素数さん
20/04/05 23:21:33.51 wzxDEpNH.net
役立たずでもなんか関わりたいと思うもんだろ。感染までしたのにお払い箱になるのもひどいじゃん
418:１３２人目の素数さん
20/04/05 23:33:06.56 Hqz9yvRd.net
>>391
各国語にマイナー化したものは書いてはいけないんだよね。
419:１３２人目の素数さん
20/04/05 23:39:55 i+m2NL1j.net
つか、RIMSが8年近くかけてようやくアクセプトした意味を真剣に考えてない奴多くね？
海外からの反論もあって、相当慎重に検討した結果として柏原氏みたいな大物に証明したと考えて間違いないとまで言わせてるんだから。
余程の信頼性がないとこの展開はないよ
420:１３２人目の素数さん
20/04/05 23:43:58 ywrYZz4P.net
STAP小保方にお墨付きを与えた
故・笹井さんも超大物だったんだなこれが
421:１３２人目の素数さん
20/04/05 23:44:16 0fuZroei.net
「証明したと考えて間違いない」って日本の新聞に載ってるだけで、
NHKの報道映像でも言ってないんだよなあ。
422:１３２人目の素数さん
20/04/05 23:48:56 i+m2NL1j.net
>>401
実験系と理論系は全く違うぞ。もし笹井さんが3ヶ月ちゃんと検討してたら顛末は全く変わってただろうし
423:１３２人目の素数さん
20/04/05 23:50:28 cTzpxuVq.net
NHKの報道映像って、数分に短縮カットしてるでしょ
「証明したと考えて間違いない」と思ったからの審査OKで、プレス発表
「証明したと考えて間違いない」は、デフォルト（暗黙の前提）でしょ
424:１３２人目の素数さん
20/04/05 23:51:56 W6thwF7k.net
>柏原特任教授は、「この論文をめぐってさまざまな議論が巻き起こったが、一応、確定
>したということで若い人にも興味を持ってもらい、さらに議論が進展することを希望
>している」と話しました。
URLﾘﾝｸ(www3.nhk.or.jp)
これか
なんとも玉虫色な表現だな…
425:１３２人目の素数さん
20/04/05 23:54:11 i+m2NL1j.net
>>402
いや、言ってるので。むしろnhkの報道でカットされてるだけだろ
426:１３２人目の素数さん
20/04/05 23:54:36 QxI3Xxm2.net
>>400
今んとこ胡散臭い連中としか思われてない、真面目な話
427:１３２人目の素数さん
20/04/05 23:55:28 hhbZ//Dr.net
>>405
何このスッキリしない表現は
本当に納得していたら自らショルツに説明してもいいくらいなのに。
428:１３２人目の素数さん
20/04/05 23:56:22 O17LlzMj.net
もちー、うれしそうだな
頑としてインタビュー受けないのが謎すぎるけど
ここまできたら動画で喜びをあらわしなさいよ
429:１３２人目の素数さん
20/04/05 23:57:02 QxI3Xxm2.net
>>405
爆笑物だな
多分大雑把にしか理解してないよねいくら柏原大先生でも
430:１３２人目の素数さん
20/04/05 23:57:11 YKxpIhTI.net
「証明したと考えて間違いない」
このコメントが全てを表してると思う
この表現の機微は外人にはわからんだろ
431:１３２人目の素数さん
20/04/05 23:58:07 cTzpxuVq.net
>>403
>実験系と理論系は全く違うぞ。もし笹井さんが3ヶ月ちゃんと検討してたら顛末は全く変わってただろうし
たしかに
実験系では論文不正はできても
数学では、論文不正は不可能だわな
URLﾘﾝｸ(ja.wikipedia.org)
小保方晴子
博士論文の不正調査と処分
報告書で、小保方の製本された論文には米国立衛生研究所（NIH）のWEBサイトからの英文のコピーや画像の流用など、少なくとも26か所の問題点があり、そのうち6か所は「故意による不正
432:」だと認定していた[100]。
433:１３２人目の素数さん
20/04/05 23:58:19 ywrYZz4P.net
・8年前
胡散臭い論文（IUT）
・少し前
胡散臭い集団（Mzk周辺）
・現在
胡散臭い組織（RIMS）
海外の認識はこのくらいまで広まってると思うわマジで。
434:１３２人目の素数さん
20/04/05 23:59:41 Ck6SbutY.net
>>395
すまん、
新型コロナウィルス肺炎の怖さは
軽症でもたちまち重症化
する怖さがあるのだが。
435:１３２人目の素数さん
20/04/06 00:00:51 B3agHoOM.net
>>405
それそれ、視聴できる範囲のインタビューのなかで「証明した」ってひとことも言ってない。
ネーチャーにもないから多分日本人記者の切り貼りでじっさいには言ってないんだろうね。
436:１３２人目の素数さん
20/04/06 00:01:45 n8nAmtxW.net
>>410
>爆笑物だな
>多分大雑把にしか理解してないよねいくら柏原大先生でも
SSの勘違いだってことは
しっかり理解していると思うよ
437:１３２人目の素数さん
20/04/06 00:02:37 DmIWgzga.net
RIMSの看板賭けてるんだから博打打つわけがないわな
438:１３２人目の素数さん
20/04/06 00:02:50 s8cz99k9.net
>>399
>・プロジェクトの方針やルールは、中立的な観点の方針などごく一部を除いて、各言語版の自治を通じて形成されています。
URLﾘﾝｸ(ja.wikipedia.org)
確かに中立的観点の方針に引っかかりそう
wikipediaは割と各国版で全然違うこと書いてたりするからスルーされそうな気もするけど
439:１３２人目の素数さん
20/04/06 00:03:15 B3agHoOM.net
だから柏原が査読したんだから理解したんだろ、ってのは間違いで、
柏原はほんとうは理解してないし、それは自分でも認めているのだろう。
ようするにもうめんどいから査読を通すんであとは外野で勝手にやれって話。
でもそれってRIMSからしたらマズいでしょ、っていうのが現状の問題点。
玉川も証明済みとは言ってないんじゃないかね。
440:１３２人目の素数さん
20/04/06 00:03:21 n8nAmtxW.net
>>415
どうでも良いんじゃ無い？
細かい表現って
「証明成立と判断した」から審査OK
これ以外のロジックはありえないでしょ
441:１３２人目の素数さん
20/04/06 00:07:27 +mHsh8UT.net
ショルツレポートも読んだ上で柏原の名にかけて正しいと言ってんだから反論するならそれなりのものを出さないとな
望月側は応用例を出せると良いので優秀な若手がiutを研究してくれると良いね
442:１３２人目の素数さん
20/04/06 00:07:42 FdEfaAAV.net
そもそも会見の「イノベーションに」云々がすごく文科省向けのコメントなんだよね。
どうやってイノベーションにつなげるのかさっぱりわからんのに。
443:１３２人目の素数さん
20/04/06 00:09:17 s8cz99k9.net
>>405
>会見に出席した数理解析研究所の教授は、「証明したことに間違いがないと言って構わ
>ない。ＡＢＣ予想は根本的な問題で、証明できたことは非常に大きなインパクトがある」
>と話しました。
映像見る限り、「証明したことに間違いがないと言って構わない。」の部分は編集でカット
されてるけど残りは玉川先生の発言みたいね。これが新聞に載ったんじゃないかな
444:１３２人目の素数さん
20/04/06 00:14:12 lGyqBSxX.net
優秀な若手も何も海外の若手は当然相手にしてないし
国内ではRIMSで出てないなら無理でしょう。
取り組んだ結果矛盾点を見つけて沈黙ってパターンが説得力ある。
何度も言われているけど矛盾点がないなら
3.12に解説を加えるというだけで巨大な実績になるのに
若手がこっそり取り組んでいない訳がないもの。
445:１３２人目の素数さん
20/04/06 00:17:27 j2u3J8Ue.net
玉川さんも当時目が死んでたりしないだろうね？
446:１３２人目の素数さん
20/04/06 00:21:32 s8cz99k9.net
>>411
確かに証明したと考えて間違いないとは言いました…
……言いましたが……証明が正しいとは一言も言っていない（略
447:◆QZaw55cn4c
20/04/06 00:26:34 oQpk2YDw.net
>>389
まあ、法の奴隷、言葉のオートマトン、損得勘定がすべての人ならば、そう考えるであろうことは理解できます
一つ忠告すれば、規則はある条件のもとでは破ってもいいのですよ、今がそのときなのでは？
448:１３２人目の素数さん
20/04/06 00:27:04 j2u3J8Ue.net
柏原御大が「間違いない」言ったわけでもなく？、玉川は論文も一切書かず？…
危ないよなあ
449:１３２人目の素数さん
20/04/06 00:28:22 2ZQiyYgh.net
>>417 理研の看板かけてやらかして首吊った人をもう忘れたのか
450:１３２人目の素数さん
20/04/06 00:30:25 m45FKwNU.net
>>428
そしてこの表情である
URLﾘﾝｸ(pbs.twimg.com)
451:１３２人目の素数さん
20/04/06 00:42:26 CFuP+536.net
>>430
あっ…
452:１３２人目の素数さん
20/04/06 00:42:37 vl1NP+/7.net
>>407
柏原を胡散臭いなんて思ってるのはおまえってだけ
453:１３２人目の素数さん
20/04/06 00:48:24.41 vl1NP+/7.net
>>414
重症化には低カリウム血症が関わっている
重症患者はことごとく低カリウム血症になっていることを中国が報告してる
感染すると低カリウム血症になる機序が判明してるし、以前からカリウム血中濃度が低かった人は突然重症化する傾向があることが分かっている
カリウム製剤を与えると回復傾向がみられることも分かってる
454:１３２人目の素数さん
20/04/06 00:53:25.93 vl1NP+/7.net
>>427
正解。その通りだ
だからドイツ政府は治験無しにアビガンを大量購入することに決めたわけだよ
でも日本国内にはルールなんだから治験は何がなんでもやれと息巻いてるやつがいてみすみす人の命が失われている
455:１３２人目の素数さん
20/04/06 00:59:55.15 CTplxA0S.net
訳わからん嵐はくるなよ
456:粋蕎
20/04/06 01:28:39.62 i0MVTXkI.net
軽症感染者を看護に回すってエンドレス感染スパイラルに成らんのか？
しかし本当に今の日本は手離し讚美や煽り専ばかりになったのう｡
あーナチスナチス。日本型ナチスと日本型クラッシャー系社共派のイガミ合いじゃ此んなもん｡
457:１３２人目の素数さん
20/04/06 02:44:01 VgrrnK4p.net
毎日新聞のインターネット記事に、今回編集委員会が出した報道資料が全部乗ってるけど、2ページ目にはっきりと
「abc予想を証明した」
とはっきり書いてある。これをもとに各社見出し作ったからね。
458:１３２人目の素数さん
20/04/06 04:36:39.26 fqeKFRiQ.net
URLﾘﾝｸ(mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
URLﾘﾝｸ(cdn.mainichi.jp)
459:１３２人目の素数さん
20/04/06 05:00:12.82 3SDSg7Za.net
フィールズ賞のピーターショルツとテレンスタウが理解できないIUTを望月教授の弟子は完全に理解できるらしいね
余程優秀な弟子なんだろうな
弟子がショルツとタウに教えてやったら？
460:１３２人目の素数さん
20/04/06 05:26:16.67 W5IdJ52s.net
アンチざまあです
モッチーの勝ちです
461:１３２人目の素数さん
20/04/06 05:43:28.39 GPCmkTMM.net
なるほど
政治力より
京都限定の「定理」に成仏したんだね
462:１３２人目の素数さん
20/04/06 06:21:23.90 fY2qoWNx.net
もうSSとSSを御神輿に担いでいる側がペーパーで公式に反論しなくてはいけない自体になった
463:１３２人目の素数さん
20/04/06 06:23:51.67 FMi146tx.net
>>438
有能
464:１３２人目の素数さん
20/04/06 06:38:28.71 GPCmkTMM.net
共産大のクラスターなど
新型コロナウィルス騒ぎのどさくさ
に紛れて身内がアクセプトしただけ。
RIMSはIUTウィルスのクラスター
だからね、
465:１３２人目の素数さん
20/04/06 07:00:15.08 YNqXuaU8.net
>>442
少なくとも査読者はIUTが正しいと軍配をあげたわけだからね
査読者には相当なプレッシャーがあったはずだよ
よく受けたな、しかし
466:１３２人目の素数さん
20/04/06 07:02:03.59 GPCmkTMM.net
はじめからアクセプトの結論ありき
467:１３２人目の素数さん
20/04/06 07:28:12.84 n8nAmtxW.net
オセロゲームみたいなものと思いなよ
いまから、海外の納得していない人達を
クロをシロに変えていけばいい
IUTが正しければ、オセロゲーム成立するよ
468:１３２人目の素数さん
20/04/06 07:30:50.06 lGyqBSxX.net
普通本当に正しければ時間と共に賛同側に鞍替えする人も増えるもんだろうけど
実際には真逆でケドラヤまでもが懐疑側に鞍替えしている。
既に逆方向ｎオセロゲーム成立してる。
469:１３２人目の素数さん
20/04/06 07:36:12.39 n8nAmtxW.net
オセロゲームでは、一時的にクロが増えることはある
が、あと一気に逆転パターンもあるぜ
470:１３２人目の素数さん
20/04/06 07:53:50.99 n8nAmtxW.net
>>448
>>448
>実際には真逆でケドラヤまでもが懐疑側に鞍替えしている。
K. Kedlayaはもともと 懐疑派だけれど
どちらかと言えば肯定派だったかも
いま、懐疑派で懐疑が強くなったかもね
しかし、下記見ると、Taylor Dupuy氏との共著もあるから
Taylor Dupuy氏から、正しい情報が入って、改心する可能性大だな
（参考）
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage]
1.The Statement of Mochizuki's Corollary 3.12, unstable preprint available on request, (with A. Hilado)
2.Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)
URLﾘﾝｸ(www.dropbox.com)
3.Isogeny classes of Abelian Varieties over Finite Fields in the LMFDB, (with K. Kedlaya, D. Roe, and C. Vincent)
URLﾘﾝｸ(arxiv.org)
4.Counterexamples to a Conjecture of Ahmadi and Shparlinski (with K. Kedlaya, D. Roe, and C. Vincent)
URLﾘﾝｸ(arxiv.org)
471:粋蕎
20/04/06 08:18:43.68 i0MVTXkI.net
まさか未だ以てIUTでノーベル賞やフィールズ賞が出ると思ってるバ～～～カは居らんじゃろうな？
○○○○賞なら分かるが
472:粋蕎
20/04/06 08:19:46.68 i0MVTXkI.net
ほぅ言やぁアティヤ氏の方は進展どうなっとるん？
473:１３２人目の素数さん
20/04/06 08:28:51.60 ZEVs1Egc.net
>>448
>普通本当に正しければ時間と共に賛同側に鞍替えする人も増えるもんだろうけど
んなこたーない
「たとえ正しくても価値を感じない」というケースも普通にある
474:１３２人目の素数さん
20/04/06 08:32:12.60 IEJgWnxq.net
柏原が「間違いなく正しい」って言った部分はカットされてるっていうけど、
カット前の映像にそれがある証拠なんてまったくないぞ。
475:１３２人目の素数さん
20/04/06 08:45:58.32 ZEVs1Egc.net
数学の難問で
証明された事のチェック自体に大きなリソースが割かれるケースは
例外中の例外
そういうチェックは数学の発展とは無関係な作業
証明されたかどうかのチェック自体に大きなリソースが
十分に割かれる保証のある例外中の例外の実例
476:は ・ポアンカレ予想(済) ・フェルマー予想(済) ・リーマン予想 くらいだけ。百歩譲っても他にはミレニアム懸賞問題くらいだけ
477:１３２人目の素数さん
20/04/06 09:20:59.52 vl1NP+/7.net
>>455
IUTは例外ケースということだ
日本から例外ケースが出たことに違和感を感じてるのか？
478:１３２人目の素数さん
20/04/06 09:31:26.65 ZEVs1Egc.net
>>456
>IUTは例外ケースということだ
正確にはIUTじゃなくて「ABCも例外だ」と言いたいの？
実際に一握りの人しかリソース割いてないじゃん
>日本から例外ケースが出たことに
ABCは日本発祥の難問じゃない
479:１３２人目の素数さん
20/04/06 09:35:37.67 LIbx70F0.net
>>455
この証明は証明自体もすごいけど、
そのツールがすごいんでしょ。
いわゆる微分とかの開発と似たような感じ。
だから、関心の対象になってる。
できたら理解してみたいけどなあ。時間ない。
480:１３２人目の素数さん
20/04/06 09:37:13.00 LIbx70F0.net
>>457
ABC予想は、数学者の多くが解こうとしている難題で、
だから、検証に大きなリソースが裂かれてる。
481:１３２人目の素数さん
20/04/06 09:45:44.25 oa8vV0vE.net
>>438
＞既存の公理体系の中の理論です
4章はほぼカットかな
グロタンディークの真似事をしたかったんだろうけど、よく知らないのにそれっぽいことを書いて滅茶苦茶言ってたしな
482:１３２人目の素数さん
20/04/06 09:57:56.62 ZEVs1Egc.net
>>458
>そのツールがすごいんでしょ。
その肝心の「ツールのすごさ」を示す具体的な話が
今の所ゼロ
>ABC予想は、数学者の多くが解こうとしている難題で
まず一般論として
「解こうとする事」と「解き切る事」とはまた違う話
解こうとしていても解き切る事に関心がないというケースが普通にある
あくまで「自然に解ける事」「解こうとするプロセスで得られる事」に価値がある
483:１３２人目の素数さん
20/04/06 09:58:07.96 LcegzXRS.net
>>458
そのツールを使った応用が現時点ではあまり出てきてないように見えるのがな
484:１３２人目の素数さん
20/04/06 10:42:04 vl1NP+/7.net
文書の最後に書いてあるだろ
「外国人研究者や数理解析研究所の若手研究者を中心に、既にいくつかの共同研究ブロジェクトが立ち上がっています。」
これからだよ。このスレにも成果物が出てくる事例を提示してるしな
485:１３２人目の素数さん
20/04/06 10:45:14 T2Y4UUuy.net
そうだよ、1000年2000年先を見通してドンと構えろよ
486:１３２人目の素数さん
20/04/06 10:55:25 YKJjGp9s.net
>「外国人研究者や数理解析研究所の若手研究者を中心に、既にいくつかの共同研究ブロジェクトが立ち上がっています。」
PRIMSにしか掲載される見込みのない共同研究プロジェクトに駆り出される
若手研究者が不憫でならない。
外部から引用される可能性は殆どないから何の実績にもならんだろうに。
487:１３２人目の素数さん
20/04/06 10:56:25 IzXOKA2U.net
8年間何やってたの？
ノーベル賞を取った山中教授のグループはノーベル賞を取る前は研究成果を発表しまくって先に先に進んで行ったけど
IUT理論を理解してると言われてる連中からはそう言ったものは殆どないよね
488:１３２人目の素数さん
20/04/06 11:01:00 lGyqBSxX.net
共同研究の前にCor3.12の解説した方がよっぽどコミュニティに貢献出来るでしょ。
周囲が本当にIUTを理解しているなら明らかに順番がおかしい。
489:１３２人目の素数さん
20/04/06 11:01:02 LIbx70F0.net
数学と医学を一緒にされても
数学者の人数は簡単に増えないよ。
490:１３２人目の素数さん
20/04/06 11:09:29 LIbx70F0.net
>>461
ワイルダーみたいに何年もかかりっきりでとく方が普通でね。
数学の場合。
491:１３２人目の素数さん
20/04/06 11:13:01 LIbx70F0.net
ワイルズだった。
492:１３２人目の素数さん
20/04/06 11:16:13 ZEVs1Egc.net
>>463
>これからだよ
そんな事言いだしたら他の全ての有象無象の数学理論も
皆「これから」の余地を持ってる
493:１３２人目の素数さん
20/04/06 11:18:47 ZEVs1Egc.net
>>469
>ワイルダーみたいに何年もかかりっきりでとく方が普通でね。
>数学の場合。
ワイルズの仕事は非可換類体論という数学に
新しい風景を与えた
IUTにはそういう事がまだない
494:１３２人目の素数さん
20/04/06 11:19:02 YKJjGp9s.net
解くのは何年も掛かるのは分かる。
問題は著者いわく自明というくらい簡単なはずの
系3.12の解説を8年間で誰も為し得ていないという点。
そのことは周囲の理解者とやらが
自身の組織内での立場の為に著者の顔色を伺っているに過ぎず
証明がそこには存在しない事を確信させる。
495:１３２人目の素数さん
20/04/06 11:19:59 LIbx70F0.net
>>466
査読するのに8年かかってるのだから、
理解するのも同じくらいかかるでしょ。
当然。
496:１３２人目の素数さん
20/04/06 11:22:39 LIbx70F0.net
>>472
証明が成功してるなら、まったく、新しい風景は提示されてんじゃん。
見れる人が少ないだけでしょ。
497:粋蕎 ◆C2UdlLHDRI
20/04/06 11:25:54 i0MVTXkI.net
>>464
こりゃまたド偉い皮肉
>>466
可能性1.遅ればせ乍ら、そろそろ引用論文が現れる
可能性2.望月氏流天才肌構成で引用者に不親切な出来の悪い論著で望月氏以外の誰が利用しても研究鈍足せざるを得ない
可能性3.土台、応用先が狭い
可能性4.理解できている共同者は若くは無く生産性が鈍く、弟子等は弟子等で理解しきれて居ない
可能性5.実は欠失は無い物の未だ確執が有る
可能性6.実はは確執どころか未だ欠陥が有る
498:１３２人目の素数さん
20/04/06 11:26:15 fM9TUIZD.net
＞外国人研究者
望月研究室の大学院生では？
499:１３２人目の素数さん
20/04/06 11:30:44.98 ZEVs1Egc.net
>>467
>共同研究の前にCor3.12の解説した方がよっぽど
URLﾘﾝｸ(twitter.com)
望月氏の理論に否定的な特に海外の研究者の皆さんへ。
#IUTABC 理論の理解者は、ショルツ側の「誤解」だと指摘しています。
盲目的にフィールズ賞受賞者というフィルターだけを根拠に、
物事を捉え、拡散するという行為は、科学的ではありません。
この人によると、だそうです。
Cor3.12のやらの事かどうか分からないけど
あと玉川先生だっけか、そちら側の言い分では
「反論は行っていて、再反論はなかった」
みたいな事を言ってた気がする
(deleted an unsolicited ad)
500:１３２人目の素数さん
20/04/06 11:32:07.48 Vi++uUTK.net
>>474
査読と理解は違うと思うよ
例えば、「有限単純群の分類」定理（下記）
”主に1955年から2004年にわたり出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成”
証明の細部は、個人では分からない
∵ コンピュータで構成された例外群多数 （人の手では無理）。それに、”計1万5000ページ以上”って、だれが全部それ読んだんだ？ｗ
だけど、「有限単純群の分類」定理、みんな 理解はできる（あるレベルの勉強をすれば）
それと同じことよ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
有限単純群の分類
(抜粋)
有限単純群の分類 (classification of the finite simple groups) とは、数学において全ての有限単純群を4つの大まかなクラスへと分類する定理である。 これらの群は、全ての有限群を構成する基本的な要素として見ることが出来る。
この分類定理の証明は、主に1955年から2004年にわたり出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成である。
501:１３２人目の素数さん
20/04/06 11:33:35.07 ZEVs1Egc.net
>>475
>証明が成功してるなら、まったく、新しい風景は提示されてんじゃん。
>見れる人が少ないだけでしょ。
フェルマー予想と同様、ABCの命題自体は散発的なモノでしかない
単に「証明に成功する」という事だけなら
他の全てのどんな有象無象の数学理論も
それぞれの命題についてその証明は成功している
502:１３２人目の素数さん
20/04/06 11:36:16.8
503:7 ID:uTb+zDrk.net
504:１３２人目の素数さん
20/04/06 11:36:37.24 LIbx70F0.net
>>479
コンピューターによる証明はアルゴリズムを見て判断するだろ。
これとは性質が違う。
くだらねえなあ。
505:１３２人目の素数さん
20/04/06 11:37:53.87 LIbx70F0.net
外在的な観察いくらしても、証明の成功不成功とは関係がない。
506:１３２人目の素数さん
20/04/06 11:38:13.52 fM9TUIZD.net
>>478
って日本語で書かれても伝わらんと思うが、
それ以前にCor 3.12の説明を求めてる大物はSSだけじゃないんだよなぁ
507:１３２人目の素数さん
20/04/06 11:39:15.58 ZEVs1Egc.net
>>483
>証明の成功不成功とは関係がない。
数学は競技や遊びではないので
ABCの証明の成功不成功は数学的価値と関係がない
508:１３２人目の素数さん
20/04/06 11:42:36.93 ZEVs1Egc.net
>>484
合ってる間違ってるの話はどのみちつまらない
合ってるからと言ってオリンピックのメダリストみたいに急にちやほやされる訳ではない
数学者は数学の風景にしか興味がない
新しい数学の風景、新しい数学の進むべき道、を提示すると
沢山の研究者が自然に群がってくる
509:１３２人目の素数さん
20/04/06 11:46:29.18 lGyqBSxX.net
再反論がないというか既に相手にされてないだけでしょう。
言ってることは要約すると論文読み直せってだけだから。
510:１３２人目の素数さん
20/04/06 11:54:30.38 ZEVs1Egc.net
>>487
その判断は両者のやり取りの中身そのものを
実際に見ないと分からない
一般論として可能性として5chの煽りと一緒で
実際にはちゃんと説明したのに
「おめーは論文読み直せとしか反論してねーじゃんｗｗｗ」と逆に言い張られてる
だけの場合もあるから
511:１３２人目の素数さん
20/04/06 12:00:55.26 Vi++uUTK.net
>>479
>査読するのに8年かかってるのだから、
>理解するのも同じくらいかかるでしょ。
>当然。
補足しておくと
理解早い天才クラスがいる
そういう人は、査読に何年かかろうが同じだよ
驚くほど短期間で理解するんだよ
そうでなければ、20代30代の若さで現代数学の最前線には立てない
自分と同じと考えない方が良いと思うよ
512:１３２人目の素数さん
20/04/06 12:01:52.90 7xIqksAv.net
>>488
ワラタ
一般論？可能性？
お前なに見てんの？
513:１３２人目の素数さん
20/04/06 12:03:59.43 ZEVs1Egc.net
>>489
「理解の早い天才」と「数学を創造する天才」とは別物だけどな。
グロタンディークは他人の論文を理解する早さは決してすごくはなかった
セールがそう言ってた
514:１３２人目の素数さん
20/04/06 12:05:13.76 ZEVs1Egc.net
>>490
日本語で理由を添えて反論すべき
515:１３２人目の素数さん
20/04/06 12:10:09 L1qjewt5.net
このABC問題で、小保方さんの名誉回復されるとは、
一寸先は闇だな。
516:１３２人目の素数さん
20/04/06 12:13:06 xRcaE4al.net
このスレに読んで理解したという人が8年現れてないってすごいよな。
まあ、言われてる通りなんだろう。
517:１３２人目の素数さん
20/04/06 12:17:45 jTvTOXzD.net
郡-抽象代数も行列-線形代数学も、その基礎が提示されたのは19世紀前半、徐々に体系化され教科書が出、多様に応用され数学科で教えられ、現代数学の必須要素になっていったのは19世紀末から20世紀、半世紀余も後
＞p?進数 1897年にヘンゼルによって導入された
現代数論では主要素の一つのこれは、発表後10年や20年で他研究者による多量の活用があったのか
リーマン幾何学 1854～
一般相対性理論 1916
スキーム論
>同時代の学者たちからは戸惑いのこもった反発を受けた。
この概念の一般性は最初は批判された。幾何学的な解釈を持たないスキームもあり、概念の把握を困難にしていた。
この理論は緩やかに受け入れられていった。
アブストラクト・ナンセンス
圏と関手の理論に対して行われた、中身が無く抽象的過ぎるために無意味だ、という現代数学界での長年の批判
一つも知らない想起できない、何の資格があって文句言っているのか不明な数学超外野の恥ずかしい人々
518:１３２人目の素数さん
20/04/06 12:19:47 oxE/DelY.net
>>495
どれも説明できる理解者はその時点でいた。
説明が意味不明だという批判を受けてるのはIUTだけ。
519:１３２人目の素数さん
20/04/06 12:21:12 kPyRLIKL.net
俺には読めないが論文のリンクを貼っておこう。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
520:１３２人目の素数さん
20/04/06 12:21:23 lGyqBSxX.net
>>495
そういった概念部分の論争は既に話題から外れていて
今はCor3.12のギャップに焦点が絞られてるよ。
521:１３２人目の素数さん
20/04/06 12:24:58 L1qjewt5.net
零は、認められるまで５００年かかったし、
集合の発見者は、精神病院で死んだ。
M先生に幸あれ。
522:１３２人目の素数さん
20/04/06 12:28:18 oxE/DelY.net
>>499
ゼロなんて数学者が認めるか認めないか以前に商人が使ってただろ。
応用のないIUTと一緒にするのはできないね。
523:１３２人目の素数さん
20/04/06 12:31:35 3mv9FOjK.net
ショルツ側が望月の二回目の説明に反論しないのは明らかにおかしい。たぶん自信がなくなったからだ。
二回目の説明のペーパーで3.12の補足説明をつけていて、かなり明快にショルツ側の疑問に対応してる。
これに応じないのはもはや逃亡だよ。
524:１３２人目の素数さん
20/04/06 12:32:53 xRcaE4al.net
>>500
理解できてないなら応用はできません。
つうかよく理解できてもいないくせに断言するな。アホだろ
525:１３２人目の素数さん
20/04/06 12:35:57 oxE/DelY.net
>>502
商人が０や負数を使ってるときに彼らは数学を理解してるわけじゃなかったし、
そもそも数学サイドで０や負数を定義する方法がなかった。
今のデータサイエンティストもそう。べつに数学を完全に理解してるわけではないが応用している。
理解しないと応用できないなんてことはない。
しかもIUTでは自称理解者も応用できないと言う極めて不自然な点がある。
526:１３２人目の素数さん
20/04/06 12:43:53 ZEVs1Egc.net
>>495
スキームや圏論は受け入れられるスピード早かったでしょ
あんまり古い時代はレギュレーションが違うから比較できないけど
とりあえずIUTも
スキームや圏論並みの応用が提示されてからお祭り騒ぎしたらいい
別にIUTの研究を辞めろは言ってない
現在は価値が見出されてないと言ってるだけ
527:１３２人目の素数さん
20/04/06 12:45:59 4qE6Pzsr.net
マスコミはjinみたいなど素人にも取材申し込みしてそうだなw
528:１３２人目の素数さん
20/04/06 12:48:12 ZEVs1Egc.net
>>498
おまえみたいなバカだけだろ
529:１３２人目の素数さん
20/04/06 12:48:24 Vi++uUTK.net
>>489
さらに補足しておくと
1)査読と、2)査読された論文の証明を読むことと、3)論文の内容を理解することと
この３つは、全く別ものということ
3)の論文の内容の理解について補足すれば
理解は、読み手のレベルに大きく依存する
分からない人は、分からない人なりに
分かっている人は、それなりに
良く分かっている人も、それなりに
ということ
530:１３２人目の素数さん
20/04/06 12:49:58 Vi++uUTK.net
>>495
>一つも知らない想起できない、何の資格があって文句言っているのか不明な数学超外野の恥ずかしい人々
全く同意見です
531:１３２人目の素数さん
20/04/06 12:52:30 WBgCSWG8.net
応用はもう尽くされたから正しいと宣言されたんじゃないか？
532:１３２人目の素数さん
20/04/06 12:53:05 ZEVs1Egc.net
>>508
勝利宣言早すぎだろ
相手からの反論を待って再反論しろよ
533:１３２人目の素数さん
20/04/06 12:55:26 WBgCSWG8.net
そうだな
534:１３２人目の素数さん
20/04/06 12:55:57 ZEVs1Egc.net
>>509
ちゃんと親孝行しろよ
親はいるうちが華だぞ
おめえみたいなすっとぼけ野郎にもネットに書き込みするまでに育ててくれたのは
他でもない親御さんだぞ
535:１３２人目の素数さん
20/04/06 12:56:28 Vi++uUTK.net
>>510
柏原、玉川より数学上って人、ここに居るの？
536:１３２人目の素数さん
20/04/06 12:58:35 ZEVs1Egc.net
>>513
いないだろうけど
それとこれとのあんたのレスの正しさと何の関係があるの
537:１３２人目の素数さん
20/04/06 13:02:49 fM9TUIZD.net
これまでは証明が証明になっておらず、周りから理解されない理論は埋没していたのだから、
過去の歴史を振り返って非難を受けた理論が今では認められているのは自明だ
538:１３２人目の素数さん
20/04/06 13:19:34 ObL7BHuW.net
IUT以前：数学は曖昧さのないピシッとしたクリーンな世界
IUT以後：数学は曖昧で歪があるが定量的評価でなんとかできる世界
なんか対称性の破れの時のBefore/After感があるｗ
539:１３２人目の素数さん
20/04/06 13:34:39 8xux8RTv.net
物理学における量子力学が
数学におけるIUT なのかな？
540:１３２人目の素数さん
20/04/06 13:34:58 Vi++uUTK.net
>>515
>これまでは証明が証明になっておらず、周りから理解されない理論は埋没していたのだから、
>過去の歴史を振り返って非難を受けた理論が今では認められているのは自明だ
そうそう
それと
「証明が証明になっておらず」は、時代に依存するって、だれか数学者のえらい人が書いていたな
つまり、例えば、ガウスとかコーシーとか、後の時代から見て、証明が雑とかの指摘はしようがないってね
後の時代になって、もっと厳密でかつシンプルで分かり易い別証明が出たりしてね
IUTも、きっと、そうなると思うよ
（ Kirti Joshiの ”Anabelomorphy”＆ ”p-adic Mochizukioid”（下記）は、その兆候と思う（＾＾； ）
（参考）
URLﾘﾝｸ(arxiv.org)
On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305
URLﾘﾝｸ(arxiv.org)
Mochizuki’s anabelian variation of ring structures and formal groups Kirti Joshi December 11, 2019
541:１３２人目の素数さん
20/04/06 13:35:05 yFLAIVYb.net
全くの門外漢だけど、加藤文元先生の本読んだ
足し算側と掛け算側の世界の誤差を計算して不等式評価するってのがなんか工学っぽいアプローチで意外だった
542:１３２人目の素数さん
20/04/06 13:38:34 buVZTM5u.net
数論の核心に迫るにはスキーム論を拡張させる必要がありそれがIUTというのが望月さんの一番言いたい事でしょ
本当にそうかどうかは不明
543:１３２人目の素数さん
20/04/06 13:55:02 kPyRLIKL.net
IUTって書いてるヤツ多いけど、IUTTだからIUT理論なんじゃないのか？
544:１３２人目の素数さん
20/04/06 14:13:27 EJWWDd1u.net
望月の前作のp進タイヒミューラー理論は割と早く認められたのにIUTはそうなっていないのは何でだろうね
545:ID:1lEWVa2s
20/04/06 14:15:33 p1LHSJbR.net
じゃあ僕先行ってますね。
546:１３２人目の素数さん
20/04/06 14:21:00.68 r8hcEMGd.net
ようわからんけど、もち自体がブログでIU堆肥ってかいてるからIUTと略してええんや
547:１３２人目の素数さん
20/04/06 14:25:37.02 NuvvXAyr.net
>>516
そんなことはない
代数的な世界に解析的な考えを持ち込んだから違和感があるだけで、元々すっきりしないことはたくさんある
548:１３２人目の素数さん
20/04/06 14:43:53 8xux8RTv.net
望月のブログは
絶対、収穫と蒔いた種と、
を意識してる
549:１３２人目の素数さん
20/04/06 14:49:01 kPyRLIKL.net
Wikipedia上でABC定理じゃないのかABC予想のままだとか書き込みあったけれども、
Wikipediaは自由に書き換えできるぞ。
ABC定理として勝手に追加でもすればいいじゃないか。
リダイレクトでもいいんじゃないのか。
書くなら英語版にも書いてしまえ。
ABC定理の検索結果
URLﾘﾝｸ(ja.wikipedia.org)
550:A4%9C%E7%B4%A2&go=%E8%A1%A8%E7%A4%BA&ns0=1
551:１３２人目の素数さん
20/04/06 14:52:45.68 ObL7BHuW.net
IUTが新しい基礎理論なら、分野によっては職を失う数学者とか出るの？
552:１３２人目の素数さん
20/04/06 14:54:10.64 3HV36ZVl.net
純粋な疑問なのだけど、ここに数論なり代数幾何なりの研究をしていて、ちゃんと論文を書いた事が有る人って、どれくらいいるんですか？
勿論、学位論文とかRIMS Kokyurokuとかは除きます。
553:１３２人目の素数さん
20/04/06 15:00:32.37 fqeKFRiQ.net
門外漢だけど最近IUTの側からパーフェクトイド絡みの研究結果が
発表されたんじゃなかったっけ？
そうだとするとちゃんと応用しているしショルツの面目にも大いに関わるんじゃないの？
554:１３２人目の素数さん
20/04/06 15:02:08.13 4zx8+q6j.net
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)<)
555:１３２人目の素数さん
20/04/06 15:02:24.84 oxE/DelY.net
>>527
むしろ逆で英語版の記事を日本語版に移すように翻訳したほうがいいと思う。
今の記事ではIUTが前面に出すぎてて意味がわからん。
556:１３２人目の素数さん
20/04/06 15:04:19.43 r8hcEMGd.net
>>529
そんなこと聞いちゃダメ
557:１３２人目の素数さん
20/04/06 15:09:02.58 Vi++uUTK.net
>>533
同意
そういう人 （数論なり代数幾何なりの研究をしていて、ちゃんと論文を書いた事が有る人）
は、ここには普通は 来ない
（因みに、おれは”数論なり代数幾何なりの研究”は全くない、ヤジウマですｗ（＾＾； ）
多分プロで、見るに見かねてはあるとしてもｗ
558:１３２人目の素数さん
20/04/06 15:30:02.04 l7VecK/g.net
ショルツェさわやかすぎわろた
王子さまみたい
559:１３２人目の素数さん
20/04/06 15:32:25.14 AS9Yvyt2.net
>>534
自分語りや真面目に数学を語る場所じゃないとわかっててゴシップ専用で気休めに見るのは普通にある
それは数学に限らない
仮に数論の人間がいたら何なのか？正しいと思いますか、理解できましたかと聞くのか？
大まかにWikipedia英語版が事実だしそれ以上語ることはないでしょ
560:１３２人目の素数さん
20/04/06 15:41:11.28 3HV36ZVl.net
>>533
>>534
ごめんなさい。無神経でした。
>>536
時々、自分が個人的に凄いと思っている人に対して物凄く失礼な事を言う人とかがいるので、その人達が一体何者なのかが気になっただけです。
561:１３２人目の素数さん
20/04/06 15:41:24.18 ZEVs1Egc.net
>>536
>自分語りや真面目に数学を語る場所じゃないと
>わかっててゴシップ専用で気休めに見るのは普通にある
数学板はもっと質が高かった
全く数学科関係者じゃない人の書き込みも本来は歓迎
しかし今の数学板は「日常会話レベルのまともに根拠を
交わせないタイプの部外者」が
大量に押し寄せ、自身の稚拙な浅い数学観の披露大会になってしまった。
562:１３２人目の素数さん
20/04/06 15:42:41.16 ZEVs1Egc.net
>>537
>時々、自分が個人的に凄いと思っている人に対して物凄く失礼な事を言う人とかがいるので、
>その人達が一体何者なのかが気になっただけです。
「誰が言ったか」なんて一切気にしてはいけない
「何を言ったか」だけを気にしろ
563:１３２人目の素数さん
20/04/06 15:49:01.26 ZEVs1Egc.net
>>536
>大まかにWikipedia英語版が事実だしそれ以上語ることはないでしょ
数学をテストかクイズか何かと勘違いしてるのか
564:１３２人目の素数さん
20/04/06 16:00:40.07 3HV36ZVl.net
>>538
>しかし今の数学板は「日常会話レベルのまともに根拠を
>交わせないタイプの部外者」が
>大量に押し寄せ、自身の稚拙な浅い数学観の披露大会になってしまった。
「自分が言っている事の根拠は何か？」を常に考えるのって、理系なら学部で身に着けている筈なんですけどねえ(特に数学科)。
>>539
仰る通りです。
565:１３２人目の素数さん
20/04/06 16:11:53 ZEVs1Egc.net
>>541
>「自分が言っている事の根拠は何か？」を常に考えるのって、
>理系なら学部で身に着けている筈なんですけどねえ(特に数学科)。
数学科の人間でもなければ、数学の中身に興味もなければ、
何かを考える事自体にすら興味のない人が、
大量に押し寄せて来るようになったと感じている。
そういう人は薄っぺらいモノが大好き。
権威、競争、国威、受験、資格、etc
そういうクダラナイ事の箔付けに数学のアカデミックを借りに来ただけ
566:１３２人目の素数さん
20/04/06 16:16:40 3bJn/G3R.net
つーか理系教育を受けていたら物事を論理的にエビデンスベースでしゃべれるようになる
とか考えてるのが滑稽
567:１３２人目の素数さん
20/04/06 16:20:04 ZEVs1Egc.net
>>543
論理的だとかエビデンスベースとかそういうモノは知性ではない
論理ってのはフォーマリズムに過ぎない
議論の争いはエビデンスで決まらない
そういう客観的なベースに乗らない部分にこそ
知性というプロセッサーが使用される
568:１３２人目の素数さん
20/04/06 16:20:44 9c1ztKOO.net
ショルツェとタオの天才コンビが理解できないIUTを完全に理解できる望月教授の弟子は何か言ってないの？
569:１３２人目の素数さん
20/04/06 16:22:14 kPyRLIKL.net
権威ではないが賞に賞金額がつけば経済効果はあるぞ。
570:１３２人目の素数さん
20/04/06 16:25:17 kPyRLIKL.net
日本のGDPは2018年で世界3位だからな。
もともと1位だったんだしもっと上げないと中国に置いて行かれる。
ただでさえ中国の留学生は優秀で、東大なんて総代にしたくらいだからな。
571:１３２人目の素数さん
20/04/06 16:26:19 ZEVs1Egc.net
>545,>>546
数学板に限らず、掲示板では、おまえらもうちょっと面白いことを書け
他人が読んでも面白いことを、本当に自分が主張すべきことを、
【吟味】して書け
わきまえる事を知らんガキが、アホ丸出しのドヤりをここに塗りたくるな
572:１３２人目の素数さん
20/04/06 16:27:53 kPyRLIKL.net
MMT理論を使ってでも国家予算を上げてほしいくらいだ。
今はコロナショック対応で発動してるけどな。
573:１３２人目の素数さん
20/04/06 16:29:44 kPyRLIKL.net
数学も経済に資さないと賞金額も上がらないという矛盾。
574:１３２人目の素数さん
20/04/06 16:30:02 ZEVs1Egc.net
>>547
他板で好きなだけ語ってくらはい
数学の中身に興味ないヤツはこの板のガン
575:１３２人目の素数さん
20/04/06 16:38:31 b2Fqcoyw.net
>>527
むしろ、谷山・志村予想のノートページを見たほうがいいぞ
たぶん定理に書き換えても人口に膾炙してないって戻される
576:１３２人目の素数さん
20/04/06 16:39:20 ObL7BHuW.net
>>549
MMT理論(笑)
どんな数式使うの？ｗ 数式あるの？ｗ
577:１３２人目の素数さん
20/04/06 16:40:15 kPyRLIKL.net
IUT理論もネタにするだけでも経済効果あるけどな。
中国とかおいてきぼり。
578:１３２人目の素数さん
20/04/06 16:42:17 kPyRLIKL.net
邪魔したなｗネタを楽しんでいただけでスマソ。
いまは専門で語るヤツがいなかったから遊んでしまった。
579:１３２人目の素数さん
20/04/06 16:43:03 Vi++uUTK.net
>>538
>数学板はもっと質が高かった
2ch(当時)の興隆期は、Niftyなどのツリー型の掲示板でIDを登録して板の管理者が居てという時代からの移行期で
”名無し”さん主体の2ch人が集まった
多分、フロー型でだれでも参加というのが受けた気がする
（2000年ころ）
その後、SNSが興隆して、相対的に2chの地位が低下して、５ｃｈになってという時代変遷と思う
数学も上質な層は、SNSとか実名ありの方じゃないかな？
>しかし今の数学板は「日常会話レベルのまともに根拠を
>交わせないタイプの部外者」が
数学という真面目な話題と、それに対して ゴシップとかの話題が
同じ様に ”名無し”ってのがねー、どうなのでしょうかね？
もっとも、実名にしたら、いまより過疎になるのは見えているけどなーｗ（＾＾；
580:１３２人目の素数さん
20/04/06 16:50:59 kPyRLIKL.net
ところで数学なのにSTAP細胞問題とか出るのか？
その根拠が分からん。
クビになるヤツが出る論も分からない。
数学だと批判が出ても問題なんてないんじゃないのか？
一部分否定
581:だけで論文自体を否定できるものでもないし。 流行に遅れるとか遅れないとかそういったレベルなんじゃないのか？
582:１３２人目の素数さん
20/04/06 16:55:12 ZEVs1Egc.net
>>556
SNSの興隆とはあまり関係ないと思う
数学板は荒らし対策をほぼ誰もしてくれなかったから廃れた
それが一番大きい気がする
あとさっきも言ったように、匿名か実名かは大した問題ではなく、
物事を考える自体にすら興味がないガキが、
数学のアカデミックだけを借りに大量に押し寄せ
その結果この板のアカデミックを破壊した
そうなって雪崩式に数学科関係者の面白い書き込みが減り
何か書き込みしても面白いリアクションが来なくなるのでまたどんどん減りの悪循環で
数学の中身に何ら興味を持たない学歴厨モドキの巣窟になってしまった
あとIUTスレは報道の影響で特別くだらん非数学科関係者のドヤりを呼び寄せた
583:１３２人目の素数さん
20/04/06 17:01:02 ZEVs1Egc.net
>>557
だいたい合ってる
584:１３２人目の素数さん
20/04/06 17:02:21 m1Q0OSCE.net
>>529
なんで学位論文は除くん?
585:１３２人目の素数さん
20/04/06 17:06:00 ZEVs1Egc.net
>>560
学位論文ってのは学部生で言う卒論みたいモンだから
半端な論文だ、という趣旨を言いたいんでしょおそらくその人は
586:１３２人目の素数さん
20/04/06 17:06:28 kPyRLIKL.net
4/4に発表された部分の評価がまだ出ないんだろうな。
修正効くから大して問題にならないな。
望月さん対応早いみたいだし。
修正したこと自体に問題がなければだけれども。
587:１３２人目の素数さん
20/04/06 17:11:56 /WEq1ACy.net
下らない雑談してるのもスレ違い
588:１３２人目の素数さん
20/04/06 17:16:18 b2Fqcoyw.net
数学板は質問スレが揉めてさくらスレが放逐された辺りが転換点の最たるものだったかもなあ
質疑を円滑にするためにテンプレが整備されてたのに、テンプレが長いと言って排除した重複スレが
当たり前になったせいで、板トップのリンク関連で運営にも迷惑かけて煙たがられるようになった
次第に質問になってない質問が増えだして、質問ならちゃんとかけって言われた一部が暴徒化して
答えられないなら黙ってろみたいに質問者側から煽るのが普通になった
589:１３２人目の素数さん
20/04/06 17:17:33 ObL7BHuW.net
【朝鮮日報】揺らぐ孫正義、相次ぐ側近離脱[4/6]
ｽﾚﾘﾝｸ(news4plus板)-100
590:１３２人目の素数さん
20/04/06 17:17:48 DDESz9Wy.net
教授がメディア出てこないなら弟子が早く説明するべきだろ
私はIUTを完全に理解してますってよ