21/11/14 18:12:25.07 aC2yAAnC.net
Granvilleは、ABCが予想からABC証明になると、、
「ディリクレL関数のジーゲル零点」の論文が、得られる結果になる人？
URLﾘﾝｸ(dms.umontreal.ca)
URLﾘﾝｸ(dms.umontreal.ca)(Sep21).pdf
187:１３２人目の素数さん
21/11/14 18:38:19.58 Ci/bJtJU.net
>>183
日本語がおかしいね 日本人なら
”GranvilleってABCが予想から定理になると、、
「ディリクレL関数のジーゲル零点（は存在しない）」
という結果が得られる、という論文書いた人？”
と書くだろ？
188:１３２人目の素数さん
21/11/14 19:01:49.56 t3VmcHH+.net
日本、どの分野もそう�
189:ﾈんだけどトンデモほど注目を集めるんだよなあ
190:１３２人目の素数さん
21/11/14 19:08:57.88 zRKCbt4Z.net
しかしある意味“名を残す”という意味では論文がいよいよ失敗になってしまった方が名前は残るかもしれないな
ABC予想が証明されればもちろん大定理だけど、しかし同時代にFLTやポアンカレ予想が解かれてるのと見比べるとやや見劣りしてしまう
でも今回の論文がダメ隣れば数学史上の大スキャンダル
ある意味ワイルズやペレルマン抜くかもしれん
191:１３２人目の素数さん
21/11/14 19:14:12.29 WJAr9h48.net
フェルマーの最終定理か
FLTじゃ分からないよ
192:１３２人目の素数さん
21/11/14 19:28:55.39 Ci/bJtJU.net
>>186
ポアンカレ予想の解決が大成果であることは認めるけど
個人的には
「３次元ホモロジー球面って実はやたら沢山あるんだぜぇ」
という結果のほうがそそる
ちなみに証明したのは日本人の古田幹雄氏
193:１３２人目の素数さん
21/11/14 20:49:26.80 N1jnm7bs.net
>>183 >>184
ディリクレL関数のジーゲル零点で、仏リール大の論文頁14でIUTは誤差εが良好ってある。
URLﾘﾝｸ(dms.umontreal.ca)(Sep21).pdf
Elkiesも、ABCからモーデル予想の展開で、
URLﾘﾝｸ(academic.oup.com)
望月の論文発表に、「誰か分かったら教えて」と関心のあるコメントをしていた。、
URLﾘﾝｸ(quomodocumque.wordpress.com)
下記を読むと、明示的な定数でないけど、Rothの定理よりも誤差の少ない手法(仏リール大の誤差εと同様に扱える）ならば、多分嬉しいのでは？
NDE（Noam David Elkies略名） says: September 4, 2012 at 8:26 am
It would be shocking enough (and would fully justify JSE’s “holy crap” keyword) just to have a proof of ABC; effective (let alone explicit) constants may be too much to hope for, since we don’t have them yet even for Roth’s theorem, only an effective bound on the number of exceptions.
But for Roth, and other ineffective estimates in number theory (ranging from Siegel on class numbers to Faltings), the source of ineffectivity is that one needs more than one counterexample to get a contradiction.
Can anybody tell whether Mochizuki’s approach works this way too (assuming it works at all)?
194:１３２人目の素数さん
21/11/14 20:53:17.98 1u80cOkd.net
>>186
>やや見劣りしてしまう
そんなことはない
195:１３２人目の素数さん
21/11/15 06:13:02.53 WEM79JRU.net
本人のブログみたけど2020年時点ですでに糖みたいになってんだな、周りの人間に恵まれなかったのが残念
196:１３２人目の素数さん
21/11/15 07:27:55.84 qEFkMjts.net
NHKの番組はいつ見れるのかなぁ。
ショルツでないとは思わないけど、望月さん側で条件としてショルツ出さないなら協力するとか言ってたらやだなぁ。
197:１３２人目の素数さん
21/11/15 13:51:30.97 zma3CLTs.net
cor.3.12の不等式は望月予想�
198:ｶゃん。 まずIUT論文の査読過程の解明だろ
199:１３２人目の素数さん
21/11/15 14:27:39.58 zma3CLTs.net
>>191
>本人のブログみたけど2020年時点で
「内部」告発の用語まで使っていたが、
2012年8月に望月新一京大教授が
IUT論文をPRIMSへ提出。
2019年4月 査読中
RIMSは量子幾何学研究センターを
廃止統合しIUTTを中心に広く次世代
の幾何学の研究を推進するため
次世代幾何学研究センターを設置。
所属 センター長 望月新一教授
玉川安騎男教授
柏原正樹特任教授
森重文特任教授
2020年4月
PRIMSはIUT論文を受理
IUT論文のPRIMS特別編集委員会
IUT論文.著者望月新一
特別編集委員長 玉川安騎男
特別編集委員長 柏原正樹
利益相反で、RIMSの事業推進の
ために疑義が多いIUT論文を受理した
可能性が極めて高い、
査読過程の解明が必要だ
200:１３２人目の素数さん
21/11/15 14:45:28.55 sVzGnXg6.net
>>191 神輿は軽くてパーがいい。
狂ってしまった過去の人を利用してアレコレ画策した人たちが一番の問題だよね。
201:１３２人目の素数さん
21/11/16 03:21:12.78 jvDTkHSS.net
>>194
もうあんた出てこなくていいよ
文科省評価がどーたらとか
私怨レベルの言いがかりをよくもまあ粘着続けられるねぇ
自宅警備員もさぞかし暇なんだろうねえ
202:１３２人目の素数さん
21/11/16 03:22:42.40 jvDTkHSS.net
だいたいこのスレでアホな批判してんのは、こいつ一人だけだからね
ID変え変えお疲れさまです！
203:１３２人目の素数さん
21/11/16 04:37:23.77 YLpM9BN1.net
>196->197
24時間粘着のスレ監視員ご苦労さん
あなたのワンパターンのいいがかり
コピペ連呼は聞き飽きたしあらしです。
>だいたいこのスレでアホな批判してん
のは、こいつ一人だけだからね
ID変え変えお疲れさまです！
なぜか自然にID変わる時があるけど
理由はしらないし批判者は1人だけでは
ない。
査読過程の事実と疑問をのべているだけ
京大RIMSには都合が悪い事実かも
しれないが事実だ
>文科省評価がどーたらとか
私怨レベルの言いがかりを
よくもまあ粘着続けられるねぇ
文科省評価とどーたらと私怨を
詳しく述べてください。
文科省にも監督責任がある。
闇は深いし深い闇を解明するのが
NHKスペシャルのはず
204:１３２人目の素数さん
21/11/16 07:03:45.48 gRzlGBz8.net
>>196-197
夜は寝とけ
ただでさえ少ない脳細胞がますます少なくなるぞ！
205:１３２人目の素数さん
21/11/16 07:20:38.39 NiPPXuC6.net
NHKは100％肯定的な描き方になるだろうなぁ。
まだまだ数学界はIUTTに追いついていないが数十年たてば時代はIUTTになるだろう。
みたいな締めになると予想。
エンドロールのあとの１分間にショルツがでてきて1分だけブリーフィングするオチがつくと素敵。
"Die abc-Vermutung hat sich noch nicht gelöst. Ich möchte es sagen."
206:１３２人目の素数さん
21/11/16 07:26:18.14 K6BfBeoO.net
abc予想はまだ解けていないと申し上げておきたい
207:１３２人目の素数さん
21/11/16 10:07:35.75 UsNuKCZ3.net
>>200
ちょwwwそれはいくら何でもショルツをおちょくり過ぎてはwww
208:１３２人目の素数さん
21/11/16 11:57:12.87 V49hAxr1.net
編集としては
ショルツのそのコメントは最初に持ってくるべき
209:１３２人目の素数さん
21/11/16 12:20:20.81 Py+tZT9D.net
そもそもやたら長いだけで前提知識だけ見れば読めないという類いのものでもない。10年経っても空気が微妙
というのはそらもう
210:１３２人目の素数さん
21/11/16 12:23:20.99 Py+tZT9D.net
Katzはあんま関係なくねという人もいるけど、プリンス
211:トンのディオファントス幾何界隈の 狭いコミュニティの意見が大体反映されてると思って見たほうがいい
212:１３２人目の素数さん
21/11/16 12:26:13.79 V49hAxr1.net
リーマン予想の時のドブランジュと同様
Mochizukiは番組の最後に出すべきだろう
213:１３２人目の素数さん
21/11/16 13:20:09.07 NiPPXuC6.net
問題は制作者側が理論を理解できた上で番組作れるのかというところだけど。
そこはまず無理そうだから、加藤さんあたりが監修に入りそうだね。
214:１３２人目の素数さん
21/11/16 14:06:40.45 nLqif7o1.net
いやそこは森先生にお願いしないと
215:１３２人目の素数さん
21/11/16 19:50:50.91 Z0Zt8XJW.net
犬HKは些細さんを頃しちゃったから、どっちつかずで新規性ゼロの中途半端な内容で終わりそう。
216:１３２人目の素数さん
21/11/16 20:11:47.83 Py+tZT9D.net
>>204
多分加藤も理解してないけどね
217:１３２人目の素数さん
21/11/16 22:04:52.99 kd3eL4U0.net
>>180
２．玉川安騎男の「査読過程は墓場まで持っていく」
つまり、査読課程には後ろめたいところがある、
つまり、本当は正しいと確信できなかったけど査読を通したってことじゃん。
完全に白状しているよｗ
ＲＩＭＳによる検証チームも査読も、まったくテイをなしていなかったことは、
その後の展開を見れば誰の目にも明らかだけどね。
218:１３２人目の素数さん
21/11/16 22:12:02.48 kd3eL4U0.net
>>200
公共放送と名乗るのならそんなことは許されない。
そんなのはＵＦＯ肯定論の番組と変わらない。
219:１３２人目の素数さん
21/11/16 23:26:53.73 K6BfBeoO.net
犬アッチケーじゃなかった？
220:１３２人目の素数さん
21/11/16 23:38:47.80 Z0Zt8XJW.net
些細が死んで、さすがに懲りてるんじゃないか？
221:１３２人目の素数さん
21/11/17 00:19:55.02 Vahh9XmU.net
サイアス残党兵臭
222:１３２人目の素数さん
21/11/17 07:18:47.22 LXQ2v5Ui.net
NHK番組もう少し詳細（放送予定日とか、出演者とか）情報ないのかな。
Dupuyさんがインタビュー受けたっていうつぶやきが発端なの？
223:１３２人目の素数さん
21/11/17 10:06:38.13 CBpLsKO9.net
あんな雑魚取り上げる時点で取材力はお察し。。。w
224:１３２人目の素数さん
21/11/17 15:34:10.66 Wib7CdQz.net
まあ、
世界の数学界で意見を拝聴すべきは
まずICM2022の数論でPLENARY
SPEAKERのF.CALEGARIシカゴ大
教授ですね。
225:１３２人目の素数さん
21/11/17 15:42:29.59 4eA3YvUK.net
DupuyはGと戦闘力的にはあまり変わらない
226:１３２人目の素数さん
21/11/17 15:46:49.45 vdIoGlmj.net
HNKといえば映像の世紀
227:１３２人目の素数さん
21/11/17 19:25:40.98 FLQtrF2H.net
スペシャルもあるでよ
228:１３２人目の素数さん
21/11/17 22:20:13.37 appp+b5h.net
NHKといえば
刑事 コロンボ
フランケンシュタインの誘惑
科学史 闇の事件簿
229:１３２人目の素数さん
21/11/17 22:25:23.36 HGb+eRX7.net
先週の土曜日に
「パイルP-3の壁」を見た
これを見たのは3回目くらいか
230:１３２人目の素数さん
21/11/18 08:01:33.72 +OQj7lag.net
俺もみたよ
先入観も利用したトリックでしたが
231:１３２人目の素数さん
21/11/18 08:51:56.60 Ii4z+94D.net
ここで葉巻をやめたんだね
232:１３２人目の素数さん
21/11/18 14:28:08.19 H9FU6HQZ.net
Dupuyのツイート消えたな
NHKから怒られたか
233:１３２人目の素数さん
21/11/18 19:59:32.58 zslkXy4B.net
葉巻をやめたのは初めて知った
234:１３２人目の素数さん
21/11/18 21:46:55.28 Ii4z+94D.net
事件を解決し、港のそばのボートハウスから出て来て、同僚のクレイマー刑事に葉巻の火を借りるコロンボ
クレイマー「（葉巻は）やめたんじゃないんですか？」
ニヤリ、とコロンボ
コロンボ「まぁだまだ。やぁ、まだやめられませんよ。もうちょい、やらせてもらうよ。もうちょい。」
船着場へ降り、一人ボートに乗り込み沖へ向かって漕ぎ出すコロンボ。呆気に取られるクレイマー刑事
クレイマー「どこに行くんです！？」
コロンボ、最後に叫ぶように言う。
コロンボ「カミさん乗せてやろうと思って。せめてこのボートに」
どんどん遠くなっていくコロンボ。そしてエンドロール。
235:１３２人目の素数さん
21/11/18 21:50:43.49 LBzZh5S+.net
さらば提督
236:１３２人目の素数さん
21/11/18 22:14:23.67 23wv0kYN.net
まゆちゃん だいすき ！
237:１３２人目の素数さん
21/11/18 22:34:27.24 Ii4z+94D.net
RIMSがらみか
238:１３２人目の素数さん
21/11/18 23:19:28.31 VR1EFyEr.net
刑事「“SIM”ですよ」
コロンボ「でもR余っちゃう」
239:１３２人目の素数さん
21/11/19 00:57:14.58 FyOMRR1w.net
IUTならRIMSがらみよりぐるみだろう
先入観も利用した粗雑なトリック
240:１３２人目の素数さん
21/11/19 07:16:22.52 UrrN0sO5.net
五人論文は Kodai Math J なんか
なんか性善説に依るシステムを恣意的に利用してる感がたまらんのう
241:１３２人目の素数さん
21/11/19 10:30:37.31 FMnaiPLa.net
五人論文？
242:１３２人目の素数さん
21/11/19 12:22:53.31 b5afLtyT.net
身内ジャーナルにしか相手にされないもので、後ろ指をさされたまま、
一生ごまかしを続けるつもりなのかね、取り巻きたちは。
それでポストや研究費得られたとして、幸せな人生になりうるんだろうか、それは。
人間の良心が欠落しているサイコパスや自己愛性人格障害なら
こういう選択もありなんだろうな。
243:１３２人目の素数さん
21/11/21 03:45:13.28 JDdtT2T8.net
しかし同じファルティングス門下で意見が真っ二つというのが闇深いな
数学でそんな相違は普通生まれないのだから
244:１３２人目の素数さん
21/11/21 07:33:28.05 aIf1Q4xY.net
ScholtzeはRappoportの弟子だろう
245:１３２人目の素数さん
21/11/21 12:47:26.84 kXmWFiDm.net
>>218
Calegariはもう関心を持ってない
URLﾘﾝｸ(www.galoisrepresentations.com)
246:１３２人目の素数さん
21/11/21 12:52:48.54 5z6rVE55.net
なんか t と p が余計なような
247:１３２人目の素数さん
21/11/21 13:11:30.99 3mItsqON.net
五人論文は完全なフェルマーの別証明を与えたようだな
248:１３２人目の素数さん
21/11/21 14:34:22.63 kXmWFiDm.net
>>235
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
249:１３２人目の素数さん
21/11/21 15:05:56.88 b1/gQMi8.net
プレプリントが出たのは1年前の話だし、相変わらず日本語のウィキペディアにしか言及されてないな
世界には無視される理論になっちまったか
250:１３２人目の素数さん
21/11/22 07:37:20.23 4RnwgGf2.net
なんだかいよいよ「IUTT団」みたいになってきたの？
Alternative Mathみたいな感じ？？
251:１３２人目の素数さん
21/11/22 11:13:24.45 DWfxUSNp.net
>>241
身内では完全なのだろう
252:１３２人目の素数さん
21/11/22 13:03:28.50 JO3ids7F.net
職や予算がもらえるとはいえ、あんなことやってて虚しくならないのかね？
今後一生続けるとか普通なら生き地獄だと思うけど。。
253:１３２人目の素数さん
21/11/22 15:17:30.85 M7CUFpqW.net
>>246
水木しげるの「錬金術」の世界
254:１３２人目の素数さん
21/11/22 17:09:19.73 4RnwgGf2.net
いろいろ具体的な応用（ワイルズの定理の別証明とか）が出始めたみたいだけど、
そのうちリーマン予想に言及しそうですね。IUTTはゼータ函数に関わる側面があるみたい。
なんだ前世紀の未解決な主要問題が
255:結構解けてしまうかもしれない。 すごい、すごい。でもDr. Calegariが引用している写真の話はいまいちたとえの意味がわからない。 そのまま読むと、そういうことなの？？っていう感じなんだけど。。
256:１３２人目の素数さん
21/11/22 18:51:46.26 M7CUFpqW.net
>>いろいろ具体的な応用（ワイルズの定理の別証明とか）が出始めたみたいだけど、
ソースは？
257:１３２人目の素数さん
21/11/22 19:01:25.40 4RnwgGf2.net
math_jin
258:１３２人目の素数さん
21/11/22 19:05:50.15 JO3ids7F.net
虚構の上で何やろうと砂上の楼閣。
259:１３２人目の素数さん
21/11/22 22:39:48.48 ec2zTVFU.net
> Proof. Lemma 1.11 is well-known and entirely elementary.
こんな無駄な一行書く必要あるのか？
260:１３２人目の素数さん
21/11/23 02:40:28.55 /vmdY8i8.net
NHKなんて栗城のエセ登山番組出すくらいやからなあ
261:１３２人目の素数さん
21/11/23 07:14:01.40 BmHjxb18.net
5月18日、天候は晴れ。栗城さんはベースキャンプからキャンプ２（6,400m）へと向かう。そこで２泊し、20日午前6時ごろにキャンプ３へ向けて出発した。難関と言われる南西壁を登り始め、15時頃に7,400m辺りに到着。標高を少し下げてテントをはり、「翌朝１時に頂上へ向けて出発する」と無線連絡をした。しかし、20時30分ごろ「吐き気が止まらない。ちょっと異常な感じがして危ないかもしれない。今すぐキャンプ２に下ります」と無線で下山を伝える。23時ごろ「救助のため登ってくるシェルパのヘッドライトを目指す」と無線。この時点で栗城さんのヘッドライトは消えており、月明かりを頼りに下山をしていたと推定される。これを最後に、連絡が途絶え、翌朝シェルパが6,600m地点で栗城氏の遺体を発見した。下山中に滑落、全身を強打したことが死因である。
262:１３２人目の素数さん
21/11/23 08:40:34.46 cDpaziFl.net
リーマンとかポアンカレみたいなのだろうな、面白かったけど
263:１３２人目の素数さん
21/11/23 09:14:45.14 QSnsPEhH.net
>>252
え？
その一行望月先生の論文の抜粋？
264:１３２人目の素数さん
21/11/23 13:14:11.99 C70j/s00.net
>>254
栗城史多 知らんなぁ・・・多分、次の日には完全に忘れる
URLﾘﾝｸ(ja.wikipedia.org)
265:１３２人目の素数さん
21/11/23 14:29:28.16 7nmaQwyR.net
Because it's there.
266:１３２人目の素数さん
21/11/23 16:34:45.56 VoReGKZ5.net
>>255
どっちも内容的にひどかった記憶があるな
リーマンのほうはトンデモ証明を繰り返し出してるひとにスポット当てて意味がわからんかった
267:１３２人目の素数さん
21/11/23 17:30:13.43 C70j/s00.net
リーマン予想で再三トンデモ証明を書いてる
ド・ブランジュが主人公の番組を平気で作るＮＨＫなら
ＡＢＣ予想でワケワカラン証明書いた
望月新一が主人公の番組作ってもおかしくないね
数学のスの字もわからんド素人だから
何がどうおかしいかも全然わからんのだろう
それじゃ恥も罪も感じないわな
268:１３２人目の素数さん
21/11/23 19:52:10.50 QuF6t8hf.net
＞望月は、標準的な用語の非標準的な定義を使用しており、他の人の定義（標準的な定義）が矛盾につながると不平を言っています。
＞違いを無視しようと主張しなければ、彼らは本当にそうしません、そして私は彼がそれに固執する理由を理解していません。
URLﾘﾝｸ(thehighergeometer.wordpress.com)
269:１３２人目の素数さん
21/11/23 19:57:27.85 1lIvKD5i.net
まあそんなこった�
270:�うと思ってた 同時並行で研究してるから用語が被っちゃうんだ
271:１３２人目の素数さん
21/11/23 20:49:32.73 G7txW2Ui.net
望月新一京大RIMS教授推薦
加藤文元東工大教授著
-宇宙と宇宙をつなぐ数学IUT理論の衝撃- p51
「IUT語。IUT理論は、一般的な数学
のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
272:１３２人目の素数さん
21/11/23 20:51:58.44 3XPGA5um.net
すでにある用語をわざわざヘンテコな言い回しするのはやましい気持ちがあるから。
273:１３２人目の素数さん
21/11/23 20:55:08.58 3XPGA5um.net
意識高い系がわけわからん横文字ばかり使うのと一緒だね。
奴らは内容がないから突っ込まれることを恐れている。
274:１３２人目の素数さん
21/11/23 20:58:53.07 uEOJww/4.net
最近もA.Unterbergerという擬微分作用素の黎明期の伝説的な研究者がリーマン予想の証明主張してたな
275:１３２人目の素数さん
21/11/23 21:07:22.60 uEOJww/4.net
望月といえば今でもグロタンディーク予想であって
初期に発表していたHA理論やp進タイヒ理論はスケールが大きい割にあまり影響を与えていないのだよな
276:１３２人目の素数さん
21/11/23 21:08:20.32 1lIvKD5i.net
>>264
いつからあった用語なのかが問題だ
277:１３２人目の素数さん
21/11/23 21:54:27.78 G7txW2Ui.net
>>239
なるほどね
278:１３２人目の素数さん
21/11/24 00:10:31.53 SPQO+GZo.net
>>261
前半だけ、もう少しましな訳を付けてみたよ
私が基礎的な圏論について書くものに対して、京都の誰かが耳を傾けてくれるのではないかという虚しい期待を抱きつつ、なぜ自分がこんなことをしているのかよくわからないのだが。IUTワークショップの組織委員会から（実際には望月さんから直接）、最近のIUTワークショップの（ほぼ秘密の）録画を見るために登録するようにという、かなり広く送られていると思われるメールを受け取った。メール自体は秘密ではなく、ここで見ることができる。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
さらに、「RCS」または「冗長コピー学派」と呼ばれている、基本的にはScholzeとStix、そして彼らのアプローチに同意する人々に対して、IUTの論文を理解しようと努めて欲しいという文句も言っている。メールには次のように書かれている。
--
残念なことに、IUTに関するある種の誤解が世界のある地域で続いていることに私は気がつきました。おそらく最も有名な誤解は、「冗長コピー」の存在を主張するものでしょう。この誤解は、「貼り合わせ (gluings)」にまつわる一般的なナンセンスに関する、よく知られた、基本的には大学院初歩レベルの数学に関わるものです。例えば、この誤解を射影直線のよく知られた貼り合わせ構造に「適用」してしまうと、この貼り合わせに現れるアフィン直線の2つのコピーは「冗長」であり、したがって区別できるという結論になります。この区別はすぐに矛盾を引き起こします。すなわち、射影直線が存在しないことの「証明」になってしまうのです。詳細は[EssLgc] (URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)) の序文とそこに記載されている文献に記載されています。
--
メールではこの文書 (URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)) を参照しているが、控えめに言っても、この文書はIUTのどの部分も数学的に正当化するものではない。
とにかく、望月が間違ったことをしないと思っている人がいるかもしれないので、私は、アフィン直線の「冗長な」コピーを使わずに、射影直線の完全で初歩的な構成を、証明付きで書き出した。
URLﾘﾝｸ(thehighergeometer.files.wordpress.com)
これは、Mac Laneの古典的な教科書「Categories for the Working Mathematician」に載っているpushout（＝貼り合わせ構造）の標準的な定義と、通常の射影直線の定義を使っている。それほど面白いものでもないが、誰かがしなければならないことだった。
このノートに書かれているタイプの推論が、いわゆる「RCS」がやっていることだと、私は正当な理由をもって主張する。それは標準的な圏論であり、標準的な数学だ。ここには言語的なトリックや混乱、深く有害な崩壊はない。望月さんは、標準的な用語の標準的でない定義を使って、他の人の定義（標準的なものだ）が矛盾につながると文句を言っている。違いを無視しようと主張したりしなければ実際には矛盾は起きないので、なぜ彼がそこにこだわるのか理解できない。
279:１３２人目の素数さん
21/11/24 00:19:48.70 79Oz/t/r.net
はあ。論争に関する論文と同じような話を別のテキトーな例を使って繰り返してんのかw
280:１３２人目の素数さん
21/11/24 00:34:15.90 sO5YhyxD.net
>>270
結局用語の定義で争ってるんだな
もう名前空間でもつけとけ
RIMS.もっちー.○○とかｗ
281:１３２人目の素数さん
21/11/24 07:10:40.86 SPQO+GZo.net
朝日の石倉がまた暴走してるな
5人論文がpublishされるという記事が朝刊に載ってる
京大とノッティンガムの著者しかいない論文が東工大の
雑誌に載る異常さについては完全スルー
282:１３２人目の素数さん
21/11/24 07:22:57.33 BM/cx+ua.net
なんだか結局「識別」問題が並行線をたどっているのだね。
決着はどうつくのだろう？？
283:１３２人目の素数さん
21/11/24 09:04:43.44 73sljFW6.net
最終定理は「おまけ」
284:１３２人目の素数さん
21/11/24 13:17:29.13 BM/cx+ua.net
なんかどんどん走ってきたけど、うまくいくといいなぁ。
285:１３２人目の素数さん
21/11/24 13:33:23.86 o9oj3uWY.net
まぁもうなんか正常路線に戻る事はないやろ
もうRIMSの人は3.12の周辺は" entirely elementary "で済ましてしまうと腹決めたようだ
しかしGerd Faltings, Peter Scholze, Terence Tao ら名だたるフィールズ賞受賞者達が理解できない論文がこのまま数学界で受け入れられるなとありえようはずもない
もうrimsの外の人で望月論文を勉強して理解してギャップを埋める作業を引き受けようと思う人間はでんやろ
そして中の人はこのまま批判の声はガン無視で突っ走ると決めたようだし、もうこのまま状況が変化するきっかけが出てくるとは思えない
もうずっとこのままだよ
286:１３２人目の素数さん
21/11/24 13:33:25.13 79Oz/t/r.net
トポロジーやガロア群のスペシャリストであるショルツがこの手の"distinguished objects"の理屈を
理解しないってことは尋常ではないんだが
素人にはこの論争の異様さがわかりにくいのではないか
287:１３２人目の素数さん
21/11/24 14:14:06.07 bnn5dm3H.net
>素人にはこの論争の異様さが
わかりにくいのではないか
ショルツェは森重文京大特別教授
の提言よりショルツェスティクス
望月新一星ミーティングをして
レポートを書いた、論争なんかない。
元々IUTが異様ですね
↓
>>263
288:１３２人目の素数さん
21/11/24 14:29:48.54 RRSYOh6Y.net
>>277
なんで数理論理君のレスってすぐ分かるんだろうな…
IUT批判派なのにIUT擁護派的な権威主義というか…
289:１３２人目の素数さん
21/11/24 14:36:44.95 BM/cx+ua.net
生きているうち決着つくのかなぁ。
290:あと10年くらいでIUTTについての認識が確定しないかなぁ。 もっとかかるかなぁ。
291:１３２人目の素数さん
21/11/24 14:54:53.52 CwYbEVNo.net
>>281
確定するとすれば誰かが望月論文のギャップを埋めた標準的な数学者なら誰でもちょっと頑張れば理解できるレベルの文章が作成された時やろな
それができない場合にはなし崩し的にいつのまにかなぁなぁに認められるなどという事はない
否定的に「反例が上がって否定的に決着がつく」も多分ないやろ
ショルツェの書評によれば3.12の前部分では特に問題ないみたいだし
疑義が上がってるのは3.12のみ
そして反例をあげようにもそこまでの記述が曖昧でハッキリしない部分がある、で自分が“オレの感覚ではこう埋めるしかない”という解釈で反例持っていったら望月先生には裏で爆笑したとかしないとかいう話が持ち上がってた
嘘かほんとかは知らんけどそれじゃ反例上がって否定的に決着もつきそうにない
天才の>>280が頑張って“補完レポート”作ってくれるのを待つしかないやろな
292:１３２人目の素数さん
21/11/24 15:08:02.00 YX6dr+Ej.net
もうとっくに確定してるでしょ。
人間関係や利害相反でリジェクトできない身内の三下ジャーナルに載せて、
細々と誤魔化していくしか道はなくなった。
決着はZBmathレビューでとうに終わったのだよ。
293:１３２人目の素数さん
21/11/24 15:58:26.63 CorSZ1Hb.net
否定されたからどうにか否定し返したくて何も繋がってないの草生える
294:１３２人目の素数さん
21/11/24 16:06:10.97 eZG8Gd2i.net
>>282
以前は問題ないというかほとんど自明な内容しかないという感想じゃないか、どっちかといえば
295:１３２人目の素数さん
21/11/24 16:09:20.98 J5LjYVQS.net
で、Cor. 3.12のギャップは埋まったの？
296:１３２人目の素数さん
21/11/24 16:32:42.56 BM/cx+ua.net
それまで自明なのにいきなりそこにくるとギャップがあるってどういうことなんだろうね。
297:１３２人目の素数さん
21/11/24 17:01:22.03 hB0IzbmK.net
By applying Definitions 3.3, 3.4, 3.5 ...
こんなの誰が読むんだ
298:１３２人目の素数さん
21/11/24 17:01:28.57 J5LjYVQS.net
>>287
数学あるある
このアイデアで行けそうだと思っても自明な議論しかできなくて肝心なところで詰まる
299:１３２人目の素数さん
21/11/24 17:20:35.64 BM/cx+ua.net
その自明というのはいくつか仮定がある上で話すとそこは必然的にそうなるという意味か。
ただその仮定が真とはいえないので途中であたかも仮定が真であるように飛躍してしまっているようなことかな。
わからんけど。想定して話始めているうちにいつのまにか事実としての話になっていたみたいな。
そうだとするとなかなか怖いよねw
300:１３２人目の素数さん
21/11/24 17:33:35.82 eZG8Gd2i.net
遥かに前段階から疑うとすれば、絶対遠アーベル幾何学とか関数体のホッジアラケロフ理論に言及する
トップクラスの幾何学者が国内含めどれだけいるかっていうね
ホッジ理論もアラケロフ理論も本来は数論幾何学では常識に近くなってきた理論であるにも関わらずだ
301:１３２人目の素数さん
21/11/24 18:01:21.34 BM/cx+ua.net
ドナルドソンの有名なポアンカレ予想４次元版の論文っていまだに理解している人が少なかったけど
若手のグループがきちんと理解できるように噛み砕いた（？）論文集を出したという記事がQuantaに載ってたなぁ。
でも、フィールズ賞までとった論文の理解者が40年近くたってもほとんどいないっていうのは
現代数学ってなんだろうって思った。
302:１３２人目の素数さん
21/11/24 18:05:55.47 0pgDOHR/.net
>>247
>水木しげるの「錬金術」の世界
スレちだが
妖怪 金霊 というのが、いるらし�
303:｢ね ゲゲゲの水木しげるさん、なつかしいな https://ja.wikipedia.org/wiki/%E9%87%91%E9%9C%8A 金霊(金玉、かねだま、かなだま)は、日本に伝わる金の精霊、または金の気。 厳密には金霊と金玉は似て非なるものだが、訪れた家を栄えさせるという共通点があり、金玉が金霊の名で伝承されていることもある。ここでは金霊、金玉の両方について述べる。 https://upload.wikimedia.org/wikipedia/commons/2/2a/SekienKanedama.jpg 鳥山石燕『今昔画図続百鬼』より「金霊」 金霊 鳥山石燕による江戸時代の妖怪画集『今昔画図続百鬼』によれば、善行に努める家に金霊が現れ、土蔵が大判小判であふれる様子が描かれている。 https://www.dailyshincho.jp/article/2015/12090810/?all=1 デイリー 新潮 週刊新潮 2015年12月10日号掲載 93歳で大往生「水木しげる」が大好きだったお金と睡眠と豪華な食事 2015年12月09日 漫画界はまた1人、巨匠を失った。『ゲゲゲの鬼太郎』などの妖怪漫画で一世を風靡した水木しげる氏（本名・武良茂）が、93歳の大往生を遂げたのだ。常日頃、大好きだと公言して憚らなかったのは、お金と睡眠と豪華な食事だったという。 https://www.dailyshincho.jp/app/amazon_image/api/image/4106022613_m.jpg 『水木しげる―鬼太郎、戦争、そして人生―』水木しげる 著／梅原猛 著／呉智英 著
304:１３２人目の素数さん
21/11/24 19:03:22.07 gn5Q+JSr.net
>>292
実はそういう話って結構あるよ
20世紀後半あたりの有名で誰でも知ってるような結果でも、実は証明が不完全で
最新の道具を使ってやっと理解できる証明が出来た、とかね
305:１３２人目の素数さん
21/11/24 19:32:22.82 bSmRi9Q7.net
この証明不完全だなとは思っても
それを直したところで、よっぽどの例外を除いて業績にはならんからな
任期ありの人間にしてみたら尚更そんな暇ない
306:１３２人目の素数さん
21/11/24 19:41:12.14 Ze+fcaRb.net
なるほど
307:１３２人目の素数さん
21/11/24 19:44:40.97 V7507mjy.net
>>292
＞ドナルドソンの有名なポアンカレ予想４次元版の論文
４次元版ポアンカレ予想を解決したのはフリードマンだろ
New Math Book Rescues Landmark Topology Proof
URLﾘﾝｸ(www.quantamagazine.org)
Michael Freedman’s momentous 1981 proof of the four-dimensional Poincaré conjecture was on the verge of being lost. The editors of a new book are trying to save it.
The Disc Embedding Theorem
URLﾘﾝｸ(global.oup.com)
308:１３２人目の素数さん
21/11/24 19:55:30.56 V7507mjy.net
ドナルドソンといえばエキゾチックR^4
そういや、今度朝倉書店から4次元多様体の本が出るんだよな
URLﾘﾝｸ(asakura.co.jp)
URLﾘﾝｸ(asakura.co.jp)
309:１３２人目の素数さん
21/11/24 19:58:39.51 cFGMwDNH.net
またやらかしたと聞いて
310:１３２人目の素数さん
21/11/24 20:01:22.06 bSmRi9Q7.net
さらに言うと
自分の仕事を完結させる為にはどうしてもその定理が必要
311: となったら その定理をそのまま引用して使って責任はその引用先 という例もなくはない この「ロンダリング」が行われると よっぽど大事な定理でない限り発見は無理
312:１３２人目の素数さん
21/11/24 20:15:37.21 JXSTWs56.net
>>297
そのQuantaに渡邉 忠之さんの大きな業績に関する記事があるね
URLﾘﾝｸ(www.quantamagazine.org)
313:１３２人目の素数さん
21/11/24 20:22:03.32 Ze+fcaRb.net
文系も二次資料からの引用で業績にして
その責任は引用先っていうのが問題視されているらしいな
国立大学独法化でさらに研究環境が厳しいのだろう
314:１３２人目の素数さん
21/11/24 21:13:50.71 2XqG0qz4.net
まあこんなことしてるようなら国立大学そのまま潰してもいいようが気さえするな
昔みたいに中国から呼んだらどうだ
315:１３２人目の素数さん
21/11/24 21:22:50.76 bSmRi9Q7.net
念の為言っておくと
別に日本だけの傾向ではないというか
むしろうわやめろ何をする
316:１３２人目の素数さん
21/11/24 21:23:09.43 8t7epn/6.net
>>295
あれ、ピーターショルツはcondensed mathematicsのある定理の証明に自信が持てないと、コンピュータで証明していましたよね
317:１３２人目の素数さん
21/11/24 21:34:10.79 eZG8Gd2i.net
東大や名大まで乗っからなきゃまだ大丈夫だろw
318:１３２人目の素数さん
21/11/24 21:50:40.41 qIQVTWjk.net
IUT界隈（望月さんの周りの人）でギブアップ宣言して、ぶっちゃける人いないの？
望月さんがぐだぐだ言っているけど、よく分かんねーわって。
逆に、分かってるなら、5ch等で挙げられている疑問を
一掃させるような、解説を形だけでもしろよと。
レビューする能力がない素人からすると、もやもやする。
319:１３２人目の素数さん
21/11/24 21:55:53.90 eZG8Gd2i.net
>>307
俺は前から講談社がやれと思ってるんだけどw
今なら分散して共著にしたら一年以内にできるだろうしな。共立や岩波、現代数学社はやらないでいいし
やらないで欲しいw
320:１３２人目の素数さん
21/11/24 22:16:18.14 56qutrtQ.net
NHKは3億円賞金獲得した拓郎さんも望月ついでに特集しろよ。
321:１３２人目の素数さん
21/11/24 22:30:34.71 2ZGGO/Bz.net
>>307
"Invitation"における主張に誤りがあるとRoberts氏が
明確かつ詳細なレポートを付けて指摘してるんだから(>>270)、
名指しされたsomeone in Kyotoが説明なり反論なりすべきだな
それができないというのなら白旗でも挙げるがよろしいかと
322:１３２人目の素数さん
21/11/24 22:40:23.29 bFsdGU6U.net
>>307
それやったら人生終わる人ばっかりなんだろ
323:１３２人目の素数さん
21/11/24 22:49:24.73 y3eoSoSk.net
数理論理君はもういいよ、一本調子のネガティブ主張ばっかで飽き飽き
324:１３２人目の素数さん
21/11/24 22:50:33.16 y3eoSoSk.net
それよか巷では望月がついに心を開け始めたらしくてな、ロバーツとも建設的なメールの議論をはじめたらしい
325:１３２人目の素数さん
21/11/24 22:51:08.94 y3eoSoSk.net
ついでに言うと、ショルツェともまだメールで議論してるってよ
326:１３２人目の素数さん
21/11/24 22:52:14.86 y3eoSoSk.net
そもそもショルツェの過度の単純化が生んだ「誤解」に端を発してるんだから、「ギャップ」なんてのはそもそも存在しないのよね
327:１３２人目の素数さん
21/11/24 23:05:22.25 YpFXJlww.net
君はどれが数理論理君か分かってないでしょ
328:１３２人目の素数さん
21/11/24 23:16:40.37 y15vCwsW.net
残念なのは国内でこういうのが起こると
国内初の研究が信用できなくなることなんだよな
今日も東大等の共同研究で新しい暗号技術が公開されたけどイマイチ信用できない
329:１３２人目の素数さん
21/11/25 00:28:15.92 ENCSvBr2.net
>>310
何が重要な論点なのか知りたいのですが、
指摘(>>270)では
望月は「冗長コピー」が存在すると主張しているけど、
事実は「冗長コピー」は存在しないので論文は間違いだ
といいたいのでしょうか。
330:１３２人目の素数さん
21/11/25 01:05:58.97 iqj/DAEV.net
>>317
不動の自信があるなら他国の雑誌に送ればいい
グロタンもそうしたしな
331:１３２人目の素数さん
21/11/25 01:06:54.53 CIaR2vrX.net
次世代幾何学研究センターを立ち上げちゃったし、
RIMSはもう引くに引けない
笹井氏が首を吊って理研CDBが吹っ飛んだ、
あの悲劇の二の舞は見たくないな
無邪気に持ち上げてる朝日新聞は、もし死人が出たら
「俺たちもだまされてた！」って言いながら真っ先に逃げるんだろうなー
332:１３２人目の素数さん
21/11/25 01:14:46.96 9iHIN9J9.net
Yahooでニュースになっていたので、思い立ってこのスレに久しぶりに来ました。
もっちー先生や著名な関係の皆様も元気そうで何よりです。
私は相当応用数学よりの人間ですが、応用数学でさえ、本人（アメリカ人）以外は
誰も読めないという論文が一流としてまかり通っていたりしますねえ。どう査読を
通ったのかはよくわかりません。名前で通ったのでしょうか。
なんにせよ、まだまだ話は続きそうでよかったです。
333:１３２人目の素数さん
21/11/25 01:22:02.55 rQmmbJ2r.net
完全位相位相完全
334:１３２人目の素数さん
21/11/25 03:16:13.65 NIEF8kq+.net
失礼を承知でいったら応用に近いほうがいい加減な話は通りやすい気はする
数論幾何は難しいとされるが、割と論理が白黒はっきりしてなきゃまずい分野だ
尤もネトウヨ系の方々は「IUTは難しすぎて外国人には理解できない」という図式を好まれるらしい
335:１３２人目の素数さん
21/11/25 06:45:44.00 O11SR5rJ.net
>>323
カタストロフィー、カオス理論、Zadehのファジー集合
336:１３２人目の素数さん
21/11/25 14:38:01.71 MnckPFuM.net
まゆこりん
337:１３２人目の素数さん
21/11/25 15:07:32.59 7JYJCeWg.net
Highergeometerの人の望月さんへの反論（？）はどうなんだろう。
338:１３２人目の素数さん
21/11/25 15:51:43.75 NIEF8kq+.net
そりゃ同じに決まってる
誰と言い合っても突き詰めたら論点は同じだから
339:１３２人目の素数さん
21/11/25 16:40:44.28 CIaR2vrX.net
望月陣営は内容に自信があるんだったら、
ちゃんと真っ当な手続きを踏んだ方がいい
内輪のPRIMSに出すとか、
編集委員会にＢＧ加藤がいるKodai Math Jに出すとか、
Scholze-Stixをreferしないとか、
姑息な誤魔化しばっかりやって普通の科学の手続きを踏まないから
石倉やmath_jinしか釣れないんだよ
340:１３２人目の素数さん
21/11/25 17:49:54.11 J9IYJd7W.net
内輪だから信頼低いってだけで別に手続きとしては真っ当じゃないのん？
この現状が現状の信頼の程度ってだけかと
341:１３２人目の素数さん
21/11/25 18:11:05.26 sMaQqIix.net
田口雄一郎東工大教授
加藤文元東工大教授
・Kodai math j.
Editorial Board
Masatoshi SUZUKI (NumberTheory)
Yuichiro TAGUCHI (Number Theory)
・2021 京大RIMS「宇宙タイヒミュラー理論の拡がり」
組織委員長 望月新一(京大RIMS)
組織委員
星裕一郎(京大RIMS.東工大出身)
フェセン�
342:R(ノッテンガム大) 加藤文元(東工大.京大RIMS出身) 田口雄一郎(東工大) 「IUTTの誘い」「IUTTサミット」 組織委員 星裕一郎.望月新一.フェセンコ. 田口雄一郎.ベンジャミンコラス http://www.math.titech.ac.jp/~tosho/Journal/editorial/index.html#PAGETOP
343:１３２人目の素数さん
21/11/25 18:15:40.94 sMaQqIix.net
>>330
・Kodai math j. Editorial Board
追加
Fumiharu KATO
(Algebraic/Arithmetic Geometry)
344:１３２人目の素数さん
21/11/25 19:15:56.18 MnckPFuM.net
>>329 あくまで3.12が正しかったら、って話だからね。東工大のプロセスには問題ないでしょう。
リーマン予想が正しかったら、みたいな論文といっしょ。
価値があるかどうかは別問題。
345:１３２人目の素数さん
21/11/25 19:21:23.30 GO6fvq2i.net
査読を引き受ける人がいたんだな
346:１３２人目の素数さん
21/11/25 19:27:46.96 NIEF8kq+.net
加藤もちゃんとリスクとったらどうか
リジッドとIUTの論文くらい書けるだろ
347:１３２人目の素数さん
21/11/25 19:59:55.15 6PomQE5H.net
>>332
やっぱりそうなん？
ABC for ε=1
→c/(rad(abc))^(1+1) holds except for only finite (a,b,c)
のonly finiteの上限をexplicitに与えてそこまでに反例ないから証明完了の路線？
で3.12のABC for ε=1がコケてたら全部こけるやつ？
348:１３２人目の素数さん
21/11/25 20:10:26.61 ydo2qno1.net
京大RIMS「IUTTの拡がり」推薦本
望月新一京大RIMS教授推薦
Kodai math j.編集委員
加藤文元東工大教授著
-宇宙と宇宙をつなぐ数学
IUT理論の衝撃- p51
「IUT語。IUT理論は、一般的な数学
のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
349:１３２人目の素数さん
21/11/25 21:29:26.52 8Tz2gmv1.net
>>336
数理論理君もういいから。あんたの批判ロジックあほくさくて逆に嘘臭いよ
350:１３２人目の素数さん
21/11/25 21:59:15.65 zlRZGCE5.net
>>337
天才出てきたな
オレにもわかる補完資料あげてくれや
351:１３２人目の素数さん
21/11/25 22:08:45.18 CIKi8gLj.net
なんかすっかりフレーズが気に入られとる
352:１３２人目の素数さん
21/11/25 23:16:04.78 zKbzlDmB.net
>>332
論文でCor 3.12が正しかったら論文の主結果が従う、
という書き方ならばリーマン予想から従う結果についての論文と同様に問題ないけど、
Cor 3.12が正しいのは当然というスタイルの論文を通すとなるとまずいと思います。
Kodai Math もPRIMSと同様に忌諱される雑誌になってしまった。
353:１３２人目の素数さん
21/11/25 23:30:35.74 zKbzlDmB.net
もっちーは現状を打破したいということで、マスコミや大衆に訴える手段にでてきたようだね。
身内でない数学者に理解者を増やすように、数学の疑問点をきちんと解消させていくべきだと思うけど、そうしていかないね。
批判に対して正面から答えようとせず、単に批判自体を潰すようなパワハラ的手法しかとっていない。
日本人数学者で面と向かってもっちーを批判する人がいない現状は、日本の数学界にとってもよろしくない。
宇宙際サミットでもなあなあだったんでしょ。直接見ていないけど。
とはいっても、自分が矢面に立つのも嫌で、ヘタレだと思う。
５ｃｈに名前を出されるのも嫌だし。
こんな現状だから、マスコミに訴えて日本で既成事実化しようとするんでしょ。
あとで日本の数学界全体がしっぺ返しをうけそうで怖い。
354:１３２人目の素数さん
21/11/25 23:47:11.52 NIEF8kq+.net
そらBとTじゃ通しちゃうだろうからな
可哀想に他分野の編集者達もw
355:１３２人目の素数さん
21/11/25 23:57:50.71 zKbzlDmB.net
編集長はツラい立場だろうな。
同情する面もあるけど、なぜ阻止できなかったのかという思いもある。
356:１３２人目の素数さん
21/11/26 00:44:39.85 XYY40Iu7.net
>>341
> 日本人数学者で面と向かってもっちーを批判する人がいない現状は、日本の数学界にとってもよろしくない。
S-S以外にも、Faltings,
357:Terence Tao, Calegari, Brian Conrad, Minhyong Kimあたりが一度は目を通して感想を述べているのと 比べて、望月の取り巻き以外の日本人がマジで無言なのは何だかなー、と思う 越川皓永さんは「Cor.3.12が分からん」とKimに言ってたらしいけど
358:１３２人目の素数さん
21/11/26 00:52:44.82 Uw8Lpyzy.net
アクセプトなんて所詮、
(引用がすべて適切で引用文献が正しいという大前提のもとで)
レフェリーが読む限り
問題は見つかりませんでした、
程度の意味しか持たない。
アカヒの先走り報道だよ。
STAPから何も学ばんねぇ。
359:１３２人目の素数さん
21/11/26 05:34:38.15 pl/47DiD.net
越川さんは「IUTは証明になってない！でも間違ってもいない。」
「ショルツの反論は反論になってない！」
と言ってる、中間からややIUT寄り派。
360:１３２人目の素数さん
21/11/26 06:24:27.37 a1/11eKq.net
>越川さんは「IUTは証明になってない！でも間違ってもいない」
IUT語のUT論文は間違ってすらいないんだね。
361:１３２人目の素数さん
21/11/26 07:20:40.43 WZxcr3iO.net
なんかその道のひとには直観的に「これはうまくいってそう」なところがIUTTにはあるんでしょ。
かつてのイタリア学派の代数幾何学の「結果」みたいなものなんだろう。
そのうち噛み砕いて見やすくしてくれる若手が出てくればいいのでは。
今は門外漢には不親切すぎて多くの人が傍観している感じなんだろうね。
でも、これどこかでペケってわかるとけっこう京都周辺はまずいのではなかろうか。
362:１３２人目の素数さん
21/11/26 07:30:44.91 a1/11eKq.net
>かつてのイタリア学派の代数幾何学
の「結果」みたいなものなんだろう
的外れです。
京大RIMS「IUTTの拡がり」推薦本
望月新一京大RIMS教授推薦
Kodai math j.編集委員
加藤文元東工大教授著
-宇宙と宇宙をつなぐ数学
IUT理論の衝撃- p51
「IUT語。IUT理論は、一般的な数学
のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
363:１３２人目の素数さん
21/11/26 07:55:17.09 a1/11eKq.net
>>344
Inter-universal geometry と ABC予想 25
0476 １３２人目の素数さん
2018/04/01 08:56:03
2ページ目に書いてあるな
Frank Calegari says that even if the
papers get accepted, he will not
believe the proof just yet.
His blog post on the subject mentions
a Japanese reader―I am that reader.
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.
My apologies for not being able to understand any of this―I can only report on these happenings.
364:１３２人目の素数さん
21/11/26 12:55:55.29 wgrAMkE/.net
>>349
数理論理君は巣に帰れ
365:１３２人目の素数さん
21/11/26 13:08:38.18 b73mhI4g.net
>>346
その言い方を目の前でされたら、自分なら「じゃあ埋めたらいいのでは？」って言うけど
計算がわかってて書き方がおかしいという意味ならね
しかし十年も経ってる以上、そういうことではないんだと思うよ
366:１３２人目の素数さん
21/11/26 13:15:18.56 Uw8Lpyzy.net
望月自身数学証明をpdfに変換するのは不可能！
とすでに白旗上げてますから。
結局3.12のrigorousな証明なんてどこにも存在しないんでしょ？
10年近くズンドコベロンチョ状態の数理研w
367:１３２人目の素数さん
21/11/26 13:17
368::21.40 ID:Uw8Lpyzy.net
369:１３２人目の素数さん
21/11/26 13:51:19.32 WZxcr3iO.net
圏論のところでつまづいていないといいのだけどなぁ。
望月さんは少し門外漢のところに手を出して理論を強化しているようだからね。
結構危ない橋を渡っているようには思うけど、でも何か確信があるのだろうから、
少しずつ白黒ついてくるのだと思う、我々は待とう。
370:１３２人目の素数さん
21/11/26 13:54:50.50 Uw8Lpyzy.net
待とう待とうで早十年
詐欺の常套だね。
371:１３２人目の素数さん
21/11/26 14:13:19.05 MDgmnxDI.net
もう待っても何も出ないでしょ？
もう望月先生は「論文は合ってる、ガタガタ言うな、これ以上のイチャモンは受け付けん」路線に決めたように見える
ならもう何も出ない
そして何も出ないなら世界からは総スカン
で望月先生は定年逃げ切りで終わりでしょ
他の面々はどうするんかねぇ？
372:１３２人目の素数さん
21/11/26 15:30:21.61 L0009Vnn.net
>>351
スレ主です。
373:１３２人目の素数さん
21/11/26 15:43:57.42 L0009Vnn.net
>圏論のところでつまづいていないといいのだけどなぁ
このself- evidentの件から疑惑が
深まりショルツェスティクスレポート
ショルツェレビューでIUTを理解できた。
Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction
is self-evident.
374:１３２人目の素数さん
21/11/26 17:39:56.64 MIEcZKKO.net
IUTは「ニッポン学派の数論幾何学」なんでしょう
Scholzeは「Cor 3.12が成り立たない」とはいってない あくまで
「IUTではCor3.12は証明できてない 修正はそう簡単にはできそうにない」
といってるだけ
もし、望月を支持するニッポン学派の方々が
「Cor3.12の証明ができてないけと、命題としては正しい筈なんだ！」
といってるんなら、こういうだけ
「そうかもしれないね でも、それはただの”予想”だね」
375:１３２人目の素数さん
21/11/26 17:42:49.68 MIEcZKKO.net
望月論文はIUTを除けば
「望月予想(Cor 3.12)からABC予想が証明できる」
というだけの論文だし、５人論文も
「望月予想(Cor 3.12)からフェルマー予想が証明できる」
というだけの論文
上記の箇所だけをRIMSや東工大が査読してアクセプトしたってことでしょう
肝心の 望月予想(Cor 3.12）はopen problemってことで
376:１３２人目の素数さん
21/11/26 17:52:53.83 YT2e+lOk.net
望月予想ってABC予想より真に弱いの？
377:１３２人目の素数さん
21/11/26 21:03:28.43 ejK0AHsB.net
望月予想からABC予想やフェルマー予想が証明出来るというならなら、IUTは有望な理論なんじゃね？
望月予想から、すでに証明された過去の未解決問題群の別解が導かれるなら、IUTを巡る数学界の
風向きも少しは変わんじゃね？
378:１３２人目の素数さん
21/11/26 22:24:56.24 b73mhI4g.net
いや、その部分以外はほとんど自明と言われてるわけで、しかも肝心の理論は歪みの計算の
辻褄合わせのために本来あるはずのものだろう
であるならば3.12だけ取り出してもあまり意味があるとは他の数学者は考えないよ
それなら他にやったほうが良いことがある
379:１３２人目の素数さん
21/11/27 07:42:53.43 SU9ZS/ia.net
ショルツェレビュー
at some point in the proof of Corollary
3.12, things are so obfuscated that it is
completely unclear whether some
object refers to the q-values or
the Θ-values, as it is somehow claimed
to be definitionally equal to both of them,
up to some blurring of course, and
hence you get the desired result.」
abc予想は証明されていないし
望月「予想」より望月のお告げだな
380:１３２人目の素数さん
21/11/27 08:47:34.51 k9RZ/6mL.net
ある予想を別の予想に入れ替えただけなら無意味ではないけど何ページもいるのかしらね。
3.12って不等式だよね。不等式は範囲を限定するから色々言えるようになるのかね。
そういう思考様式を説明して欲しい。
381:１３２人目の素数さん
21/11/27 09:52:36.78 fSpujfv2.net
HPに9月実施のワークショップ動画への招待状が出てるな。
382:１３２人目の素数さん
21/11/27 12:38:41.86 htdt9RGt.net
>>270 が参考になるね
383:１３２人目の素数さん
21/11/28 06:00:06.29 Kph6Ehwg.net
田口雄一郎東工大教授
加藤文元東工大教授
・Kodai math j. Editorial Board
Masatoshi SUZUKI (NumberTheory)
Yuichiro TAGUCHI (Number Theory)
Fumiharu KATO (Algebraic/Arithmetic
Geometry)
・2021 京大RIMS
「宇宙タイヒミュラー理論の拡がり」
組織委員長 望月新一(京大RIMS)
組織委員星裕一郎(京大RIMS.東工大出身) フェセンコ(ノッテンガム大)
加藤文元(東工大.京大RIMS出身)
田口雄一郎(東工大)
・「IUTTの誘い」「IUTTサミット」
組織委員 星裕一郎.望月新一.フェセンコ. 田口雄一郎.ベンジャミンコラス
URLﾘﾝｸ(www.math.titech.ac.jp)
384:１３２人目の素数さん
21/11/28 06:05:38.22 lRrHIqpL.net
誤った仮定を内包する定理を持ち出せばどんな予想も真に導ける
385:１３２人目の素数さん
21/11/28 16:10:31.32 UHuo8txp.net
cor.3.12がself- evidentの理由は
「up to some blurring of course,
and hence you get the desired result」
でしたね。
386:１３２人目の素数さん
21/11/28 18:07:01.36 1sbrk+3I.net
3.12はだいぶ証明が書き足されてるのにseif-evidentと揶揄するのは藁人形論法では？
387:１３２人目の素数さん
21/11/28 18:20:15.66 7ko+N1JY.net
書き足されているけど、ツギハギで読めるものになっていない。
388:１３２人目の素数さん
21/11/28 18:22:24.88 UHuo8txp.net
>>372
IUT論文は2012年8月にPRIMSへ
提出されました。
査読中に以下のようにself. evidentと
発言したことは事実でしょ
↓
Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction
is self-evident.
389:１３２人目の素数さん
21/11/28 22:28:31.40 oD5PmtZp.net
書き足せば済むと思ってんのは耄碌してるのか？
満ち足りてなきゃ足りねぇ事くらい気付け迷妄狂信者
390:１３２人目の素数さん
21/11/29 00:04:14.85 g7rHlNlg.net
先ずIUT論文を取り下げ査読過程を
明らかにすること。
after being rewritten to fill in gaps and make it more readily comprehensible。
書き足すのでなく書き直しだ
・Mochizuki’s claimed proof
of the abc conjecture。
「At the present time, all that we
can say with certainty is that the status
of Mochizuki’s proof is unclear.」
「we have given one example of a proof
that is disputed, in that the author
maintains that it is correct, but a
significant number of experts disagree,
see §2.6.
In such cases, time will tell eventually
the proof will be accepted as correct,
( Possibly after being rewritten to
fill in gaps and make it more readily
comprehensible)、or the author and
his supporters will die and the proof
will be relegated to “the dustbin of history”
Some instructive mathematical errors
Richard P. Brent
September 23, 2021
URLﾘﾝｸ(arxiv.org)
391:１３２人目の素数さん
21/11/29 08:31:37.99 D/4BWNZa.net
すでに証明されていて真偽が公認されているものをIUTTで別証明を与えるようなことをしてほしいです。
392:１３２人目の素数さん
21/11/29 10:32:53.73 pnSrS4fH.net
>公認されているものをIUTTで別証明を与える
まずIUTT構築による不明確で後付け説明ではabc予想にしろ数学の証明になりません。
不明確から望む結果を導くことができるから普通の数学証明の別証明になりません。
IUTによるロンダリングでしょう。
393:１３２人目の素数さん
21/11/29 12:16:54.50 0XbRXQVo.net
>>378
でも誰もそれする人いないよね
それすればIUT否定も一発なのに
394:１３２人目の素数さん
21/11/29 14:16:59.52
395:D/4BWNZa.net
396:１３２人目の素数さん
21/11/29 17:01:04.15 X1Sjkoc9.net
結局、望月教授はabc予想に取り組んだ期間を
無駄にしたってこと？
フェルマーの最終定理でも似たような
キャリアの数学者っていると思うんだけど、
顛末教えて
数年棒に振ったのはザラなのが未解決問題と聞いてる
だからこその超難問なのでしょう
証明失敗が確定して、
予想は未だ予想のままであるとされた後
学会追放になった学者と生き残り続けた学者
両方教えてくれると助かる
名前だけでもオッケー後はこっちが調べる
違う道を歩むことになった要因を知っておきたい
ワイルズの成功例の場合は、
ワイルズが証明発表後に困っていても
周辺からの愛の手で助けられて
証明成功まで辿り着いたんでしょ？
397:１３２人目の素数さん
21/11/29 18:11:53.86 q09taDvF.net
事の重要性について、擁護してる人らはわかってないようだな
本当ならドイツはともかくプリンストン辺りに滞在派遣して認識を改める努力をしなきゃならない状況なのに
勿論できるものなら、だが。国内の立派な名前を並べりゃ水戸黄門てわけにはいかないぞ
398:１３２人目の素数さん
21/11/29 18:12:54.29 q09taDvF.net
間違えたあっちにコピるわ
399:１３２人目の素数さん
21/11/29 18:28:57.50 dcJdMgZT.net
>>380
woit氏の言う通り。
例えば
「not accepted by vast majority of expertsin the subject」
石倉朝日新聞記者は海外でIUT論文
が批判的と報道した。が、
「uncritically」
また石倉朝日記者はIUTによるFL
「別証明」を東工大誌で受理、
と無批判に垂れ流した。
IUT論文と論文評価が異様な点は、
査読中に起きた
>3から>12までと>19と>20 の事実
です。
NYタイムスまで引き合いに出して
IUT論文を評価しているが
woit氏はどのような感想なのだろうw
400:１３２人目の素数さん
21/11/29 19:37:01.58 PwSJINS+.net
>>383
さようなら
世の中には2種類の人がいる
銃を構える人と墓を掘る人が
by 続夕日のガンマン
京大RIMSや東工大や日本メディアが
墓穴を掘ったのは自業自得。
京大RIMSと東工大だけですむのかIUTVIRUSより日本数学界だけ沈没
する日は間近か
401:１３２人目の素数さん
21/11/29 19:45:42.22 pLf2bERl.net
数論幾何学から鞍替えしてる奴いてワロタ
402:１３２人目の素数さん
21/11/29 20:39:47.51 W5iK3Gve.net
>>375
いまだにself-evident云々という批判があるからそこに反論しただけですよ？
「書き足せば済む」なんて主張した覚えは無いですが
403:１３２人目の素数さん
21/11/29 20:47:54.09 PwSJINS+.net
>>387
IUT論文は2012年8月にPRIMSへ
提出されました。
査読中に以下のようにself. evidentと
発言したことは事実でしょ
↓
Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction
is self-evident.
404:１３２人目の素数さん
21/11/29 21:02:26.64 X1Sjkoc9.net
好転するもんだけど
元々が正しいなら
405:１３２人目の素数さん
21/11/29 22:19:39.63 W5iK3Gve.net
>>388
指摘された結果Cor3.12の証明が書き足されたんだからそのself-evident発言(真偽はともかく)の批判は当たらないって言ってるんですよ
少なくとも現行の論文ではself-evidentで済ませてはいないですからね
また藁人形論法されたくないので断っておきますが、私は「Cor3.12の現行版の証明は正しい」などとは主張してませんからね <
406:１３２人目の素数さん
21/11/29 23:23:50.78 dcJdMgZT.net
>>390
まず聞くが
>指摘された結果Cor3.12の証明が書き足された
指摘された主語は望月新一かな？
>そのself-evident発言(真偽はともかく)
真偽とは何？
self evidentの発言は実際にあったね？
407:１３２人目の素数さん
21/11/30 00:05:17.95 wr1Mt07W.net
qunta magazin 2018.9.20
「Kim heard similar concerns about
Corollary 3.12 from another
mathematician, Teruhisa Koshikawa,
currently at Kyoto University.
And Stix, too, got perplexed in the same spot. 」
408:１３２人目の素数さん
21/11/30 00:08:32.49 wr1Mt07W.net
>>392
訂正
qunta magazin→Quanta Magazine
409:１３２人目の素数さん
21/11/30 07:42:19.14 /6tWDFDL.net
もう十年近く前の記事だけど檜山正幸さんがキマイラ飼育日記でIUTTに言及していた。
IUTT論文4の第３節は集合論と圏論の基礎的な知識だけで読めそうだという話。
410:１３２人目の素数さん
21/11/30 08:26:46.66 kX4D5QKO.net
>390の藁人形論法連呼厨は
また威張り逃げか
RIMSで望月新一が越川へself evident
と発言した件はNHKスペシャルで
両者にインタビューし確認すべき
です。
cor.3.12のcor.は系で前の定理から
自明に導くことが出来る位置づけ
だ。しかしIUT論文の核心的不等式
が自明に導くことができないから
cor.3.12は系でなく定理だった。
corの位置づけで証明を省略し
ショルツェらに指摘されたら
査読中に後付けで書き足し大幅な改変
を試みただけ、元々self evidentと勘違い
した疑惑がある。
不明確な4部のIUT論文を全て取り下げ
新しく書き直すしかないね
411:１３２人目の素数さん
21/11/30 09:57:01.56 /6tWDFDL.net
the higergeometer のRobertsさんは２年前にA Crisis of Identificationという記事書いていて、その終わりを
"Even if Scholze and Stix’s analysis is flawed, and Mochizuki’s categorical foibles are harmless, his papers may still have a gap, some innocuous assumption unchecked, some existence statement unjustified—an abc-sized gap deep in the proof of Theorem 3.11 or Corollary 3.12.41 This will only be found by careful study and ideally a rewriting of Mochizuki’s papers into more standard language. Or, like Heegner, Mochizuki may have just written a proof in a way that the rest of us just cannot parse, and time will prove him right."
締め括りました。
今だにIUTTに言及しているから行末には興味あるんだろうなぁ。
412:１３２人目の素数さん
21/11/30 20:00:52.41 uwmrwzDK.net
ショルツェはRIMS発のキワモノIUTへ
レポートとレビューをしただけでは
ないね。
優秀なショルツェはオーソドックスな
手法で数学の統一理論の発展をリードしてる。
物理の統一理論にも関連していて
興味深い
・computer-assisted proof
in GUT
・unifying number theory Langlands
and geometric Langlands
URLﾘﾝｸ(www.math.columbia.edu)
URLﾘﾝｸ(xenaproject.wordpress.com)
413:１３２人目の素数さん
21/12/01 08:24:43.88 Gio19/9k.net
足し算と掛け算の絡み合いで難問になっている初等整数論問題ならば、
IUTTでどしどしとけていけそうなんだけどなぁ。
解析数論の未解決問題もがんがんいって欲しいけど。。どうなのかしら。。
414:１３２人目の素数さん
21/12/01 09:27:53.94 blLWzV+E.net
>>398
日本数学会へ問い合わせしたらいかがでしょうか？
415:１３２人目の素数さん
21/12/01 09:31:13.68 blLWzV+E.net
証明とは？
computer-assisted proof in GUT の
ショルツェを支持します。
416:１３２人目の素数さん
21/12/01 09:58:33.08 Gio19/9k.net
IUTTではない、普通にみなに共有されているアプローチではどれくらいABC解決に接近しているのかなぁ。
現代数学の専門分野でやっているひとが少ないからあんまりそういう意味で「現況」っていうものがないのかな。
P=NP問題はけっこういろんな人たちがやっていて「現在この地点」ってわりと共有されている感じだった
417:１３２人目の素数さん
21/12/01 12:28:09.99 bwbyaqBS.net
IUT自体は、「圏論を理解していない望月の勘違いだったね、
残念でした、またがんばろ」で終わる話
たちが悪いのは、金やポスト増を目当てに
望月を担いでるRIMSの連中だよ
海外の評価がボロボロだから自前の雑誌で自作自演して、
お馬鹿な新聞記者を利用して、さも世界的大発見であるかのように粉飾して
次世代幾何学センターまで作っちゃった
今後、国税を突っ込んで予算付けていくわけだからね
文科省にどう説明するつもりなのか、、、
カネが動機だという意味では霊長類研究所の問題と同根だね
418:１３２人目の素数さん
21/12/01 13:07:47.16 Gio19/9k.net
間違っているもしくは正しいかわからないであえて推し進めているなら罪だけど、
さすがにそうではないでしょう。正しいと確信しているんだと思う、みなさん。
だから本当に正しいなら時間をかけてでも今批判的な人たちを納得させなければいけないし、
間違っているならもうどうころんでも正しいとはいえない論証で望月さんに白旗をあげさせるしかない。
今の所どちらにもなっていない。
419:１３２人目の素数さん
21/12/01 13:21:31.38 SSoG+iYh.net
RIMSの教授陣は、概してIUTの正しさについて確信まではしていないのじゃないかな。
あの記者会見でも、柏原氏は「acceptをきっかけに盛り上がって解明してほしい」という類の発言だった。
ただ、RIMSの教授陣では望月氏に白旗をあげさせることができないってことでしょ。
420:１３２人目の素数さん
21/12/01 13:36:15.97 Gio19/9k.net
確かにあの発言「誰か白黒つけて」って聞こえてちょっと情けない感じはしたけど、
まあそれが事実なんだとしたら、とにかくショルツさんだけじゃなくてみんながきちんと白黒つけてくれるといいけど
STAPの時もそうだったけど研究者は何よりも自分の研究に集中しているわけで、
人の研究のしかも真正性の検証なんて時間とりたくないだろうからね。
なかなか決着はつかないとみた。結局白黒は望月サイドがつけるしかない。
今はまだつけられていない。
421:１３２人目の素数さん
21/12/01 14:22:45.40 ZP6jyD8W.net
本当にできているつもりなら、
AnnalsやIHESに投稿して
きちんと利益相反のないプロ数人に検証してもらうべきだったんだよ。
身内ジャーナルの身内査読で、
破綻がそのままで出版されちゃったから
誰も興味を持たなくなった。
査読者もどうせ一人だしな、primsじゃ。
422:１３２人目の素数さん
21/12/01 14:51:41.32 bwbyaqBS.net
ほんそれ
423:１３２人目の素数さん
21/12/01 14:54:10.71 Gio19/9k.net
今からそのAnnalsとかIHESに出すのは無理なのですか？意味がないのか。。
424:１３２人目の素数さん
21/12/01 14:56:45.71 bfblawo9.net
普通再投稿する側の雑誌に二重投稿禁止規定があるはずだから無理やろ
primsの方
425:取り下げるならできると思う
426:１３２人目の素数さん
21/12/01 15:05:12.96 Gio19/9k.net
そっか、確かに雑誌の購読価値がなくなるものね、複数投稿掲載されてしまったら。
望月さんはある意味安全牌を選んだと見られてもしかたがないなぁ。
勝負に出て欲しかったなぁ。きっとよっぽど米国で人種的に嫌な思いをしたんだろうな。
427:１３２人目の素数さん
21/12/01 15:14:21.17 ZP6jyD8W.net
人種とか関係なく、あの性格と人間性だからいじめられてたんだと思う。
428:１３２人目の素数さん
21/12/01 15:18:40.31 Gio19/9k.net
かなり白人社会に怨念がある感じだよね。
でもだからというか絶対間違いないってもん出してくるんじゃないかなぁ。
429:１３２人目の素数さん
21/12/01 15:22:13.70 v5nhxYDp.net
複数投稿禁止は情報の一元化でしょ
複数掲載されたら
どっちに反論を投稿したら良いか迷うし
論文の改訂を自分のとこに
送ってくれなくなるのも困るし
430:１３２人目の素数さん
21/12/01 15:31:09.31 OO3+JOqb.net
>>406
絶対的な自信というものは我々にはうかがい知れない
燕雀いずくんそ鴻鵠の志を知らんや
431:１３２人目の素数さん
21/12/01 15:34:23.61 4hqtkluk.net
>>414
数学に燕雀も鴻鵠もない
432:１３２人目の素数さん
21/12/01 15:47:38.33 Gio19/9k.net
ブログ読んでいると実際にそうなのかもしれないけどまるでショルツ含めてある一派が
彼を貶めようとしているみたいな主張だものね。
まあちょっとグロタンディエックのエキセントリックなところを真似しようしているのかもしれないけど。
433:１３２人目の素数さん
21/12/01 15:50:46.55 MESZTngs.net
最初から投稿先はPRIMSだったの?
434:１３２人目の素数さん
21/12/01 16:32:02.68 /lnAdbqq.net
>>417
そだね
2012年8月30日
年月日はRIMS内部で緘口令があったのか
レスもなく親切な方が調べました
435:１３２人目の素数さん
21/12/01 16:59:36.42 Gio19/9k.net
IUTTはきっと大まかにいって正しいのだと思う。
でもすごい超絶技巧であってシンプルで新しい展望なのではないのではなかろうか。
そこがすごく心配。そうだと結局「正しいけど、全然使えない」ってことになりそうだから・
436:１３２人目の素数さん
21/12/01 17:47:12.84 /lnAdbqq.net
>>404
RIMSはIUT論文査読中の2019年
量子幾何学研究センターを廃止統合し
IUTTの研究を中心とした次世代幾何学
研究センターを設置。
望月新一センター長で所属は 玉川安騎男教授.柏原正樹 特任教授 森重文特任教授 望月拓郎教授 でした。
上司の望月新一教授へ部下の柏原教授が
IUT論文を書き直せと言えないだろうし
IUTTによるD加群でも研究したのだろうか？？
D加群は元々佐藤幹夫氏のアイデアでした。
437:１３２人目の素数さん
21/12/01 17:56:36.62 ZP6jyD8W.net
結局IUT語を使うと何がいいのか、美辞麗句で誤魔化すだけで、
その核心を誰も説明できていないからね。
根本で破綻しているよくあるパターン。
正しい新理論にはコレという核が必ずある。
438:１３２人目の素数さん
21/12/01 20:47:13.46 iRLmolZg.net
>>419
愛国馬鹿の中卒が「正しいぃぃぃぃぃ」と絶叫発狂ｗｗｗ
439:１３２人目の素数さん
21/12/01 22:01:00.78 rknvrOud.net
I didn’t really see a key idea that would
get us closer to the proof of the abc
conjecture. by P.Scholze
440:Corollary 3.12, mathematicians agree that it is at the core of the proof of abc. Without it, “there is no proof at all, It is a critical step.” by Calegari
441:１３２人目の素数さん
21/12/01 23:35:11.67 rknvrOud.net
scholtzeのアイデア
「computer.assisted proof in GUT」と
「unifying number theory Langlands
and geometric Langlands」は素晴らしい。
woit氏は後者の意義を読み取り
twistor theoryの関連に触れている。
超弦理論関連の数理も含め研究する
価値が充分あるし今では東大IPMU向き
の研究と思える。
ショルツェ氏へ2つのunifyingについて
公開講演の依頼をしたらいかがだろう
RIMSは次世代幾何学研究センターを
IUTT中心の研究とし実績がある
量子幾何学研究センターを廃止した
から無縁だろう。
もう世界へ向けて罵倒ばかりして今更だろうし何処へいくのだろw
442:１３２人目の素数さん
21/12/01 23:53:16.92 e0zZzpqv.net
>>402
>「圏論を理解していない望月の勘違いだったね、残念でした、またがんばろ」
望月ではなくて、IUTの圏論を以下のように批判した、”David Roberts”が赤っ恥かいた経緯になったのだよね？
IUTの初稿が投稿されて話題になった、2012年９月のときに、
タオ、コンラッド、などの著名どころが、スレでIUTを話題にしていたとき、
David Robertsが、圏論的に赤信号だと切り出したのだよね。Woitブログでも持論で批判してた。
URLﾘﾝｸ(quomodocumque.wordpress.com)
The ‘inter-universal’ aspect is used in previous papers in the series,
I think mostly in paper III, dealing with the ‘log-theta’ lattice.
This is used for paper IV (which is what I gather you mean by ‘the Mochizuki paper’,
Terry). I think the complicated set-theoretical language is a red-herring,
stemming from Mochizuki’s unfamiliarity with the relevant category-theoretical approaches in this area – and which perhaps are themselves waiting,
like the statue in the stone, to be uncovered by the sculptor.
443:１３２人目の素数さん
21/12/01 23:53:31.53 e0zZzpqv.net
でも自分のブログで、題名「望月氏のこの主張は、私にとっては意味をなさない」と批判をしたら、
批判した§2.3.ii)の内容が、「望月の言うスケルトンカテゴリーでは圏論的に間違えが無い」と反対を喰らって、
URLﾘﾝｸ(www.reddit.com)
このレスで”この論議に疲れた”と言って、議論を打ち切って撤退したのだよね。
URLﾘﾝｸ(thehighergeometer.wordpress.com)
それで、woitブログで、
「何を隠そう、私の前のコメントは全く正しくなかったと思います。」
って間違えを告白している。そのあとのRobertsの負け惜しみの一言が「藁人形」。
※「藁人形」って分からないで繰り返している人がいるけど、Roberts撤退の”最後っ屁”で、あれは「恥」なんだよ。。
For what it’s worth, I think my previous comment was not quite right.
I thought through what was going on in this weird example a bit more in a blog post here.
Now I think it’s just a straw man argument, at best.
結局のところ、スケルトンでの圏論の例で間違ってない（Robertsの勘違い）。
藁人形は、スケルトンが正しい（藁の一本が正しい）からと
444:言って、その藁で出来た藁人形が正しいとは言えないって、 では「藁人形のどこが”圏論的に”間違っているかを指摘したらば？」をしていない。それをしなければ数学的に意味がない。 結局のところ、Robertsが批判した§2.3は、修正も入らなかった。 先のブログで、Vesselinの指摘の方は、修正になり「強いＡＢＣ予想」の証明でなくなり、 ５人の論文で「強いＡＢＣ予想」の証明は達成したけど、 https://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/ Robertsの「圏論で赤信号」は、批判が否定されて、その後は「自分の専門での議論につかれた」となったまま。
445:１３２人目の素数さん
21/12/02 00:06:09.04 5ks/D8Bs.net
つまり圏論のところは、”David Roberts”が赤信号と言って、自身のブログで批評して、
スケルトンではRobertsの間違いだけど、藁人形（スケルトンから発展させた§2.3の論）まで正しいとは言えないって、
藁人形の何処に間違いがあるかを数学的に指摘してないのだよね。
だから藁人形は数学的に意味がなくて、最後っ屁なだけ。
このスレで藁人形と書く人も、それは恥かしいことだとわかって無くて、
同じ恥をさらしてるんだよ。 クスッ。
446:１３２人目の素数さん
21/12/02 00:17:09.29 UG2W2TLh.net
>>421
自分も同じこと思ってました
447:１３２人目の素数さん
21/12/02 00:20:26.93 +ZiWEEu1.net
圏論で怪しい＝藁人形＝Robertsの恥
448:１３２人目の素数さん
21/12/02 00:20:34.36 ZQOi5P4n.net
ボコられた挙句、年末年始の日記で藁人形作って釘刺してた人のことだろうか？
449:１３２人目の素数さん
21/12/02 00:42:47.23 AoSpH/YF.net
定理をcor.として証明なしも恥ずかしい
450:１３２人目の素数さん
21/12/02 04:15:40.14 +i9NwI6A.net
IUT論文のsimplificationとは
核心部の定理をcor系にして
証明なし にすること。
RIMSではIUTTの概要を構築すれば
証明がなくてもabc予想が解決される。
451:１３２人目の素数さん
21/12/02 07:50:25.07 JgdPFgYM.net
同型なものを同一視したら射影直線も作れないんだぞって
さすがに誰がどー考えても望月の方がおかしいだろー
「essentially elementary mathematics at the beginning
graduate level」とかの対人論証で済ませてないで、
アレに署名した望月以外の人が出てきて普通の人にも
分かるように説明するべきなんじゃないか？ なんせ
「essentially elementary mathematics at the beginning
graduate level」だって主張してるんだから
452:１３２人目の素数さん
21/12/02 09:02:25.94 9MHGyW0C.net
Robertsさんの「識別の危機」は解決済みってことなのかしら。。
453:１３２人目の素数さん
21/12/02 09:02:37.37 h7we/lxa.net
>>433
>同型なものを同一視したら射影直線も作れないんだぞって
>さすがに誰がどー考えても望月の方がおかしいだろー
望月の主張は「よく知られた射影直線の構成法に同一視を行ったら矛盾が起こる」でしょ？
それに対しRobertsは「redundant copiesを使わなくても射影直線は作れる！」と批判してる
これはまさに望月の元々の主張を歪めて引用してるストローマン論法じゃないの？
望月は「redundant copiesを使わなければ射影直線は作れない」なんて主張はしてない訳で
454:１３２人目の素数さん
21/12/02 09:07:47.95 BDtWCKkN.net
面白くなってきた
455:１３２人目の素数さん
21/12/02 09:40:23.29 9MHGyW0C.net
よくわからないけど、ある宇宙で区別できたものを同型写像で別の宇宙に移したら
像は区別できないつまり同じものだとするのが圏論の肝なのに望月さんは元の区別で
ラベリングして写せば行先の宇宙でも区別できるんだよ。と言っているのか。
それが例のブログで簡単にして説明している「かつ」と「または」の議論につながるのね。
456:１３２人目の素数さん
21/12/02 11:00:00.76 Ui3sHcG9.net
また同型か非同型かの話かw
まあショルツはそこを誤解してるというよりはわかった上で批判してるんだけどな
いやいや俺が言いたいのはなショルツ君→で、具体例と証明は？→京都では常識だよショルツ君→そうすか…
駄目だこいつ
という流れ
457:１３２人目の素数さん
21/12/02 11:37:58.90 PNX0yzXH.net
つまり京都限定の定理ですね
458:１３２人目の素数さん
21/12/02 15:32:14.35 U5Dy+qP3.net
>>426
> それで、woitブログで、
> 「何を隠そう、私の前のコメントは全く正しくなかったと思います。」
> って間違えを告白している。そのあとのRobertsの負け惜しみの一言が「藁人形」。
> ※「藁人形」って分からないで繰り返している人がいるけど、Roberts撤退の”最後っ屁”で、あれは「恥」なんだよ。。
> For what it’s worth, I think my previous comment was not quite right.
> I thought through what was going on in this weird example a bit more in a blog post here.
> Now I think it’s just a straw man argument, at best.
全然違います。
> For what it’s worth, I think my previous comment was not quite right.
は、訳すなら、
「いまさら言っても意味があるか分からないけど、私の前のコメントは
あまり正しいものではなかったと思います」
でしょう？ 話の本筋ではない小修正の話にすぎません。
for what it's worth とか、部分否定の not quite すら
正しく訳せないあなたに、この話題を追うのは無理だと思います。
あなたが挙げた reddit の議論も同様。スレの最後に
Robertsが直接出てきて補足説明をしていて、それで話は終わってる。
Woitブログのコメントスレッド：
URLﾘﾝｸ(www.math.columbia.edu)
でも、Robertsの考察はむしろ有用な情報だと評価されていますし、
反対を喰らってなどいません
Roberts自身のブログでも、11月22日に追加のエントリを
書いていると、>>261-270 で挙がっている通り。彼は別に撤退などしていません
IUTを攻撃するRobertsを憎しと思うのはあなたの自由だが、嘘はいけないですよ
459:１３２人目の素数さん
21/12/02 18:50:57.89 xYSsNQHG.net
>>440
それならば、Robertsの書き込みを検証しようぜ！！！！
460:１３２人目の素数さん
21/12/02 19:10:31.64 oJ/5jd2h.net
Rovertsの視点は標準的(オーソドックス)な圏論数学の立場だな。
I maintain, with good reason, that the type of reasoning in the note is what the so-called ‘RCS’ is doing.
It is standard category theory and standard mathematics.
一方、IUT論文は核心部を定理でなく
cor.3.12系で証明を省略し指摘されたら後付けで改変を試みる
数学としてどうなんだろ？？
461:１３２人目の素数さん
21/12/02 19:19:41.54 Ui3sHcG9.net
そもそも論として高次圏のエキスパートがスケルトンを知らないはずがないでしょう笑
462:１３２人目の素数さん
21/12/02 22:17:25.34 LOzvbssW.net
>>443
Rovertsのブログは、
URLﾘﾝｸ(thehighergeometer.wordpress.com)
下記の§2.3が分からないという題名のブログだ。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
その§2.3は、圏論に関してRCSに返答する内容だけど、§2.3,1(i)で簡単な圏の例で出したのスケルトンの圏。
Rovertsのブログの下の方に、Pedroが質問しているけど、
URLﾘﾝｸ(thehighergeometer.wordpress.com)
Pedroは、Woitのブログでiutを圏論で批判している。
URLﾘﾝｸ(www.math.columbia.edu)
そのPedroの、Rovertsの§2.3に批評ブログの質問で、最初の文節に、I think you are wrongって間違いを指摘している。
I think you are wrong in saying that, “as all points are identified, then any space collapses to one point also” precisely because the skeletal category of topological spaces also contains its morphisms.
それで、その質問の結尾は、Mochizuki’s example is correct って、望月が正しいと書いている。
Mochizuki’s example is correct in the sense that identifying objects (essentially all k-dimensional spaces —I know this is not so, but bear with me—) may perfectly limit the reasoning because the “quotient” category may have much less information (objects and maps) than the original one.
463:１３２人目の素数さん
21/12/02 23:10:24.90 Ui3sHcG9.net
>>444
これは別にRobertsが論破されたわけではないし、ショルツの指摘を回避するものでもないよ
464:１３２人目の素数さん
21/12/03 00:08:59.42 85/S/Y2e.net
>>445
では、Robertsは、自身が§2.3について批判したブログのへの質問で、スケルトンの圏の例について、RCS仲間の圏論学者(ＷｏｉｔブログでＩＵＴ批判していた）に、Sorry,I think you are wrongと間違っている、望月が正しいと指摘されていることに対して、それは>>445のように論破されてないと言う、「数学的根拠」をRobertsが述べている部分を示してほしい。
465:１３２人目の素数さん
21/12/03 00:39:49.79 +k8IJSxk.net
>>446
何でそのまま丁寧に書いてあることを改めて表示する必要があるんだ？
付記の部分の最後にも指摘の直後にも結論が書いてあるじゃん
これは混乱した書き方でナンセンスを引き起こすか、そうでなくともショルツの再三の指摘である証明の欠如を
解消する回答にはなっていないかのどちらかでしかない
これはSS論文や以後のショルツの見解、望月の反論を総括すれば明らかなこと
それがあなたには理解できないから説明してくれという話？
466:１３２人目の素数さん
21/12/03 00:53:03.78 8x5cAwXh.net
狂信者は数学の素養がなく英語もロクに読めない。
ただ面白ニュースでお祭り騒ぎして、
健全な研究をしている人たちを妨害して貶めて尊厳を踏み躙りたいだけですから。
467:１３２人目の素数さん
21/12/03 02:51:04.72 LUde4W5w.net
>>426
>「何を隠そう、私の前のコメントは全く正しくなかったと思います」
なんだdeepl翻訳そのままじゃん!
「何を隠そう、私の前のコメントは全く正しくなかったと思います」
ちなみにgoogle翻訳なら
それだけの価値があるのですが、
私の前のコメントは完全に正しく
なかったと思います
>５人の論文で「強いＡＢＣ予想」
の証明は達成したけど
東工大のぴえーろ講演由来で
砂上の楼閣にすぎない
468:１３２人目の素数さん
21/12/03 06:21:22.04 U7qKLUYh.net
馬鹿がショルツに反論できないんで
全然無関係なロバーツを焼いてうさ晴らしてる
完全な精神異常だな 死ねよゴキブリ
469:１３２人目の素数さん
21/12/03 08:16:31.80 U7qKLUYh.net
愛国🐷野郎が💩応援スレで
「望月新一に賞をくれ！頼む日本数学会」
と土下座してるけどそのまま焼いて食っちゃっていいよｗ
ｽﾚﾘﾝｸ(math板:635番)
470:１３２人目の素数さん
21/12/03 08:27:55.41 LUde4W5w.net
応援スレはこのスレと無関係です。
かきこみはそちらでどうぞ
471:１３２人目の素数さん
21/12/03 10:10:44.49 U7qKLUYh.net
>>452
文句いわずにスレあげてな
君、それしかできんド素人なんじゃから（嘲）
472:１３２人目の素数さん
21/12/03 11:03:38.97 sBtkVR0m.net
数学における正しさは数学者同士の合意で成り立っているので京都限定の定理というのは成立するし
愛国者しか認めない証明等のは存在しうる
473:１３２人目の素数さん
21/12/03 12:07:23.47 9v8EPj0M.net
だな
もう望月先生もそれでいいと開き直ったんやろ
474:１３２人目の素数さん
21/12/03 12:29:27.62 HHxz+Wlt.net
>>453
外野のど素人です。
日本数学のスキャンダルでは？
2016年6月
RIMS報告書
p28-10 事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆すべき 出来事である。」
abc予想が証明されたとは書いてない。
475:１３２人目の素数さん
21/12/03 13:22:41.87 5CyNbYlr.net
>>454
ルイセンコ学説を思い出しますね
476:１３２人目の素数さん
21/12/03 13:30:28.69 sBtkVR0m.net
ルイセンコ論争は実際に麦を植えればどっちが正しいか判別できたけどIUTが正しいかどう�
477:ｩはどうやっても判別できないだろ
478:１３２人目の素数さん
21/12/03 13:32:26.38 5CyNbYlr.net
URLﾘﾝｸ(www.pdmi.ras.ru)
> 1988 年の事件もその例です。私がモスクワ大学のゲリファント=セミナーに
> 出席中のことでした。日本の数学者、宮岡洋一教授がフェルマーの最終定理を
> 証明したと宣言し、世界中の数学者多数に手紙を送ったというのです。
> 次の週の同じセミナーでゲリファント教授は宮岡教授から証明の間違いについての
> 別の手紙を受け取っていると言いました。
宮岡さんは自分を客観視することができていたんですね
479:１３２人目の素数さん
21/12/03 14:17:57.47 HHxz+Wlt.net
>>456
根拠は
「当該論文は現在査読中であるが、 」 「望月新一が同理論の概要を解説した 業績番号1― (2)(2014)が講究録別冊( B51)として刊行されている」
IUT論文は査読中でも概要解説論文
からIUTT構築→abc予想解決は
self evident自明ですね、
数学の証明は査読中にもかかわらず。
Corollary 3.12, mathematicians agree
that it is at the core of the proof of abc.
Without it, “there is no proof at all,
It is a critical step.” by Calegari。
no proof at allだから圏論の議論
以前の問題ですね。
一方
朝日石倉記者は2017.12.17.
「数理研が発行する数学誌「PRIMS」
が、外部の複数の数学者に依頼し、
間違いがないか確かめる「査読」を
続けてきた。
同誌は研究者の間で一流の国際数学誌と評価されており、早ければ来年1月にも
掲載が決まる」
と報道した。
480:１３２人目の素数さん
21/12/03 14:36:18.70 HHxz+Wlt.net
>>460
訂正 2017.12.17→2017.12.16
481:１３２人目の素数さん
21/12/03 15:55:45.77 U7qKLUYh.net
>>457
日本ってソ連とか中国と同じだったんだな
さすが「一党独裁制」
482:１３２人目の素数さん
21/12/03 15:57:20.51 U7qKLUYh.net
>>456
おそらく次世代幾何学センターは取り潰され
関係者は全員「処分」されるだろうな
#数学界の「ＳＴＡＰ」事件
483:１３２人目の素数さん
21/12/03 16:34:56.12 5CyNbYlr.net
>>458
判別できるはずなんですよね、数学であるならば
IUTが既に「数学でない何か」になってしまっている、
という意味なら分かる
世界中で「それ間違いだよ。それじゃ麦生えないよ」と言っているのに
鉄のカーテンを引いて閉じこもった京都だけが
「お前らの所で生えないのは望月先生の方法を勝手に改竄しとるからだ！
堕落した資本主義国の連中はこれだから困る（笑」
と外の世界を嘲笑して孤立してるという図式
484:１３２人目の素数さん
21/12/03 17:30:38.09 sBtkVR0m.net
数学の正しさは数学者が正しいと認めるかどうかで決まるので客観的な判別は不可能
485:１３２人目の素数さん
21/12/03 17:44:44.28 U7qKLUYh.net
>>465
数学者が正しいと認める基準（形式的証明）がないわけではない
但し、その基準に厳密に従ってるかというとそういうわけではない
IUTTの場合、どこまで明確化すれば証明かという基準は明らかではない
しかしながら、現状では望月新一とその知り合いだけが
勝手に「うん、正しい」といってるだけなので、
それじゃいくらなんでもダメだろう、と他の人達は思ってる
486:１３２人目の素数さん
21/12/03 18:05:33.96 vjKGG8TM.net
>>459
証明の不備を公表した
宮岡教授とワイルズ氏の誠意ある場合と
IUTTを構築したからabc予想が解決
としたRIMSのケースは全く違います。
念のため
487:１３２人目の素数さん
21/12/03 18:51:37.01 tdogkxot.net
でも、ショルツらは一応問題箇所までは理解できたわけだよね。
それは最後の4番目の論文までだった�
488:ﾍずだからかなり読解はできたわけだ だからその問題の箇所にギャップがあるといえたわけだ。 まあ、望月さんに言わせれば理解できていないことになるけど。 だからそこまでちんぷんかんぷんではないのだと思うけど。。
489:１３２人目の素数さん
21/12/03 19:12:58.24 FOr6jOjg.net
理解出来てないって分かるなら教えてやれよ
理解出来ない箇所を上手く教えることができれば
ABC 予想解決の栄誉が手に入るんだぜ
ABC予想解決の栄誉を放棄する価値と
ABC予想の理解出来てない部分を理解させる手間と
どっちが重要か分かるよな
何年もかけて来た労力を実らせる最後の手間を
自分の責任とせずに、
相手が理解出来ないから悪いんだって怒って
ABC予想解決の栄誉を手にしないってのは理解に苦しむ
490:１３２人目の素数さん
21/12/03 19:23:39.74 sBtkVR0m.net
望月先生じゃなきゃ説明しちゃ駄目ってわけじゃないのに誰も説明しようとしないんだよねえ
誰も栄誉が欲しくないみたい。謙虚だね
491:１３２人目の素数さん
21/12/03 19:46:31.65 k7zzCqAa.net
>>450
Robertsだけじゃなく、ショルツェもRCSだから同じところで勘違いしている。笑
Pedroの、
In that skeletal category you have morphisms
{\alpha}->L
but not
L->{\alpha}
Mochizuki’s example is correct in the sense that identifying objects (essentially all k-dimensional spaces —I know this is not so, but bear with me—) may perfectly limit the reasoning because the “quotient” category may have much less information (objects and maps) than the original one.
で、シュルツェの「圏の情報を失うなんてあるか」って言ってたけど、「圏」でなくて、
圏を割った「圏の商」を扱う望月の例、においては正しいって。
このRobertsのブログのやらかしの後に、それまでWoit ブログで、圏論でのIUTの批判者が一気に居なくなった。