18/12/04 07:20:13.52 A3rIbbR5.net
と、実際にその捏造とかも記事で読んでない（ソースはあふぃはアフィまとめ）ウヨ爺さんでした
51:１３２人目の素数さん
18/12/04 08:49:32.21 F/ICLurM.net
>>47
組織的に朝日新聞の報道を利用しているので、
朝日のとばしとは言えない。>>7
52:１３２人目の素数さん
18/12/04 11:42:58.89 5WhT70IU.net
せめて飛ばし記事がなければもう少し穏便に忘れられる可能性もあったよなこれ
RIMSスタッフの自業自得としか
53:１３２人目の素数さん
18/12/04 13:16:02.39 lRkgeSgV.net
誰がリークしたのかが気になるね
普通に考えて五年で査読が大まかに終わっていたら、朝日の記事に合わせて
通してしまったほうが楽でしょう
それが通せなかったというのはよほどの事だと言える
擁護気味の中立のように見えて、俺も来年のアクセプトも厳しいと予想するんだけども
54:１３２人目の素数さん
18/12/04 13:26:34.13 71J5JdNZ.net
確かに「いつになったら載るの？」っていうのはあるよね
自分もどちらかというと擁護側だけど
55:１３２人目の素数さん
18/12/04 14:54:15.31 ESsKTLkD.net
組織的なリークがない限り、一般紙に掲載なんてあり得ないだろ。フェルマーとは違い、abcは一般ウケしないし。
56:１３２人目の素数さん
18/12/04 15:54:49.09 eUKpshHu.net
>>52 つか、いつの間に「掲載受理＝正しいことの証明」みたいになったんだよ。
投稿から５年以上もかかってるんだから、
「よくわからんところもあるけど、興味深いから掲載」でいいだろ。
57:１３２人目の素数さん
18/12/04 16:12:53.74 71J5JdNZ.net
査読が通らないと載らなかったんじゃないっけ
間違ってたらごめん
58:１３２人目の素数さん
18/12/04 16:22:33.06 71J5JdNZ.net
なんか日本語が変になった
査読が通らないと載らないんじゃなかったっけ
59:１３２人目の素数さん
18/12/04 16:23:37.99 lRkgeSgV.net
>>55
数学は基本的にそう
勿論査読を通過する＝完全に正しい、ではない
IUTが素人にすら怪しく思われる実質理由というのは、論文の自立した可読性が疑わしいこと
印象として密教みたいになってるわけね
60:１３２人目の素数さん
18/12/04 16:27:27.38 5YJ0CGJ8.net
>>30
知らないクセに知ったかぶりするな。
GPSの相対論補正は、速度でなく地球の重力による補正だよ。
61:１３２人目の素数さん
18/12/04 16:29:02.92 lRkgeSgV.net
ちなみに山下氏の言うリーマン予想の1/2というのは、別にIUT特有の議論から出てきたものではない
だったらとっくに世界中の数論で話題になってますが、なってません
62:１３２人目の素数さん
18/12/04 17:14:05.36 YqUhfdGq.net
まぁ正しいなら載っけんのは大いに結構なんだけどね。
問題は載っけた後ヤッパリ間違いでしたってなった場合。
小保方女史の件ではかなり責任が限局されてたけど、この状況で掲載して間違いが後で確定したら、もはやその責任は執筆者、査読者だけですまなされないよ。
何せ日本が世界に誇る京都大学の歴史に泥水浴びせたんだから。
大丈夫なんかねぇ？
63:１３２人目の素数さん
18/12/04 17:15:58.07 IFW5mADr.net
>>54
横だが、
>よくわからんところもあるけど、
興味深いから掲載
査読の必要がないarxivへ投稿するよ
64:１３２人目の素数さん
18/12/04 17:23:29.67 lRkgeSgV.net
権威のある他のジャーナルに投稿して受理されたら関連論文をPRIMSで出して貢献で良かったんだがな
大問題を解決する場合に一番賢いのは、準備論文を普通に出す→本論文を（可能ならば）権威あるジャーナルと
Arxivに出す、というものだ
身内に近いジャーナルに出してしかも論文の可読性が低いのでは、自ら詰まれに行くようなものだ
65:１３２人目の素数さん
18/12/04 18:43:46.88 Vt0CjE2I.net
>>7 の現況調査表によれば
RIMSは査読付き論文のみ評価している。
↓
数理解析研究所( RIMS)
【資料2:発表論文数】
所員の発表論文数
※査読付き論文のみ
66:１３２人目の素数さん
18/12/04 21:14:21.23 Q/MIRkCR.net
>>46
2015年から全然知識がアップデートしてない人ですか
事態は正反対
誰一人望月理論なんか理解していないし、2012年以来何の収穫も発展もない。
あなたは知らないようだけど、ショルツという人に証明の不備を指摘されて、
世界中で、IUT理論はほぼ誤りというところでコンセンサスができつつあるよ。
たぶんこのまま忘れられてしまうだろう。アティヤの「リーマン予想証明」と同じように。
67:１３２人目の素数さん
18/12/04 21:41:42.27 lRkgeSgV.net
詳しくない人に誇張を吹き込む輩w
68:１３２人目の素数さん
18/12/04 21:44:47.60 xAbM+Ztz.net
ショルツもよく理解できてないみたいだからカントールコースもありうるんだよね
69:１３２人目の素数さん
18/12/04 22:13:58.87 Q/MIRkCR.net
ショルツ以上に望月自身が理解できていない。
望月はかつて自分の理論は普通の数学者が半年研究すれば容易に理解できるといった。今は180度違う事を言っている。
こんな風にまるで違う事を言うという事は、自分自身が何をやっているか理解できていない証拠。自分で論証ステップを追えていない。だから2012年以来一切研究がすすめられない。
ショルツはIUT理論に数学的実態がないと見抜いているだけまし。
70:￣￣|／￣￣￣￣
18/12/04 22:36:44.41 3cWbp0n+.net
＿＿＿＿_
／::::::::::::::::::::::::::＼ ＿
/::::::::::::::::::::::::::::::::::::::＼ ／ ￣ ￣ ＼
|:::::::::::::::::|＿|＿|＿|＿| /、 ヽ
|;;;;;;;;;;ノ ／,, ,,＼ ヽ |・ |―-、 |
|::（ 6 ー─□─□ ） ｑ -´ 二 ヽ | はあ？いいから働けウンコ製造機
|ノ （∵∴ （ o o）∴） ノ＿ ー | |
／| < ∵ ３ ∵> ＼.￣｀ | /
::::::＼ ヽ ノ＼ O＝＝＝＝＝ |
:::::::::::::＼＿＿＿＿＿ノ:::::::::::＼ / |
71:１３２人目の素数さん
18/12/04 22:37:09.32 lRkgeSgV.net
ざっくり言うとbp抜きの所から遠アーベルを作るって話は深谷氏か中島氏だかの
インタビューにも確か出てきたが、それは多分できるでしょうって話なんだよね
IUTは間違いなのか？間違いだとすれば何処が間違いなのか？
全てが間違いでナンセンスだっていうのはちょっといくらなんでも雑過ぎ
ショルツが言ってるのは、あくまでもABC予想には役に立ちませんよ、という見解
72:１３２人目の素数さん
18/12/04 22:54:27.63 lRkgeSgV.net
俺の考えでは、IUTは意味的には正しい。というのは、プラトニズム的な意味で正しい直観を掴んでいる
しかし、ちょっと記述的なショートカットをしてしまったのではないか、と思っている
これは経路積分に似ていて、経路積分は物理だから許されたけど、数学では認められない。足りない
間違いかもしれないが、俺は今はそう考えている
73:１３２人目の素数さん
18/12/04 23:14:59.20 3tOJrnTY.net
>>67
誰かがこう言ってるからどうだ。
ではなくてさ、自分の意見を書こうぜ。
正直見苦しいぞ。
74:１３２人目の素数さん
18/12/04 23:53:27.47 B5UXOTuk.net
>>69
それは朝日新聞にリークしたのは間違いだったし、
さっさと査読通過を諦めた上で>>7と報告した件についてもごめんなさいする必要がある、
ということだがそれでいいの？
75:１３２人目の素数さん
18/12/05 00:06:25.02 yIt2n4Pc.net
加藤和也の学生の鈴木貴士がIUT4に間違いがあるってよ
76:１３２人目の素数さん
18/12/05 00:22:13.46 YaP/Isub.net
>>74
詳細きぼんぬ
77:１３２人目の素数さん
18/12/05 00:34:31.79 2J+s/FnY.net
RIMSの現況調査表 >>7だが、
資料2は 査読付き論文のみ評価している。
事例4は 査読中だが 概要の解説文を根拠に、
ABC予想はIUTより肯定的に解決、
と高く評価している。
RIMSの論文評価は一貫しておらず、
IUTを特別視している。
PRIMSへ IUT論文の掲載可否を決めるPRIMS
編集者は 既に IUTよりABC予想が肯定的に
解決 としたRIMS教授たちだね。
78:１３２人目の素数さん
18/12/05 00:51:25.60 SyueTvdc.net
>>75
特別視する価値観も一つの立場としてアリだよ
むしろはっきりと表明しているのは好ましい
下手に客観性を装うほうが胡散臭いことになる
潔くて好きだね
79:１３２人目の素数さん
18/12/05 08:16:46.36 E7fbYplN.net
Quanta magazine
September 20, 2018
Calegari wrote a blog post decrying
the situation as “a complete disaster,”
to a chorus of amens from prominent
number theorists.
' We do now have the ridiculous situation
where ABC is a theorem in Kyoto but
a conjecture everywhere else,”
Calegari wrote
京大報告書のRIMS現況調査表では
「ABC予想が解決」だが、
評価結果の現況分析結果では
「ABC 予想に関する論文」で あり
解決が削除された。>>7
80:１３２人目の素数さん
18/12/05 08:25:36.35 E7fbYplN.net
IUT論文がPRIMSへ掲載されても、
ABC 定理=京大RIMS 限定定理にすぎない
81:１３２人目の素数さん
18/12/05 08:50:26.27 xQqrM2is.net
驚くべき事に2012年に大学入学レベルの数学力しかなくても真面目にやればIUTを議論出来るレベルまで学習する時間が経った事だな
にも関わらず普及がすすまないというのは深刻だ
早くアクセプトしないと本当に埋もれるぞ
82:１３２人目の素数さん
18/12/05 09:06:06.77 E7fbYplN.net
アクセプトしてもABC定理は
京都市左京区北白川追分町 の定理だな
83:１３２人目の素数さん
18/12/05 09:12:32.90 3qb4Hv2e.net
白河以北の左京大夫の方がマシだな。
84:１３２人目の素数さん
18/12/05 12:41:27.90 J3X8D3at.net
来年春までに世間の注目を浴びる出来事が起こる。
学問云々ではなく、また野次馬が増えそうなことだが。
85:１３２人目の素数さん
18/12/05 12:51:06.26 kjvXRrby.net
俺は全くの門外漢だが、森重文はりかいしてんの？
86:１３２人目の素数さん
18/12/05 12:51:21.82 oTFQhKjy.net
何人か解雇されるの？
87:１３２人目の素数さん
18/12/05 13:55:02.31 D+kDCRRR.net
>>72
そうだね
議論したい事柄は正しい部分を捉えてるけど、理論は十分な数学ではないというのが俺の意見
何故そう思うかを書くのは恥ずかしすぎるから書かないけど、実際経路積分が数学的に正しい何かを
捉えてるが正しい数学でないのと同じようなものかな
88:１３２人目の素数さん
18/12/05 14:09:51.43 1tt3lnaO.net
リーマン予想を解決したっていう人の話もそんな感じじゃなかったっけ
89:１３２人目の素数さん
18/12/05 14:24:25.33 Zh2nEhUF.net
>>84 間違ってたら解雇とかやってたら、
既存の研究をみみっちく進展させる研究者しか残れなくなるぞ。
大胆で斬新な研究には、当初は間違いを含んでることが多いわけだし、
間違ってても斬新な道へと冒険する研究者に残って欲しいものだ。
90:１３２人目の素数さん
18/12/05 15:46:40.39 qTY3h0Ol.net
でもIUTは大胆で斬新とは言えないよね。もう何年も経ってて進展がないわけだし。
91:１３２人目の素数さん
18/12/05 18:09:52.81 Dv5hlQPm.net
疑問を呈されても強情を張り続けてるだけだし
それは責任問題なのでは
92:１３２人目の素数さん
18/12/05 18:10:13.29 D+kDCRRR.net
重たい理論なんだけど望月氏がやってきたツールで色々計算できるはず、「十分ならば」
テータ関数も幾何学的に計算できたわけだから
曲線にしか使えないとかは当面は言い訳にもならない
私見ではとっくに出ているべき類�
93:翌ﾌ定理がいくつか出ていない。名前は出さないけども ヒューリスティックな計算ですらそういうのが出せないなら、ユーザビリティも低いんじゃないか
94:１３２人目の素数さん
18/12/05 20:03:51.64 /6Bg3zQt.net
>>74
だろうね。
３．１２以降はばかばかしいから誰も検討しないだけで、
それ以降に誤りがないという事ではもちろんなくて、論証の穴は3.12以降にもあるという話は前からあった。
望月も取り巻きも結局自分たち自身がきちんと論証ステップを追えていないと思う。
IUTはもうグタグタだね。
95:１３２人目の素数さん
18/12/05 20:05:26.58 /6Bg3zQt.net
上は>>73へのレスね
96:１３２人目の素数さん
18/12/05 21:39:26.30 WnrFM4Bx.net
妄想おつー
97:１３２人目の素数さん
18/12/05 22:08:14.59 /6Bg3zQt.net
>>79
正しくないから普及しない。
正しくないからアクセプトできない。
98:１３２人目の素数さん
18/12/05 22:10:58.23 mbA6lkgu.net
現実逃避おつー
99:１３２人目の素数さん
18/12/05 23:08:45.92 tYhvyMOa.net
11月にアクセプト（
100:１３２人目の素数さん
18/12/06 06:06:30.78 Fr/sj4F7.net
>>91
＞３．１２以降はばかばかしいから誰も検討しないだけで
最初から間違いと決めつけてかかってるのが丸わかりな態度じゃん。
アンタは>>94で、
＞正しくないから普及しない。
って言ってるけど、自分で考えずに正しくないと決めつける人間相手に、
普及はせんわな。
101:１３２人目の素数さん
18/12/06 07:27:59.36 P1dFbYKP.net
また具体論がなない単発よ擁護君か
いわゆる批判派でなくともあんたらの態度はワケワカンネエよ
102:１３２人目の素数さん
18/12/06 07:32:23.78 WRI1v/pS.net
進化論と同じで、いまさら間違ってましたとは言えないんだろ
103:１３２人目の素数さん
18/12/06 07:59:01.37 RgCHH8TS.net
>>99
こないだ相対論は間違いとか言ってた人？
104:１３２人目の素数さん
18/12/06 08:45:41.73 FnPfajKF.net
>>98
もう擁護派は「読まずに語るな」っていう理屈に逃げるしかないからな。
これ自体がIUTの検証に他人の時間を割かせるものでお話にならないわけだけど。
105:１３２人目の素数さん
18/12/06 11:37:43.14 ZA59yUDi.net
経路積分は特に 素粒子と物性の物理分野
で発見法的 有効的な道具として使われる。
数学から見ると 測度などに難点があり
ノルムや代数解析 等 より正当化する研究
もある。
しかし、経路積分は 数学として曖昧で
「数学もどき」のIUTとは無縁です
念のため
106:１３２人目の素数さん
18/12/06 11:39:50.19 ZA59yUDi.net
Quanta maGazine
September 20, 2018
In the meantime, Scholze said,
”I think this should not be considered
a proof until Mochizuki does some
very substantial revisions and explains
this key step much better.
”Personally, ” he said, “I didn’t really
see a key idea that would get us closer
to the proof of the abc conjecture.”
107:１３２人目の素数さん
18/12/06 14:00:16.57 BRJ8/UsK.net
「自分は中立だけど擁護派は」って議論は、
「自分はネトウヨじゃないけど、パヨクは」って
言ってるのと同じくらい滑稽だわな
誰しも自分は偏向していないと考えている中で、
相手こそが偏ってるという前提の言葉選びをするのは、
社会を俯瞰できていない証拠。赤ん坊かよ
108:１３２人目の素数さん
18/12/06 14:26:19.20 KxxGPYCk.net
偏ってると言われるのにはそれなりの理由があるのに、皆自分は中立だと思っているとかいう
雑な平等化で全て濁そうとするのはただの馬鹿だろw
赤ん坊とか他人を罵倒しても誤魔化せない
109:１３２人目の素数さん
2018/12/0
110:6(木) 14:31:04.45 ID:KxxGPYCk.net
111:１３２人目の素数さん
18/12/06 14:43:38.01 FnPfajKF.net
Wikipediaなんかだとその論法を最初から拒否してて、
カルト理論を平等に扱う必要はないとしてるよね。
112:１３２人目の素数さん
18/12/06 16:22:15.81 w2tmS5Sl.net
今年もモッチーは紅白ネタでブログを書くのだろうか？
113:１３２人目の素数さん
18/12/06 17:03:08.23 5b2iUB6v.net
あの日
114:１３２人目の素数さん
18/12/06 17:38:36.07 KxxGPYCk.net
>>106に自己レスだが
勿論逆に、実質的なアンチが中立とは単なる擁護に過ぎない、と決めつけているにしても同じことだ
まあ俺が到底擁護しているとは言えないのは明らかだが
何故いきなり変形理論からBSDみたいな大きな話が出てきて、もっと先決で簡単なはずの
古典定理の拡張が論文にならないのか、不思議で仕方ない
ABC予想から一旦逃げてでも理論の適用を試すべきなのにだ
115:１３２人目の素数さん
18/12/06 20:15:14.18 d+hx8SiR.net
もうIUT解散でいいんじゃないか？
116:１３２人目の素数さん
18/12/06 20:56:27.26 KxxGPYCk.net
>>102
汎用性と実用性を考えたら、確かに経路積分よりも悪いかもしれない
いずれにせよ、何がやりたかったのか、理論は何が正しくて何がおかしいのか、を
明らかにすることは良い演習だよ
ショルツはちょっと極端だと思う。まあ彼の批判の切り口を考えたらあれくらい厳しく言わざるを得ないの
かもしれないけど
117:１３２人目の素数さん
18/12/06 22:03:52.19 JArrXxqq.net
超関数とか経路積分の方がもっとナイーブというかプリミティヴというか直観的には単純明快だろ。
そしてなにより実用に迫られた系の計算技術だし。
118:１３２人目の素数さん
18/12/06 23:13:27.33 +yAPhWmx.net
物理の場合は最後は実験という神様にお伺いをたてられるからなぁ。
論拠に少々怪しいとこがあってもそっから出てきた数値が合ってりゃそれでいいし、むしろそれこそ全てな考えもありうるのかもしれない。
しかし数学はそうはいかんからなぁ。
119:１３２人目の素数さん
18/12/07 00:44:14.43 eHAUjScV.net
気違い扱いされそうだが、実は経路積分とIUTは結構考え方は似てるんだよ。直接的な意味ではないけど
IUT問題が興味深いのは、遠アーベル幾何学を一般化して数論に応用するというアプローチはどう見ても
正しそうなのに、何で同じ遠アーベルの専門家にまでナンセンスと言われる羽目になったのか、ということ
細かい誤りとかの問題じゃない。まあ、トートロジカルに結果を先取りしてからお釣りを頂くなどという
よくわからない本人の着想の説明に既に論理的懸念が見られるようにも見えるw
俺の考えでは遠アーベル幾何学的な証明自体は可能なはずなんだが、
結果何でこういう枠組みになったのか、「宇宙際計算」というのは本当に不可欠なものなのかには疑問がある
まさにそこが疑われてる部分の根幹だと思うので
擁護をしたいならそういう構造的な必然性を説明してもらいたいものだ
120:１３２人目の素数さん
18/12/07 01:12:27.11 eHAUjScV.net
まあ白状すると、疑問があると言いながら実は理解できる、と未だに思ってる
あえて左右に揺さぶって残る確信が大事だ
擁護するならば何故宇宙際である必要があるのか、批判するならば何が似非数学なのか
はっきり言えなきゃ意味がない
数学的な内容で言ったら、Stixの遠アーベル幾何学と望月らの絶対遠アーベル幾何学が大分違うのもポイントだ
来年までは完全外野で様子を見たい
121:１３２人目の素数さん
18/12/07 02:06:15.9
122:1 ID:vqBgmr4U.net
123:１３２人目の素数さん
18/12/07 07:34:29.19 LaNLfF4s.net
>気違い扱いされそうだが、
実は経路積分とIUTは結構考え方は似てるんだよ
↑
crazy そのものだね。
経路積分は物理体系の中の物理のツール。
IUTは「数学もどき」かつ 京大RIMSが
血税収奪のためのオカルト ツール。
124:１３２人目の素数さん
18/12/07 07:48:01.59 o09VzXw8.net
どっちもガウス積分と密接に関連しているな
125:１３２人目の素数さん
18/12/07 08:11:36.25 LaNLfF4s.net
味噌と糞を一緒にするな
126:１３２人目の素数さん
18/12/07 08:27:40.74 LaNLfF4s.net
確率→中心極限定理→ガウス分布→ガウス積分
お、、確率はオカルトIUT 由来となるのか?w
127:１３２人目の素数さん
18/12/07 08:47:22.74 8vkHZzkD.net
そんな適当な「方向性は正しい」という話なら、
古代ギリシャの自然哲学は全部近代科学ということになってしまうだろう。
128:１３２人目の素数さん
18/12/07 14:20:05.78 Yz7iVAVN.net
>>117
タクローに迷惑がかかるだろｗ
129:１３２人目の素数さん
18/12/07 14:50:00.64 gMoEprkE.net
経路積分は物理的結果と結び付いてるしなあ
シュワルツ以前のデルタ函数みたいなもんでしょ
人類には数学的基礎づけがくっそ難しいだけで
130:１３２人目の素数さん
18/12/07 17:13:33.87 ugEHjHz9.net
経路積分はただの形式計算じゃない？
そもそも量子論自体が方便なわけだし
131:１３２人目の素数さん
18/12/07 18:08:54.96 ey9KHuWT.net
IUT方便
132:１３２人目の素数さん
18/12/07 21:48:23.05 6jn6aOk4.net
結局証明は出来てなかったってことでいいのか？
133:１３２人目の素数さん
18/12/07 21:53:52.91 afj3Bcmx.net
IUTはアジア的数学です。
毛唐の奴隷にはわからない崇高な数学なんです。
134:１３２人目の素数さん
18/12/07 22:22:46.28 LIN5MaB6.net
>>127
いいでーす
135:１３２人目の素数さん
18/12/07 23:29:50.00 Rj1YLDPl.net
ダメならダメで本人のコメントほしいわ
頭下げる必要なんて当然ないし
今さらちょっとつまずいただけで経歴に傷がつくレベルでもない
136:１３２人目の素数さん
18/12/08 00:00:58.72 2PI43P3u.net
学部レベル云々に関しては謝罪の必要があるんじゃない？
137:１３２人目の素数さん
18/12/08 00:06:28.47 Y0zDTmyh.net
>>131
最初に失礼な態度をとったのはSSだし。
138:１３２人目の素数さん
18/12/08 01:55:31.84 kn8gvZpG.net
>>131
まったく必要無い
139:１３２人目の素数さん
18/12/08 08:07:15.98 xv1hFvIZ.net
森重文 京大 RIMS名誉教授 の申し出に より
PS JSが 京大 RIMSへ行った。
140:１３２人目の素数さん
18/12/08 09:06:36.91 PnyPv2Kq.net
前スレで院生がIUTの間違いを指摘したってことは、
国内的にももうダメだということなのだろうな。
そうでないなら就職に関係するから言わないはず。
141:１３２人目の素数さん
18/12/08 09:30:50.86 ILFZ5lNM.net
仮にABC予想の証明も間違ってて、IUTから今後何も生まれないとすれば、
大勢の人が引っかかった壮大な無駄理論だったってことで、傍目には結構
面白いけどね。
本人や支持者はものすごく落ち込むだろうけど、彼らを貶す気にはならん。
142:１３２人目の素数さん
18/12/08 09:31:01.95 A1xosAP1.net
望月さん、どっかの私大に転出かな。
143:１３２人目の素数さん
18/12/08 09:51:08.69 QPV4ORp9.net
謝罪ってもどっから謝罪すればいいかわからんよなこれ
昔の検証報告書とかも喧嘩売ってるような書き方だし
144:１３２人目の素数さん
18/12/08 10:19:23.32 ktHKtnZB.net
>>136
大勢引っかかってるのか、これ？
IUTを「正しい」と主張してたのってほんと一部だけで、
大半は「間違ってると思うからさっさとリジェクトするなりなんなりしてくれ、
万が一アクセプトされたら読むよ（ただアクセプトした以上は分かってるだろうな？）」って感じだと思うんだけど。
で、RIMSがいつまで経ってもなにも言わないから御大が事実上の外部審査させたわけだろ。
145:１３２人目の素数さん
18/12/08 10:33:38.64 7s/F+/XB.net
もし間違っていたとしても、謝罪とか辞職とか研究費の返還はいらないが
科学史に残る失敗にはなるだろう
今後新しい世界を切り開くような研究を行う人が受け入れにくくなるかも
付いて来た若い人は辛いだろうが間違いを見抜けずサーベイ書いたりしてたのだから
その点は自分の責任だな
間違いを数学的に正して受け入れられる論文を書くのが一番良い
146:１３２人目の素数さん
18/12/08 10:33:45.36 mHGcAaX/.net
>>135
他大学から来た教授の間違いを指摘したばっかりに
大学の研究室に残る道を閉ざされて民間企業に就職せざるを得なかった人もいるんだぜ
まあそういうことになるから言わないってことだろうが
147:１３２人目の素数さん
18/12/08 10:43:09.62 QPV4ORp9.net
>>141
何それひどい
さすがに可哀想だわ
148:１３２人目の素数さん
18/12/08 11:35:18.57 ILFZ5lNM.net
>>140
＞科学史に残る失敗にはなるだろう
それを汚点とは考えないことが大事なんだと思うよ。
失敗の繰り返しの中から何かが生まれてくるんだから、面白い大失敗
だったと前向きに捉えるべき。
149:１３２人目の素数さん
18/12/08 12:24:44.11 QPV4ORp9.net
この件の教訓として言えるのは、新しい理論を世に認められたければ
啓蒙活動は怠らずきちんとして、海外からの招聘にもしっかり対応して
批判されたら自明などと言わずに噛み砕いて真摯に回答しましょうということだよな
そうしてれば証明に不備があったとしても１年で気付いただろうに
一連の流れを振り返ると理論の内容以前に望月教授の対応がまずかったってことの方が目立つわ
RIMS側がそれをとがめられなかったことにも問題がある気もする
150:１３２人目の素数さん
18/12/08 14:36:19.49 N463hsl8.net
500ページもある論文読んで時間を無駄にしなくてよかった♪
151:１３２人目の素数さん
18/12/08 14:40:12.74 7s/F+/XB.net
>>143
>>144の方が述べているが
「新しい試み」をすること自体は問題ないし失敗を責める人はあまりいない
この6年間に望月氏がやったこと（むしろやらなかったこと）が問題だったと思う
152:１３２人目の素数さん
18/12/08 16:26:01.16 xOfD0rQU.net
なんでこんなに否定派ばかりいるんだろう？
研究集会とかでは肯定的な意見が増え出しているというのに
153:１３２人目の素数さん
18/12/08 16:43:39.96 wHSznpJf.net
このスレで、数学として曖昧なIUT論文
を書き直せ、と言われてた。
今年 2020年 RIMSプロジェクトIUTの拡大
が決定。
過去の経緯を調べたら RIMSは>>7 >>8の
状況から突っ走っていた。
まあ、日本数論界はブラックだな
154:１３２人目の素数さん
18/12/08 17:21:56.91 sPLxyHo/.net
恫喝罵倒と否定が原因
155:１３２人目の素数さん
18/12/08 17:31:07.32 e8RTcY/j.net
>>147
＞研究集会とかでは肯定的な意見が増え出しているというのに
へぇー、そーなの？
156:１３２人目の素数さん
18/12/08 17:37:51.02 7s/F+/XB.net
>>148
F藁の虚偽申請の後始末を間違えたのも遠因だろうな
ああまた数論かというイメージ
157:１３２人目の素数さん
18/12/08 17:44:28.35 1XhbbBkR.net
というか、F藁は虚偽申請の責任をとったのか？
十年たっても修正論文が出そろっていないだろ。
一方でPDEの連中もごく一部以外は数学をわかっていないし。
158:１３２人目の素数さん
18/12/08 17:48:16.08 xOfD0rQU.net
>>150
少なくとも若手中堅は肯定してる人多いよ
和也先生は「望月先生の仕事には、ワイルズさんと違って正しそうだという証拠がないんですよぉ～」ってUSい先生と喋ってたし、まだ否定してそうだけど
159:１３２人目の素数さん
18/12/08 19:25:42.88 QEv6AnAD.net
その肯定派とやらはどうSSに数学的に反論できるわけ？
結局そこだけなんだと思うが
160:１３２人目の素数さん
18/12/08 19:50:43.35 ppnkW7Zd.net
Ｓ・Ｓらがフェルマー＝ワイルズの中核論理を用いて論文の
有意性を否定したのにどう反証するかだな
肯定派はそこがわかってない
kimやDupuyによる検証はどうなった？
不利な情報はとことん開示しないんだな
161:１３２人目の素数さん
18/12/08 20:01:46.91 1XhbbBkR.net
Ｓ・Ｓを数学的に反論したところで、望月論文が肯定されるわけじゃないよ。
証明がきちんと示されていないことに変わりない。
162:１３２人目の素数さん
18/12/08 21:04:29.18 7s/F+/XB.net
周辺の人は「理解」「肯定」じゃなくてIUT使って新しい結果を出さないと
普通の研究の世界では難解な理論を勉強しただけでは評価されない
研究者ではないjinらにはこの基準は理解できない
163:１３２人目の素数さん
18/12/08 21:19:09.24 luTcv4hz.net
白旗上げるなら早いほうがいいと思うんだよな
いくら粘ってみたところで評判下がるだけだし
164:１３２人目の素数さん
18/12/08 21:25:44.39 RJwW4mpK.net
そう、なにがなんでも論文取り下げを避けたところに廃院が
165:１３２人目の素数さん
18/12/08 21:26:19.49 uOXXQfYc.net
IUT中止するにしても
2020年以降の”広がり”という風呂敷を”広げた”から
畳み方を悩んでるんじゃね
科研費については正直数学の分野のちょっとした不正なんて
マスコミ的にも面白くもないから取り上げられない
うやむやで進めることも可能
166:１３２人目の素数さん
18/12/08 21:51:33.41 VGcZwqF4.net
>>157
個人的には遠アーベル幾何学的な枠組みに拘る必要を感じないから、そういう方向で再整理するのも
一つだと思う。勿論具体的に何らかの良い定理を出したいけど
安易に駄目と言っている人よりは、IUTの合理性や面白さを分析したと自分では思ってるが
何がもやもや感の根源なのかも同時にわかってきた
167:１３２人目の素数さん
18/12/08 22:08:29.34 VGcZwqF4.net
>>154
論文の解釈を用いた反論というより、付加理論を付けるべきだと思う
そういうことをできる人材がいるのか様子見
168:１３２人目の素数さん
18/12/08 22:12:55.36 wzDqiPbw.net
なぜ単純に書き下すという選択肢がないのか。
この時点でうさんくさい。
169:１３２人目の素数さん
18/12/08 22:14:35.45 VGcZwqF4.net
>>136
連投で悪いけど、その辺は非常に微妙であって、最悪でも100%見当違いとは言われないと断言する
「動機」については非公式に海外の研究者で理解を示している人間がいる
致命的に間違ってるのか、それとも記述的な不備の補填で済むかどうかは近い内にまた分析してみたい
170:１３２人目の素数さん
18/12/08 22:14:42.78 7s/F+/XB.net
>>161
そうそう，新しい結果でなくてもIUT論文のある部分を簡略化しましたとか
見通しをよくしましたでも良い
昔は難解だった理論も後になるといろんな人が工夫して勉強しやすくなることが多い
171:１３２人目の素数さん
18/12/08 22:32:27.69 hZE886W1.net
簡略化論文は不必要でしょ。
ステップが飛んでいるというのが批判の要点なのだから、
短くしてどうするのよ。
172:１３２人目の素数さん
18/12/08 22:39:00.37 vVnnQH/X.net
ABCの証明（と称する）ところまではだいたい追えていて、
意味不明だって言ってる人はいないんだよね。
意味がない（なにも新しい知見が出てこない）って意見はあるけど。
で、ABCの証明は証明になってないと言われている。
それ以降は3.12の証明がないのだから読む必要はない、と。
だからIUTの要約を出されてもなにも解決になってないのでは？
173:１３２人目の素数さん
18/12/08 23:01:24.23 7s/F+/XB.net
>>166
理論の組み立てを変えてわかりやすくするのが
現状では最善でしょう
それができれば。。。という話だがw
174:１３２人目の素数さん
18/12/08 23:05:44.49 vVnnQH/X.net
>>168
批判されてるのは組み立てじゃなくて定義から明らかの省略なわけで。。。
175:１３２人目の素数さん
18/12/08 23:05:56.80 RJwW4mpK.net
>>164 だからそもそも勘違いなんだって
＞ 最悪でも100%見当違いとは言われないと断言する
2+3^10·109=23^5 ｑ＝1.6299 を基底2か3もしくは23として説明してみて
不等式評価が幻想そのものなんじゃないの
176:１３２人目の素数さん
18/12/08 23:27:20.56 myY2W5pN.net
正しいと思い込んだ人は皆検証不能に陥いる論文。
177:１３２人目の素数さん
18/12/09 02:21:13.17 o96n/11y.net
擁護派の底の浅さ
178:１３２人目の素数さん
18/12/09 06:41:13.04 A8PbhGdM.net
取り巻き連中も実際には理解できたフリをしていたわけだ
179:１３２人目の素数さん
18/12/09 08:42:07.12 XOBCebey.net
>>157
＞普通の研究の世界では難解な理論を勉強しただけでは評価されない
それはそうだろうが、
それ故に研究者って努力に比して利益の少ない商売だなと思うわ。
就職できない危険性も高いし。
180:１３２人目の素数さん
18/12/09 08:46:21.48 m+Zbl6nv.net
>>153
こういうのが典型的な擁護派の書き込みなんだよな。
何ら根拠もなしに「理解が広がっている」というまことしやかな嘘。
まともな証明を提示しないくせに
こういう手口で「IUT理論は正しそうだ」という雰囲気づくりばかりに熱心だった擁護派のペテンぶりが、
目立つのがIUT騒動の本質
181:１３２人目の素数さん
18/12/09 08:56:58.65 m+Zbl6nv.net
IUT理論はもはや完全なる敗北だよ、敗北
俺が興味があるのは、SSによって、理論の根本からナンセンスといわれているのに、
なんで検証チーム（星・山下・Saidi・ブンゲン）は「数学的誤りはない」と結論し、
朝日が「このほど証明が正しいとみとめられ」と報じられるほどだったのか、だ。
SSが「いいところまで行ったが、惜しくも詰めが甘かった」というのならわかるよ。
もう完全に、180度違う結論じゃないかｗ
一体検証チームは何を見てたのかという問題になる。
人間の認知能力って、こんなものなんだろうか。
182:１３２人目の素数さん
18/12/09 09:23:33.41 m+Zbl6nv.net
望月の言っていることも180度変わってるよなｗ
望月は、星や山下がｂ自分の証明をあっさり理解したのをみてとって、
「普通の数学者なら半年もあれは理解できる」といった
つまり
「星や山下が理解できる」⇒「普通の数学者なら半年あれば理解できる」
といった。
いま望月は後ろの命題を完全に否定している。
ということは星や山下も理解していないという事だｗ
SSにいわせれば星と望月は論文理解において同反応だという。
という事は望月だって理解してないんだろうｗ
I
183:１３２人目の素数さん
18/12/09 09:25:15.15 ihXGOlMl.net
否定派も断定的な否定が多いからどちらもどちらに見える
184:１３２人目の素数さん
18/12/09 09:27:36.06 sCIAd064.net
前から言ってるけど、数学の証明なんだから肯定否定じゃなくて、
証明がなかったら終わり。
185:１３２人目の素数さん
18/12/09 09:28:20.44 sCIAd064.net
で、今回問題になってるのは数学的側面以外もなんだから、
そういうごまかしをしようとしても無駄だよ。
186:１３２人目の素数さん
18/12/09 10:39:46.59 ihXGOlMl.net
証明は出してるけど多くの人が理解出来ないという場合もあるだろうし
間違っている場合、正しいけど説明が不十分な場合などいろいろあるでしょう
これも前から言ってて同じやり取りの繰り返しだけど
断定的に決めつけてしまってはダメ
ごまかしとかではなくてね
いろいろと良くないと考えられる要素が多いのは同意
187:１３２人目の素数さん
18/12/09 11:02:45.68 LptkXub9.net
>>176
SSを根拠に言ってるがSSが正しいという裏は取れてるのか？
188:１３２人目の素数さん
18/12/09 11:18:05.22 HQl/c7Sn.net
ではどこが間違ってるか数学的に示さないとねえ
189:１３２人目の素数さん
18/12/09 11:29:03.71 0mLg64HP.net
>>182
はやくPRIMSに載せろよバーカｗｗｗｗｗｗｗｗｗｗ
190:１３２人目の素数さん
18/12/09 11:45:29.25 sCIAd064.net
>>181
そこが混同なのよ。
この件でIUTを擁護しているひとは、
命題Aは肯定的に解決できるか、それとも否定されるか
という問題（今回の件だとabc予想）と、
命題Aを肯定的・否定的に証明できているか
という問題（今回の件だとIUT）を混同している。
前者は「真偽不明」というのがあるが、
後者は周囲に理解されなかったり不十分なら「失敗」。
証明が中途半端だけど正しいのかもしれない、という状態はない。
191:１３２人目の素数さん
18/12/09 11:48:51.27 sCIAd064.net
たとえ話で言うと、
東京から大阪まで完走ルートは存在する（orしない）
というのがabc予想で、IUTは、
自分は東京から大阪まで完走した
と称していて、してないんだよ。
これに対して「東京-大阪間の完走ルートは存在するのかもしれない」
なんて言ったところでなにも弁明になっていない。
前の問題と後ろの問題をごちゃごちゃにしている。
192:１３２人目の素数さん
18/12/09 12:29:16.68 uQI4e5Aj.net
>>184
IUTは数学なの？
193:１３２人目の素数さん
18/12/09 12:33:56.43 zb3ZpVRS.net
186ほんとそれ
新しい数学とか拡がりとかで誤魔化して時間稼ぎしてるだけ
194:１３２人目の素数さん
18/12/09 13:28:29.23 shaUjFaf.net
このアイデア よく気付いたな
195:１３２人目の素数さん
18/12/09 14:21:31.89 bt+CaUJG.net
>>186
なんか、意味不明なたとえ話だな。失敗だよ。
完走したという証拠があるかどうかって話ならわからんでもないが。
証拠がないからといって、完走してないとは限らないみたいな。
196:１３２人目の素数さん
18/12/09 14:33:09.22 XBDa4Qqk.net
証拠がなくても完走したかもしれないという可能性を考えてくれるなら、
言いたい放題じゃん。つーかそれ奇数の完全証明スレのスレ主の理屈だぞ。
197:１３２人目の素数さん
18/12/09 14:34:13.31 ihXGOlMl.net
>>185
あなたの言いたいこともよく分かるけど
「証明が中途半端なのかどうか」というのも未確定じゃないかな
何年も経っているのに理解者が少ない
異議を唱えた者を説得出来なかった
などのことからそのように考えるのは分かるけどね
上で書かれてる
「『若手中堅には理解している人が多い』という話は嘘だ」というのも決めつけ
「こんな話が出ているが怪しい」「嘘の可能性がある」というのが正解
ここに対して突っ込んだだけだよ
198:１３２人目の素数さん
18/12/09 14:36:24.03 ymsFptNN.net
＞何年も経っているのに理解者が少ない
＞異議を唱えた者を説得出来なかった
＞などのことからそのように考えるのは分かるけどね
まさにIUTのことだと思うんですが、それは・・・
199:１３２人目の素数さん
18/12/09 14:37:58.54 ihXGOlMl.net
>>192
当然の話だが望月氏の証明に不十分な点があれば補足や修正が必要になるだろうね
あるいは普通に間違っているという可能性もある
いろんな例を挙げただけの話だけど
200:１３２人目の素数さん
18/12/09 14:38:06.92 o+5n6iNr.net
そろそろ神がいないという証拠はない論法になってきたな
201:１３２人目の素数さん
18/12/09 14:38:44.81 ihXGOlMl.net
>>193
もちろんIUTの話ですよ
202:１３２人目の素数さん
18/12/09 14:39:45.73 o+5n6iNr.net
>>194
まず聞きたいんだけど、数学の証明というのは不完全な場合は間違いであり、
部分的に正しいというグレーゾーンはない、という初歩は押さえてある？
203:１３２人目の素数さん
18/12/09 14:43:38.28 ihXGOlMl.net
神がいないという証拠はない、まさにその通りでしょう
神がいないと断定するのは科学者として正しい態度だとは思えません
まあ望月氏は証明の論文を出しているのだから、宗教の話と同じにするのはどうかと思いますが
後はその内容が正しいのかどうか、内容を理解出来る人がいるのかどうかの話ですね
204:１３２人目の素数さん
18/12/09 14:45:21.62 ihXGOlMl.net
>>197
確かにそうなるのでしょうね
ただフェルマーの最終定理をワイルズが証明した際にも過程においてそのようなことはあったようですが
それと上でも書いたようにあくまでも様々な可能性の一例を出しただけです
205:１３２人目の素数さん
18/12/09 14:48:09.63 o+5n6iNr.net
>>199
ワイルズの場合はミスがあったから修正したわけだけど、
あれは前の証明が正しくてそれが補完されただけ、ではないんだよ。
新作が正しい証明で、まえのものは間違っている。
この点を誤解すると、IUTは正しい可能性がある、
という変な話をし始めることになるし、
それにしか逃げ道がないのに関係者がああいう態度を取るなら、
不誠実極まるとしか言いようがないね。
206:１３２人目の素数さん
18/12/09 14:55:26.75 ihXGOlMl.net
>>200
＞新作が正しい証明で、まえのものは間違っている。
そこは理解しています
その場合はそういうことになるのでしょうね
私はIUTがそうだと断定している訳ではなく様々な可能性の中にそういうことも有り得るだろう、と
懐疑派や否定派が出てくることも状況的に十分理解出来ますし
「IUTによってABC予想が証明された」などとも断言出来ません
出来るだけの立場も理解力も無いですし
ただ上のような「まことしやかな嘘だ」という断定に対して疑問を呈しただけです
否定派の一部の中には結論（IUTは間違いである）を固定して根拠なく断定する論調があるのではないでしょうか
207:１３２人目の素数さん
18/12/09 15:07:17.60 o+5n6iNr.net
>>201
きみもそうだけど、ほんとに論点を毎回すり替えるね。
IUTに対する説明をしないなら間違いと断定せざるをえない、
なぜなら本人たちにギャップを埋める気がないのだから、
現状を最終段階にしないといけないからだ、
そしてそれをしないのに検証完了だのなんだの言うのは不誠実だ、
という部分は必ず省いて反論してくるのはわざと？
208:１３２人目の素数さん
18/12/09 15:46:50.14 ihXGOlMl.net
>>202
自分も懐疑派や否定派が出てくることは理解出来る状況だ、という文は読めませんか？
検証完了だと言ってしまうのは、自分としてもどうなのかという部分はあります
身内の数学者の間で理解者が複数人出たことを以てそう判断したのかもしれませんが
ギャップを埋める努力も必要だと思いますが、それと間違いだと断定することはイコールではありませんね
懐疑派の中でも疑いながらも最終的な判断を下していない方もいる中で、間違いだと断定するのは早計でしょう
209:１３２人目の素数さん
18/12/09 15:51:42.84 uQI4e5Aj.net
数学の証明には 、正しい 、間違っている、
間違ってすらいない、の3パターンが ある。
210:１３２人目の素数さん
18/12/09 15:51:58.74 ihXGOlMl.net
ショルツ氏らに否定された部分に関しても
望月氏側としては「その記述で十分」ということなのでしょうし
水掛け論の感は否めません
個人的には他の数学者に理解されるように努力すべき、というここの意見に同意ですが
211:１３２人目の素数さん
18/12/09 16:06:40.87 wZjYKHdA.net
裁判のように当事者より上位の存在が判定をしないといつまでたっても解決しない
212:１３２人目の素数さん
18/12/09 16:07:14.08 2rd99fqS.net
お前ら暇人やな
213:１３２人目の素数さん
18/12/09 16:11:25.54 o+5n6iNr.net
>>203
それが論点ずらしだと言っている。
今問題になっているのはIUTを理論的に肯定するか否定するかではなく、
研究倫理としておかしい、という話。
倫理的非難に対してそこをごまかして「理論は正しい可能性がある」
なんて神学論争に逃げ込むのが不誠実であり、やってることが望月たちと一緒ということ。
214:１３２人目の素数さん
18/12/09 16:13:26.99 Vckp+h9P.net
査読を通過していないものを研究成果として報告した（マスコミ報道付き）、
しかも弁明も一切なし、という時点で詰んでるからね。ここはマジで言い訳のしようがない。
215:１３２人目の素数さん
18/12/09 16:24:28.47 ihXGOlMl.net
>>208
だから「研究倫理としておかしい点があるのではないか」と意見は私は否定は
216:しません そのような意見が出ることは理解出来ます ただその他の点でいろいろと断定的に言っていたのでそこに疑問を感じただけです
217:１３２人目の素数さん
18/12/09 16:32:38.85 JFfNTUko.net
IUTが正しいかどうか以前に、動機自体が理解されてないんだよね
何故それでABC予想の理論が可能だと思ったのか、宇宙際幾何学と絶対遠アーベル幾何学の必然的な
関連性は何か。この辺を殆どのトップレベルの数論幾何学者が読めてない
これは完全に望月さんの失敗だと思う
理論的な捕捉をして、既成の圏論と一線を引くべきことも当然なんだが
218:１３２人目の素数さん
18/12/09 16:33:08.97 NfYSoMYS.net
要するにさ、否定派は納得させられてないわけよ
一方で、肯定派も納得させられていない
私個人でいえば否定派が金の問題を持ち出したり組織論を持ち出したり倫理を持ち出したりしてるのには共感しないね
219:１３２人目の素数さん
18/12/09 16:45:03.28 JFfNTUko.net
あと、某海外の研究者が動機について理解を示してるのは事実なんだが
国内の若手に肯定的な意見が広がった、というのは自分のアンテナとは違うんだが
それは動機とか論法でしょ？十分に論文が正しいと納得してる人は殆どいないんじゃないか
まあ本論文も結構努力はしてるよ。変異系列は関手と全く同じものではない、と書いてるわけだしね
身内外からしたら、じゃあ何なのって冷たく見られるけどw
自分の意見としては、基本アイデアを改めて圧縮して問うべき。勿論駄目だったら諦めるしかない
220:１３２人目の素数さん
18/12/09 17:09:36.76 4ZxQ1smP.net
正しい正しくないは別にして、IUTには面白みが欠けるんだよ
岡潔の情操数学じゃないが、情緒のかけらもない数学ではなぁ
221:１３２人目の素数さん
18/12/09 17:54:18.72 DA3R9eX5.net
リーマン予想は 京大 RIMSの基準により、
アティヤ氏が肯定的に解決した。
アティヤ講演が行われた、
概要の解説文が配布された、
主要なマスメディアが報道した、
参照 >>7 >>8
222:１３２人目の素数さん
18/12/09 18:00:48.40 JFfNTUko.net
普通は数学って解釈では揉めないから困るよな
ショルツと望月の齟齬は、やはり記述的な問題でもあるんだけど
当の論点について論文もレポートも一応労は払ってるという点を所謂アンチさん達は知らないからなあ
極端な話、全ての数学がモノイドのトートロジーに過ぎないかと言ったらそうじゃないだろ
所謂充満多重同型についても問題は同様なんだが、ホッジシアター間の壁についてこんなに揉めるとはな
ちなみに望月さんが「群論的ソフトウェア」と言ってることとブログの「心の壁と対話」みたいな話は
さりげなく遊びで理論のアナロジーの話をしてるんじゃないかな
223:１３２人目の素数さん
18/12/09 18:09:14.51 DA3R9eX5.net
アティヤ氏も独自理論を構築した結果、
リーマン予想を肯定的に解決した、、らしい
224:１３２人目の素数さん
18/12/09 18:47:45.86 boMIj8Cd.net
私も懐疑派だけど間違ってるとまでは断定できないなぁ。
なんせ一行も読んでないし。
あくまで疑ってるのはABC予想の解決という画期的な理論なのに、理解した、正しそうだという意見がちっとも盛り上がってきてなさすぎる点。
もちろん単に望月先生が強情すぎてちっとも加筆してないだけだからという可能性もあるんだろうけど、やっぱり埋められないなんかのギャップがある可能性を疑ってしまう。
でも、そう断定できる立場にはないし。
読んでないからww
ま、でもやっぱり加筆しないとダメでしょ？
研究ジャンルの近い研究者の支持がもそっと集まるように。
現状一度ケチついちゃったので普通読む気起こらないよ。
間違ってたらその時間無駄になっちゃうんだから。
大幅改訂しました、ぐ
225:っと読みやすくなってるはずです的な何か出さないと、もう読んですらもらえないと思う。
226:１３２人目の素数さん
18/12/09 20:36:42.41 m+Zbl6nv.net
アティヤだって「間違ってました宣言」をだしたわけではないし、
彼が正しい証明を得ている可能性は「ないとは断言できない」
要するに望月のケースと同じだ。
望月が正しいという可能性は、少なくとも外形論理的にはアティヤが正しいという可能性と同じだろう。
227:１３２人目の素数さん
18/12/09 20:42:15.52 G5e8RNff.net
このスレの擁護派の「内部リーク」がとことん空振りなのがイタイ。
228:１３２人目の素数さん
18/12/09 21:06:58.39 ihXGOlMl.net
外形的には同じでも人によって発言の信用性も異なれば中身も当然異なる
まあ可能性という意味ではアティヤが正しいという可能性ももちろんあるだろうが
IUT以上に信じる人が少ないだろう、ということは置いておいて
229:１３２人目の素数さん
18/12/09 21:25:01.68 HTUfs2CT.net
このスレには、ルサンチマンしか感じない。
色々あったんだろうな。数学の真理は絶対だ。
だからこそ異常なまでに人を狂わす。罪が深い学問だ。
数学を学ぶ人は、心の解毒剤として、一緒に宗教か何か、
メンタルを安定させることを実践した方がいいと思う。
230:１３２人目の素数さん
18/12/09 21:27:44.38 JFfNTUko.net
>>222
つまりIUTは正しいと？
>>221
バリバリの現役とジジイじゃ比較にならんからね。その割には着眼点がいいのだが
若い頃から考えてたアプローチなんだろう
231:１３２人目の素数さん
18/12/09 21:35:27.64 HTUfs2CT.net
>>223
柳は緑、花は紅。
232:１３２人目の素数さん
18/12/09 21:40:30.80 JFfNTUko.net
KedlayaとKimがはっきり立場を表明したら、ひとまずは収束するだろうにな
他の大御所もなかなか口を出さない通り、公に真偽を断言するのはとっても勇気がいる
適当な俺でも色々三ヶ月意見交換するまでは控えるレベル
233:１３２人目の素数さん
18/12/09 21:59:49.31 7kvey/Tk.net
>>223
横だが、
バリバリの現役とはRIMSのトンデモのこと？
234:１３２人目の素数さん
18/12/09 22:06:34.99 JFfNTUko.net
>>226
そうは言ってもグロタンディーク予想を解決して30でAMSから単著も出してるからな
Colloquiumほどじゃねーがなかなか単著出せねーんだぞAMSからは
235:１３２人目の素数さん
18/12/09 22:08:34.23 7kvey/Tk.net
>>227
で、トンデモに転落したの？
236:１３２人目の素数さん
18/12/09 22:14:20.81 JFfNTUko.net
>>228
まあ来年までは待とうやw
237:１３２人目の素数さん
18/12/09 22:21:23.76 7kvey/Tk.net
>>229
PS流にいえば
アティヤの方には 証明に近づく
かもしれない面白いアイデアがある。
238:１３２人目の素数さん
18/12/09 22:43:45.85 rgYdvFoz.net
このスレ半年くらい沈めておけよ
何にもない時期になんでそんなハッスルしてんの
239:１３２人目の素数さん
18/12/09 22:47:37.26 2rd99fqS.net
物理かぶれがコンプ撒き散らしてるだけやろ
240:１３２人目の素数さん
18/12/09 22:49:42.90 dgnPivRt.net
>>213
変異系列って何ぞ
241:１３２人目の素数さん
18/12/09 22:51:10.63 7kvey/Tk.net
トンデモらに 都合が悪い事実 発覚
242:１３２人目の素数さん
18/12/09 23:16:13.59 EPBCzC42.net
IUTは5chにたくさん話題を提供してくれたという意味では面白ネタなんだけど
あとはRIMSが証明されてないと名言するかとプロジェクト研究がどうなるかぐらいか
そろそろ終了みたいですね
243:１３２人目の素数さん
18/12/09 23:30:36.04 aDdiRsas.net
たしかにプロジェクト研究くらいか、今後変化ありそうなのは。
現状で進めるのはいくらなんでも無理があるし、
ほかの審査員が通さないだろうけど、これ以外で資�
244:煌l得できるめどがあるのか。
245:１３２人目の素数さん
18/12/09 23:51:56.34 JFfNTUko.net
来年まではここも持たせるべきだが
春頃に顕著な動きまたは通らなかったら実質断念に近いのではないか
批判論文から半年経つ頃だしな
246:１３２人目の素数さん
18/12/10 00:06:35.19 HyX0FyKT.net
>>232
英語をよめますか？
>>18
247:１３２人目の素数さん
18/12/10 00:10:49.23 Rr55JUVB.net
宇宙広杉
ーーーーーーーー
Ob(C)はその性質から、集合より広いレベルの概念となり、クラス(class)と呼ばれる。
クラスは「全ての集合の集合」のような集合論では定義できないようなものも含むことができ、
そのような場合は真のクラスという。Ob(C)が真のクラスではなく集合であるような場合は小さな圏という。
クラスよりさらに広いレベルのものは宇宙(universe)と呼ばれる。
宇宙は例えば集合論で考えられる操作全てを内部に包括するような概念である。
ある数学を構成する一つの世界といっても差し支えないだろう。
宇宙際タイヒミュラー理論に代表される宇宙という言葉はこれのことを指す。
248:１３２人目の素数さん
18/12/10 02:31:28.47 jmXvNsr6.net
宇宙より広い世界はもうないの？
すべての宇宙を集めて合併させるとどうなる？
249:１３２人目の素数さん
18/12/10 03:00:47.78 LVTNg4za.net
それを求めてやろうとしたのが宇宙際幾何学なんですがね
250:１３２人目の素数さん
18/12/10 03:31:11.99 cFult/4B.net
IUTT論争に関しては2つの解釈があると思っている
①Mは最終節で述べられたZFCG、mutation、observable(s)を最初から前提として使用している
しがたって、この基礎論的な部分を最初に「詳しく丁寧に」記述し、論証を展開する必要がある
要するに、全面的に書き直す必要がある
②Mは好き放題に似非理論を構築しているに過ぎない。S・Sはそのことを見抜いており、この似非理論を展開すると、
救い難い内部矛盾に陥ると結論付けている
S・Sは、Mが最終節以前では説明することなく用いているZFCG、mutation、observable(s)などの使用が滅茶苦茶だと思っており、
わざわざそれに言及せず、無意味・不必要として初めから相手にしてなかったと思う
このS・Sが無視した部分については、Mの反論レポートとロバーツの改訂版PDFを比較すればよく分かる
充満多重同型、ラベル、圏論における普遍性の問題なんだけどね
俺は②が正しいと思っている。①のように書き直してもABC予想は証明できないと思う
長文すみません
251:242
18/12/10 03:41:50.58 cFult/4B.net
補足を忘れていました
この同型、充満多重同型、histories of operations、mutationの問題は理論の一意性or多意性の問題になる
ブルバキが半世紀も前に書いていた事柄である
もう個人的にはIUTTはバカバカしくて読むに堪えんよ
可能性もへったくれもない
252:１３２人目の素数さん
18/12/10 11:42:53.59 9Ma1x+nn.net
数学の宇宙でも 困ったら更に拡張して
仮定を増やし 定義する。
この操作を続けると 間違いは形式的に
解消するだろうが
物理では 複雑怪奇なこの操作を批判している。
物理理論 は測定の作業仮説であり
複雑怪奇な理論は 実験予測がないどころか
何を測定すればよいかも不明だ
253:１３２人目の素数さん
18/12/10 12:29:12.28 wFQ0YGCf.net
Nスペでこの顛末が放送されるて噂、ほんまなん？
254:１３２人目の素数さん
18/12/10 13:12:5
255:7.46 ID:s5JFsDMr.net
256:１３２人目の素数さん
18/12/10 13:27:57.76 vqsi9o56.net
>>245
マジか
どこからの情報？
本当にやるならめっちゃ面白そうだけど
257:１３２人目の素数さん
18/12/10 14:25:45.02 PEPazNYX.net
この時点で結末って、NHK RIMSに喧嘩売る気かね？
258:１３２人目の素数さん
18/12/10 14:29:25.21 PcX1aQd2.net
どーせ>>245の脳内妄想
259:１３２人目の素数さん
18/12/10 14:41:52.63 St7dN5W6.net
>>248
RIMSは >>7 >>8をきちんと公に説明する
べきだね。
できるならば
260:１３２人目の素数さん
18/12/10 15:14:16.27 s5JFsDMr.net
ガセの可能性もあるけど
「また世間を騒がせることがある」ってこのことなのかな
261:１３２人目の素数さん
18/12/10 16:08:55.84 BeHBYILr.net
>>242
一番目は、最終節が辻褄合わせの出鱈目なのか再定式かってことだけど、論文の内容を踏まえたら後者しか
ありえない。それで本人はあまり認めてないようだけど、基本的にその辺の議論は明らかに
絶対遠アーベル幾何学から来る観察に殆どを負っている
Stixは望月の絶対遠アーベル幾何学とは違うことをやってるので、そこは理解の困難が生じる可能性がある
二番目の可能性についてはノーコメントw
262:１３２人目の素数さん
18/12/10 16:29:37.12 BeHBYILr.net
通常のスキーム論を一般化しないとABC予想は恐らく解決できないので、少なくとも数論幾何学に
真剣に関わる人間は、この理論をどう見るか、本当は避けて通れないんだよな
もし間違いだとしても、少なくとも「悪意」はないだろう。それを似非と言っていいのかどうか
焦点は最終的には「エタールテータ関数の構造の位置付け」にあると言っても良い
ここに注目するとショルツらの批判と望月の弁護が、実は微妙に食い違うことがわかる
どちらが正しいように見えるかは俺は書かない
263:１３２人目の素数さん
18/12/10 16:38:36.98 BeHBYILr.net
>>242さんが何処までフォローしているかはわからないけど、この論争は基本的な問題に関わりつつ
かなり判断に高度な思慮を要すると言っていい
IUTの構想自体はハイレベルな文脈を持っているので、たとえ問題が単純でも一旦は全体を理解しなきゃ
ならないのが厄介なんだな。一種のゲシュタルトというか
264:１３２人目の素数さん
18/12/10 16:42:38.30 aEmGpdSm.net
全体を理解しないといけないなんてトンデモの常套句じゃないか。
ってかこれ前（前スレ？前々スレ？）も出たけど段階分けできない理論っておかしいでしょ。
265:１３２人目の素数さん
18/12/10 17:19:53.07 fGJCndzJ.net
げしゅたるとよいひんとだ
266:１３２人目の素数さん
18/12/10 17:24:43.61 vqsi9o56.net
星さんの入門ペーパーですらぶっちゃけ何が言いたいのか良く分からんわ
実態があるのか無いのかわからないものの上に成り立ってるというか
高度な思慮っても順を追って説明できてないものをどうやって外野が思慮するんだって感じだけど
267:１３２人目の素数さん
18/12/10 17:26:30.82 VOd3Leev.net
☆君もわかったフリはマズかったんじゃないか？
268:１３２人目の素数さん
18/12/10 17:55:48.77 BeHBYILr.net
>>255
通常は理論を部分に分解できるといっても、非常に広い対象についての構造を考えるのはおかしいことじゃない
テレンスタオの言ったように、階層的なシステムについて考えているので、部分的な構成や大まかな戦略が
正しくても、パズルを嵌めてようやくおかしいということはありうる
269:１３２人目の素数さん
18/12/10 17:58:40.04 BeHBYILr.net
>>258
ゲシュタルト的な誤りがある場合、色々な視点から見て「大体正しく見える」ことはありうる
パズルの図柄の一部分だけおかしいとか、ウォーリーを探せのケースを考えて欲しい
勿論、数学では全体が整合しなかったらアウトなんだが
270:１３２人目の素数さん
18/12/10 18:14:48.60 vqsi9o56.net
>>259
その説で行くと概念を抽象化、拡張して大きな理論体系を作ったけど
元の体や環の性質につき合わせるところで全然機能しなくてまったく無駄だった
つまり大まかな戦略が間違ってたっていうオチもあるんじゃないの？
271:１３２人目の素数さん
18/12/10 18:20:07.96 BeHBYILr.net
非常にややこしいのは、文元の言うように、ショルツらが本当にIUTの有意味な部分全体を咀嚼したのか、
あの批判論文だけだとわかりにくいこと
なので、望月レポートではその点について不満を噴出させたのだ、と言える
勿論この部分は実際には肝心の論点とはあまり関係ない
しかも更にややこしいのは、望月レポートは一応ショルツの指摘についても一見尤もらしい反論はしていること
この辺りからも異様にややこしい状況を推察していただけると思う
272:１３２人目の素数さん
18/12/10 18:25:32.39 BeHBYILr.net
>>261
おっしゃる通り
環構造を解体して復元することと、テータ関数の埋め込みを同時に行い、それらをまとめて実ガウス積分を行う
これをFrobenioidとAnabelioidを行い実現するわけだが、完全に理論を構成しなくても
何処かで気付ける余地はあった。理論が複雑過ぎるために一部不整合を見落とした可能性が高いと思われる
灯台もと暗し
しかし、ショルツが言う、全くアイデアがない、という指摘には俺は同意しない
半分くらいは正しい戦略だった
273:１３２人目の素数さん
18/12/10 19:11:54.93 St7dN5W6.net
>望月レポートは一応ショルツの指摘について
も一見尤もらしい反論はしていること
>>18 なんだよね
274:１３２人目の素数さん
18/12/10 19:18:31.75 BeHBYILr.net
単なる圏論的なミスとも言い切れないのが難しいところだ
絶対遠アーベル幾何学特有の論法があって、しかもそれが幾何学的射よりも抽象的な理論と言われるとね
最終的に誤りだとしても、前代未聞のハイレベルな誤りだよ、これは
専門家ですら迷うのはよくわかる
275:１３２人目の素数さん
18/12/10 19:42:13.62 St7dN5W6.net
圏論や定義を問うことは論理構造を
整理するために使っていると思います。
絶対遠アーベル幾何学特有の論法ですか？
最後の出口は不等式でしょ、
スティックスのコメントも味わい深いと思った
276:１３２人目の素数さん
18/12/10 19:55:16.22 x+SLRKrM.net
相変わらずチンパンジーがキーキー鳴いてるわ
鳴き声に数学用語はふくまれるが内容はない
277:１３２人目の素数さん
18/12/10 20:02:34.20 a9OrTtFp.net
2008年 12808万人 ＋ 5万 △
2009年 12803万人 － 5万 ▼
2010年 12806万人 ＋ 3万 △
2011年 12780万人 －26万 ▼▼▼ ▼▼▼▼▼▼
2012年 12752万人 －28万 ▼▼▼ ▼▼▼▼▼▼
2013年 12730万人 －22万 ▼▼▼ ▼▼▼▼
2014年 12709万人 －21万 ▼▼▼ ▼▼▼▼
URLﾘﾝｸ(blog.goo.ne.jp)
移民政策の本当の本音は、原発事故が原因による人口減少を隠して、
「原発事故では被害がなかった」と正当化するための統計的整合性を確保したいのだと私は考えている。
東海アマブログentry-376.html
278:１３２人目の素数さん
18/12/10 20:03:58.20 s5JFsDMr.net
そういう書き方はIUTとか擁護派の印象自体を悪くするから辞めた方が良いかと
279:１３２人目の素数さん
18/12/10 21:07:40.97 pYwl4GBR.net
いちばん単純で一番明瞭に指摘できる箇所に絞ってピンポイントに提示している感がハンパない
280:１３２人目の素数さん
18/12/10 21:32:20.97 BeHBYILr.net
>>267ってjinなのかね。擁護にしても何か違和感あるんだけど
何か集会がどうこう言ってた人もいるけど、本当にそんな勢力があるなら、ショルツらの批判の
何が的外れなのか書いたらいいと思うんだが
281:１３２人目の素数さん
18/12/10 21:41:02.13 dU17xl7V.net
>>267は京都大学の職員。アイちゃんの世話してる。
282:１３２人目の素数さん
18/12/10 21:48:40.96 BeHBYILr.net
coric-description of non-coric objectsっていう話が出てくるんだけど、論争の問題点はここでもある
奇妙な表現だと思いませんか、これ。これが見方によってはどっちも正しいんじゃないかと思えてしまうんだが
multi-radial algorithmについての批判はこの妙な表現にも関わってる
283:１３２人目の素数さん
18/12/10 21:53:59.20 PEPazNYX.net
>>273
kwsk
284:１３２人目の素数さん
18/12/10 22:19:37.57 BeHBYILr.net
>>274
受理の是非が確定するまでは内容についてあれもこれもとは
もしかしたら魔法のアルゴリズムが認められるかもしれないし
285:１３２人目の素数さん
18/12/10 23:24:39.25 p297T2Sl.net
数学は妄想の科学領域に達しました
286:１３２人目の素数さん
18/12/10 23:40:06.37 h+mb+XlA.net
まあ、jinが匿名で暴れているんだろうな
あの手のばあさんがおとなしくできるわけない
twitterがおとなしいってことはその分ここで暴れているんだろう
287:１３２人目の素数さん
18/12/10 23:52:23.11 ylaxb81I.net
マントヒヒならぬマンコヒヒ
288:１３２人目の素数さん
18/12/11 00:28:43.22 S072gwOM.net
Nスペ話のリークもおばさんだろうな
289:１３２人目の素数さん
18/12/11 01:56:42.36 h7NydyA2.net
でもNスペでこの時点でやるなら、否定的報道なわけないんじゃね？
間もなくアクセプトとまでは行かずとも中立よりずっと擁護側のような報道になる希ガス。
290:１３２人目の素数さん
18/12/11 02:21:51.50 EzB5aqHG.net
アクセプト以外のシナリオでやるわけがないw
デマだろう
291:１３２人目の素数さん
18/12/11 02:27:07.53 h7NydyA2.net
まぁ近日中にアクセプトの可能性が全くの０とまでは言えないからなぁ。
そうなったらホントに大丈夫なのかすんごい不安はあるけど。
292:１３２人目の素数さん
18/12/11 03:35:16.42 AB3xIuDT.net
URLﾘﾝｸ(blog.goo.ne.jp)
↑これおもろいｗ、コメント読んでみて。
出来たらみんなに広げていってほしいな。
293:１３２人目の素数さん
18/12/11 07:52:04.33 Vr6TLxnN.net
jinは井口某のリンクなんて張らん方がいいぞ
学者崩れのレイシスト陰謀論者や．
294:１３２人目の素数さん
18/12/11 08:47:04.81 90w47BjO.net
トンデモ IUTの周りへ
トンデモさん 大集合
295:１３２人目の素数さん
18/12/11 09:06:57.47 ujD7M0/+.net
IUTの真偽よりも、SSガーって叫んでる否定派と、それに反応する擁護派、どちらも全く生産性のない議論を楽しむスレ。
296:１３２人目の素数さん
18/12/11 09:10:54.36 90w47BjO.net
トンデモさん こんにちは
297:１３２人目の素数さん
18/12/11 09:57:15.20 90w47BjO.net
0772 １３２人目の素数さん
2018/06/04
Edward Frenkel @edfrenkel
返信先: @math_jinさん
Please stop. Otherwise, I will block you.
Thanks.
20:07 - 2018年1月25日
math_jin@math_jin1月26日
返信先: @edfrenkelさん
I'm sorry. I will stop.
---------------------------
298:１３２人目の素数さん
18/12/11 12:43:07.54 ZMzdqjWO.net
>>280
NHKの報道班は割と日本の組織に批判的な特集も組むからわからんよ
こんなの持ち上げるためにわざわざ番組作るとも思えんし
299:１３２人目の素数さん
18/12/11 15:34:44.94 dnJH3KZ0.net
リーマン予想は確かに解決してない中でやったけど、今回のは解決されない限りドラマがない
ただただグダグダなだけ。番組にはならない
300:１３２人目の素数さん
18/12/11 15:58:19.52 zqmcm0Sl.net
今の微妙な状況で、メディアが特集組むわけない。
リーマン予想の特集に出てきたドブランジュは、外国人だからこそネタにできたわけで…
301:１３２人目の素数さん
18/12/11 16:26:21.24 xcetgyuP.net
>>291
あれな。
同国内のメディアがやったらマズい。
302:１３２人目の素数さん
18/12/11 17:49:25.52 Geah0GYx.net
事実が大切だね
303:１３２人目の素数さん
18/12/11 17:53:51.48 dnJH3KZ0.net
しかしjinは役に立たねーな
数学ができないならできないで、国内外の研究者に匿名でもいいから取材すればいいのに
俺の知る範囲だと、本当に精読されてない。サンプルは少ないとは言え、
読んだがよくわからなかったので放置みたいな人ばかりだ
304:１３２人目の素数さん
18/12/11 17:57:36.26 ZMzdqjWO.net
精読っても何が書いてあるかわからないものは読めないんじゃね？
努力に幅はあるにせよ
行間を埋めなくてもすらすら読めるようなものならとっくに話はついてるだろうし
305:１３２人目の素数さん
18/12/11 19:01:33.22 Er+Nf/KD.net
だよねぇ。
僕ら一般ピーポーはともかくとして、ある程度以上の実力ある数学者ならある程度以上その気になれば読める程度でないと。
これ読めばABCの証明がわかるという記事ならある程度どころか、相当読む気になるハズなのに。
あってんのかどうだか知らないけど行間広すぎるのは間違いない。
306:１３２人目の素数さん
18/12/11 20:42:04.45 nHjSGGPt.net
思いて学ばざれば
デンジャラス
307:１３２人目の素数さん
18/12/11 22:24:29.76 uysIQOl8.net
白黒ついてない状態でNスぺなんかあるわけない。
308:１３２人目の素数さん
18/12/11 22:24:43.70 qLRn3efl.net
もし行間が 多重に分岐し
もし行間が 常に もやっとしていて
もし行間が クラインのつぼならば、
あのひとたちは「あたらしい数学」
というのだろう
309:１３２人目の素数さん
18/12/11 22:37:32.36 9hW3imYt.net
それがあるんだなぁ
310:１３２人目の素数さん
18/12/11 22:48:02.34 dnJH3KZ0.net
素人もプロも優柔不断さについてはあまり変わらないが、論争についてショルツの圧勝とか
思ってる人はあまりいないんじゃないかと感じる。でも好意的とまではいかないような
それとも気を遣って悪く言わないのかは知らない
遠アーベル幾何学的な文脈からすれば確かに望月の反論はかなり妥当
これ、本当に凡ミスとかじゃないんだよ。昨日見落としって書いちゃったけど
考え方によっては新しい数学の新しい論理に身を懸けたとも言えるのね
前も書いたけど、Stixの遠アーベルと望月、星の遠アーベルは違う。そこの戦いでもある
311:１３２人目の素数さん
18/12/11 22:50:25.91 YZmi0qE1.net
クラインの壷って実際に作れるんだよね？どこかで作れないって聞いたような気がするんだけど、あれ普通に作れるじゃんね？
312:１３２人目の素数さん
18/12/11 22:54:27.24 lHkYogTE.net
IUTみたいなのと同列に扱うなよ。遠アーベルの評判が悪くなるだろ。
313:１３２人目の素数さん
18/12/11 22:54:46.16 dnJH3KZ0.net
要するにショルツの指摘が破れてるとしたら、その論拠は完全に新しい数学による
つまり、スキーム宇宙を超えた記述レベルが例の格子図式でできているのかどうかによる
2020年のプロジェクトを考えたら、来年こそは京都は決断しなければならない
314:１３２人目の素数さん
18/12/11 23:00:06.13 ZMzdqjWO.net
6年経っても真偽が定まらない理論とか科学ドキュメンタリーの格好の題材なんだよなぁ
教授のふるまいやら数学コミュニティの反応やらRIMSの査読、予算といろいろ背景も興味深いし
ちゃんと作れば海外にも映像売れそう
315:１３２人目の素数さん
18/12/11 23:09:07.85 wgwoFn2l.net
あまりの進展のなさに最近はついにjinも飽き気味らしい。ツイートしなくなったな。
316:１３２人目の素数さん
18/12/11 23:09:24.06 N+ttfAQM.net
まぁ一度外部の人間の目が入った方がいいというのはその通りかもね。
査読は実際にはどの程度終わってるのか、本当に中立的な立場の人がある程度以上の誠意を向けて、質的にも量的にもある程度以上の目でなされているのか、なされたのか。
基本数学の世界は性善説で外部の目がなくともそれらがなされていると見なしてるけど、キチンと外からの目を入れてもらうのもいいかもしれない。
長い目で見ればそれがPRIMSの信頼向上につながっていいかもしれない。
317:１３２人目の素数さん
18/12/11 23:10:01.71 dnJH3KZ0.net
現況をまとめるが、自称中の人がいたら間違いは訂正してもらって構わない
・既成の数学から見たらショルツの指摘は自然である
・ウィキペディアに書いてあるように、望月の反論の論拠はIUF特有、特に絶対遠アーベル幾何学を用いた
IUF特有の構造である
・コミュニティに想定以上に理解されていないのでアクセプトを決定するのが恐らく躊躇されている
この膠着状態を脱するには、前にも書いたがFaltingsかBombieri界隈の幾何学者を納得させるしかないだろう
外圧を逆利用するしかないのだ
318:１３２人目の素数さん
18/12/11 23:15:27.49 9hW3imYt.net
>>305
かなり良質なものらしい
319:１３２人目の素数さん
18/12/11 23:18:27.50 sWrCPOfH.net
>>301 >>303
これについては>>303が正しいな。
もっちーのabsolute anabelianの論文までは遠アーベル内部での理解者も多い。
iutを遠アーベルの範疇でとらえるのはおかしいし、もっちー自身もそんなこと言ってないし。
320:１３２人目の素数さん
18/12/11 23:20:03.96 qLRn3efl.net
Nスペ 予想
ドキュメンタリー
「ホラー
京都市左京区北白川追分町 限定定理 は 実在
した」
321:１３２人目の素数さん
18/12/11 23:22:40.14 WSbs0vAR.net
>>286
生産性のないのはIUT理論そのものだろ。
いったい2012年からどんな進展があったというんだよ。
支持者フェセンコにいわせれば、そこから何百という新しい結果が導き出されるんじゃなかったのか。
なんの結果も出ないこと自体が、望月たちの脳内が混乱して議論が進められなくなってる証拠だろ
きちんとした論証のないままに、比喩とイメージだけで論を進めた挙句、数学的実態のない空疎なものになっている。
322:１３２人目の素数さん
18/12/11 23:30:15.60 WSbs0vAR.net
>>307
何をいまさらｗ
星・山下・Saidi・ブンゲンによる内部の査読が外部では全く信用されず、
外部の人間であるショルツ先生に事実上の査読を依頼したら、
「理論の根本がナンセンス」というきつい評価をいただいて、
望月もRIMSがそれを素直に受け止められず立ち往生しているというのがこの1年の出来事でしょ。
望月自身の見解が180度変わるなど、理論そのものを彼ら自身理解できていない実態が暴露されている有様。
323:１３２人目の素数さん
18/12/11 23:44:52.16 qLRn3efl.net
>>304
新しい？
>>244 参照のこと
324:１３２人目の素数さん
18/12/12 00:14:59.17 2Z+dwFrZ.net
軽い捕捉
何が最大の齟齬か
→記述レベルが違う。絶対遠アーベル幾何学的な高レベルのパターンにラベルを付け区別をしている
指摘された欠陥は低レベルな記述に依存した際の性質に過ぎない
その際、IUTは狭義の点集合やそれらの射とは異なる対象を扱っている。つまり、既成の数学とは異質
こうした異質な記述による論理的識別を認めるか否かが問題になっている
人によっては異論はあるだろうしまとめすぎと思われるだろうが、勝手なまとめなので容赦を
325:１３２人目の素数さん
18/12/12 00:48:14.65 5wR7QujC.net
Nスペよりドラマ向き
古畑でフェルマーの最終定理にちなんだ殺人事件の話があったけど
あれみたいに今回の件のパロディ作れば良い
326:１３２人目の素数さん
18/12/12 00:48:53.25 2Z+dwFrZ.net
更に捕捉
本当にそんな抽象的な記述レベルの話と件の不等式に関係があるのか？
→あると言ってよいだろう。実際、「定義より自明」という表現はこの問題を踏まえれば
そんなにおかしな表現ではない。特に第三論文p126参照（勿論ここだけ読んでもわかりません）
327:１３２人目の素数さん
18/12/12 00:54:34.80 2Z+dwFrZ.net
>>314
だからこそ、FrobenioidとAnabelioidという構造的な縛りを入れた上で、その範囲で幾何学的射や点集合よりも
根源的なレベルの、もはや単なる幾何学ですらない理論を展開したわけだ
まあ来年までは決着はお預けだよ
328:１３２人目の素数さん
18/12/12 04:24:31.40 AJzBQpK2.net
> 京都は決断しなければならない
決断の問題だった
329:１３２人目の素数さん
18/12/12 06:32:41.53 Y2OUmdPH.net
> 根源的なレベルの、もはや単なる幾何学
ですらない理論
IUTは 血税を使い、なんでもありのカルト
やオカルトの類ですね。
オカルトvs 近代科学です
330:１３２人目の素数さん
18/12/12 07:01:17.62 Y2OUmdPH.net
>FrobenioidとAnabelioidという構造的な縛りを入れた上で
>>18 なんですよ
物理らしき用語を濫用していますね
331:１３２人目の素数さん
18/12/12 08:21:28.37 xljgTXTP.net
>>296 一般ピーポーが、なんでそんな知ったかぶったことを言えるのやら…
332:１３２人目の素数さん
18/12/12 08:26:59.64 YG3pOKZS.net
わからないことには沈黙を
333:１３２人目の素数さん
18/12/12 08:50:06.48 Y2OUmdPH.net
1と2が矛盾していることがわからない
RIMS教授たち。
沈黙中、、
↓
本学(京大) 報告書等 >>7
学部 研究科等の研究に関する現況調査表
数理解析研究所 RIMS
1 【資料2:発表論文数】
所員の発表論文数
※査読付き論文のみ
※括弧内は国際学術誌に掲載された論文数
2
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
334:１３２人目の素数さん
18/12/12 09:47:45.07 nCirm4VM.net
>>302
3次元空間内では、クラインの壺は実現出来ない。
面が交叉したものなら出来る。
335:１３２人目の素数さん
18/12/12 09:55:32.72 0irO1ekh.net
なんか上のほうでごちゃごちゃ書いてるけど、
なんでこんなデタラメがつらつら並べられるのか分からん。
数学の理論は理論それ自体の構築に意味があるんじゃなくて、
証明のツールであるというのが把握できてないような印象を受ける。
とりあえず数学プロパーじゃないっぽい。
336:１３２人目の素数さん
18/12/12 10:13:21.77 71AAifBg.net
新しい幾何学なんだよ
337:１３２人目の素数さん
18/12/12 10:16:06.71 0irO1ekh.net
>>327
それ自体どうでもいい。
証明に使えないなら数学とは無関係だから。
338:１３２人目の素数さん
18/12/12 11:07:39.91 JYPYHsws.net
Nスペってまじなの？どこから出た情報だよ……
339:１３２人目の素数さん
18/12/12 11:11:29.72 YG3pOKZS.net
脳内ソース
340:１３２人目の素数さん
18/12/12 11:57:29.53 0PU5FnjJ.net
かつて収束や発散を曖昧に扱っていたようにIUTでもある種の感覚、解釈に頼った理論展開がなされていてそれが自明という言葉になっちゃってる
ショルツらの感覚、解釈では理論自体が自己矛盾を導いてるように読めてしまう
それを解消するために来年からのプロジェクトで厳密化がなされていくはずだけど時間かかりそう
341:１３２人目の素数さん
18/12/12 12:24:54.69 71AAifBg.net
もう撮影は終わってるから、編集と査読がどうなるか待ち。来年夏頃か？
342:１３２人目の素数さん
18/12/12 12:37:44.10 g5+n7u14
343:.net
344:１３２人目の素数さん
18/12/12 14:48:06.10 K3dWYvit.net
もう撮り終わってる？
査読の結果によってまた内容が変わってくると思うのだが・・・
まあそもそもが真偽不明の話だけど
345:１３２人目の素数さん
18/12/12 15:08:46.39 g5+n7u14.net
IUT論文の査読結果の前から
PRIMS編集者の結論がでているね
>>7 >>8
↓
事例4
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
346:１３２人目の素数さん
18/12/12 16:36:09.73 PqXYaj7p.net
>>326
君は前からアンチやってる人だからポジショントークだね
論点は不等式なんだよ。まさに証明の最重要ステップだ
347:１３２人目の素数さん
18/12/12 16:50:36.99 PqXYaj7p.net
歪みの計算はあの不等式に直接関わっている
それで、あの不等式は格子に宇宙を位置付ける記法、計算に依存している
望月がショルツらの指摘が単純だと言ってるのは、突き詰めれば
あたかも普通の点集合の対象と射について話を処理してるように見えるからだよ
IUTが殆ど出鱈目と決め付けてる人間こそプロパー（って何？w）ではないだろ
有意味か否かギリギリの所で論争してるんだぞ
348:１３２人目の素数さん
18/12/12 16:53:27.21 YG3pOKZS.net
math2.0
349:１３２人目の素数さん
18/12/12 17:00:05.50 0irO1ekh.net
>>336
だったら証明を提示すればいいだけ。
>>337なんてのはまったく証明の１プロセスにもなっていない。
ただのおしゃべりでしょ。
350:１３２人目の素数さん
18/12/12 17:00:27.58 PqXYaj7p.net
>>331
厳密には自己矛盾というか、ナンセンスだね。手続き不能な論理に見えるということ
そりゃそうだろう、明らかに通常の集合論とは異質な論法なのだから
重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
かつてのカントールみたいなもんかもしれないのだから
351:１３２人目の素数さん
18/12/12 17:01:55.33 0irO1ekh.net
証明になっていないという指摘に対して、
証明を示さずに理論の構想を示すことで反論になってると思ってるのがダメなんだよ。
352:１３２人目の素数さん
18/12/12 17:06:15.79 wUHF43U6.net
>>326
微分幾何の全体は別の何かを証明するためのツールに過ぎず、フラクタル理論もカオス理論も何か他のものの証明のための単なるツールである
と自称数学プロパーが相変わらず何か物凄いことを述べています ｗｗｗｗ
何か偉い先生がお題を出して→それを解く→それが数学であり一番偉いことのはず だって中学高校時代ずっとそれやってきたんだもん
何だよ理論とかー 先生のお題を解いていい点数を上からもらわなけりゃ全く意味ねー
古今の数学者 「数学の数理の、圧倒的な深さ神秘さ、広大さや新しい地平を見たい そういうことで我々はやってきたんだが、自分らはプロとは言えないみたいだな ヒソヒソ」
353:１３２人目の素数さん
18/12/12 17:10:10.06 PqXYaj7p.net
>>341
ノーノー
IUFの論法が正しいかどうかが論争になっている
認識できれば証明は自動的に論文の通り成り立つ
ちなみに、格子の計算原理は前にも書いたが、二つの既成の数学理論を融合した発想になってるものだ
そうだから、新しい論法だが懸けてみようと思ったんじゃないか
354:１３２人目の素数さん
18/12/12 17:12:41.22 PqXYaj7p.net
ちなみに、これまで成書でIUTの内容に触れたのは黒川-小山、安福の三人だけ
それで、この三者共部分的な理論の戦略や原理を解説してるが、IUFの論法には殆ど触れていない
賢いっちゃ賢い
355:１３２人目の素数さん
18/12/12 17:21:35.16 lGPi/8Bz.net
有意義であるかまだ定かじゃないならアクセプトしちゃダメでしょ？
356:１３２人目の素数さん
18/12/12 17:41:20.25 PqXYaj7p.net
同じ集合論の拡張でも、遠アーベル幾何学的な理論でなければもう少し受容されやすかっただろう
何故そうなのかは微妙なニュアンス
357:がわかる人間でないとわからないから難しいんだが 単にマイナーだからという理由だけではない 全くわだかまりなくこの路線で行くなら、遠アーベル幾何学ではなくより単純な理論を作るべきだと思う でも、こういう状況で通すかどうか自体は非常に興味深い
358:１３２人目の素数さん
18/12/12 17:51:02.02 tCzugIcJ.net
「論法」なんて数学の概念はないけどね。あるっていうんなら厳密に定義しないと。
〇月にアクセプトされると言ったりNステで報道されると言ってみたり、
もはやIUTはオカルトと香具師の巣窟になってるな。
359:１３２人目の素数さん
18/12/12 18:02:56.59 fuCSJiJq.net
まだブンゲン書き込んでるのか
いい加減諦めればいいのに
360:１３２人目の素数さん
18/12/12 19:06:51.66 lUILcS/g.net
>>340
>明らかに通常の集合論とは異質な論法
>>324 >>335 参照のこと
>重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
>>18 参照のこと
361:１３２人目の素数さん
18/12/12 20:12:15.81 PqXYaj7p.net
>>349
Robertsもかなりフォローしているのだから、疑問点を論文にするべきだと思うわ
今回ここまで認知的不協和を生んだ主因が、絶対遠アーベル幾何学によって階層性を
表現したことにあるのは確か。レポートを読む限り、本人も十分に自覚できてない
圏論的な構造の範疇にはあるが、通常の圏論の論理的範疇かというと、違う
あらゆる理由から理解されにくくて当然
362:１３２人目の素数さん
18/12/13 01:01:42.89 x4P5CYZk.net
理解できなくても数学の新しい扉が開くかと
ワクワクしていたのだけどこの１年は逆に閉じてしまった
印象だなあ。
363:１３２人目の素数さん
18/12/13 02:42:21.93 gMktMhDK.net
バカが娯楽として消費する物語にされてもねえ
364:１３２人目の素数さん
18/12/13 03:28:26.29 Ro/WaY7S.net
もっちーの代数学賞からIUTの失敗までが映画になったら見たい。ヒットしそう。
365:１３２人目の素数さん
18/12/13 04:30:10.99 5OMQUvON.net
複数の世界線の実在が証明されて数学どころの話ではなくなる、の流れを予想
366:１３２人目の素数さん
18/12/13 08:01:19.42 JCy65lAu.net
>>353 そんな、盛り下がってく映画がヒットするわけない
367:１３２人目の素数さん
18/12/13 08:09:15.09 2WnD5Mo4.net
ホラー
「 ザ リング / 衝突する環 」
202× 年 京都の 大学 廃墟に古井戸があり、、
368:１３２人目の素数さん
18/12/13 08:21:11.26 e/mUXgYq.net
厳密化した上で再構築しようとしたらEGA.SGAレベルの超大作になりそうだな
望月さん頑張れ
369:１３２人目の素数さん
18/12/13 08:24:57.12 2WnD5Mo4.net
わ、、
湧いてきた
ガクガクブルブル
370:１３２人目の素数さん
18/12/13 09:58:06.17 GigRgvS+.net
>>354
地球侵略を目論むフロべニオイドとアナベリオイドが侵攻してくるんだろうなぁ…
371:１３２人目の素数さん
18/12/13 10:15:00.57 5ZmkbDwB.net
>>350
なんでこんなくだらないものに論文を書かないといけないんだよ。
業績になるわけでもないのに。
STAPのときもそうだけど、検証のために他人に時間を割かせているという罪悪感がないのかね。
372:１３２人目の素数さん
18/12/13 12:08:00.55 F83zpsdc.net
相対論や量子論と同じで今さら間違ってましたとは口が裂けても言えないんだよ
373:１３２人目の素数さん
18/12/13 13:09:51.88 CHerrFpC.net
>>361
で、おまえさんは相対論や量子論を間違ってるとでも考えてるのか？
374:１３２人目の素数さん
18/12/13 14:44:47.98 F83zpsdc.net
>>362
騙されるのは嫌だからね
STAP細胞はあると思ってる
375:１３２人目の素数さん
18/12/13 14:49:50.40 LCOZA+HC.net
ありまぁす！
376:１３２人目の素数さん
18/12/13 15:13:35.62 pMsd2EL1.net
>>363
うーんこの小保方
377:１３２人目の素数さん
18/12/13 15:59
378::54.59 ID:3Vj66JdS.net
379:１３２人目の素数さん
18/12/13 16:21:01.04 fKg1M+Ef.net
IUTの古井戸から色々と湧いてくるね～
380:１３２人目の素数さん
18/12/13 16:26:06.36 LCOZA+HC.net
信者アンチ問わずチンパンさんと同レベルの書き込みはご遠慮くださーい
381:１３２人目の素数さん
18/12/13 17:56:41.66 F83zpsdc.net
論文発表以来、何の進展もないんだからしょうがない
382:１３２人目の素数さん
18/12/13 18:03:45.53 3Vj66JdS.net
受容が厳しいのは事実だが、論争が世に出たのは進展だ
とにかく来年だな。アクセプトしちゃって論議を後処理する覚悟で行くかどうかだが
保留だとしたら実質的な降伏になる
383:１３２人目の素数さん
18/12/13 18:07:52.65 fssy/t/Z.net
量子力学が間違っていてSTAP細胞があると思ってる奴が書き込むレベルのスレ
IUT以上に存在価値ないな
384:１３２人目の素数さん
18/12/13 18:19:14.65 fKg1M+Ef.net
>>371
隠れ擁護派だろうね