18/09/25 22:44:25.56 A1A8Tdxw.net
週刊誌記事を書いてた方が相応しい奴居るよな
143:１３２人目の素数さん
18/09/25 22:50:09.28 idXMV258.net
>>134
IUTTが実現すれば（有効ならば）魅力的ではあるんだよね
抽象的なオブジェクトと具体的なオブジェクトを明確に区別せず、異質な環構造間（宇宙際）を行き来して復元する
地球で核戦争しては人類が滅びるから、コピー人間が海王星で核戦争して決着を付けてね、地球人はその結果を受け容れるということか？（笑）
SFとして、お話としては面白い。これが実現（正しい）ならいいのになあ、というところか
144:１３２人目の素数さん
18/09/25 22:52:49.70 idXMV258.net
望月氏の侮辱的発言はSS側も同じように望月氏に対して思っているだろうね、言わないだけで
145:１３２人目の素数さん
18/09/25 22:59:45.92 kzV55PvL.net
>>142
消えた？
146:１３２人目の素数さん
18/09/25 23:11:38.92 Jvuxsiqp.net
日本民法の父、穂積陳重の『法窓夜話』を現代語に完全改訳
法律エッセイとして異例のベストセールスを続けた名著を
手軽に読みやすく。短編×１００話なので気軽に読めます。
法窓夜話私家版 URLﾘﾝｸ(bit.do)
続・法窓夜話私家版 URLﾘﾝｸ(bit.do)
高校を卒業した学生の語学能力が、これほど貧弱で物の役に
立たないのは何故なのか。抜群の語学力を誇り、東大文学
部長までつとめた筆者が、外国にいる若者が外国語を習得する
困難さを正面から取り上げ、正則（期待されるような）
語学教育の重要性を指摘する、英語教育のための基本書。
外山正一『英語教授法』 URLﾘﾝｸ(bit.do)
147:１３２人目の素数さん
18/09/25 23:18:20.00 Ih+QWl57.net
>>140
もっちー自身が週刊誌のコラムのノリでレポート書いてるから多少はね
148:１３２人目の素数さん
18/09/25 23:29:24.64 zTnFgorl.net
週刊誌ノリでおいらが未来予測しよう
10月 宇宙際ニュープロジェクト発足
12月 宇宙際予算承認
2月 宇宙際NHKスペシャル放送
3月 宇宙際論文掲載
149:１３２人目の素数さん
18/09/25 23:59:35.52 2cGfcGEv.net
えっ!?夢宇宙とか宇宙祭に改称すんの？
150:１３２人目の素数さん
18/09/26 00:51:15.71 BRQ+gq5O.net
いい加減タマガーもアクセプトするなりリジェクトするなり白黒はっきりさせろや
151:１３２人目の素数さん
18/09/26 01:03:08.99 O9ZbMvoO.net
Tさんは情が入っちゃうだ�
152:�うからな それもややこしくなる一因かな
153:１３２人目の素数さん
18/09/26 01:11:17.17 TUErO5jh.net
>>148
PRIMSのチーフエディターは望月新一
154:１３２人目の素数さん
18/09/26 02:34:53.50 wEAD3HN+.net
ディスカッションの様子を配信したりしないの？
密室で何が行われたか知りようもない
レポートだけじゃね
なんか時代遅れだよなあ
155:１３２人目の素数さん
18/09/26 02:46:51.63 t3AEkg59.net
望月氏のReportのpage 14-15でショルツらから提案された考え方の間違いが冷静に分析されている
けど。
あと、本質を簡単な例で説明するのすごくうまいね
普通のモジュライとタイヒミュラー理論の比較なんか感心してしまった
156:１３２人目の素数さん
18/09/26 02:52:58.14 /bEaPccy.net
>>152
ピント外れ
157:１３２人目の素数さん
18/09/26 03:59:14.80 lqYa2W6+.net
ひも理論ではフツウにMCGを道具に使い
数学的に怪しい計算するし、
数学やっているなら パンツのしわ は
常識だろうに
158:１３２人目の素数さん
18/09/26 11:23:07.25 TT7OfaLR.net
あれですか？劣勢ですか？
159:１３２人目の素数さん
18/09/26 12:08:14.45 ITrW77JD.net
IUT関連の人はパンツのしわ も知らないとか？
160:１３２人目の素数さん
18/09/26 12:24:28.40 ITrW77JD.net
IUT論文は間違ってすらいない
161:１３２人目の素数さん
18/09/26 14:01:28.04 ICknp4jG.net
IUT論文がもし間違いだとされたら、この数年IUTのsurveyとか
その関連の仕事しかしてない若手中堅の将来が厳しいものになる
30代くらいの6年間は大きい
なので簡単には引けない
162:１３２人目の素数さん
18/09/26 14:07:05.10 E3yyNcsf.net
頑張れば頑張るほどダメージも大きいことを学ぼう
163:１３２人目の素数さん
18/09/26 14:13:40.52 xZfnBOKB.net
>>152
確かに一見そう感じるんだけど、冷製になってみるとこいつわかりにくくね？っていう
評価に落ち着いてくる
164:１３２人目の素数さん
18/09/26 14:14:56.57 xZfnBOKB.net
君も冷製なパスタやスープになればわかるよ
165:１３２人目の素数さん
18/09/26 14:35:11.55 5MUO1eWJ.net
パスタやスープになるのは嫌だーっ
166:１３２人目の素数さん
18/09/26 14:52:23.95 lQZBZJMo.net
望月氏のレポートを読むと“misunderstandings”という語が何度も出てくる。極めつけは
Yes! Yes! Of course, I completely agree that the theory that you are discussing is completely absurd and meaningless,
but that theory is completely different from IUTch!
なんかもう水と油だね。SSから回答があれば今後も続くのだろうけど多分ないだろうね
167:１３２人目の素数さん
18/09/26 14:58:35.04 lQZBZJMo.net
ファルティングスのオックスフォード2015後のコメントだけど
URLﾘﾝｸ(www.nature.com)
And that, says Faltings, is a problem. “It's not enough if you have a good idea: you also have to be able to explain it to others.”
Faltings says that if Mochizuki wants his work to be accepted, then he should reach out more. “People have the right to be eccentric as much as they want to,” he says.
“If he doesn't want to travel, he has no obligation. If he wants recognition, he has to compromise.”
もう我々も“eccentric”になってもいいだろう（笑）
168:１３２人目の素数さん
18/09/26 15:53:55.58 Uhlc4w2l.net
>>164
そこは、「人には風変わりになる権利があるから出てきたくなければ
その義務はない。けど分って欲しいなら妥協しなきゃ。」って言う意味じゃない？
169:１３２人目の素数さん
18/09/26 15:57:35.12 W1WGK7Ya.net
僕たちの持ち上げ或いは自演してる暇あるなら
ちーとは周りと話せってことにもなるか
170:１３２人目の素数さん
18/09/26 16:03:45.27 xZfnBOKB.net
意訳すると「もどかしいからさっさと来い」に近いな。やんわり言ってるが
171:１３２人目の素数さん
18/09/26 16:22:41.74 lQZBZJMo.net
>>165
そうだよ。ファルティングスの言っていたことはそういうこと
ただ、今回の件で望月氏が想像以上に“eccentric”なのが分かったから
もう我々もIUTTに対して“eccentric”になってもいいのじゃないかと思ってね
172:１３２人目の素数さん
18/09/26 16:24:17.32 lQZBZJMo.net
これ、実は前段の文章のほうが面白いんだよ
But so far, the few who have understood the work have struggled to explain it to anyone else.
“Everybody who I'm aware of who's come close to this stuff is quite reasonable, but afterwards they become incapable of communicating it,” says one mathematician who did not want his name to be mentioned.
The situation, he says, reminds him of the Monty Python skit about a writer who jots down the world's funniest joke.
Anyone who reads it dies from laughing and can never relate it to anyone else.
173:１３２人目の素数さん
18/09/26 16:36:37.21 av93zQsb.net
ファルティングスの書きぶりからするとモッチーは学生のときからずっとこんな感じなのかな…
174:１３２人目の素数さん
18/09/26 16:54:52.03 D649zj2u.net
【天文台閉鎖、ＦＢＩ】 アポロ捏造のキューブリックも真っ青、太陽に映ったのはマⅰトレーヤのＵＦＯ
ｽﾚﾘﾝｸ(liveplus板)
おまいらが注目しないから宇宙人は出てこれない、その結果、地球の放射能危機がどんどん進んでしまう！
175:１３２人目の素数さん
18/09/26 17:10:17.73 xZfnBOKB.net
マスコミに対する態度ならわかるんだけどね
専門家のコミュニティにこういう態度だとどうしようもない
無視されて当然としか言えない
176:１３２人目の素数さん
18/09/26 17:49:38.78 lQZBZJMo.net
望月氏は元々数学界というものをIUTT的世界観で考えているのではないかな
数学の様々な分野・方法・計算があって（異質な環構造）、それをIUTTによって復元・構成する（Multiradialアルゴリズム）
多元論的に見えるが究極的にはIUTT一元論にもっていきたいのではないかな
IUTT・IVの“Section 3: Inter-universal Formalism: the Language of Species”などその宣言のように見える
望月氏の一見頑なに見える態度はこういうところから来ているのじゃないかな
すなわち
IUTT＝新数学＝新ちゃんの数学
177:１３２人目の素数さん
18/09/26 18:09:46.18 lQZBZJMo.net
しかし、Θリンクの役割を担うべき人物がいないという皮肉（笑）
178:１３２人目の素数さん
18/09/26 18:30:51.74 ICknp4jG.net
「お前の書き方がわからん」
「それはお前がアホだから」
5chn並みの煽り合いになってる数学界世界最高峰対決
179:１３２人目の素数さん
18/09/26 18:32:54.41 p/ZC6NZR.net
翻訳してみたで
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2018年3月、京都大学数理解析研究所で、4人の数学者により宇宙際タイヒミュラー理論（IUTeich）に関する議論が行われました。
本ウェブページは、その4人の参�
180:ﾁ者の同意を得て、本議論に関連する様々なファイルを数学者に公開するために作成されました。 本ウェブページに掲載された資料は、この資料に関する更に建設的な数学的議論を促進させるのに役立つことが期待されます。 この文脈では、本ウェブページに掲載された資料は決して最終形式ではなく、議論の進行に伴って更なる更新が行われることを強調いたします。 これらのファイルに記載されているIUTeichに関する基本的な誤解 --- そして、数学的なコミュニティで生じたそのような誤解を取り巻く状況 --- は IUTeichに関する研究および普及活動に直接関与する人だけでなく、数学コミュニティ全体にとって、誠に遺憾な出来事です。 一方で、これを書いている時点では、このような状況を改善するための有意義な進歩が得られる唯一の方法は、さらなる数学的議論とより詳細な報告文章を通して、 これらの誤解の対象となる数学的コンテンツをより明示的に、より容易にアクセスできるようにすることだと思われます。 この観点から、[SS2018-05]、[SS2018-08]は重要な第一歩ですが、それらの内容はまだ比較的浅く、 多くの（しばしば非常に強い）主張に関する詳細で厳密な議論は含まれていません。 更に、[SS2018-05]、[SS2018-08]の著者によって、今述べられたような更なる実質的な努力が直ちに行われることを期待することは、必ずしも現実的ではありません。 特に、2018年3月の議論に参加しなかった数学者の方に建設的な数学的関与があることは、この状況を改善する上で実質的かつ有意義な進歩をもたらす可能性を秘めています。
181:１３２人目の素数さん
18/09/26 18:33:43.21 p/ZC6NZR.net
>>176の続き
IUTeichの4つのプレプリントがリリースされてから6年（2012年〜2018年）の間、私は多くの同僚と共に、
IUTeichに関する数多くの数学者からの電子メールによる技術的な質問に、文字通り数百の数の、スカイプや対面式の議論を行ってきました。
それらの同僚達の多くは、IUTeichの詳細なサーベイを書いているか、あるいは書いている段階にあります。
[Rpt2018]の最後のセクションで説明したように、本ウェブページに掲載されたファイルの内容は、かなりの数の同僚達と徹底的に議論されています。
最後に、この6年間、京都大学数理解析研究所は、IUTeichの2つの大規模なワークショップや、
IUTeichに関する真摯な数学的議論（少なくとも部分的に）を行うためにRIMSへの来訪した多くの研究者ために、
財政、行政、および基盤的資源をかなりの金額で寄付したことを述べておきます。
この資料に関する深刻で建設的な数学的な議論に興味を持っているプロの数学者（または大学院生）は、
--- 特に、[SS2018- 05], [SS2018-08]で行われた数学的人間関係に対して確かな数学的理解があると感じる方、更に、これらの主張に関する建設的な数学的議論に興味を持っている方（これを書いている時点では、そのような数学者の集合は空ではない！）は--- 、
このウェブサイトのトップページに記載されている電子メールアドレスにまで望月新一にご連絡ください。
182:１３２人目の素数さん
18/09/26 18:36:42.27 GioIuhsf.net
現世のフィールズ賞受賞者の誰一人承認出来ない正しい証明なんて、
望月が人類史上最高最後の天才でない限り有り得ないね
183:１３２人目の素数さん
18/09/26 18:45:43.76 xZfnBOKB.net
さわやかなヘルプに見えるが深刻になってきたなw
184:１３２人目の素数さん
18/09/26 18:48:10.46 GioIuhsf.net
RIMSは早くIUT論文載せれば良いじゃん
人文系の研究では編集長が自分の権限で研究紀要に論文以下のポエムを発表するのはよくある事だよｗ
185:１３２人目の素数さん
18/09/26 19:10:33.14 EUaerHpV.net
そもそも遠アーベル幾何ってなんだよ
186:１３２人目の素数さん
18/09/26 19:13:18.58 lQZBZJMo.net
>>176-177 お疲れさまです
mathematical assertions：×数学的人間関係→○数学的主張 ですね
翻訳を利用させてもらうと
＞[Rpt2018]の最後のセクションで説明したように、本ウェブページに掲載されたファイルの内容は、かなりの数の同僚達と徹底的に議論されています
というなら、
「『間違いなく不適格＝数学界にとっては事実上、ゴミ』だった者たちを
実態からして一般的な基準よりも遥かに実質的な基準において立派な水準の人材に育て上げる」ことに成功したわけだから
彼らに
“SS、あんたらの議論は先生とさんざんやってきた基本的なものだ。今度は俺たちが分かり易く説明してあげよう”
と任せればよい
彼らが「間違いなく不適格＝数学界にとっては事実上、ゴミ」ではないことを数学界にアピールする絶好の機会でもある
187:１３２人目の素数さん
18/09/26 19:16:30.88 aDcctCxi.net
何かSSが低レベルだとしている割には、この状況に助言を乞うているようにも見えて
奇妙な文だよね
188:１３２人目の素数さん
18/09/26 19:58:40.49 dA2puY7t.net
純粋に数学的な側面以外に、アカデミアでの地位の問題にまでなってるのがね。
この調子を続けてたら「あの界隈」扱いになってしまうという。
189:１３２人目の素数さん
18/09/26 20:00:20.50 9L915UG+.net
>>182
本当そう。
そもそもゴミとか事実だとしても失礼すぎる。
190:１３２人目の素数さん
18/09/26 20:54:42.22 X2xUgBKN.net
学部生レベルらしい人材に何故か助けを求める奇妙さ
もうこれ天才病だろ、誰か「もう無理しなくていいんだよ」と言ってやれよ、マジで
191:１３２人目の素数さん
18/09/26 20:57:07.17 74s1LT9j.net
ゴミ山のスレ
192:１３２人目の素数さん
18/09/26 21:38:57.56 EllxkT4X.net
周りは学部生未満しかいないんだからしょうがない
193:１３２人目の素数さん
18/09/26 21:44:42.19 0Us3FTd5.net
アティヤが派手にやらかしたから、相対的にモッチーがマシに見えてきただろ？
194:１３２人目の素数さん
18/09/26 22:16:57.28 X2xUgBKN.net
>>189
それはある
195:１３２人目の素数さん
18/09/26 22:26:28.59 lQZBZJMo.net
RIMSには同じ望月で同じく500ページに及ぶ論文を書いた望月拓郎氏もいるんだよね
こちらはIASレクチャーの際、ドリーニュが前座（紹介）を務めている
URLﾘﾝｸ(video.ias.edu)
片や今年フィールズ賞授賞の若手研究者に突っ込まれ、
片やかつてグロタンの弟子だった同じくフィールズ賞受賞の超大物数学者にレクチャー前に解説してもらえた
柏原先生のことがこのスレで話題になることがあるが、柏原予想を解いたのも望月拓郎氏だし
どうしてこうなった・・・
196:１３２人目の素数さん
18/09/26 22:29:27.53 QkzZFIAP.net
望月さんの最大の失敗は自分に近い力量の建設的な批判もしてくれるような数学者が周りにいなかった事に尽きるな
意外と数学ってのは1人では出来ないのかもな
197:１３２人目の素数さん
18/09/26 22:34:30.54 HwaEarrI.net
タクローの方はなんの問題も抱えてないし真面目だけど
取り組んでる分野は見通しがxxなような
詳しい人いる？
198:１３２人目の素数さん
18/09/26 22:40:11.47 8WXoQN0h.net
>>175
あながち間違ってないから困る
199:１３２人目の素数さん
18/09/26 22:41:13.61 /p0EoIaa.net
>>191-192
jin選がBBAを含めて救いようがないからだよ
200:１３２人目の素数さん
18/09/26 22:52:13.61 mYXJ9SIR.net
タクローさんは独自の数学をガンガン精力的に推し進めてるみたいだけど、なにやってるか全くわからんw
ただ、低姿勢で謙虚な人柄なイメージ
201:１３２人目の素数さん
18/09/26 23:25:41.54 Nyetb2AH.net
�
202:cイスターのD加群ね。多分、20年前は希望があるように見えた主題だったんだろうな 今は色々な意味で袋小路的な感じに見えちゃってるけど、まあ仕方ないっしょ ツイスターもD加群も個々では発展の可能性があるけど、この取り合わせはちょっときつい
203:１３２人目の素数さん
18/09/26 23:29:04.83 p/ZC6NZR.net
SS報告書の最初の方だけ翻訳してみたで
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
「何故abc予想は未だ予想なのか」
ピーター・ショルツ、ジャコブ・スティックス
2018年3月、本報告書の著者達は、一週間RIMSに滞在し、発表されたabc予想の証明について、望月教授および星教授と激しい建設的な議論を交わしました。
一週間にわたる彼等の特別な歓待と寛大さに感謝いたします。
私達、本報告書の著者達は、「there is no proof（訳：証明はない）」との結論に達しました。
私達は、「我々の意見では、発表された証明のどこに問題があるのか」ということ、そして「我々の意見では、その問題が些細な修正では解決できないほどの深刻な問題である」ということを、説明いたします。
204:１３２人目の素数さん
18/09/26 23:30:52.23 +3JhM3IQ.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
レポート読むと話が宗教がかってるな
具体的な説明を求めてるのに何故例となると数論的な話じゃなくてベクトル空間とか多様体になるんだろう
聞かれてるのはどういう理由で数論的なオブジェクトでそのアナロジーが成立するかってことじゃないのか？
205:１３２人目の素数さん
18/09/26 23:34:50.71 lQZBZJMo.net
拓郎氏の話題を出した俺がスレチで悪いのだが一言だけ
最近ではミラー対称性についていくつか自然に説明できることがあるそうだ
ずいぶん前に新一氏とウィッテンの関係を書いていた人がいたけど、拓郎氏のほうが近いよね（笑）
206:１３２人目の素数さん
18/09/26 23:36:02.75 RYV+Fhm8.net
>>197 IUTで何とかしてやれば？
207:１３２人目の素数さん
18/09/26 23:37:23.55 OXt8JM5e.net
もうケムに巻くしかできない、末期状態。
学部レベルなのに、説明はできない不思議。
そんなものに見切り発車で大金を注いだRIMS
社会的責任の追求は逃れられないでしょう。
朝日は責任持って続報をちゃんと出しなさい。
208:１３２人目の素数さん
18/09/26 23:40:41.40 Nyetb2AH.net
>>201
幾何学的ラングランズで燃え尽きて死ぬしかないから諦めろ
209:１３２人目の素数さん
18/09/26 23:44:50.25 Nyetb2AH.net
>>199
差分だろ
信心が足りないんだよお前は
210:１３２人目の素数さん
18/09/26 23:52:39.08 p/ZC6NZR.net
>>176-177の翻訳、まーたBBA_jinに無断転載されてて草！ｗ
211:１３２人目の素数さん
18/09/26 23:56:56.29 lQZBZJMo.net
まあ、最近では望月氏はステファヌ・マラルメのような後期象徴派・高踏派の詩人のような人だと思っているよ
100年経っても理解できない難解な用語と論理で注目をひき続ける
マラルメ自身は自分はドラマ（劇場）を作ったペテン師であるという自覚はあったそうだが・・・
212:１３２人目の素数さん
18/09/27 00:01:22.70 sdk1CMwR.net
>>182
翻訳ミスのご指摘サンクス
>>176-177の改訂版を投稿しとくで
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2018年3月、京都大学数理解析研究所にて、宇宙際タイヒミュラー理論（IUTeich）に関する議論が行われました。
その議論の参加者は、4人の数学者に限られました。
本ウェブページは、その4人の参加者の同意を得て、その議論に関連する様々なファイルを、数学界に公開するために作成されたものです。
本ウェブページに掲載された資料は、この資料に関する更なる建設的な数学的議論を促進させるのに役立つことが期待されます。
この文脈において、本ウェブページに掲載された資料は決して最終形式ではなく、議論の進行に伴って更なる更新が行われることを強調いたします。
これらのファイルに記載されているIUTeichに関する基本的な誤解 --- そして、数学的なコミュニティで生じたそのような誤解を取り巻く状況 --- は、
IUTeichに関する研究および普及活動に直接関与する人だけでなく、数学コミュニティ全体にとって、誠に遺憾な出来事です。
一方で、これを書いている時点では、このような状況を改善するための有意義な進歩が得られる唯一の方法は、更なる数学的議論とより詳細な報告文章を通して、
これらの誤解の対象となる数学的コンテンツをより明示的に、より容易にアクセスできるようにすることだと思われます。
この観点において、[SS2018-05]、[SS2018-08]は重要な第一歩ですが、それらの内容はまだ比較的浅く、 多くの（しばしば非常に強い）主張に関する詳細で厳密な議論は含まれていません。
更に、[SS2018-05]、[SS2018-08]の著者によって、今述べられたような更なる実質的な努力が直ちに行われることを期待することは、必ずしも現実的ではありません。
特に、2018年3月の議論に参加しなかった数学者の方に建設的な数学的関与があることは、この状況を改善する上で実質的かつ有意義な進歩をもたらす可能性を秘めています。
213:１３２人目の素数さん
18/09/27 00:02:07.93 sdk1CMwR.net
>>207の続き
IUTeichの4つのプレプリントがリリースされてから6年（2012年〜2018年）の間、私は多くの同僚と共に、 IUTeichに関する数多くの数学者からの電子メールによる技術的な質問に対して、
文字通り数百の数の（ことによると数千の数の）、スカイプや対面式の議論を行ってきました。
それらの同僚達の多くは、IUTeichの詳細な解説文書を書いているか、あるいは書いている段階にあります。
[Rpt2018]の最後のセクションで説明したように、本ウェブページに掲載されたファイルの内容は、多くの同僚達と徹底的に議論されているものです。
最後に、この6年間、京都大学数理解析研究所は、IUTeichの2つの大規模なワークショップや、IUTeichに関する真摯な数学的議論（少なくとも部分的に）を行う目的でRIMSへ来訪した多くの研究者ために、
財政、行政、および基盤的資源をかなりの金額で交付したことを述べておきます。
この資料に関する真摯で建設的な数学的な議論に興味を持っておられるプロの数学者（または大学院生）--- 特に、[SS2018- 05], [SS2018-08]でなされた数学的主張に対して確かな数学的理解があると感じておられる方、
更に、これらの主張に関する建設的な数学的議論に興味を持っておられる方（これを書いている時点では、そのような数学者の集合は空ではない！）---は 、
このウェブサイトのトップページに記載されている電子メールアドレスにまで、望月新一へご連絡ください。
214:１３２人目の素数さん
18/09/27 00:14:44.19 m4w6NH0l.net
低レベルな指摘に大分理屈をこねて説明したのに結局「誰か何とかしてくれ」っていう
笑うに笑えない状況だからな
「まあ低レベルな指摘なんですけどね。しかしどうしたらいいですかね？」という…
普通に考えたら「大丈夫かお前」という感じだが…
215:１３２人目の素数さん
18/09/27 00:22:18.19 m4w6NH0l.net
これ少なくとも望月の説明だけ見ると割と圏論的に単純な話に見えるのだが、
両方見るとまた印象が変わるのが面白い
あなたはどちらを信じますか？
216:１３２人目の素数さん
18/09/27 00:28:39.68 W1C0OUOx.net
２つの構造の対立
片方は着想が古い
あなたはフェセンコとファルティングスのどちらを信じますか
217:１３２人目の素数さん
18/09/27 00:37:35.83 q7mLb2Sl.net
>>200
>ずいぶん前に新一氏とウィッテンの関係
を書いていた人がいたけど
拓郎氏 佐藤数学 オーソドックス
ウィッテン 数理 物理
新一氏 異世界 ぬえ？
218:１３２人目の素数さん
18/09/27 00:54:33.67 R/Q97Rjf.net
アチャー卿のレーマン予想
３つの異なる定数（宇宙）の行き来を解決
あれ？何かに似てる？
219:１３２人目の素数さん
18/09/27 00:54:39.50 q7mLb2Sl.net
IUT プレプリントの査読はどうなったんだろ？
修正 補足で内容が変容していない？
著者は誰？
220:１３２人目の素数さん
18/09/27 01:02:43.74 m4w6NH0l.net
望月「highly non-linear! monoid!」
SS「Θリンクでしょ？Θリンクだよね？ほらおかしい！」
望月「please welcome , somebody!」←今ｺｺ
あなたはどちらを信じますか？
221:１３２人目の素数さん
18/09/27 01:11:08.29 xoTGP0zL.net
実に的確
222:１３２人目の素数さん
18/09/27 01:11:35.50 x630vW77.net
望月‐SS論争の鍵は意外とIUTT・IVの“Section 3: Inter-universal Formalism: the Language of Species”にあるのかなぁ
根本的に違う数学観でやっている気がする
IUTT論文をケツから読んだ方がいいかもしれない
その気があるならば・・・
俺は、ない
223:１３２人目の素数さん
18/09/27 01:31:01.15 Mi+zqVr4.net
４なんてウエイト０，５だからって後からくっ付けたやつだろ
全然信用できない
224:１３２人目の素数さん
18/09/27 02:13:28.52 FCOEqd8k.net
募集はいいとしても結局SSみたいな扱い受けることを考えると
誰も応募する気起きないよな
まさに詰み状態
問題は2020年以降の研究費がどうなるか
225:１３２人目の素数さん
18/09/27 02:57:09.15 14V0cxPE.net
つうか数学観とかどうでもええやろ。
所詮は述語論理で書かれたzfc公理系に
導出規則だけを適用して書ける式の有限列が
数学の証明なんだからさあ。ZFCからはみ出そうなん？
226:１３２人目の素数さん
18/09/27 03:51:39.90 G6KyWzg/.net
協力者募集中っても、あのショルツが説明されても分からんって言ってるんじゃ他の誰が理解できるんだって話だよなぁ
227:１３２人目の素数さん
18/09/27 04:05:03.53 G6KyWzg/.net
>>220
PSが12月にこんなコメントをしてる
URLﾘﾝｸ(galoisrepresentations.wordpress.com)
228:9 One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work). The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear, but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”.
229:１３２人目の素数さん
18/09/27 05:00:39.87 lsD4Bi6D.net
Fの敗北？決別？宣言なのか
URLﾘﾝｸ(www.newscientist.com)
永遠に理解されない＝失敗？
230:１３２人目の素数さん
18/09/27 05:36:06.71 //xFNwvw.net
そもそもSS呼ばわりすごくないすか
231:１３２人目の素数さん
18/09/27 07:13:36.76 E9wu4P5s.net
>>206
一方、望月はHodge劇場を作った
232:１３２人目の素数さん
18/09/27 07:37:52.68 8g0OlMXK.net
>>189
え？ >>84
233:１３２人目の素数さん
18/09/27 12:20:20.45 rPFfZZDJ.net
／⌒ヽ もまいらおちけつお
( ＾ω＾)
／ 、つ
（_(__ ⌒)
● ∪ (ノ
234:１３２人目の素数さん
18/09/27 12:38:26.52 Pca49ULw.net
【宗教の国連、ＵＲＩ】 日本軍の魔の手からアジアを救った国連に習い、テロを鎮める神々の連合が発足
ｽﾚﾘﾝｸ(liveplus板)
【報道規制の、解禁を】 マⅰトレーヤのＵＦＯ出現
ｽﾚﾘﾝｸ(sky板)
235:１３２人目の素数さん
18/09/27 12:53:19.51 dtD8ESCE.net
>>221 教えてくれという相手にあいつは学部レベルもわかっていないと罵倒して、具体的なリファレンスや説明は何もなしだからな。
どの口が言うんだって話。
236:１３２人目の素数さん
18/09/27 13:47:52.72 x630vW77.net
まあ、これは数学とは関係ないが望月氏が詩人マラルメの後期の文体を上辺だけ真似しているのは間違いないと思う
論文に限らず特に報告書や入門、ブログ等に見られる書体や行の使い方
ひょっとしたら造語や文体にもインスパイアされたのかもしれない
あと、ブログでは高校時代にサンスクリット語を勉強したと書いてるし、造語法や複合語には強い関心があるのじゃないかな
ま、数学の真偽とは一切関係ないけどね
237:学術
18/09/27 14:06:14.59 8ZNOee3m.net
語圏サンスクリットなんて失敗学で
、とりつくにはリスクがあるよな。
238:１３２人目の素数さん
18/09/27 15:56:09.14 dtD8ESCE.net
>>191 何百ページだろうが新奇性がどれだけあろうが正しい理論はすぐに受け入れられ、あっという間に普及していくんだよね。
グロタンディークの理論もそうであった。例え話にグロタンやリーマンを出す取り巻き勢は見識不足だな。
あんな奴が数学者伝記みたいな本書いてんのかよ。
239:１３２人目の素数さん
18/09/27 16:16:22.84 B3Ns1YFA.net
>>158 数学者として生きていこうとするのは難しいねぇ…
これ以外に生きる方法が考えられないっていう人以外、進んじゃいけないね。
240:あぼーん
あぼーん
あぼーん
241:１３２人目の素数さん
18/09/27 17:02:18.00 m4w6NH0l.net
とりあえず「遠アーベルだからこそできる」理論、みたいな空気については間違い
もし理論に欠陥がある場合、むしろ遠アーベル的な手続きに拘り圏論的な構成の開発に
不備があったと評価できる
アイデアの一部は少なくとも正しい
つまり、abc予想自体は遠アーベルを経由しなくとも解ける
242:１３２人目の素数さん
18/09/27 17:06:50.42 RpHBnjHt.net
賛成
243:１３２人目の素数さん
18/09/27 17:32:00.02 DdaubScu.net
政治とコミュニケーションですべてが決まるという事だ
ガリレオ見れば分かるだろ
ネットワーク作りとマスコミ対策と政治学ばないとどんなに正しくても認めてもらえない
がり勉やオタは研究室にこもってないでパブリックスピーチとコミュニケーションと演劇を学べ
スピーチにもう悩まない！相手を不愉快にさせない大人の話し方
URLﾘﾝｸ(www.youtube.com)
244:１３２人目の素数さん
18/09/27 17:53:01.43 OtddARhu.net
早い話が智力戦で
245:１３２人目の素数さん
18/09/27 18:00:23.56 oD3duBEJ.net
論理構成でわかってないやつを頼ったのが間違い
だれのことかわかるよね
246:１３２人目の素数さん
18/09/27 18:01:13.61 DdaubScu.net
>>237を見たら次はこれも見るといい
スピーチの目的は何？〜言葉で伝える方法〜
URLﾘﾝｸ(www.youtube.com)
247:１３２人目の素数さん
18/09/27 18:02:15.27 x630vW77.net
>>235
少なくとも本人や弟子は「遠アーベルだからこそできる」を前提としてIUTTを構築してるでしょ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＞遠アーベル幾何の延長線上にある第1～第3論文
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＞証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります
ZFCGの取り扱いに問題があるのかな？
248:学術
18/09/27 18:08:24.15 8ZNOee3m.net
URLﾘﾝｸ(www.youtube.com)
249:１３２人目の素数さん
18/09/27 18:10:11.07 RpHBnjHt.net
＞遠アーベル幾何的再構成アルゴリズムたち
ここをはっきりさせて例を出せばいいじゃない？
250:１３２人目の素数さん
18/09/27 18:10:13.46 x630vW77.net
望月氏の上記の報告書より
＞ABC予想には本質的に異なる手法による「別証明」が果たして存在し得るか、疑問を抱かざるを得ないという意味においても「正しい理論」である
本人はここまで言い切っている
251:１３２人目の素数さん
18/09/27 18:15:50.66 RpHBnjHt.net
○きゅーんが掲示したアメリカの明示的証明も間違ってると？
252:１３２人目の素数さん
18/09/27 18:18:49.34 jPqtLUg8.net
専門バカ
253:１３２人目の素数さん
18/09/27 18:26:26.90 jPqtLUg8.net
アティヤ卿がマシに見えてきた
254:１３２人目の素数さん
18/09/27 18:28:22.33 RpHBnjHt.net
少なくともショルツらは異なる手法を見出したのだろう
そうでなければあんな事は言えない
255:１３２人目の素数さん
18/09/27 18:30:06.65 m4w6NH0l.net
いや「IUTT」が遠アーベル特有の理論かどうかはともかく、より一般的な観点で方針を見たら
それでなければできないというのは非常に怪しい
つまり関数体の理論を一般化してabc予想を証明することが遠アーベルにしかできない、
というカルト丸出しの主張をするとは思えないがw まさか
256:１３２人目の素数さん
18/09/27 18:43:52.12 OgXR476s.net
身内がヘンな信用をするからそんな事に
257:１３２人目の素数さん
18/09/27 18:54:15.87 YAxdOWlg.net
せ○ゅーんが間違えてたの？
258:１３２人目の素数さん
18/09/27 18:58:45.69 BTEXmw8z.net
>>230
数学の真偽を語る力は無いもんねw
259:１３２人目の素数さん
18/09/27 19:01:30.16
260: ID:dtD8ESCE.net
261:１３２人目の素数さん
18/09/27 19:28:40.41 fAGMbpx0.net
>>244 生まれ変われば良い人生を過ごせるようお祈りいたします。
262:１３２人目の素数さん
18/09/27 19:42:47.23 x630vW77.net
>>249
俺はその「まさか」だと思ってる。望月氏が想像以上に“eccentric”なようだから
だからこっちも“eccentric”になる権利はあるし、マラルメやサンスクリット語のことも書いてみた、スレチだが（笑）
ただ、IUTTにアクセスが困難な理由の一つには明らかにあのジャーゴンや文体もあるわけで・・・
ちなみにマラルメは当時、
・独自の造語と難解な統辞法を駆使して「書物」（文学・宇宙）の真理に迫った詩人
・ワケのワカラナイ言語遊戯に耽った狂人
という真っ二つに分かれた評価。今は文学部教授連中が飯のタネに食い潰してるだけじゃないかな
なんかIUTTを巡る状況と重なるんだよ（笑）
263:１３２人目の素数さん
18/09/27 19:55:44.59 x630vW77.net
ちなみにコンツェヴィッチがこんな講演をしている
Maxim Kontsevich - Jeux de Mots
URLﾘﾝｸ(www.youtube.com)
----------------------------
Je vais parler de mots et de langages du point de vue d'un mathematicien. Qu'est-ce qu'un texte ≪ universel ≫ ?
Comment peut-on mesurer la complexite d'un langage, naturel ou artificiel ?
Y a-t-il un lien entre les douze mois de l'annee et les douze notes de la gamme ?
----------------------------
264:１３２人目の素数さん
18/09/27 20:34:14.95 u1hjiAr2.net
フラ語をまんまコピペしてもここの住民のほとんどは読めんぞ。
オレも読めん。今から学習する気も無し。翻訳アプリもめんどい。
せめて英語だったら分かるかもしれない（し、それでも読めないかもしれない）。
265:１３２人目の素数さん
18/09/27 20:39:34.41 aCbojoOa.net
簡単に言うと数学的プラトニズムの是非の話だろ
266:１３２人目の素数さん
18/09/27 20:56:54.56 uEWNUETV.net
もはや望月＆理解者達が、ABC予想をeffectiveに証明するか、
IUTTには他にどんな応用があるのかをはっきりさせない限り
血税を投入してはいけない状況になってるのでは？
267:１３２人目の素数さん
18/09/27 21:03:05.49 PA+MKs2v.net
農作物じゃないんだから毎年毎年予算なんかいらんだろ
持ち回りにして他に譲れよ
268:１３２人目の素数さん
18/09/27 22:47:17.06 GEda271s.net
この人たちも、実は理解していなかったｗ
SSの指摘にぐーの音もでないことについて、ちょっとは恥じてほしいｗｗ
加藤文元（東工大教授） 京大在籍時、IUTの初期理論を相談した相手。基礎論の面から変革する可能性のある理論と当時評していた。
・玉川安騎男（京大RIMS教授） RIMSで共に四半世紀研究生活を共にした遠アーベル幾何学研究の盟友。日本学術振興会奨励賞受賞時のコメントペーパー「望月さんの数学」はあまりにも有名。
・松本眞（広島大学教授） メルセンヌツイスター創始者。玉川氏、望月氏と同じセミナーで議論。
・山下剛（京大RIMS講師） 論文発表から間もなく論文を独自に通読し、望月研の扉を叩いたIUT理解のフロントランナー。独自の視点から新たな可能性を記した「IUTサーベイ」を現在執筆中。
・星裕一郎（京大RIMS講師） 元望月研の博士学生。数々の共著論文を生み出し、IUTを完全に理解する数少ない弟子。日本語のサーベイを2本執筆、公開している。
・Chung Pang Mok（パデュー大学准教授） 海外勢では一番早くIUTに反応し、大枠を理解、世界各地で関連セミナーを開く。
・Ivan Fesenko（ノッティンガム大学教授） 2013年の望月研訪問から急速に理論の理解を深め、著名な研究者を招いたオックスフォード大でのIUTカンファレンス、京都RIMSでのIUTサミットを企画したIUT普及の第一貢献者。欧州学術誌に英文サーベイを投稿、掲載。
・Fucheng Tan（京大RIMS講師） IUTカンファレンスから急速にIUTを理解し始めた新鋭。中国等での関連セミナーを主催し、望月氏の元で研究するため昨年RIMSに赴任した。
・Emmanuel Lepage（パリ第6大学准教授） IUTカンファレンスから急速にIUTを理解し始めた新鋭。IUT-IIIあたりまで深く理解している模様。
・Taylor Dupuy（バーモント大学客員教授） IUTカンファレンスから急速にIUTを理解し始めた新鋭。YoutubeでIUTに関するビデオ講義を独自にアップし続ける。
・Kiran Kedlaya（カリフォルニア大学教授） IUTカンファレンスに参加し、IUT理論の肝であるFrob の講演で大絶賛を浴びた。IUTに可能性も見出し、京都でのIUTサミットにも参加。
・Jeffery Lagarias（ミシガン大学教授） 京都でのIUTサミットに参加。IUT理論の大枠を理解したと発言。
269:１３２人目の素数さん
18/09/27 23:08:43.70 aCbojoOa.net
意味的に話が通る部分について理解をした、というのは別におかしくはないけどね
ただ不等式に関する仕組みについてはまた話が変わってくるね
Bとか多分深追いしてないからギリギリセーフかな
270:１３２人目の素数さん
18/09/27 23:17:53.64 aCbojoOa.net
鍵は「不等式にまつわる」圏論的構造だったんで、圏論的な構造自体について
ある程度理解を示すのはアリ、と
271:１３２人目の素数さん
18/09/27 23:25:32.83 ulPfB4Xn.net
RIMSは遠アーベル幾何の権力が強すぎるよな
数論にしてももっと広く人を集めるべきだと思うんだけどなあ
272:１３２人目の素数さん
18/09/27 23:28:25.70 iOE01DDU.net
ま、ブルーバックスの「理解」と怪しい計算で
OKなんだろうw
273:１３２人目の素数さん
18/09/27 23:45:29.42 x630vW77.net
ブンゲン氏はゴシック体にしてポイントも大にしてやるべきだろう（ツイッターの発言や講演もある）
松本氏や玉川氏は外してやれ。親友なんだからしょうがない
274:１３２人目の素数さん
18/09/27 23:55:09.76 fAGMbpx0.net
ミーハーのyuukiが踏みとどまっただけマシか
先見の明があったな
275:１３２人目の素数さん
18/09/28 00:17:50.42 /ME0b6qt.net
Bは理論ではなく政治的な意味で深入りしすぎたなw
良くも悪くもフットワークが軽いんだろう
276:１３２人目の素数さん
18/09/28 00:22:26.00 i3I1Qn9t.net
>>266
ほんこれ
ノリノリだったんだからこういうときこそ矢面に立って擁護してやれよと
外野の人は今関わるのは難しいだろ
創始者が相手の理解不足なだけで論文には全く問題ないって言い切ってる以上、横で下手にコメントできないし
277:１３２人目の素数さん
18/09/28 00:34:27.10 JEjUDzvm.net
Fumiharu Kato 加藤文元
@FumiharuKato
The reports of the March discussion in Kyoto on IUTT have been released.
It seems agreed by the both sides of the debate that this series of discussionsreally tried to
touch on the pinpointed mathematical issue, which has been achieved to some extent,
perhaps for the first time since the first release of the papers on IUTT.
But it also seems to be true that the discussion has been aborted, rather abruptly,
before it acquires any kind of healthy mathematical judgments or agreements.
It seems to me that one side of the discussion asserts that there's only one mathematics
and nothing else, while the other side tries to convince the opponents that
there are certain freedom and flexibility
in what we can legitimately understand as mathematics.
I can agree with both opinions.
But I can also say that this state of affair reminds me of the historical debate
between Riemann and Weierstrass, about the legitimacy of what we nowadays call Riemann surfaces.
278:１３２人目の素数さん
18/09/28 00:35:27.57 JEjUDzvm.net
>>270 の続き
Weierstrass didn't admit, consistently whole in his life, Riemann surfaces
as a permissible object in mathematics, while, it seems to me,
Riemann asserted that there is another "natural" way
of observing mathematical phenomena on algebraic functions,
perhaps not entirely "conventionally mathematical" way of the time when the discussion has been taken place.
We still don't know this historical analogy really applies to the present case.
But I think we should take into account the historical fact that,
while Weierstrass was of course correct and great,
mathematical society could have never acquired finally the idea that the theory
of Riemann surfaces is also a natural way of mathematical thinking,
if it had been insisted that there are only one mathematics and no else.
This single piece of historical story may, I would think, be a good reason
for us mathematicians to try to think that our state-of-the-art mathematics
may only be a "historically conventional" mathematics, viewed from more globally historical eyes.
2018/09/21
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com) (5ch newer account)
279:１３２人目の素数さん
18/09/28 00:37:24.47 /ME0b6qt.net
姑息なポジショニングだね
280:１３２人目の素数さん
18/09/28 00:51:40.29 i3I1Qn9t.net
この状況でRiemannなんか持ち出して高尚な話してもそんな過去の話はどうでもいいから具体的な理論の説明をしろって鼻で笑われるのがオチだろ
積極的に関わりたくないのが見え見えだな
281:１３２人目の素数さん
18/09/28 00:51:53.41 57AzedsG.net
結局問題点をはぐらかしてる詭弁では
282:１３２人目の素数さん
18/09/28 00:52:24.44 IuSswAFg.net
STAPの時と違って内部の動きや関係者の心情がわかりやすい
よい社会勉強になってるなあ
283:１３２人目の素数さん
18/09/28 01:00:40.41 IFLWD4Ma.net
朝日にリークしたやつはそろそろ公表、処分しろよ。
コンプライアンス違反の大問題だぞ。
284:１３２人目の素数さん
18/09/28 01:12:30.69 +XEj8a+B.net
京大掃除BBAJIN「」
285:１３２人目の素数さん
18/09/28 01:37:40.92 +AJ8Inj1.net
>>261
星氏は准教授では？
286:１３２人目の素数さん
18/09/28 06:05:55.39 1p4zOC99.net
整数論の方法は繊細である，小心である，その理想は玲瓏にして些の陰翳をも 留めざる所にある．代数学でも，函数論でも，又は幾何学でも， 整数論的の試練を経て始めて精妙の境地に入るのである．Gauss が整数論を 数学中の数学と観じた理由がここにある.
287:１３２人目の素数さん
18/09/28 08:04:17.89 f7mRe/T1.net
やっぱショルツすげーな
国内でも何人かは同じような疑問持ってた人みたいだけど
288:１３２人目の素数さん
18/09/28 08:13:00.74 kiSRc24m.net
URLﾘﾝｸ(m.youtube.com)
289:１３２人目の素数さん
18/09/28 08:24:57.99 +XEj8a+B.net
ブンゲンは論文を理解してないと自分で言ってるからなｗ
290:１３２人目の素数さん
18/09/28 08:30:20.94 74cOnrFP.net
いや遠アーベルどころか数論幾何はほぼ専門外でも怪しいと思うよ
ただ、まあ一応成り立たせるらしいⅠ,Ⅱやそれ以前の準備は読み込まないだけで
というかあんな怪しさ漂うジャーゴン突っ込みたくねえて引いてしまうから
読んでも結局、このcor言えないよね、て確認した点が評価点では
291:１３２人目の素数さん
18/09/28 09:21:02.63 i3I1Qn9t.net
>>282
だめじゃんw
マジで政治目的だけなのかよ
292:１３２人目の素数さん
18/09/28 11:17:06.64 cLRBhaCy.net
バカjinのツイートでは当初華々しく『国内の専門家のダブルチェックを通過』とか宣伝してたのにブンゲンとゴーかよ
293:１３２人目の素数さん
18/09/28 11:20:54.47 1cy9OuqS.net
同格ｗ
294:１３２人目の素数さん
18/09/28 12:32:32.94 nhfqwCJ2.net
片方は政治がうまそうだから華々しく見えるだけで
数学者としては同格なんじゃないの？
295:１３２人目の素数さん
18/09/28 12:37:43.35 sYih0hUe.net
玉川が査読通って１年も放置するのが悪い。アクセプトなりリジェクトなり早く決着をつけるべき
296:１３２人目の素数さん
18/09/28 13:04:23.35 ewRWSOPL.net
PRIMS
S. Mochizuki (Editor-in-Chief)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
297:１３２人目の素数さん
18/09/28 14:24:00.10 ST4uzA6B.net
IUT自体の理論に穴があるのか
それによるABC予想の証明に関して穴があるのかどっちなの
298:１３２人目の素数さん
18/09/28 14:41:58.76 Ravz3/N8.net
今更リジェクトできんから袋小路
299:１３２人目の素数さん
18/09/28 14:57:38.15 iBGgPDiK.net
>>290
不可分だから何とも言えないんだよなあ
まあFrobenioidに何かくっつけて復元していく際に、色んなエラーが生じかねないと
これはetale theta monoidに関して生じたエラー
300:１３２人目の素数さん
18/09/28 15:01:52.30 /ME0b6qt.net
Bは呑み込みに関してはGよりちょいマシなレベルだろう
あたかも自分が分野の一線の開発者みたいな言い方をしてるのは疑問だけど
リーマン面論の歴史を調べながらリジッドの展望を探る真面目な側面はある
301:１３２人目の素数さん
18/09/28 15:04:53.54 /ME0b6qt.net
Gはここに書かれてたような多重ゼータ待ち合い室から一発当てようと出てきた印象
302:１３２人目の素数さん
18/09/28 15:08:40.90 Sp/OePtQ.net
>>290
おおむね 海外の評価だろ→ >>84
303:１３２人目の素数さん
18/09/28 17:11:06.11 46EaxFlA.net
>>290 こんなところでそんな質問して、正解が聞けると思ってるのかｗ
304:１３２人目の素数さん
18/09/28 17:22:28.07 YAc2VrLP.net
Bは自分の専門分野に戻って行けば仕事はしっかりしている
Gは自分の専門分野に戻って行けば・・・大したことやってない
IUT潰れたところでBは痛くはないがGは下手すると何もしない万年講師かねえ
305:１３２人目の素数さん
18/09/28 17:22:30.44 Rp/ydQFt.net
>>292 無理なモンは無理っていっとかないと理研の二の舞になるもんね
306:１３２人目の素数さん
18/09/28 17:40:53.39 tymHIiIW.net
まさにち
307:ょうど擬等角写像の数論的類似の構成の段階なんで 「少なくとも今のところは理論自体の存亡危機」だと認識していいんじゃないの 二度は読まないとなかなかわからない話
308:１３２人目の素数さん
18/09/28 17:48:13.36 bzTBog64.net
加藤和也先生の2018 レクチャーノート
(後に削除)
>Peter Scholze, who everyone thinks
is the greatest mathematician of this
generation, says he cannot deduce 3.12
(which is the ABC conjecture, in paper #4)
from 3.11 (a summary of the first 3 ABC
papers) in Mochizuki’s papers.
>Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction is
self-evident.
309:１３２人目の素数さん
18/09/28 17:54:16.70 bzTBog64.net
self-evidentならなぜ 即答しなかったのだろ？
310:１３２人目の素数さん
18/09/28 18:03:11.61 Rp/ydQFt.net
>>299 論文は捏造じゃなくてもわかってたミスを隠すと捏造だもんね
311:１３２人目の素数さん
18/09/28 18:09:15.02 bzTBog64.net
self-evident 、
数学科学部生には常識レベルということかな？
312:１３２人目の素数さん
18/09/28 18:34:05.57 qbqkNRAS.net
それにしてもself-evidentという言い方はしないよね。
連続関数がリーマン積分可能であることや線型空間の次元がwell-definedであることを
self-evidentとは言わんだろう。
313:１３２人目の素数さん
18/09/28 18:43:23.14 bzTBog64.net
self evidentって 自明 じゃないの？
well-definedは面倒なんだよね。
314:１３２人目の素数さん
18/09/28 18:52:05.34 jMSaJ4vT.net
いや、本当に基本的な勘違いしてた可能性のほうが高いと思う
315:１３２人目の素数さん
18/09/28 18:57:22.59 jMSaJ4vT.net
変に複雑な理論にはろくなことがないってのもあながち間違いではないかもな
316:１３２人目の素数さん
18/09/28 18:59:00.38 jbJJXPqz.net
だから籠りっきりは知能流れによくないと言ってたのに
317:１３２人目の素数さん
18/09/28 19:09:54.40 jMSaJ4vT.net
俺自身はフレーム自体は一つの一般化として面白いと正直思っていた
が、環の一般化の仕方について違和感があったし、たとえ理論が正しくともまだある
だから一旦認められたら読み直してみようとせこいことを考えていた
少なくとも関数体のabc予想には遠アーベルが必要ないのだから、
他に良い一般化があると思うのが自然な話だ
318:１３２人目の素数さん
18/09/28 19:15:28.44 bhHvNFv3.net
IUTのお陰で昇進したり登用されて恩恵を預かった人達は、IUTについてちゃんと説明責任を果たすのが筋だろうと思う
319:１３２人目の素数さん
18/09/28 19:15:43.05 rsvygH8G.net
ひょっとして国内でも追い込まれてる？
ショルツとお友達になるチャンスなの？
月曜日は罵倒と知らんぷりの嵐山？
擁護派の方ご意見ドゾー
↓↓↓↓↓
320:１３２人目の素数さん
18/09/28 19:24:50.82 Opjx/6Cn.net
IUTは新しい理論に生まれ変わるかもしれないってあるけど今までの理論が間違えてて訂正入れるって話だったら笑う
321:１３２人目の素数さん
18/09/28 19:42:06.65 f7mRe/T1.net
周りに信者しかおらずショルツのような同格がいなかったのが痛かった
ワイルズでいうところのファルティングスだったりテイラーだったり
322:１３２人目の素数さん
18/09/28 19:54:11.19 e/sXbqPL.net
フェ○ンコやケド○ヤはうんこなの？
323:１３２人目の素数さん
18/09/28 19:57:36.72 3gxzx6Pq.net
せめてミジンコぐらいにしてやれ
324:１３２人目の素数さん
18/09/28 20:00:12.39 /2evBTbe.net
PS＆JS（誰か書いてたけどSSという表記は間違いなく悪意があるよ）の指摘を極めて大雑把に言うと、
あなたは具体的なものと抽象的なものを明確に区別していない。
フロベニオイドなんて大そうな概念は実は初等的なものだ。
Θリンクを使ってホッジ劇場を複数同時開演しても具体的なものを埋め込めない。
さあ、この状態ででMultiradialアルゴリズムとやらを走らせたらどうなるかな？
望月氏が侮辱的な返信をしているけど、PS＆JSの書いていることはもっとスゴイ（笑）
325:１３２人目の素数さん
18/09/28 20:06:30.51 qbqkNRAS.net
完全論破されて国際問題レベルの暴言を吐く。
今回の件でMさんはこの程度の人物だったのか、と知った国内数学者も多いだろう。
326:１３２人目の素数さん
18/09/28 20:24:49.71 tymHIiIW.net
要するに単純な抽象構造を使ってリンクさせると、結局抽象的に潰れてしまう、と
環の一般化は簡単ではないことを示唆している
327:１３２人目の素数さん
18/09/28 20:32:12.38 pWYjHw9m.net
>>300
その内容を聞かれてるのにself-evidentってのはようは循環論法ってのを認めちゃったことだね
日本人に聞かれても同じこと言ってるんじゃダメなんじゃないかもう
328:１３２人目の素数さん
18/09/28 20:38:27.77 nhfqwCJ2.net
でも、理解できない人に水準をあわせてたら高級な数学なんて構築できないよ。
329:１３２人目の素数さん
18/09/28 20:38:46.03 ST4uzA6B.net
その越川さんって人が全く評価されてこなかったのは謎
330:１３２人目の素数さん
18/09/28 20:38:47.65 qbqkNRAS.net
そもそもショルツやそれに匹敵するレベルの天才が何人も読めないと言ってるもんを
FやGみたいな雑魚(贔屓目に見て中の下程度)が理解したというのを信じるのは無理があるよな。
雁首そろえてできの悪い学生みたいに
「書いているから正しいと鵜呑みにする」愚行をやらかしている方がよっぽど真実味がある。
331:１３２人目の素数さん
18/09/28 20:46:42.92 b5PH8SVC.net
>>270-271 こいつは驚いた。
「間違ってるよね」っていう指摘に対して
「いいえalternative factです」って答えてるようなもんじゃないか。
332:１３２人目の素数さん
18/09/28 20:57:12.40 VFjTe0VW.net
SSって何って思ったけど
ナチス親衛隊って意味でもあるんだ
それはやめたほうがいいかも
333:１３２人目の素数さん
18/09/28 20:59:31.22 Qw8SnosO.net
まあ、微積分ですらできた当時は（ってか今でも？）まやかしだと思ってる人がいたからなぁ。
334:１３２人目の素数さん
18/09/28 21:08:09.85 6a58uxKE.net
数学版などとっくに馬鹿の巣窟になっているとおもっていたが更に酷くなってるわｗ
ここ開いてみたら、キチガイが己の妄想をひけらかす場になっていてワラタ
君たちそこらのタブロイド紙よりはましなことかけ
335:１３２人目の素数さん
18/09/28 21:15:54.12 tymHIiIW.net
いや、でも全否定するには俺は躊躇いがあるね、客観的に
一般化された遠アーベル自体は可能だろうと。ちょっと慎重にならないといけない
全か無かではなく
336:１３２人目の素数さん
18/09/28 21:26:58.06 woHowhK9.net
べつに客観的に一般化された遠アーベル自体は可能かもしれないけど、
問題なのはそれをやったことでなにが嬉しいのか、だと思う。
具体的にどういう適用があるのかで、
これまでそれが例示されてないところをみると、
IUTはそういう路線としてもダメなんじゃないかなあ。
337:１３２人目の素数さん
18/09/28 21:33:46.07 dOOEenun.net
このままショルツェに説明できないままってのはまずいなあ
338:１３２人目の素数さん
18/09/28 21:48:34.32 6a58uxKE.net
一般化された遠アーベルというのは、どこの部分を一般化するのか？
339:１３２人目の素数さん
18/09/28 21:50:09.35 6a58uxKE.net
どういう意味で一般化すると語っているのか説明していただける？
340:１３２人目の素数さん
18/09/28 21:54:11.39 Sp/OePtQ.net
そろそろ罵倒が始まるのか、、
341:１３２人目の素数さん
18/09/28 21:54:43.52 mu6IJ+q3.net
>>326
大体ネトウヨ級の頭の悪さかな。
342:１３２人目の素数さん
18/09/28 21:56:08.60 MU0LU
343:R3f.net
344:１３２人目の素数さん
18/09/28 21:59:20.46 6a58uxKE.net
既存の遠アーベルの結果といっても色々あるとおもうんだけど、
それをどういう方向に一般化するのか聞いているわけさ。
例えばエタール基本群にまつわるデータをどうかえるのかとか、
考えている多様体をどうかえるとかすぐに思いつくようなのあるわけだよね
一般化といっても前者と後者はタイプが全く異なる一般化だろう
だから、ここで語られいている一般化の念頭にあるものを聞いている
345:１３２人目の素数さん
18/09/28 22:04:12.30 Sp/OePtQ.net
>語られいている
わかりません
346:１３２人目の素数さん
18/09/28 22:07:48.14 6a58uxKE.net
誤植を見つけるくらいしかできないのかｗ
347:１３２人目の素数さん
18/09/28 22:09:47.86 /dO/bPr9.net
相当煮詰まってるんだな
脳筋肉のゴークン以外は
348:１３２人目の素数さん
18/09/28 22:12:18.44 Sp/OePtQ.net
間違いを指摘されて罵倒するのはよくないよ
349:１３２人目の素数さん
18/09/28 22:19:35.37 MU0LUR3f.net
益々本人っぽくないか？！
350:１３２人目の素数さん
18/09/28 22:29:51.56 EwDcQgAh.net
ご本尊は幾度となく降臨してるがもっとケンがある
☆かＳに対応した院生とみた
351:１３２人目の素数さん
18/09/28 22:30:54.53 i3I1Qn9t.net
住民が罵倒慣れてて草生えるわ
352:１３２人目の素数さん
18/09/28 22:31:41.81 6a58uxKE.net
なるほど、やっぱここまともなスレじゃないって確認できたｗ
333が指摘しているようなレベル
あと、俺遠アーベル関係ねえし
もう一個くらい出しとく。
曲線の遠アーベル予想とタイヒミュラー理論との関係性について
写像類群を絡めつつ語ってみよ
353:１３２人目の素数さん
18/09/28 22:44:11.78 3PiFm3oc.net
用語はレベルの他界団扇でどうぞ
354:１３２人目の素数さん
18/09/28 22:56:53.74 1BgN3rj5.net
結局取り巻き一派は論点のすり替えだけで指摘に答えられないのが顕著に
355:１３２人目の素数さん
18/09/28 23:01:14.70 mB8Gy/ym.net
これずっと前からループしてるし自戒としても大事な教訓だと思うけど、
具体的適用が見えないっていうのは致命的なのよね。
356:１３２人目の素数さん
18/09/28 23:03:25.14 sYih0hUe.net
なんJの香ばしいチョンなんかも引き寄せてしまう何かがあるんだろうな
357:１３２人目の素数さん
18/09/28 23:08:46.97 FB8lfA3E.net
第三者のコメント
URLﾘﾝｸ(thehighergeometer.wordpress.com)
URLﾘﾝｸ(thehighergeometer.files.wordpress.com)
358:１３２人目の素数さん
18/09/28 23:38:47.32 1p4zOC99.net
>>348
jin乙
359:１３２人目の素数さん
18/09/28 23:39:17.03 1p4zOC99.net
圏の幾何？
360:１３２人目の素数さん
18/09/28 23:39:34.12 ow8tzxZJ.net
もうIUTの最初のところに欠陥があるってわかったんだからリジェクトされたようなもんだから
指摘されてる穴がないようにやるにしても3.12から全部書き直しだよ
361:１３２人目の素数さん
18/09/28 23:43:34.98 5xy9Ji1q.net
全部書きなおしたらあとは十年はかかるだろうからその間にモッチーのやる気が持つかどうかだな
362:１３２人目の素数さん
18/09/28 23:56:49.91 cpkfq5ix.net
>>294
>多重ゼータ待ち合い室から一発当てようと出てきた印象
さてはあんた数論関係者じゃないなw
363:１３２人目の素数さん
18/09/29 00:22:23.27 JjwmR1s8.net
ｽﾚﾘﾝｸ(math板)
364:１３２人目の素数さん
18/09/29 00:22:26.14 xyC+oPpk.net
スレも罵り合いの様相を呈してきてるな
こんなとこで罵らなくてもレポート書いて罵ればいいぞ
面白いからもっと話題を提供してくれ
365:１３２人目の素数さん
18/09/29 00:22:39.63 VV3erWYs.net
取り巻きが書き直したらいいやん
もう心中するしかないやろし
366:１３２人目の素数さん
18/09/29 00:27:33.42 msuA0IXs.net
もっちーが編集長なのにリジェクトの決定とかどうやるんだろう
367:１３２人目の素数さん
18/09/29 00:37:10.21 Qa0f4Op5.net
>>355
国内特有の事情で表立っては京大を糾弾しにくい件について
368:１３２人目の素数さん
18/09/29 00:39:32.71 xyC+oPpk.net
>>348
>By replacing discussion of psychology and suggestive metaphors by rigorous definitions of all the categories in which objects live,
>and keeping track of forgetful functors, communication about IUTT can focus on the difficult mathematical content, rather than about whether or not objects need specific labels.
圏論で定義できるかは知らんけど比喩ばっかりなのは確かになんとかしてほしい
369:１３２人目の素数さん
18/09/29 00:39:47.63 I//zohwE.net
あれ、北白川方面から歯ぎしりの音が
370:１３２人目の素数さん
18/09/29 01:01:03.30 TtHmq0sE.net
今年のMath Power が楽しみだね
BやSはうんこみられた犬みたいな顔ででてくるのかね
371:１３２人目の素数さん
18/09/29 01:02:14.16 5nucrZ05.net
>>313
同格じゃないだろ
新一<<< 超えられない壁 << ショルツ <..<岡潔
372:１３２人目の素数さん
18/09/29 01:19:53.38 OBn6QMVK.net
>>352
来年の3月でモッチー50歳
個人差はあるが50代で細かい修正や計算は辛いと聞く
373:１３２人目の素数さん
18/09/29 01:20:46.93 wR2EuqP8.net
Hiroyuki Miyoshi @metaphusika
IUTTの圏論による議論の精密化はもっと早くに誰かがやると思っていたけれど，泥沼化してようやく手を出す人が出てきた様子。
数論幾何ではなくnlab系人脈からだけど。
URLﾘﾝｸ(thehighergeometer.files.wordpress.com)
1:15 - 2018年9月29日
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com) (5ch newer account)
374:１３２人目の素数さん
18/09/29 01:35:01.43 KNN922CP.net
>>353
そう。基本的に数論代数幾何の人間じゃないけど、文献でGの名前は見たことがあった
それで適当なことを書いた
375:１３２人目の素数さん
18/09/29 01:42:21.95 KNN922CP.net
>>330
そういう話はいかにも好戦的な人間とはしたくないのがまともな人間じゃね？
勿論思っていることはあるけどね
そもそも俺は全否定はしないと言っているのだが、君のスタンスがよくわからん
376:１３２人目の素数さん
18/09/29 02:05:32.12 KNN922CP.net
>>348
やはり構成的な手続きが論点だと見るのか
あたかもBもこの辺見越してたかのようだ
しかし、整理というかますます奇妙になってきたな
377:１３２人目の素数さん
18/09/29 02:12:27.81 xyC+oPpk.net
このスレ定期的にブンゲン徘徊してるよね
たまーにしか覗かないのにかなりの頻度で見るわ
378:１３２人目の素数さん
18/09/29 02:12:28.99 KNN922CP.net
独り言でやばい奴で悪いんだけど、やっぱり問題は深刻だな
ZFCというか圏論的にどうなんだって話に食い込むわけだからな
379:１３２人目の素数さん
18/09/29 08:18:34.17 SWwnY/SA.net
ついに擁護派が息をしなくなったね。
ここを見ても議論が公開されることがいかに大切かわかるよ。
例のペーパーだって公にされないうちは、
「SSのペーパーが信じられないほどレベルが低くて望月側が心配するほどだった」など擁護派が言いたい放題だったもんな。
いい加減朝日報道しろよｗ
380:１３２人目の素数さん
18/09/29 08:24:07.40 0PDoeBTw.net
>あたかもBもこの辺見越してたかのようだ
本人のカキコかな？
ブンゲンは IUT 解説のニコニコ動画で
不等式の核心部を下ネタで誤魔化した輩。
ま、IUTそのものも くだらない代物なんだけど
381:１３２人目の素数さん
18/09/29 08:27:29.67 SWwnY/SA.net
それにしてもRIMSの越川さんって、望月に�
382:≠ｭか３．１２の疑問点を直言してたみたいだけど、 所内ではどんな扱いだったんだろう。 まさかまともに答えずに、「まだまだ修行が足りない。もっと勉強しろ」でお茶を濁してたんかなあ？ 越川さんは将来性はあるのかな。フィールズ賞受賞者でもでも疑問を持てる奴のほうが業績出すみたいだし。
383:１３２人目の素数さん
18/09/29 08:58:17.92 VnoUJXQE.net
進展もないし有用性もなさそうだし結局のところ時間を潰してるだけだな。
予備知識が多すぎてみんな理解出来ないって事でもなさそうだし。
384:１３２人目の素数さん
18/09/29 10:21:06.47 f6FsVeg9.net
IUTの再構築は望月さんが頑張るか、星さんが超頑張るか、ショルツを仲間に入れるかしか道がないという事ですかねー
385:１３２人目の素数さん
18/09/29 10:45:30.27 Sv9Lf5XQ.net
週刊誌記事を早く書きたい人もいるのかな？ 楽しそう
386:１３２人目の素数さん
18/09/29 10:46:17.72 frPdwkWr.net
>>368
糖質発症してますよ
387:１３２人目の素数さん
18/09/29 11:23:35.83 aFQpFPJX.net
おいらもBが徘徊していると思うわ。
☆かGも徘徊している。
ご本尊も？？
388:１３２人目の素数さん
18/09/29 11:31:33.19 OBn6QMVK.net
IUTが潰れた場合でも望月氏のそれ以前の業績は優れたものだ
ただ今後は大きな研究費を獲るのが難しいかもしれない
IUTにここ数年注力した全世界の若手中堅数学者は方向転換だな
才能はあるのだから別のテーマで活躍すればいいがメンタル的にかなり辛い
389:１３２人目の素数さん
18/09/29 11:36:09.38 rjDjzJ/d.net
三好さんもツイッターで書いてたが、David Robertsがようやく動き始めたな。ポイントは圏論による精緻化か。
望月も実は抽象化し過ぎて訳わかんなくなったけど、二本目のサーベイで「ほら、こんな高度抽象化ワケワカメ理論にになっちゃったけど、古典的な理論と整合するんよね。ヤバくない？新しい数学作っちゃったウェーイ」って言ってるし。
そりゃ正統派SSも読めないし理解できないはずだな。
390:１３２人目の素数さん
18/09/29 11:37:37.04 K85XkwDr.net
>>378
予算はつくって話あったけどね。信者たちは既にIUTの改良に着手もしてるし。
391:１３２人目の素数さん
18/09/29 11:41:18.75 gQhbDsYK.net
証明したかどうかは重要じゃないとか新しい数学云々いってた連中はガバガバなのをわかってたんだろう
392:１３２人目の素数さん
18/09/29 11:45:08.69 1UKmV0Y6.net
宇宙際はショルツのパーフェクトイド空間まで
模索していた。
ショルツはサービスも兼ねて発言したのに
罵倒とは、、呆れた
PRIMSは 先ずIUT論文のリジェクトが必要だ。
393:１３２人目の素数さん
18/09/29 11:47:43.32 1UKmV0Y6.net
>>380
改良？海外からcrazyと言われる訳だ
394:１３２人目の素数さん
18/09/29 11:54:20.39 OBn6QMVK.net
>>380
もうしばらくは修正で予算がつくかもしれないね
ただそれでダメだったら傷がさらに大きくなる
30代のほとんどをIUTに捧げた今37歳の人が40歳すぎたとき
全部ダメでしたとなったらどうする（どうなる）かねえ
部分的に活かせそうな代物でもない
395:１３２人目の素数さん
18/09/29 12:01:56.47 OBn6QMVK.net
>>381
もともとBさんは友人としては近いが数学的な正しさとかどうでもいい気楽な立場
証明ガバガバかどうか特に気にしてないだろ
完全にコケたらかなり残念
396:１３２人目の素数さん
18/09/29 12:02:11.37 yLJAEYoE.net
新しい数学＝新ちゃんの数学 です
[Corollary 3.12]はself-evidentだと言ったらしいが、文字通り「系」だからそう返したんだろう（笑）
傍から見てる分には面白い人だよ
397:１３２人目の素数さん
18/09/29 12:17:52.70 K85XkwDr.net
3.12、よりわかりやすく説明するために、記号化してみればどうかな？越川さんにもわかるように
398:１３２人目の素数さん
18/09/29 12:23:55.68 TtHmq0sE.net
jin並みに観点がズレてる
399:１３２人目の素数さん
18/09/29 12:40:34.78 oku1/M2o.net
>>386
ショルツを学部生扱いなんでしょ、
self-evidentと罵倒したんだろう
ま、、IUTスキャンダル
400:１３２人目の素数さん
18/09/29 12:44:57.66 yLJAEYoE.net
「圏論による議論の精密化」の話が出てるらしいけど、これZFCGと種の言語の問題だと思うよ
つまり、主論文末尾のIUTT・IVの“Section 3: Inter-universal Formalism: the Language of Species”をどう読むかの問題
望月氏は最初にこれを提起すべきだった。要するに論点先取していたわけだね
圏論だけでなく基礎論や数理論理学を巻き込んだ大掛かりな議論をしないと収拾つかないと思うよ
401:１３２人目の素数さん
18/09/29 13:03:49.70 oku1/M2o.net
Carl Siegel
The whole style of the author contradicts
the sense of simplicity and honesty which
we admire in the works of masters in number
theory ― Lagrange, Gauss, or
on a smaller scale, Hardy, Landau.
Just now Lang has published another book
on algebraic numbers which, in my opinion,
is still worse than the former one.
I see a pig broken in a beautiful garden
rooting up flowers and trees.
Unfortunately there are many
”fellow-travelers” who have already disgraced
a large part of algebra and function theory;
however, until now, number theory had not
been touched. Those people remind me of the
impudent behaviour of the national socialists
who sang:“Wir werden weiter marschieren,
bis alles in Scherben zerfällt!”
I am afraid that mathematics will perish before
the end of this century if the present trend
for senseless abstraction
― as I call: theory of the empty set ―
cannot be blocked up.
402:１３２人目の素数さん
18/09/29 13:13:23.28 NInEvplY.net
>380
信者たちは既にIUTの改良に着手もしてるし。
指摘されるまで何年も不備に気付かなかった連中が何かできるとでも
>390
「圏論による議論の精密化」
結局は複素の定式化で行き詰るから袋小路
403:１３２人目の素数さん
18/09/29 13:18:07.29 SWwnY/SA.net
もっちーはもう５０だし逃げ切りだろう。
それより若い研究者がこの理論にかけるかというと、やめたほうがいいというのがショルツの回答。
今の院生は逃げ出して、今後は「望月先生にどこまでもついていきます。オッスオッス」
とかいって、内心は京大院ロンダだけが目的の学生が集まりそう。
404:１３２人目の素数さん
18/09/29 13:26:24.77 +fFpIdwh.net
自分は当事者ではないし、利害関係もないが、このスレは興味深い。
望月先生の理論の妥当性はおいておくとして、人間の心理としておもしろい。
数学者同士が数学で議論すれば、お互いの力量は一瞬にしてわかる。
武道の達人同士の立合いと同じだ。京都での二人の討議後の発言が興味深い。
はっきり
405:言えば、ショルツ先生の発言は上手側のものとは思えない。 仮に論文の著者に説明責任があるとしても、心理的におかしい。 二人の発言を人間心理から推測すれば、この分野に関する力量は、 一点の曇りもなく、望月先生がシュルツ先生を圧倒しているとしか思えない。 数学ではなく、心理学から予言しておく。望月先生が完全勝利する。
406:１３２人目の素数さん
18/09/29 13:30:59.56 ugqNYNpt.net
何言ってんのこいつ？w
407:１３２人目の素数さん
18/09/29 13:34:34.31 7KH1ivQP.net
書いていることを見ると、なんか社会の第一線で仕事をしているひとがほとんどいない感じ。
408:１３２人目の素数さん
18/09/29 13:41:04.28 M8z/9p3W.net
6年進展なくて今更圏論使えば分かりますってのもなぁ
本当に分かるならその程度のことはとっくに誰かがやってる気がする
409:１３２人目の素数さん
18/09/29 14:02:34.32 o9oqykuK.net
ごく一部の権威至上主義者らが抵抗勢力としてまだ擁護してるな
ショルツらが単独で動いてると思う時点で相当ノータリンなんだが
410:１３２人目の素数さん
18/09/29 14:06:51.61 zb8wuXax.net
>>398
ショルツらが単独ではなく数学界の意志を反映してるんなら
もっといろんなところから声があがってないとおかしいでしょ。
ショルツにすべてやらせて自分らはダンマリな
卑怯者がいるとして、そんなクズ懐疑派の言い分を
聞く意義はまるっきりないよね。
411:１３２人目の素数さん
18/09/29 14:14:55.77 sECPf+HL.net
日本語でおk
412:１３２人目の素数さん
18/09/29 14:18:13.17 zb8wuXax.net
もしIUTを疑っている数学者がそんなにたくさんいるなら
ちゃんと自分の名前で異議をとなえろって話。
こんな単純な話もわからないのか？
413:１３２人目の素数さん
18/09/29 14:21:07.60 PYWtlnaC.net
間違った理論を振りかざして権威を傘に税金を無駄遣いした輩はクズではないらしい
414:１３２人目の素数さん
18/09/29 14:23:01.55 t+7uK2nn.net
オウム並みの詭弁が繰りかえしあるな
おかしいどうというならスレをよく読みなおせ
そんなこともわからんのか
415:１３２人目の素数さん
18/09/29 14:26:18.35 7KH1ivQP.net
>>402
あーあ。
416:１３２人目の素数さん
18/09/29 14:26:31.50 OFuzxaIU.net
まあ加藤先生とかは怒ってるレベルだし
ショルツはまだ優しい方だよ
417:１３２人目の素数さん
18/09/29 14:30:15.03 OBn6QMVK.net
>>390
＞圏論だけでなく基礎論や数理論理学を巻き込んだ大掛かりな議論をしないと収拾つかないと思うよ
この点は初期から指摘されていたからね
本人はself-evidentと言うだけでやる気なさそう
数年間放置してツケが溜まった、やってなかった取り巻きが今更できるか
418:１３２人目の素数さん
18/09/29 14:30:45.40 7KH1ivQP.net
どうしても税金とか無駄使いとか予算とかいう単語を使いたいようだね。つまらん。
419:１３２人目の素数さん
18/09/29 14:36:50.78 7KH1ivQP.net
当事者にとっては６ヶ月前のことで、駒はどんどん先にすすんでいることだろう。
420:１３２人目の素数さん
18/09/29 14:39:03.26 tcWjqgey.net
>>407
同感
421:１３２人目の素数さん
18/09/29 14:42:18.31 oku1/M2o.net
比喩 類似から数学へ？？
ごまかしに
なんでもありの
けんろんよ
422:１３２人目の素数さん
18/09/29 14:44:04.44 p683dqed.net
予算獲得のために定期的に騒いでいるようにしか見えん
423:１３２人目の素数さん
18/09/29 14:44:42.94 +fFpIdwh.net
ショルツ先生って、案外ツンデレなんじゃないのか。
討議のとき優しくしたかったけど、
フィールズ賞学者のプライドがそれを許さなかった。
望月先生も今でこそ太り気味だけど、若い頃は、
ウメボシ食べてスッパマンみたいでイケメンだし。
来年あたり、二人は仲良しになってデレデレしている予感がする。
424:１３２人目の素数さん
18/09/29 14:45:03.45 zb8wuXax.net
別に望月サイドは騒いでないでしょ。
425:１３２人目の素数さん
18/09/29 14:45:05.53 OBn6QMVK.net
STAPの検証で無駄になった予算と比べれば2�
426:�違うだろうにw 検証のために泣かされた若手の数も違う まあ検証に至る年数が違うが
427:１３２人目の素数さん
18/09/29 14:48:02.69 oku1/M2o.net
>>414
会計検査院に聞いてみたら
428:１３２人目の素数さん
18/09/29 14:48:39.52 lkcLF+d8.net
>>401 Ordinary researchersとか知らない人？
有意な反証は匿名だろうが意味があるよ。
わざわざ名前を出す意味がわからんね。
429:１３２人目の素数さん
18/09/29 14:49:43.18 8udb8K0y.net
夢想家と罵倒家と論点摩り替えの詭弁家が集合してしまった事が敗因
430:１３２人目の素数さん
18/09/29 14:54:07.05 7KH1ivQP.net
>>414
無駄とか無駄でないとか簡単に言うなよ。科学をやってんだよ。政治や行政の話ではない。
431:１３２人目の素数さん
18/09/29 14:55:39.79 oku1/M2o.net
IUTが科学？？
432:１３２人目の素数さん
18/09/29 14:59:56.59 OBn6QMVK.net
>>418
STAPに関しては検証に付き合わされた若手任期付き研究員はかわいそうだった
この点だけは事実
433:１３２人目の素数さん
18/09/29 15:08:38.97 b+39v2aB.net
模索した、招聘した、反論は罵倒した、のオンパレードではねえ
434:１３２人目の素数さん
18/09/29 15:33:13.98 x/D3NMnR.net
>>417
全部もっちーで草
435:１３２人目の素数さん
18/09/29 15:45:59.88 SWwnY/SA.net
>>399
そりゃ大多数の数学者は望月の議論がわからないのだからしょうがないｗ
わからなけりゃ望月を支持せよとでも？
大多数の外野は、望月のペーパーとSSのぺーパー読み比べて、どちらが説得力あるかを見届けるしかない。
とにかく望月は「証明」を求められているんだから、疑問に対し「証明」で答えなければいけない。
「証明」で答えられないのが明らかな以上、望月の負けなのは外野でもわかる。
436:１３２人目の素数さん
18/09/29 15:49:53.38 zb8wuXax.net
>>423
君の言っていることは、バカが理解できない証明は
証明が悪いからだと言っているようなものだよ。
なんで理解する努力を放棄して、証明が悪いんだと開き直って
恥じないようなクズがこんなにいるのだろう？
437:１３２人目の素数さん
18/09/29 15:51:41.24 3oYZqUJ/.net
IUTが単独ではなく数学界の意志を反映してるんなら
もっといろんなところから声があがってないとおかしいでしょ。
研究室にすべてやらせて自分らはニンマリな
卑怯者がいるとして、そんなクズ擁護派の言い分を
聞く意義はまるっきりないよね。
438:１３２人目の素数さん
18/09/29 15:53:38.97 SWwnY/SA.net
>>399
>ショルツらが単独ではなく数学界の意志を反映してるんなら
もっといろんなところから声があがってないとおかしいでしょ
お前の言っていることは話が逆。
望月が真に正しいなら、数学界のあちこちから、理解者が現れ
３．１２に対する明確な回答が上がってくるはず。数学の真理とはそういうもの。
何度でも言うが数学には「私だけの真理」「私だけの証明」「北白川だけの定理」などありえない。
しれがそれがどんなに難解でも、確実な真理なら、その証明を共有できる人間が少しずつ、確実に広がっていく。
しかしIUTは誰一人説明できない代物であったことがすでにあきらかとなった。
439:１３２人目の素数さん
18/09/29 15:53:46.71 3oYZqUJ/.net
＞＞424
ワイルズの証明を応用できないの？
努力はしたの？
440:１３２人目の素数さん
18/09/29 15:54:24.24 zb8wuXax.net
最先端で前人未到な議論をしているのだから
理解できない人がたくさんいるのは当然だし、この場合
理解しようと努める義務があるのは理解できない人たちであるのは当然のこと。
「俺が理解できないのは証明した人が悪い」なんて言い方がまかり通るなら
誰も新しいこと、困難なことをやらなくなってしまうよ。
441:１３２人目の素数さん
18/09/29 15:56:24.47 SWwnY/SA.net
>>424
証明になっているかなっていないかはわかる。
証明を求められて、証明を返さず、「学部レベル」という罵倒が帰ってくるなら、
この人間が証明を持っているないことは確信できる。
これが数学界の意見。
442:１３２人目の素数さん
18/09/29 15:58:03.02 SWwnY/SA.net
>>428
そりゃだめ。
疑問を持つものを納得させる回答がなければ査読も通らない。
これは絶対的大原則。
望月は証明ができていない。これはもはや確信できる。
443:１３２人目の素数さん
18/09/29 16:04:11.72 frPdwkWr.net
444:IUT論文が正しいかどうかは知らんけど SWwnY/SAみたいに数学外のところを見て明らかだの確信できるだの言ってる人見るとこっちが恥ずかしくなってくるよ
445:１３２人目の素数さん
18/09/29 16:06:28.89 x2M9KdR/.net
S 3,12わからない
M 教えるからおいでよ
S やっぱり、あんたの説明わからないからもう帰る
M 学部卒レベルだった
446:１３２人目の素数さん
18/09/29 16:08:44.28 SWwnY/SA.net
>>430
お前自分でうまいこと言ったと思っているだろうｗ
でもな、特許裁判なんてこんなもんだぞｗ
最終的には最高裁の文系老人が判断するのだｗ
証明を出せといわれて罵倒を返すなら、こいつは証明ができていないと確信できる
裁判官だってそう思う
447:１３２人目の素数さん
18/09/29 16:09:36.52 SWwnY/SA.net
上は>>431へのレスね。
448:１３２人目の素数さん
18/09/29 16:12:41.31 isGr1pEL.net
圏論ならわかるというよりは、なかなか厄介な議論
構成的な測面をどこまで許すか
構造的には通用するとしても普通の多重圏論を拡張しているはずよね
449:１３２人目の素数さん
18/09/29 16:20:35.05 OBn6QMVK.net
>>435
もっちーが10年若ければ自分でやろうとしたかもしれないが
その辺を今からやるのは辛そうだ
でも周りはほんと頼りないから頑張って欲しいな
450:１３２人目の素数さん
18/09/29 16:21:05.32 SWwnY/SA.net
>>432
「学部レベルだった」がいわれのない罵倒でないことを証明するためには、
実際に学部レベルでの理解者が津々浦々に現れないとなｗ
451:１３２人目の素数さん
18/09/29 16:22:52.21 OBn6QMVK.net
>>432
えーと、5chのどのスレでの煽りですか？
いろんな板やスレで似た罵倒レスを見るんですがw
452:１３２人目の素数さん
18/09/29 16:32:55.69 SWwnY/SA.net
>>432
これよく考えてみると、SSのペーパーが表に出ない時点での望月派の言い分そのものだよなｗ
今となってはいかに彼らが汚い手を使ってたかの証拠だｗ
453:１３２人目の素数さん
18/09/29 16:41:18.24 oku1/M2o.net
>>432
↓
>>84
454:１３２人目の素数さん
18/09/29 16:52:00.22 0d2ZzpF2.net
望月新一と望月拓郎、どうして差がついたのか…慢心、環境の違い
455:１３２人目の素数さん
18/09/29 16:58:41.20 /EwKHSoO.net
>>441
マジレスすると周囲を巻き込んでやれなかった事
1人でやりすぎた
456:１３２人目の素数さん
18/09/29 17:05:12.40 iuDsO3RE.net
> でもな、特許裁判なんてこんなもんだぞｗ
今週一番面白かったレスはこれだな
> 裁判官だってそう思う
こいつは裁判官が思うなら数学者は言わずもがなと確信しているらしい
457:１３２人目の素数さん
18/09/29 17:08:07.86 M8z/9p3W.net
拓郎さんが地味に風評被害を受けてそうな件
458:１３２人目の素数さん
18/09/29 17:09:39.28 oku1/M2o.net
6月の段階で IUT一派はこんなアホ言って絡んできたな
↓
0252 １３２人目の素数さん 2018/06/14
19:31:51
>>245
要するにサーベイなどを読んでも
“If one interprets the above discussion in terms of the notation introduced
in the statement of Corollary 3.12,
one concludes that the quantity －|logΘ| is finite, and moreover, that －|log q|≦－|logΘ| ∈ R. ”
が分からないと言っているだけじゃないか。
どこが数学的にどう誤りなのかを述べている
わけではない。
繰り返し述べるが、－|logΘ| の有限性については >>228 で説明が与えられてて (原論文だと
[IUTchIV,Thm.1.10])
不等式が成立する理由に関しては >>224-227
で説明が与えられている (原論文だと[IUTch-III,p.133-p.150])
「 self-evident 」 の一言で片づけられてなど
なくて、数学的にきちんとした説明が
なされている。
数学的にきちんとした説明がなされている
459: 以上、証明になっていないことを確定させるには数学的批判でもって答えなければならない。 つまり、どこが数学的にどう誤りなのかを確定させなければならない。 例えば Cor.3.12 の反例（ ＝－|log q|≦－|logΘ| が成り立たない例 ）などを挙げる必要がある。 (勿論、それは査読者の仕事であって、ショルツがそれを確定させる義務は全く無い。) ID:Tkc3gSqt(12/19)
460:１３２人目の素数さん
18/09/29 17:31:47.21 OBn6QMVK.net
>>444
改姓を勧めよう
「吉田」あたりどうかな
461:１３２人目の素数さん
18/09/29 17:54:36.90 isGr1pEL.net
圏論的には理解できるが正しいとまではいってないのがポイント
462:１３２人目の素数さん
18/09/29 18:28:08.77 hJMTg58T.net
問題は極限の基本的な論理的性質は満たしてるという点だが
要するにVoevodsky笑
463:学術
18/09/29 18:43:12.43 YaHDSVjy.net
これ面白いよね。たまに愛読してるさ。ピーターフランクルのコラム読んでたけど
こっちの方がいいや。
464:１３２人目の素数さん
18/09/29 19:55:11.74 jBc6CulB.net
>>433
もう数学の話じゃねえwww
465:１３２人目の素数さん
18/09/29 19:59:33.32 IMsPetER.net
>>297
Bさんは名古屋の藤原を生贄に望月先生から秀司先生に寄生先を変えただけでは...
466:１３２人目の素数さん
18/09/29 20:26:04.97 isGr1pEL.net
論点は宇宙際しかないのかどうかだな
それまで宙づりかもな
467:１３２人目の素数さん
18/09/29 22:32:27.25 yLJAEYoE.net
圏論ではあるんだがトポスの議論になるだろうね
468:１３２人目の素数さん
18/09/29 22:40:31.18 M8z/9p3W.net
>>446
吉田耕作の養子になってもらおう
469:１３２人目の素数さん
18/09/29 23:03:18.33 OBn6QMVK.net
>>452
取り巻きの誰かが、危ない議論なしでIUT使って何か良い結果を出せたらいいが
まああり得ないだろうしな
470:１３２人目の素数さん
18/09/29 23:04:22.42 +fFpIdwh.net
ショルツ先生は、なぜcorollary3.12だけにこだわっているのだろうか。
もし望月先生の理論がでたらめなら、数百ページ以上もあるのだから、
間違いや疑問点の指摘のし放題だろうに。叩き潰すのなんて簡単だろうに。
ところが、数百ページ以上の論文で、明確な間違いの指摘はない。
あくまでも理解不能という意味の疑問点が、たったこの1箇所だけ。
これって、望月先生の理論がほとんど完璧と言っているようにしか思えない。
471:１３２人目の素数さん
18/09/29 23:13:54.24 oku1/M2o.net
↓
>>300
472:１３２人目の素数さん
18/09/29 23:20:32.27 H6PkijJN.net
擁護派にもチョンが混じってることが判明
473:１３２人目の素数さん
18/09/29 23:21:56.99 oku1/M2o.net
>>457
追加 結論がトンデモ
474:１３２人目の素数さん
18/09/29 23:26:16.74 M8z/9p3W.net
>>456
ショルツはCor. 3.12以降の議論は良く分からず、それまでの議論は基本的に定義から従うと書かれているだけだとコメントしてるからそういうことなんじゃない？
IUTが使えるかどうかは現状この不等式に関する結果が成り立つかどうかにかかってるみたいだし割と自然な疑問に思えるけど
URLﾘﾝｸ(galoisrepresentations.wordpress.com)
475:１３２人目の素数さん
18/09/29 23:31:26.19 oku1/M2o.net
物理は 物理体系に基づき 数学的に怪しい計算を普通に行う。
例 経路積分
476:１３２人目の素数さん
18/09/29 23:33:20.94 AWvGN37A.net
>>456 肝心要の部分だからな。全部付き合う必要なんてないだろ
477:１３２人目の素数さん
18/09/29 23:34:10.93 7KH1ivQP.net
>>458
ネトウヨが混じっているレベルの低さ。ばかは出てくるな。5ちゃんだからしょうがないか。
478:１３２人目の素数さん
18/09/29 23:38:45.17 H6PkijJN.net
身内はバカでもかわいいんだねｗｗｗ
479:１３２人目の素数さん
18/09/29 23:56:36.70 vrMz49P/.net
ノーベル賞の季節になると朝鮮人が火病起こして学問板で大�
480:\れするから注意 このスレにもいるようだなw
481:１３２人目の素数さん
18/09/30 00:21:06.67 hgaZfAyM.net
批判派:数学界の総意を代弁する部外者SWwnY/SA
擁護派:インチキ心理学者+fFpldwh
これは好カードやな
482:１３２人目の素数さん
18/09/30 00:33:32.48 47oumi/z.net
>>451
私も同感です。
483:１３２人目の素数さん
18/09/30 01:06:26.19 XiyjSLTa.net
科学ってのは形而上学でもアプリオリな絶対的真理でもなくそのプロセスのことだ、というのはもはや科学哲学の常識だからな
数学もけっして例外ではなく誰にも理解できない証明は反証可能性が満たされていないのだから最初から科学的証明たりえていない
誰にも理解できない数学的論証とジャーゴンの山を記述するのが数学者たる望月新一の仕事なら、
望月新一はそれを外部に発表すべきではなかったし、ましてやABC予想を証明したなどと外部に向かって宣言するべきではなかった
484:１３２人目の素数さん
18/09/30 01:21:30.19 oLgbXVtS.net
入れ子
485:１３２人目の素数さん
18/09/30 01:34:55.22 pqOZFPGX.net
「圏論には全く抵触しない」という見方については非常に怪しいと思うけどな
間違ってたら嫌だから理由は書かないけどw、圏論的にも微妙な所ではないか
PS-JSの批判は非常に真っ当で、操作主義的に構造を扱ったら何でもアリになってまうので
「当然」それは無い、と。「当然」同型としてリンクされて論理的に区別できないと
個人的には解決策として二つ挙げたい
・宇宙際形式主義でなければabc予想が証明できないことをメタ証明せよ
・フェルマーの最終定理をWilesとは異なる方法で比較的簡潔に証明し、威力を例示せよ
486:１３２人目の素数さん
18/09/30 02:03:25.20 7hM9LMSj.net
>>470
頭悪そう
487:１３２人目の素数さん
18/09/30 02:11:37.33 pqOZFPGX.net
>>471
「そのレスが本当だと証明」したいなら、是非具体的に訂正して解説してくれ
それじゃ
488:１３２人目の素数さん
18/09/30 02:12:18.54 yL0da1Gq.net
>>471 性格も頭も悪そう
489:１３２人目の素数さん
18/09/30 02:14:27.99 5ILbRWVh.net
罵倒しかできない取り巻き
490:１３２人目の素数さん
18/09/30 02:25:17.96 7hM9LMSj.net
>>472
・5ちゃんのレスであること
・間違ってたら嫌だからという逃げ口上
・にも関わらず無駄に偉そうな口調
・無能のテンプレそのものの返し