20/04/05 08:28:27 cTzpxuVq.net
>>188
同意
つーか
まず、海外のプロ数学者向けのＰＲ冊子いるよね
197:１３２人目の素数さん
20/04/05 08:33:46.21 cTzpxuVq.net
>>189
完全理解者の定義にもよるけど、完全理解者の一人でしょ
ＩＵＴの創成期に、望月先生と個人ゼミやって、その後焼き肉って、加藤文元先生の本にあるし
けど、ＩＵＴをさらに発展させて、望月ＩＵＴを上回る結果を出せる スーパー完全理解者かどうか？
スーパー完全理解者は、主に若手になる気がする
198:１３２人目の素数さん
20/04/05 08:34:48.85 gYLaCYd2.net
>>153
なるほど
結局はフェルマーの最終定理の証明は無理な弱いABC予想をIUT理論で証明したって望月サイドは主張してるんだな
それなら報道等でABC予想を証明したと言ってるはミスリードとは言わないまでもかなり誇張してるってことじゃん
199:１３２人目の素数さん
20/04/05 08:48:55.92 NkAq1xzA.net
>>187
君こそ野矢茂樹の論理学を読むべきだ
200:１３２人目の素数さん
20/04/05 08:55:51.90 cTzpxuVq.net
>>164
>すいません、3次元のナビエストークス方程式とエネルギーバランス式を本当にこんな
>おおざっぱな差分で解いてました（実際は、風上差分という配慮をしないと収束しない
>のですが）
>メッシュの切り方が「妥当」で収束したらわりと実測値とはよく合致しておりました。
横＆スレチだけれど
・流体力学の場合、乱流とか渦の特異点が生じなければ、結構粗いメッシュでも近似精度はそこそこ良かったはず
・粗いメッシュから細かくして、ある精度で一致したら「収束」という定義ですよね （測定精度の問題もあるし）
・乱流とか渦の特異点が大きな問題で、そっちは100万ドルの懸賞金問題ですね（下記）
URLﾘﾝｸ(ja.wikipedia.org)
ミレニアム懸賞問題（ミレニアムけんしょうもんだい、英: millennium prize problems）とは、アメリカのクレイ数学研究所によって2000年に発表された100万ドルの懸賞金がかけられている7つの問題のことである。そのうち1つは解決済み、6つは2020年3月末の時点で未解決である。
URLﾘﾝｸ(ja.wikipedia.org)
ナビエ?ストークス方程式の解の存在と滑らかさ (Navier?Stokes Equation)
3次元空間と（1次元の）時間の中で、初期速度を与えると、ナビエ?ストークス方程式の解となる速度ベクトル場と圧力のスカラー場が存在して、双方とも滑らかで大域的に定義されるか。
201:１３２人目の素数さん
20/04/05 09:01:30.50 mvTzvaLi.net
海外の反応を見ると
Cor3.12に対するコミュニティを納得させる説明を加えるだけで
この理論を受け入れさせた功労者として数学史に永遠に名を残すという巨大な報酬を得る機会に恵まれているにも関わらず
望月が正しいと主張する人々はこの8年間誰もそれに取りくもうとしなかった。
その事実はそれ（証明）がそこには存在しない事をほ
202:ぼ確信させます。という意見が多いな。 もはや完全に裸の王様扱いされてるわ。
203:１３２人目の素数さん
20/04/05 09:07:19.08 cTzpxuVq.net
>>193
＞君こそ野矢茂樹の論理学を読むべきだ
野矢茂樹の論理学は、哲学系の論理学で（下記）、数学の論理とはちょっと違うところがあると思う
（野矢茂樹を読んでないので、外しているかもしれないが）
哲学系の論理学：自然言語に近い論理学で、厳密に定義されていない対象も扱う
数学の論理学 ： どちらかと言えば、コンピュータ言語に近い。厳密に定義されていない対象は扱えない
なので、数学の議論に、「野矢茂樹の論理学」はナンセンスだと思うよ
これ、外しているかもしれないし、これにツッコミあっても答えられないけど
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
野矢 茂樹（のや しげき、1954年9月15日 - ）は、日本の哲学者。立正大学文学部哲学科教授。東京大学名誉教授。東京都出身。
活動
専攻は哲学、特に分析哲学[1]。大森荘蔵に師事。ウィトゲンシュタインを中心に、クワイン、デイヴィッドソンなどもしばしば参照の対象とする。平易な説明による哲学入門書や論理学入門書の執筆も多い。2017年、『心という難問?? 空間・身体・意味』で第29回和辻哲郎文化賞受賞。
204:１３２人目の素数さん
20/04/05 09:18:17.15 NkAq1xzA.net
>>196
何だ知らねえのか
野矢を紹介しているのは俺だ
ものを知らない君が僕に野矢を紹介してどうするんだい？
わかった風に口を利くことだけは一流だね
君もガロアスレのコピペゴミと同じ性質だわ
全通り総当り的に話をするなbot
205:１３２人目の素数さん
20/04/05 09:44:39.88 AWrJ0Lir.net
>>195
ほんとそう。
擁護派の連中によくよく警告しておくが、
今回京大が組織の名において「ABC予想が証明された」というからには、
3.12についてこれまで望月が公表したペーパーとは段違いのレベルで、
詳細な証明文が公表されるということでいいな？
もしそうでなければ人だましもいいところだぜｗ
完全に数学的真理に泥を塗る、開き直りの行為だと言う事になる。
206:１３２人目の素数さん
20/04/05 09:52:08.37 RRzLDa/F.net
IUTアニメの第2弾が1月に出てたのを知って見たけど
相変わらずわけわかんねーな
207:１３２人目の素数さん
20/04/05 10:24:19.50 lhpQKJcc.net
abc予想が証明されたと報道されていますがこのスレ見ると違う（？）ようですね
どうすれば証明されたことになるのでしょうか？
AnnalsやJAMSに掲載されれば証明されたことになるのでしょうか？
208:１３２人目の素数さん
20/04/05 10:27:21.69 1EKtff0v.net
>>200
ＩＵＴを理解できない奴らがわめいているだけ
時が解決するだろう
209:１３２人目の素数さん
20/04/05 10:28:57.01 KC+9VfMD.net
京都大学が会見して、証明したってはっきりいってんだからそれがすべて。
このスレにもちーやかしわばら先生や玉川先生以上の頭脳の持主がいれば別だが、いるなら名乗り出てもちーに挑めばいいとおもう
ただしれっきとした数学者じゃないと相手にされないが
210:１３２人目の素数さん
20/04/05 10:38:19.67 AWrJ0Lir.net
>>201
ウィキペディア英語版の記述、
アーベル賞もフィールズ特別賞も相手にされないという現実でおのずから明らかとなるｗ
211:１３２人目の素数さん
20/04/05 10:39:23.67 BfSFi30b.net
文系は来んな
212:１３２人目の素数さん
20/04/05 10:41:27.24 YxWsMJ4i.net
>>198
何内情知らん奴がいきりがって顔真っ赤にしてん
213:だよ リムスに恨みあるらしいな、コンプレックスか？ そもそも組織として認めてねーよ、編集委員会が認めたことを京大が発表しただけだわ
214:１３２人目の素数さん
20/04/05 10:47:30.92 YxWsMJ4i.net
ほんとニュー速にしろここにしろ、一定数、いや約1名のリムスコンプレックス拗らせ野郎がネガキャンしまくってるのほんと迷惑
それに似た事が海外で行われて、こんなアホな世界情勢になっとるんだわ
215:１３２人目の素数さん
20/04/05 10:49:25.90 YxWsMJ4i.net
Mzk研の中の人も言ってたけど、現場は相当困っているらしいよ、変な噂で平常な研究活動に支障がてでると
216:１３２人目の素数さん
20/04/05 10:55:59.40 cTzpxuVq.net
>>197
意味分からん
・ここにいる99％の人が、望月ＩＵＴは、”野矢茂樹の論理学”（>>193）とは無関係と理解しているだろうよ
・そして、”野矢茂樹の論理学”は、哲学の論理学であって、望月ＩＵＴの現代数学の論理学とは違うよ
・現代数学の論理学において、望月ＩＵＴと絡んでくるのは、第一に圏論的視点でしょ
・あと、ラベルという識別問題があって、無限の扱いとか、一階か高階かみたいなからみとかな
（望月先生自身は、∧と∨との取り違いで説明しているが）
・そこらは、”野矢茂樹の論理学”などの哲学の論理学では、決定的に欠けていると思うよ
スレチなので、これ以上は議論しない
217:１３２人目の素数さん
20/04/05 11:06:53.51 AWrJ0Lir.net
>>205
きちんとした証明を出せというと怒りだす擁護派のクオリティーｗ
これがすべてを物語っている
218:１３２人目の素数さん
20/04/05 11:13:00.49 imt8W0ho.net
>>198
最新版の「The Mathematics of Mutually Alien Copies」(>>185)は望月自身が出したサーベイの様なものと思うが、それを海外は読んでないのでは。
シュルツのレポートは、P142のExample 3.11.4.で間接（直接の指摘でない）で触れ、∧で扱わずに∨と誤認した例で解説しているのでは。
もしこの論旨が正しいなら、論文を修正なしで掲載するという、今回の判断となるのでは。
＞詳細な証明文が公表されるということでいいな？
上記[Alien]は、ガウス積分（副題）のアイデアきっかけからと思いましたが、読まれました？
219:１３２人目の素数さん
20/04/05 11:13:29.08 cTzpxuVq.net
>>209
>きちんとした証明を出せ
ほいよ
嫁め
（参考）
望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際Teichmuller理論
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-04-04)
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-04-04)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-04-04)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
NEW !! (2020-04-04)
[5] A Panoramic Overview of Inter-universal Teichmuller Theory. PDF NEW !! (2013-08-20) Comments NEW !! (2015-11-11)
[6] Bogomolov's Proof of the Geometric Version of the Szpiro Conjecture from the Point of View of
Inter-universal Teichmuller Theory. PDF NEW !! (2016-01-12)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF
NEW !! (2020-04-04)
220:１３２人目の素数さん
20/04/05 11:15:45.93 YxWsMJ4i.net
>>209
だから証明じゃねーんだってなんべんいわせんだよバカかお前ら
だからこれ以上証明しろだのわかりやすく説明しろだのできねーだよ、最初から丁寧にわからなかったら何度も読んでねつーしかねーの
221:１３２人目の素数さん
20/04/05 11:41:08.32 Hz6dZafY.net
>>192
もともとABC予想といえば“弱いABC予想”のことで、“強いABC予想”は後から出てきたものだから別に間違ってはないと思う
222:１３２人目の素数さん
20/04/05 11:45:19.16 OkXxG8nh.net
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)
数学 物理学 化学 生物学 天文学 地理地学
IT �
223:d子 工学 言語学 国語 方言 など
224:１３２人目の素数さん
20/04/05 11:46:09.68 5ue6Irru.net
レッサーパンダとジャイアントパンダの関係みたいな
225:１３２人目の素数さん
20/04/05 11:46:23.84 NtAt+q6Y.net
>>211
これ他のひとも指摘してたけどなんで2月5日のアクセプトなのに4月4日版があるの？
けっきょく最終版はいつ出るの？ このまままただらだらとバージョンが上がるのか？
226:１３２人目の素数さん
20/04/05 11:47:43.87 kJ/xwsnV.net
三日天下
227:１３２人目の素数さん
20/04/05 11:50:40.41 YxWsMJ4i.net
>>216
アクセプトされてから、最終版を著者に依頼するのよ
で、著者は本筋と関係ないところなら修正がゆるされるわけ
だから修正してんのよ
なんなら最終版をEMSにおくってからも本筋と関係ないところなら修正可能だからね覚えといてね
228:１３２人目の素数さん
20/04/05 11:51:22 cTzpxuVq.net
>>209
擁護派つー 言い方がおかしくね？
クロをシロにしてくれって、言ってないでしょだれも
シロだからシロってことよ
ＩＵＴは正しいし、ＳＳの指摘は的外れで、ＳＳはＩＵＴを理解できていない
これが事実でしょ
でも、海外では、フィールズ賞の権威だから、ＳＳ側を支持している人が多いのは事実
これをどうしていくか？ その1つが今年予定の4つの国際会議
229:１３２人目の素数さん
20/04/05 11:53:02 NtAt+q6Y.net
>>218
つまりSSの回答にちゃんと答えてないってことじゃん。
2月時点では周囲に理解可能なコメントはなかった。
その後のアップデートがすべてマイナー修正ならSSに対する今も回答はないことになる。
230:１３２人目の素数さん
20/04/05 11:54:22 WYjlPv47.net
スレの議論の展開までSTAP騒動に似た様相を呈してきたな。
一体落とし所をどこに持っていくのだろうか。
>>220
鋭い指摘だね。
マイナー修正しかしてない状態でアクセプトされた事になる。
231:１３２人目の素数さん
20/04/05 11:54:22 NtAt+q6Y.net
>>219
じゃあ今すぐそのSSを納得させる（ケドラヤとかも含めて）説明をここに書いてくれ。
おれがそれを英語にしてSSに送るから。
＞ＩＵＴは正しいし、ＳＳの指摘は的外れで、ＳＳはＩＵＴを理解できていない
＞これが事実でしょ
こう言い切れるならおまえは分かっているはず。
232:１３２人目の素数さん
20/04/05 11:55:37 TzRDNpXs.net
望月教授と滝浦真人（放送大学教授、法政大学講師）の類似点
望月教授のＡＢＳ予想の証明：自身が編集長を務める学術誌ＰＲＩＭＳに掲載予定（２０１２年に予稿をＰＲＩＭＳのwebに掲載）
数理解析研究所の教授（柏原正樹、玉川安騎男）の発言：「証明したことに間違いがないと言ってかまわない。
『ＡＢＣ予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」
ネイチャー：The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者：望月の証明には欠陥がある
ヨーロッパ数学協会会長：批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程のアドバイザー： 考えを明確に伝えようとしていない
URLﾘﾝｸ(www.nature.com)
233:les/d41586-020-00998-2 滝浦真人の博士号に関する学位審査（公正な審査では不合格？） 学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査 主査は『語用論研究法ガイドブック』の共著者でもある（日本語用論学会会長：加藤重広 、日本語用論学会編集委員長：滝浦真人） 副査は、論文の内容が専門外 学位請求論文：日本語敬語および関連現象の社会語用論的研究 論文の内容：既刊の本を無理やりつなげただけ 審査結果：大賛辞による乙種の学位授与 論文の二重投稿の論理的構造 別の論文と内容、結論が同一(酷似，類似)である 先行論文と比較して、内容と結論に新規性がない 既存の（実験）データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい 適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい 学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、 二重投稿は反社会的性質をもつ https://ja.wikipedia.org/wiki/二重投稿
234:１３２人目の素数さん
20/04/05 11:56:00 NtAt+q6Y.net
>>221
しかも>>219も意味不明なんだよね。
論文で説明されていないことをその後の国際会議の説明で補完していいなんて聞いたことがない。
235:１３２人目の素数さん
20/04/05 11:56:27 YxWsMJ4i.net
>>220
？？
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外
さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方
236:１３２人目の素数さん
20/04/05 11:56:57 PD3KZeWd.net
>>194
>横＆スレチだけれど
>・流体力学の場合、乱流とか渦の特異点が生じなければ、結構粗いメッシュでも近似精度はそこそこ良かったはず
>・粗いメッシュから細かくして、ある精度で一致したら「収束」という定義ですよね （測定精度の問題もあるし）
>・乱流とか渦の特異点が大きな問題で、そっちは100万ドルの懸賞金問題ですね（下記）
>>164では本当におおざっぱに言いました。
工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。
別領域に切り出した部分は実験屋の経験式や別の理論式をはめ込んで別のモデリングを採用します。
＊「やばそうなところ」とは、メッシュよりずっと小さい粒度で「調べたい性能」*に過敏に作用する領域です。
＊「調べたい性能」とは摩擦力や熱伝導特性などです。
工学では、調べたい性能が低コストで得られれば手段は問われません。
別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
「やばそうなところ」の例は、
・vortex generator(突起）付近の流れ
・移動する相変化面近傍の領域
・移動する衝撃波近傍の領域
固相との境界には「薄い」境界層が生成され、境界層が層流か乱流かで流体特性の「ほとんど」が決まるので、
境界層部分のモデリングがシビアになるケースでは境界層のモデリングに特別な配慮を行います。
流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
賞金とかかけられますが。
目的が特殊なら一般化した単独モデルにはこだわりません。
スレチですいません。
237:１３２人目の素数さん
20/04/05 11:58:24 NtAt+q6Y.net
>>225
＞だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外
論外だと言ってるひとの方が少数派なのにそれは無理がある�
238:ｾろ 理解できないひとのほうが多数派ならすくなくとも「そこは通常の数学者にはギャップに見えるから、 埋める解説が必要」ということしか意味しない。 ギャップはただの誤解だと言えるのは「ギャップがある」と言ってる数学者が少数の場合だけ。
239:１３２人目の素数さん
20/04/05 11:58:31 YxWsMJ4i.net
>>223
これ、望月見たらマジで訴訟レベルだぞいいのか？
トンデモ張ってんのそれくらいにしとかないと本気でヤバいぞ
240:粋蕎 ◆C2UdlLHDRI
20/04/05 11:58:39 FONsPQYw.net
>197
野矢茂樹「無限論の教室」の架空の登場人物タジマを信奉している事を表明するとか
どういう神経しとるん？あれが、どんな言い分を盾にして
どこで思考停止してるか分からねぇバカ恥を晒して、よく平然としてられるわ
そのタジマ、途中で実無限の説明しなきゃいけなくてマジタとか名乗り変えてたじゃろ
アンタも「アリストテレスに帰れ！」とか小っ恥ずかしいなんてもんじゃない叫び声をあげる奇人か？
何でそんな実無限を憎んで可能的無限を崇めるん？
野矢茂樹自体が登場人物タジマとは違う考えでいる事を巻末で結んでるのも無視して何を崇めるん？
241:１３２人目の素数さん
20/04/05 11:59:26 YxWsMJ4i.net
>>227
多数派少数派で決まるんなら科学いらねーよwww
242:１３２人目の素数さん
20/04/05 12:00:44 YxWsMJ4i.net
>>227
ってかちゃんと回答してるから。ショルツがそれを無視して逃げたんだから。どうしようもない。
243:１３２人目の素数さん
20/04/05 12:01:14 NtAt+q6Y.net
>>230
きみは科学コミュニティのことがまったくわかっていない。
真理は多数決では決まらない。あたりまえだ。
だが科学的コミュニケーションはコミュニケーションなのだから、
多数派が理解できないなら少数派には解説をする責任がある。
科学コミュニティの作法を無視しているからこの件はずっと問題になってることを理解してないね。
244:１３２人目の素数さん
20/04/05 12:02:18 NtAt+q6Y.net
>>231
ならなぜ科学者の多くは「ショルツが逃げた」という判断をしていないんだ？
245:１３２人目の素数さん
20/04/05 12:02:24 TzRDNpXs.net
>>228
ネイチャー読めよ
URLﾘﾝｸ(www.nature.com)
246:１３２人目の素数さん
20/04/05 12:14:41 ESZv1/p1.net
ちと話変わるけどEMSの責任者が知らなかたっていうのおかしいんだよね。
京大の発表では2月5日にアクセプト。今は2ヶ月後。
さすがに2ヶ月あったらアクセプト結果がMehrmannの耳に入ってないってのは信じられない。
今まで物議を醸し出した査読結果なんだからEMS内ですぐに広まるはず。
つまり2月5日にアクセプトしたと言っているが編集委員会はその結果をEMSに送ってないんじゃないか。
247:１３２人目の素数さん
20/04/05 12:15:18 YxWsMJ4i.net
>>234
権威主義の弊害wwww
ネイチャーガー
フィールズメダリストガー
ゴシップ似非サイエンスwwww
248:１３２人目の素数さん
20/04/05 12:16:01 YxWsMJ4i.net
>>235
アクセプトされてすぐ送ってるよ
249:１３２人目の素数さん
20/04/05 12:16:47 BRLakduE.net
問題の系3.12について引っかかるのが、IUTの他の定理は証明が1ページ未満なのに対し、この系3.12だけは10ページ以上も証明があるって点だ
本来は“系”(corollary)というぐらいだから証明もいらないぐらい自明じゃないといけないはずなのに
250:１３２人目の素数さん
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の煽りと一緒で
実際にはちゃんと説明したのに
「おめーは論文読み直せとしか反論してねーじゃんｗｗｗ」と逆に言い張られてる
だけの場合もあるから