18/12/09 23:51:56.34 JFfNTUko.net
来年まではここも持たせるべきだが
春頃に顕著な動きまたは通らなかったら実質断念に近いのではないか
批判論文から半年経つ頃だしな
246:１３２人目の素数さん
18/12/10 00:06:35.19 HyX0FyKT.net
>>232
英語をよめますか？
>>18
247:１３２人目の素数さん
18/12/10 00:10:49.23 Rr55JUVB.net
宇宙広杉
ーーーーーーーー
Ob(C)はその性質から、集合より広いレベルの概念となり、クラス(class)と呼ばれる。
クラスは「全ての集合の集合」のような集合論では定義できないようなものも含むことができ、
そのような場合は真のクラスという。Ob(C)が真のクラスではなく集合であるような場合は小さな圏という。
クラスよりさらに広いレベルのものは宇宙(universe)と呼ばれる。
宇宙は例えば集合論で考えられる操作全てを内部に包括するような概念である。
ある数学を構成する一つの世界といっても差し支えないだろう。
宇宙際タイヒミュラー理論に代表される宇宙という言葉はこれのことを指す。
248:１３２人目の素数さん
18/12/10 02:31:28.47 jmXvNsr6.net
宇宙より広い世界はもうないの？
すべての宇宙を集めて合併させるとどうなる？
249:１３２人目の素数さん
18/12/10 03:00:47.78 LVTNg4za.net
それを求めてやろうとしたのが宇宙際幾何学なんですがね
250:１３２人目の素数さん
18/12/10 03:31:11.99 cFult/4B.net
IUTT論争に関しては2つの解釈があると思っている
①Mは最終節で述べられたZFCG、mutation、observable(s)を最初から前提として使用している
しがたって、この基礎論的な部分を最初に「詳しく丁寧に」記述し、論証を展開する必要がある
要するに、全面的に書き直す必要がある
②Mは好き放題に似非理論を構築しているに過ぎない。S・Sはそのことを見抜いており、この似非理論を展開すると、
救い難い内部矛盾に陥ると結論付けている
S・Sは、Mが最終節以前では説明することなく用いているZFCG、mutation、observable(s)などの使用が滅茶苦茶だと思っており、
わざわざそれに言及せず、無意味・不必要として初めから相手にしてなかったと思う
このS・Sが無視した部分については、Mの反論レポートとロバーツの改訂版PDFを比較すればよく分かる
充満多重同型、ラベル、圏論における普遍性の問題なんだけどね
俺は②が正しいと思っている。①のように書き直してもABC予想は証明できないと思う
長文すみません
251:242
18/12/10 03:41:50.58 cFult/4B.net
補足を忘れていました
この同型、充満多重同型、histories of operations、mutationの問題は理論の一意性or多意性の問題になる
ブルバキが半世紀も前に書いていた事柄である
もう個人的にはIUTTはバカバカしくて読むに堪えんよ
可能性もへったくれもない
252:１３２人目の素数さん
18/12/10 11:42:53.59 9Ma1x+nn.net
数学の宇宙でも 困ったら更に拡張して
仮定を増やし 定義する。
この操作を続けると 間違いは形式的に
解消するだろうが
物理では 複雑怪奇なこの操作を批判している。
物理理論 は測定の作業仮説であり
複雑怪奇な理論は 実験予測がないどころか
何を測定すればよいかも不明だ
253:１３２人目の素数さん
18/12/10 12:29:12.28 wFQ0YGCf.net
Nスペでこの顛末が放送されるて噂、ほんまなん？
254:１３２人目の素数さん
18/12/10 13:12:5
255:7.46 ID:s5JFsDMr.net
256:１３２人目の素数さん
18/12/10 13:27:57.76 vqsi9o56.net
>>245
マジか
どこからの情報？
本当にやるならめっちゃ面白そうだけど
257:１３２人目の素数さん
18/12/10 14:25:45.02 PEPazNYX.net
この時点で結末って、NHK RIMSに喧嘩売る気かね？
258:１３２人目の素数さん
18/12/10 14:29:25.21 PcX1aQd2.net
どーせ>>245の脳内妄想
259:１３２人目の素数さん
18/12/10 14:41:52.63 St7dN5W6.net
>>248
RIMSは >>7 >>8をきちんと公に説明する
べきだね。
できるならば
260:１３２人目の素数さん
18/12/10 15:14:16.27 s5JFsDMr.net
ガセの可能性もあるけど
「また世間を騒がせることがある」ってこのことなのかな
261:１３２人目の素数さん
18/12/10 16:08:55.84 BeHBYILr.net
>>242
一番目は、最終節が辻褄合わせの出鱈目なのか再定式かってことだけど、論文の内容を踏まえたら後者しか
ありえない。それで本人はあまり認めてないようだけど、基本的にその辺の議論は明らかに
絶対遠アーベル幾何学から来る観察に殆どを負っている
Stixは望月の絶対遠アーベル幾何学とは違うことをやってるので、そこは理解の困難が生じる可能性がある
二番目の可能性についてはノーコメントw
262:１３２人目の素数さん
18/12/10 16:29:37.12 BeHBYILr.net
通常のスキーム論を一般化しないとABC予想は恐らく解決できないので、少なくとも数論幾何学に
真剣に関わる人間は、この理論をどう見るか、本当は避けて通れないんだよな
もし間違いだとしても、少なくとも「悪意」はないだろう。それを似非と言っていいのかどうか
焦点は最終的には「エタールテータ関数の構造の位置付け」にあると言っても良い
ここに注目するとショルツらの批判と望月の弁護が、実は微妙に食い違うことがわかる
どちらが正しいように見えるかは俺は書かない
263:１３２人目の素数さん
18/12/10 16:38:36.98 BeHBYILr.net
>>242さんが何処までフォローしているかはわからないけど、この論争は基本的な問題に関わりつつ
かなり判断に高度な思慮を要すると言っていい
IUTの構想自体はハイレベルな文脈を持っているので、たとえ問題が単純でも一旦は全体を理解しなきゃ
ならないのが厄介なんだな。一種のゲシュタルトというか
264:１３２人目の素数さん
18/12/10 16:42:38.30 aEmGpdSm.net
全体を理解しないといけないなんてトンデモの常套句じゃないか。
ってかこれ前（前スレ？前々スレ？）も出たけど段階分けできない理論っておかしいでしょ。
265:１３２人目の素数さん
18/12/10 17:19:53.07 fGJCndzJ.net
げしゅたるとよいひんとだ
266:１３２人目の素数さん
18/12/10 17:24:43.61 vqsi9o56.net
星さんの入門ペーパーですらぶっちゃけ何が言いたいのか良く分からんわ
実態があるのか無いのかわからないものの上に成り立ってるというか
高度な思慮っても順を追って説明できてないものをどうやって外野が思慮するんだって感じだけど
267:１３２人目の素数さん
18/12/10 17:26:30.82 VOd3Leev.net
☆君もわかったフリはマズかったんじゃないか？
268:１３２人目の素数さん
18/12/10 17:55:48.77 BeHBYILr.net
>>255
通常は理論を部分に分解できるといっても、非常に広い対象についての構造を考えるのはおかしいことじゃない
テレンスタオの言ったように、階層的なシステムについて考えているので、部分的な構成や大まかな戦略が
正しくても、パズルを嵌めてようやくおかしいということはありうる
269:１３２人目の素数さん
18/12/10 17:58:40.04 BeHBYILr.net
>>258
ゲシュタルト的な誤りがある場合、色々な視点から見て「大体正しく見える」ことはありうる
パズルの図柄の一部分だけおかしいとか、ウォーリーを探せのケースを考えて欲しい
勿論、数学では全体が整合しなかったらアウトなんだが
270:１３２人目の素数さん
18/12/10 18:14:48.60 vqsi9o56.net
>>259
その説で行くと概念を抽象化、拡張して大きな理論体系を作ったけど
元の体や環の性質につき合わせるところで全然機能しなくてまったく無駄だった
つまり大まかな戦略が間違ってたっていうオチもあるんじゃないの？
271:１３２人目の素数さん
18/12/10 18:20:07.96 BeHBYILr.net
非常にややこしいのは、文元の言うように、ショルツらが本当にIUTの有意味な部分全体を咀嚼したのか、
あの批判論文だけだとわかりにくいこと
なので、望月レポートではその点について不満を噴出させたのだ、と言える
勿論この部分は実際には肝心の論点とはあまり関係ない
しかも更にややこしいのは、望月レポートは一応ショルツの指摘についても一見尤もらしい反論はしていること
この辺りからも異様にややこしい状況を推察していただけると思う
272:１３２人目の素数さん
18/12/10 18:25:32.39 BeHBYILr.net
>>261
おっしゃる通り
環構造を解体して復元することと、テータ関数の埋め込みを同時に行い、それらをまとめて実ガウス積分を行う
これをFrobenioidとAnabelioidを行い実現するわけだが、完全に理論を構成しなくても
何処かで気付ける余地はあった。理論が複雑過ぎるために一部不整合を見落とした可能性が高いと思われる
灯台もと暗し
しかし、ショルツが言う、全くアイデアがない、という指摘には俺は同意しない
半分くらいは正しい戦略だった
273:１３２人目の素数さん
18/12/10 19:11:54.93 St7dN5W6.net
>望月レポートは一応ショルツの指摘について
も一見尤もらしい反論はしていること
>>18 なんだよね
274:１３２人目の素数さん
18/12/10 19:18:31.75 BeHBYILr.net
単なる圏論的なミスとも言い切れないのが難しいところだ
絶対遠アーベル幾何学特有の論法があって、しかもそれが幾何学的射よりも抽象的な理論と言われるとね
最終的に誤りだとしても、前代未聞のハイレベルな誤りだよ、これは
専門家ですら迷うのはよくわかる
275:１３２人目の素数さん
18/12/10 19:42:13.62 St7dN5W6.net
圏論や定義を問うことは論理構造を
整理するために使っていると思います。
絶対遠アーベル幾何学特有の論法ですか？
最後の出口は不等式でしょ、
スティックスのコメントも味わい深いと思った
276:１３２人目の素数さん
18/12/10 19:55:16.22 x+SLRKrM.net
相変わらずチンパンジーがキーキー鳴いてるわ
鳴き声に数学用語はふくまれるが内容はない
277:１３２人目の素数さん
18/12/10 20:02:34.20 a9OrTtFp.net
2008年 12808万人 ＋ 5万 △
2009年 12803万人 － 5万 ▼
2010年 12806万人 ＋ 3万 △
2011年 12780万人 －26万 ▼▼▼ ▼▼▼▼▼▼
2012年 12752万人 －28万 ▼▼▼ ▼▼▼▼▼▼
2013年 12730万人 －22万 ▼▼▼ ▼▼▼▼
2014年 12709万人 －21万 ▼▼▼ ▼▼▼▼
URLﾘﾝｸ(blog.goo.ne.jp)
移民政策の本当の本音は、原発事故が原因による人口減少を隠して、
「原発事故では被害がなかった」と正当化するための統計的整合性を確保したいのだと私は考えている。
東海アマブログentry-376.html
278:１３２人目の素数さん
18/12/10 20:03:58.20 s5JFsDMr.net
そういう書き方はIUTとか擁護派の印象自体を悪くするから辞めた方が良いかと
279:１３２人目の素数さん
18/12/10 21:07:40.97 pYwl4GBR.net
いちばん単純で一番明瞭に指摘できる箇所に絞ってピンポイントに提示している感がハンパない
280:１３２人目の素数さん
18/12/10 21:32:20.97 BeHBYILr.net
>>267ってjinなのかね。擁護にしても何か違和感あるんだけど
何か集会がどうこう言ってた人もいるけど、本当にそんな勢力があるなら、ショルツらの批判の
何が的外れなのか書いたらいいと思うんだが
281:１３２人目の素数さん
18/12/10 21:41:02.13 dU17xl7V.net
>>267は京都大学の職員。アイちゃんの世話してる。
282:１３２人目の素数さん
18/12/10 21:48:40.96 BeHBYILr.net
coric-description of non-coric objectsっていう話が出てくるんだけど、論争の問題点はここでもある
奇妙な表現だと思いませんか、これ。これが見方によってはどっちも正しいんじゃないかと思えてしまうんだが
multi-radial algorithmについての批判はこの妙な表現にも関わってる
283:１３２人目の素数さん
18/12/10 21:53:59.20 PEPazNYX.net
>>273
kwsk
284:１３２人目の素数さん
18/12/10 22:19:37.57 BeHBYILr.net
>>274
受理の是非が確定するまでは内容についてあれもこれもとは
もしかしたら魔法のアルゴリズムが認められるかもしれないし
285:１３２人目の素数さん
18/12/10 23:24:39.25 p297T2Sl.net
数学は妄想の科学領域に達しました
286:１３２人目の素数さん
18/12/10 23:40:06.37 h+mb+XlA.net
まあ、jinが匿名で暴れているんだろうな
あの手のばあさんがおとなしくできるわけない
twitterがおとなしいってことはその分ここで暴れているんだろう
287:１３２人目の素数さん
18/12/10 23:52:23.11 ylaxb81I.net
マントヒヒならぬマンコヒヒ
288:１３２人目の素数さん
18/12/11 00:28:43.22 S072gwOM.net
Nスペ話のリークもおばさんだろうな
289:１３２人目の素数さん
18/12/11 01:56:42.36 h7NydyA2.net
でもNスペでこの時点でやるなら、否定的報道なわけないんじゃね？
間もなくアクセプトとまでは行かずとも中立よりずっと擁護側のような報道になる希ガス。
290:１３２人目の素数さん
18/12/11 02:21:51.50 EzB5aqHG.net
アクセプト以外のシナリオでやるわけがないw
デマだろう
291:１３２人目の素数さん
18/12/11 02:27:07.53 h7NydyA2.net
まぁ近日中にアクセプトの可能性が全くの０とまでは言えないからなぁ。
そうなったらホントに大丈夫なのかすんごい不安はあるけど。
292:１３２人目の素数さん
18/12/11 03:35:16.42 AB3xIuDT.net
URLﾘﾝｸ(blog.goo.ne.jp)
↑これおもろいｗ、コメント読んでみて。
出来たらみんなに広げていってほしいな。
293:１３２人目の素数さん
18/12/11 07:52:04.33 Vr6TLxnN.net
jinは井口某のリンクなんて張らん方がいいぞ
学者崩れのレイシスト陰謀論者や．
294:１３２人目の素数さん
18/12/11 08:47:04.81 90w47BjO.net
トンデモ IUTの周りへ
トンデモさん 大集合
295:１３２人目の素数さん
18/12/11 09:06:57.47 ujD7M0/+.net
IUTの真偽よりも、SSガーって叫んでる否定派と、それに反応する擁護派、どちらも全く生産性のない議論を楽しむスレ。
296:１３２人目の素数さん
18/12/11 09:10:54.36 90w47BjO.net
トンデモさん こんにちは
297:１３２人目の素数さん
18/12/11 09:57:15.20 90w47BjO.net
0772 １３２人目の素数さん
2018/06/04
Edward Frenkel @edfrenkel
返信先: @math_jinさん
Please stop. Otherwise, I will block you.
Thanks.
20:07 - 2018年1月25日
math_jin@math_jin1月26日
返信先: @edfrenkelさん
I'm sorry. I will stop.
---------------------------
298:１３２人目の素数さん
18/12/11 12:43:07.54 ZMzdqjWO.net
>>280
NHKの報道班は割と日本の組織に批判的な特集も組むからわからんよ
こんなの持ち上げるためにわざわざ番組作るとも思えんし
299:１３２人目の素数さん
18/12/11 15:34:44.94 dnJH3KZ0.net
リーマン予想は確かに解決してない中でやったけど、今回のは解決されない限りドラマがない
ただただグダグダなだけ。番組にはならない
300:１３２人目の素数さん
18/12/11 15:58:19.52 zqmcm0Sl.net
今の微妙な状況で、メディアが特集組むわけない。
リーマン予想の特集に出てきたドブランジュは、外国人だからこそネタにできたわけで…
301:１３２人目の素数さん
18/12/11 16:26:21.24 xcetgyuP.net
>>291
あれな。
同国内のメディアがやったらマズい。
302:１３２人目の素数さん
18/12/11 17:49:25.52 Geah0GYx.net
事実が大切だね
303:１３２人目の素数さん
18/12/11 17:53:51.48 dnJH3KZ0.net
しかしjinは役に立たねーな
数学ができないならできないで、国内外の研究者に匿名でもいいから取材すればいいのに
俺の知る範囲だと、本当に精読されてない。サンプルは少ないとは言え、
読んだがよくわからなかったので放置みたいな人ばかりだ
304:１３２人目の素数さん
18/12/11 17:57:36.26 ZMzdqjWO.net
精読っても何が書いてあるかわからないものは読めないんじゃね？
努力に幅はあるにせよ
行間を埋めなくてもすらすら読めるようなものならとっくに話はついてるだろうし
305:１３２人目の素数さん
18/12/11 19:01:33.22 Er+Nf/KD.net
だよねぇ。
僕ら一般ピーポーはともかくとして、ある程度以上の実力ある数学者ならある程度以上その気になれば読める程度でないと。
これ読めばABCの証明がわかるという記事ならある程度どころか、相当読む気になるハズなのに。
あってんのかどうだか知らないけど行間広すぎるのは間違いない。
306:１３２人目の素数さん
18/12/11 20:42:04.45 nHjSGGPt.net
思いて学ばざれば
デンジャラス
307:１３２人目の素数さん
18/12/11 22:24:29.76 uysIQOl8.net
白黒ついてない状態でNスぺなんかあるわけない。
308:１３２人目の素数さん
18/12/11 22:24:43.70 qLRn3efl.net
もし行間が 多重に分岐し
もし行間が 常に もやっとしていて
もし行間が クラインのつぼならば、
あのひとたちは「あたらしい数学」
というのだろう
309:１３２人目の素数さん
18/12/11 22:37:32.36 9hW3imYt.net
それがあるんだなぁ
310:１３２人目の素数さん
18/12/11 22:48:02.34 dnJH3KZ0.net
素人もプロも優柔不断さについてはあまり変わらないが、論争についてショルツの圧勝とか
思ってる人はあまりいないんじゃないかと感じる。でも好意的とまではいかないような
それとも気を遣って悪く言わないのかは知らない
遠アーベル幾何学的な文脈からすれば確かに望月の反論はかなり妥当
これ、本当に凡ミスとかじゃないんだよ。昨日見落としって書いちゃったけど
考え方によっては新しい数学の新しい論理に身を懸けたとも言えるのね
前も書いたけど、Stixの遠アーベルと望月、星の遠アーベルは違う。そこの戦いでもある
311:１３２人目の素数さん
18/12/11 22:50:25.91 YZmi0qE1.net
クラインの壷って実際に作れるんだよね？どこかで作れないって聞いたような気がするんだけど、あれ普通に作れるじゃんね？
312:１３２人目の素数さん
18/12/11 22:54:27.24 lHkYogTE.net
IUTみたいなのと同列に扱うなよ。遠アーベルの評判が悪くなるだろ。
313:１３２人目の素数さん
18/12/11 22:54:46.16 dnJH3KZ0.net
要するにショルツの指摘が破れてるとしたら、その論拠は完全に新しい数学による
つまり、スキーム宇宙を超えた記述レベルが例の格子図式でできているのかどうかによる
2020年のプロジェクトを考えたら、来年こそは京都は決断しなければならない
314:１３２人目の素数さん
18/12/11 23:00:06.13 ZMzdqjWO.net
6年経っても真偽が定まらない理論とか科学ドキュメンタリーの格好の題材なんだよなぁ
教授のふるまいやら数学コミュニティの反応やらRIMSの査読、予算といろいろ背景も興味深いし
ちゃんと作れば海外にも映像売れそう
315:１３２人目の素数さん
18/12/11 23:09:07.85 wgwoFn2l.net
あまりの進展のなさに最近はついにjinも飽き気味らしい。ツイートしなくなったな。
316:１３２人目の素数さん
18/12/11 23:09:24.06 N+ttfAQM.net
まぁ一度外部の人間の目が入った方がいいというのはその通りかもね。
査読は実際にはどの程度終わってるのか、本当に中立的な立場の人がある程度以上の誠意を向けて、質的にも量的にもある程度以上の目でなされているのか、なされたのか。
基本数学の世界は性善説で外部の目がなくともそれらがなされていると見なしてるけど、キチンと外からの目を入れてもらうのもいいかもしれない。
長い目で見ればそれがPRIMSの信頼向上につながっていいかもしれない。
317:１３２人目の素数さん
18/12/11 23:10:01.71 dnJH3KZ0.net
現況をまとめるが、自称中の人がいたら間違いは訂正してもらって構わない
・既成の数学から見たらショルツの指摘は自然である
・ウィキペディアに書いてあるように、望月の反論の論拠はIUF特有、特に絶対遠アーベル幾何学を用いた
IUF特有の構造である
・コミュニティに想定以上に理解されていないのでアクセプトを決定するのが恐らく躊躇されている
この膠着状態を脱するには、前にも書いたがFaltingsかBombieri界隈の幾何学者を納得させるしかないだろう
外圧を逆利用するしかないのだ
318:１３２人目の素数さん
18/12/11 23:15:27.49 9hW3imYt.net
>>305
かなり良質なものらしい
319:１３２人目の素数さん
18/12/11 23:18:27.50 sWrCPOfH.net
>>301 >>303
これについては>>303が正しいな。
もっちーのabsolute anabelianの論文までは遠アーベル内部での理解者も多い。
iutを遠アーベルの範疇でとらえるのはおかしいし、もっちー自身もそんなこと言ってないし。
320:１３２人目の素数さん
18/12/11 23:20:03.96 qLRn3efl.net
Nスペ 予想
ドキュメンタリー
「ホラー
京都市左京区北白川追分町 限定定理 は 実在
した」
321:１３２人目の素数さん
18/12/11 23:22:40.14 WSbs0vAR.net
>>286
生産性のないのはIUT理論そのものだろ。
いったい2012年からどんな進展があったというんだよ。
支持者フェセンコにいわせれば、そこから何百という新しい結果が導き出されるんじゃなかったのか。
なんの結果も出ないこと自体が、望月たちの脳内が混乱して議論が進められなくなってる証拠だろ
きちんとした論証のないままに、比喩とイメージだけで論を進めた挙句、数学的実態のない空疎なものになっている。
322:１３２人目の素数さん
18/12/11 23:30:15.60 WSbs0vAR.net
>>307
何をいまさらｗ
星・山下・Saidi・ブンゲンによる内部の査読が外部では全く信用されず、
外部の人間であるショルツ先生に事実上の査読を依頼したら、
「理論の根本がナンセンス」というきつい評価をいただいて、
望月もRIMSがそれを素直に受け止められず立ち往生しているというのがこの1年の出来事でしょ。
望月自身の見解が180度変わるなど、理論そのものを彼ら自身理解できていない実態が暴露されている有様。
323:１３２人目の素数さん
18/12/11 23:44:52.16 qLRn3efl.net
>>304
新しい？
>>244 参照のこと
324:１３２人目の素数さん
18/12/12 00:14:59.17 2Z+dwFrZ.net
軽い捕捉
何が最大の齟齬か
→記述レベルが違う。絶対遠アーベル幾何学的な高レベルのパターンにラベルを付け区別をしている
指摘された欠陥は低レベルな記述に依存した際の性質に過ぎない
その際、IUTは狭義の点集合やそれらの射とは異なる対象を扱っている。つまり、既成の数学とは異質
こうした異質な記述による論理的識別を認めるか否かが問題になっている
人によっては異論はあるだろうしまとめすぎと思われるだろうが、勝手なまとめなので容赦を
325:１３２人目の素数さん
18/12/12 00:48:14.65 5wR7QujC.net
Nスペよりドラマ向き
古畑でフェルマーの最終定理にちなんだ殺人事件の話があったけど
あれみたいに今回の件のパロディ作れば良い
326:１３２人目の素数さん
18/12/12 00:48:53.25 2Z+dwFrZ.net
更に捕捉
本当にそんな抽象的な記述レベルの話と件の不等式に関係があるのか？
→あると言ってよいだろう。実際、「定義より自明」という表現はこの問題を踏まえれば
そんなにおかしな表現ではない。特に第三論文p126参照（勿論ここだけ読んでもわかりません）
327:１３２人目の素数さん
18/12/12 00:54:34.80 2Z+dwFrZ.net
>>314
だからこそ、FrobenioidとAnabelioidという構造的な縛りを入れた上で、その範囲で幾何学的射や点集合よりも
根源的なレベルの、もはや単なる幾何学ですらない理論を展開したわけだ
まあ来年までは決着はお預けだよ
328:１３２人目の素数さん
18/12/12 04:24:31.40 AJzBQpK2.net
> 京都は決断しなければならない
決断の問題だった
329:１３２人目の素数さん
18/12/12 06:32:41.53 Y2OUmdPH.net
> 根源的なレベルの、もはや単なる幾何学
ですらない理論
IUTは 血税を使い、なんでもありのカルト
やオカルトの類ですね。
オカルトvs 近代科学です
330:１３２人目の素数さん
18/12/12 07:01:17.62 Y2OUmdPH.net
>FrobenioidとAnabelioidという構造的な縛りを入れた上で
>>18 なんですよ
物理らしき用語を濫用していますね
331:１３２人目の素数さん
18/12/12 08:21:28.37 xljgTXTP.net
>>296 一般ピーポーが、なんでそんな知ったかぶったことを言えるのやら…
332:１３２人目の素数さん
18/12/12 08:26:59.64 YG3pOKZS.net
わからないことには沈黙を
333:１３２人目の素数さん
18/12/12 08:50:06.48 Y2OUmdPH.net
1と2が矛盾していることがわからない
RIMS教授たち。
沈黙中、、
↓
本学(京大) 報告書等 >>7
学部 研究科等の研究に関する現況調査表
数理解析研究所 RIMS
1 【資料2:発表論文数】
所員の発表論文数
※査読付き論文のみ
※括弧内は国際学術誌に掲載された論文数
2
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
334:１３２人目の素数さん
18/12/12 09:47:45.07 nCirm4VM.net
>>302
3次元空間内では、クラインの壺は実現出来ない。
面が交叉したものなら出来る。
335:１３２人目の素数さん
18/12/12 09:55:32.72 0irO1ekh.net
なんか上のほうでごちゃごちゃ書いてるけど、
なんでこんなデタラメがつらつら並べられるのか分からん。
数学の理論は理論それ自体の構築に意味があるんじゃなくて、
証明のツールであるというのが把握できてないような印象を受ける。
とりあえず数学プロパーじゃないっぽい。
336:１３２人目の素数さん
18/12/12 10:13:21.77 71AAifBg.net
新しい幾何学なんだよ
337:１３２人目の素数さん
18/12/12 10:16:06.71 0irO1ekh.net
>>327
それ自体どうでもいい。
証明に使えないなら数学とは無関係だから。
338:１３２人目の素数さん
18/12/12 11:07:39.91 JYPYHsws.net
Nスペってまじなの？どこから出た情報だよ……
339:１３２人目の素数さん
18/12/12 11:11:29.72 YG3pOKZS.net
脳内ソース
340:１３２人目の素数さん
18/12/12 11:57:29.53 0PU5FnjJ.net
かつて収束や発散を曖昧に扱っていたようにIUTでもある種の感覚、解釈に頼った理論展開がなされていてそれが自明という言葉になっちゃってる
ショルツらの感覚、解釈では理論自体が自己矛盾を導いてるように読めてしまう
それを解消するために来年からのプロジェクトで厳密化がなされていくはずだけど時間かかりそう
341:１３２人目の素数さん
18/12/12 12:24:54.69 71AAifBg.net
もう撮影は終わってるから、編集と査読がどうなるか待ち。来年夏頃か？
342:１３２人目の素数さん
18/12/12 12:37:44.10 g5+n7u14
343:.net
344:１３２人目の素数さん
18/12/12 14:48:06.10 K3dWYvit.net
もう撮り終わってる？
査読の結果によってまた内容が変わってくると思うのだが・・・
まあそもそもが真偽不明の話だけど
345:１３２人目の素数さん
18/12/12 15:08:46.39 g5+n7u14.net
IUT論文の査読結果の前から
PRIMS編集者の結論がでているね
>>7 >>8
↓
事例4
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
346:１３２人目の素数さん
18/12/12 16:36:09.73 PqXYaj7p.net
>>326
君は前からアンチやってる人だからポジショントークだね
論点は不等式なんだよ。まさに証明の最重要ステップだ
347:１３２人目の素数さん
18/12/12 16:50:36.99 PqXYaj7p.net
歪みの計算はあの不等式に直接関わっている
それで、あの不等式は格子に宇宙を位置付ける記法、計算に依存している
望月がショルツらの指摘が単純だと言ってるのは、突き詰めれば
あたかも普通の点集合の対象と射について話を処理してるように見えるからだよ
IUTが殆ど出鱈目と決め付けてる人間こそプロパー（って何？w）ではないだろ
有意味か否かギリギリの所で論争してるんだぞ
348:１３２人目の素数さん
18/12/12 16:53:27.21 YG3pOKZS.net
math2.0
349:１３２人目の素数さん
18/12/12 17:00:05.50 0irO1ekh.net
>>336
だったら証明を提示すればいいだけ。
>>337なんてのはまったく証明の１プロセスにもなっていない。
ただのおしゃべりでしょ。
350:１３２人目の素数さん
18/12/12 17:00:27.58 PqXYaj7p.net
>>331
厳密には自己矛盾というか、ナンセンスだね。手続き不能な論理に見えるということ
そりゃそうだろう、明らかに通常の集合論とは異質な論法なのだから
重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
かつてのカントールみたいなもんかもしれないのだから
351:１３２人目の素数さん
18/12/12 17:01:55.33 0irO1ekh.net
証明になっていないという指摘に対して、
証明を示さずに理論の構想を示すことで反論になってると思ってるのがダメなんだよ。
352:１３２人目の素数さん
18/12/12 17:06:15.79 wUHF43U6.net
>>326
微分幾何の全体は別の何かを証明するためのツールに過ぎず、フラクタル理論もカオス理論も何か他のものの証明のための単なるツールである
と自称数学プロパーが相変わらず何か物凄いことを述べています ｗｗｗｗ
何か偉い先生がお題を出して→それを解く→それが数学であり一番偉いことのはず だって中学高校時代ずっとそれやってきたんだもん
何だよ理論とかー 先生のお題を解いていい点数を上からもらわなけりゃ全く意味ねー
古今の数学者 「数学の数理の、圧倒的な深さ神秘さ、広大さや新しい地平を見たい そういうことで我々はやってきたんだが、自分らはプロとは言えないみたいだな ヒソヒソ」
353:１３２人目の素数さん
18/12/12 17:10:10.06 PqXYaj7p.net
>>341
ノーノー
IUFの論法が正しいかどうかが論争になっている
認識できれば証明は自動的に論文の通り成り立つ
ちなみに、格子の計算原理は前にも書いたが、二つの既成の数学理論を融合した発想になってるものだ
そうだから、新しい論法だが懸けてみようと思ったんじゃないか
354:１３２人目の素数さん
18/12/12 17:12:41.22 PqXYaj7p.net
ちなみに、これまで成書でIUTの内容に触れたのは黒川-小山、安福の三人だけ
それで、この三者共部分的な理論の戦略や原理を解説してるが、IUFの論法には殆ど触れていない
賢いっちゃ賢い
355:１３２人目の素数さん
18/12/12 17:21:35.16 lGPi/8Bz.net
有意義であるかまだ定かじゃないならアクセプトしちゃダメでしょ？
356:１３２人目の素数さん
18/12/12 17:41:20.25 PqXYaj7p.net
同じ集合論の拡張でも、遠アーベル幾何学的な理論でなければもう少し受容されやすかっただろう
何故そうなのかは微妙なニュアンス
357:がわかる人間でないとわからないから難しいんだが 単にマイナーだからという理由だけではない 全くわだかまりなくこの路線で行くなら、遠アーベル幾何学ではなくより単純な理論を作るべきだと思う でも、こういう状況で通すかどうか自体は非常に興味深い
358:１３２人目の素数さん
18/12/12 17:51:02.02 tCzugIcJ.net
「論法」なんて数学の概念はないけどね。あるっていうんなら厳密に定義しないと。
〇月にアクセプトされると言ったりNステで報道されると言ってみたり、
もはやIUTはオカルトと香具師の巣窟になってるな。
359:１３２人目の素数さん
18/12/12 18:02:56.59 fuCSJiJq.net
まだブンゲン書き込んでるのか
いい加減諦めればいいのに
360:１３２人目の素数さん
18/12/12 19:06:51.66 lUILcS/g.net
>>340
>明らかに通常の集合論とは異質な論法
>>324 >>335 参照のこと
>重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
>>18 参照のこと
361:１３２人目の素数さん
18/12/12 20:12:15.81 PqXYaj7p.net
>>349
Robertsもかなりフォローしているのだから、疑問点を論文にするべきだと思うわ
今回ここまで認知的不協和を生んだ主因が、絶対遠アーベル幾何学によって階層性を
表現したことにあるのは確か。レポートを読む限り、本人も十分に自覚できてない
圏論的な構造の範疇にはあるが、通常の圏論の論理的範疇かというと、違う
あらゆる理由から理解されにくくて当然
362:１３２人目の素数さん
18/12/13 01:01:42.89 x4P5CYZk.net
理解できなくても数学の新しい扉が開くかと
ワクワクしていたのだけどこの１年は逆に閉じてしまった
印象だなあ。
363:１３２人目の素数さん
18/12/13 02:42:21.93 gMktMhDK.net
バカが娯楽として消費する物語にされてもねえ
364:１３２人目の素数さん
18/12/13 03:28:26.29 Ro/WaY7S.net
もっちーの代数学賞からIUTの失敗までが映画になったら見たい。ヒットしそう。
365:１３２人目の素数さん
18/12/13 04:30:10.99 5OMQUvON.net
複数の世界線の実在が証明されて数学どころの話ではなくなる、の流れを予想
366:１３２人目の素数さん
18/12/13 08:01:19.42 JCy65lAu.net
>>353 そんな、盛り下がってく映画がヒットするわけない
367:１３２人目の素数さん
18/12/13 08:09:15.09 2WnD5Mo4.net
ホラー
「 ザ リング / 衝突する環 」
202× 年 京都の 大学 廃墟に古井戸があり、、
368:１３２人目の素数さん
18/12/13 08:21:11.26 e/mUXgYq.net
厳密化した上で再構築しようとしたらEGA.SGAレベルの超大作になりそうだな
望月さん頑張れ
369:１３２人目の素数さん
18/12/13 08:24:57.12 2WnD5Mo4.net
わ、、
湧いてきた
ガクガクブルブル
370:１３２人目の素数さん
18/12/13 09:58:06.17 GigRgvS+.net
>>354
地球侵略を目論むフロべニオイドとアナベリオイドが侵攻してくるんだろうなぁ…
371:１３２人目の素数さん
18/12/13 10:15:00.57 5ZmkbDwB.net
>>350
なんでこんなくだらないものに論文を書かないといけないんだよ。
業績になるわけでもないのに。
STAPのときもそうだけど、検証のために他人に時間を割かせているという罪悪感がないのかね。
372:１３２人目の素数さん
18/12/13 12:08:00.55 F83zpsdc.net
相対論や量子論と同じで今さら間違ってましたとは口が裂けても言えないんだよ
373:１３２人目の素数さん
18/12/13 13:09:51.88 CHerrFpC.net
>>361
で、おまえさんは相対論や量子論を間違ってるとでも考えてるのか？
374:１３２人目の素数さん
18/12/13 14:44:47.98 F83zpsdc.net
>>362
騙されるのは嫌だからね
STAP細胞はあると思ってる
375:１３２人目の素数さん
18/12/13 14:49:50.40 LCOZA+HC.net
ありまぁす！
376:１３２人目の素数さん
18/12/13 15:13:35.62 pMsd2EL1.net
>>363
うーんこの小保方
377:１３２人目の素数さん
18/12/13 15:59
378::54.59 ID:3Vj66JdS.net
379:１３２人目の素数さん
18/12/13 16:21:01.04 fKg1M+Ef.net
IUTの古井戸から色々と湧いてくるね～
380:１３２人目の素数さん
18/12/13 16:26:06.36 LCOZA+HC.net
信者アンチ問わずチンパンさんと同レベルの書き込みはご遠慮くださーい
381:１３２人目の素数さん
18/12/13 17:56:41.66 F83zpsdc.net
論文発表以来、何の進展もないんだからしょうがない
382:１３２人目の素数さん
18/12/13 18:03:45.53 3Vj66JdS.net
受容が厳しいのは事実だが、論争が世に出たのは進展だ
とにかく来年だな。アクセプトしちゃって論議を後処理する覚悟で行くかどうかだが
保留だとしたら実質的な降伏になる
383:１３２人目の素数さん
18/12/13 18:07:52.65 fssy/t/Z.net
量子力学が間違っていてSTAP細胞があると思ってる奴が書き込むレベルのスレ
IUT以上に存在価値ないな
384:１３２人目の素数さん
18/12/13 18:19:14.65 fKg1M+Ef.net
>>371
隠れ擁護派だろうね
385:１３２人目の素数さん
18/12/13 18:19:33.92 GL4/bHh2.net
議論あとまわしにしてどうする？
もう今の時代議論のたたき台としての雑誌の存在価値なんかない。
もうネットの時代なんだから。
今の時代、論文誌に求められてるのは査読の機能。
実力ある数学者たちが厳正に査読をして相当以上の確率で信頼できるもんじゃないと。
数学辞典や教科書つくってるんじゃないんだから。
引用するだけなら辞典や教科書の方が楽だけど、それでもやっぱり極力論文誌を引用するのは、もちろん最初に理論作った人の物引用しないともあるけど、やっぱりそっちの方が信頼性高いからだよ。
引用したはいいものの後で間違ってたら大変だもん。
ある論文の間違いが、べつの論文の間違いにつながって、…で後処理大変になる。
１００年前じゃないんだから。
386:１３２人目の素数さん
18/12/13 18:22:16.29 iPL+Go4s.net
おこぼれにあずかりたいおっさんとサイコパスと空気読めない御大がそろい踏み
では雲行きがあやしい
387:１３２人目の素数さん
18/12/13 18:26:18.57 FCjk+LxP.net
もっちーが頑張って多重なんちゃらを全部明確な定義を与えて書き換えれば逆転のチャンスもあるかもだけど
現状だと保留するのは当然で、証明されていないとRIMSが明言するかどうかの方が気になるわ
388:１３２人目の素数さん
18/12/13 18:28:20.03 F83zpsdc.net
>>366
近似じゃなくて方便なんだよね
だから正確にいうと間違いだし
量子コンピュータが実現することは
今後も絶対にないだろう
389:１３２人目の素数さん
18/12/13 18:31:17.57 3Vj66JdS.net
>>373
あんたもよく字面通りに受け取るな
割れてるのは間違いないのだから、どうなろうと正しいと見なしてる連中が責任を取れという意味だ
俺も擁護したり批判したりどっちなんだという話だが、自分だったら三ヶ月相談の上、多分判断拒否だね
責任を取れるほど論証に十分納得できないから自分は無理だと正直に言う
京都の内情は色々複雑なんだろう
390:１３２人目の素数さん
18/12/13 21:50:59.13 eR0Wv2Qz.net
欲ボケonly
391:１３２人目の素数さん
18/12/13 22:59:50.14 K7iWE9nr.net
基本的には数学としての正しさだけを問題にしたいが
実際には金やポストが絡んできて事態を複雑にする
392:１３２人目の素数さん
18/12/13 23:59:45.87 UufndWC9.net
まあ、抽象的な位相群から引っぱって来てるから多意的(multivalent)だと言いたいのだろうけどね
393:１３２人目の素数さん
18/12/14 00:00:37.04 pWGKXBsY.net
IUTは超弦理論のブレーンワールド同様ゲテモノまがいのファンタジー
394:１３２人目の素数さん
18/12/14 02:55:28.11 s9SRjar
395:c.net
396:１３２人目の素数さん
18/12/14 05:27:05.15 GoLYOuD5.net
>>376
隠れ擁護派だな、
IUTの本質は トンデモ
397:１３２人目の素数さん
18/12/14 05:59:06.59 GoLYOuD5.net
>>380
本人 取り巻きですか？
398:１３２人目の素数さん
18/12/14 07:08:35.62 Om34TB+H.net
まあ相対論や量子論、超弦理論がトンデモというならトンデモでいいんだよ
IUTもまた同じ。トンデモだろうが存在価値がある領域というのはある
トンデモという指摘はあまり意味が無いね
トンデモと指摘するやつの立場を明らかにする効用くらいかな
399:１３２人目の素数さん
18/12/14 07:13:43.95 GoLYOuD5.net
↑ オカルト トンデモが言ってます。
400:１３２人目の素数さん
18/12/14 12:59:33.38 GoLYOuD5.net
・物理理論は実験事実に基づく合理的な
作業仮説で更に物理理論の予測を実験
する。
・量子力学は物理理論。
物理の量子力学は実験事実を合理的に
体系化して 熱力学と同様に物理として
公理論的に整備されてもきた。
現在 精密測定からハイゼンベルグの不確定性
関係は小澤の不等式より更に 精密化され
測定過程を公理に加える提案もされて
いる。
小澤の不等式は LIGOの重力波精密測定
に応用された。
また、量子化で 無限自由度の場の量子論と
有限自由度の量子力学は異なる。
物理の超弦理論は 統一理論として予測能力に
欠け 高次元高エネルギーの基本法則候補
つまり試論だ。
・数学は 数学体系より 厳密な証明が
必要であり物理理論とは異なる。
物理用語の濫用など混同は許されない。
URLﾘﾝｸ(www.nikkei-science.com)
401:１３２人目の素数さん
18/12/14 14:02:24.41 uUnkeJht.net
論文発表以来なんで何の進展もないの？
402:１３２人目の素数さん
18/12/14 14:14:03.66 tNJt79rI.net
理論が正しいか間違っているか俺には判断つかないが
今の状況でこれから新規参入してくる研究者はRIMSの院生以外に
ほとんどいないのではないか
またIUTの論文を読み進めていけるような学生なら他のテーマでも
力は発揮できるだろう
今現在すでに参入してサーベイ論文書いたり解説講義してる人たちが
今後相当頑張って目に見える成果を出さないとだんだん厳しくなっていくと思う
403:１３２人目の素数さん
18/12/14 14:50:49.12 /Mw3SQkF.net
ssの主動機は何なんだろう
abcの別証明へのモチベーションがそがれないようにするため？
直接の業績にはならないのだろうし、自分たちが正しくても副産物として
何かfruitfulな結果が生まれるわけでもないから、奇特な人たちだなぁ、とか
思ってしまう。
404:１３２人目の素数さん
18/12/14 15:18:20.36 6awaN2Lo.net
>>390
あんた小さいなあ。ちんけな業績も大切だけど、面白そうなことを探求のほうが大切だと思わないのかな。
S-Sの動機は、単に真理の追究なんじゃないか？
あと、正しいか疑わしいものが正しいとされてしまうことが許容できないとか。
日本に来て直接対決したのは、総裁に乞われてということだろうけど。
405:１３２人目の素数さん
18/12/14 15:50:06.88 tNJt79rI.net
査読は業績にはならんが真面目にやらんとその分野が崩壊するんだよ
406:１３２人目の素数さん
18/12/14 16:12:26.87 /Mw3SQkF.net
今回のケースは放置しとけば自然と風化するのではないかな
超一流の人たちのリソースを割くだけの価値があるんだろうか
407:１３２人目の素数さん
18/12/14 16:34:28.09 c485Ts7j.net
>>390 「査読する主動機は何だろう？」って尋ねてるのと同じやな。
まぁ確かによくわからんが、そういう奴らばっかになれば、研究は崩壊するわなｗ
408:１３２人目の素数さん
18/12/14 16:47:30.09 AlUb9RbP.net
>>3
409:93 今回の論争を第三者が更に俯瞰してIUTの動機部分を軽く擁護する論文はあってもよいな 公平に見て、上手くやれば一つの前向きな論争に着陸させることもできるだろう
410:１３２人目の素数さん
18/12/14 16:53:47.25 6awaN2Lo.net
放置で風化されるというのは日本的な考えだろうでど、今回のケースではまずいでしょ。
大予想に関することでいろいろと巻き込んできたので、本人が取り下げる気がないのなら、それなりの決着を図られるべき。
名大の虚偽申請についても、張本人が修正するといいながら修正できず、けじめをつけていないのは、放置で風化させようとしている意図を感じる。
数学界や名大に対しての信用毀損を回復できない。
411:１３２人目の素数さん
18/12/14 17:08:51.46 0v7F0q5K.net
IUT にインスパイアされてこんなんできました！って論文はもっとバンバン出てきていいはずだし、そうじゃなきゃおかしい。
のに出てこないからみんな疑ってるんじゃないの？
そういうのが出だして、お、IUTっての勉強するとこんな面白い理論にたどり着くのか！じゃ俺も、となるべきところが、目下正反対の方向に行ってる。
望月先生側が何かしらせんと状況が好転する事はないよ。
412:１３２人目の素数さん
18/12/14 18:47:00.26 D8FleMqC.net
三年ぐらい時計が止まってるだろ
413:１３２人目の素数さん
18/12/14 18:47:25.46 MFuZUAD5.net
ヒカキンの年収が10億超え!?明石家さんま・坂上忍も驚愕の総資産とは??
URLﾘﾝｸ(logtube.jp)
【衝撃】ヒカキンの年収・月収を暴露！広告収入が15億円超え！？
URLﾘﾝｸ(nicotubers.com)
HIKAKIN(ヒカキン)の年収が14億円！？トップYouTuberになるまでの道のりは？
URLﾘﾝｸ(youtuberhyouron.com)
ヒカキンの月収は１億円！読唇術でダウンタウンなうの坂上忍を検証！
URLﾘﾝｸ(mitarashi-highland.com)
なぜか観てしまう！！サバイバル系youtuberまとめ
URLﾘﾝｸ(tokyohitori.hatenablog.com)
あのPewDiePieがついに、初心YouTuber向けに「視聴回数」「チャンネル登録者数」を増やすコツを公開！
URLﾘﾝｸ(naototube.com)
27歳で年収8億円 女性ユーチューバー「リリー・シン」の生き方
URLﾘﾝｸ(headlines.yahoo.co.jp)
1年で何十億円も稼ぐ高収入ユーチューバー世界ランキングトップ10
URLﾘﾝｸ(gigazine.net)
おもちゃのレビューで年間12億円！ 今、話題のYouTuberは6歳の男の子
URLﾘﾝｸ(www.businessinsider.jp)
彼女はいかにして750万人のファンがいるYouTubeスターとなったのか？
URLﾘﾝｸ(www.businessinsider.jp)
1億円稼ぐ9歳のYouTuberがすごすぎる……アメリカで話題のEvanTubeHD
URLﾘﾝｸ(weekly.ascii.jp)
世界で最も稼ぐユーチューバー、2連覇の首位は年収17億円
URLﾘﾝｸ(forbesjapan.com)
414:１３２人目の素数さん
18/12/14 18:51:35.53 Vo
415:h06VK4.net
416:１３２人目の素数さん
18/12/14 19:01:18.92 SwYkIBn1.net
>>390
正しいのか良く分からん話でabc予想が解決されたと言われて周囲が理解できないから
真偽が定まらないとか言われ続けるのは数論研究全体からしてもあんまりよくないんじゃないの？
若手のモチベーションに関わるだろうし
世代を代表する研究者としてこの件を
変わった研究者が間違った理論を立てて自明と言い張って説明しないから話が進まない
ぐらいの落としどころにしようという動機は十分あるでしょ
417:１３２人目の素数さん
18/12/14 19:04:46.65 sqsCiDPC.net
時間は残酷だよな
身近で「この問題はどう考えよう」「IUTはどう？」「(笑)」、なんてジョークも出たことがあるからな
418:１３２人目の素数さん
18/12/14 19:35:28.90 3HnjFiFa.net
>>387
厳密性は時代の関数って言葉知ってる？
419:１３２人目の素数さん
18/12/14 20:22:12.42 lm+xov0W.net
>>403
時代を超えて明晰な論文があるね
420:１３２人目の素数さん
18/12/14 20:25:17.95 6awaN2Lo.net
厳密性を無視していくと、代数幾何のイタリア学派の崩壊みたいなことが起こるのだろうね。
多元の虚偽申請の件も、当事者が功を焦るがために地道に厳密性を吟味できていなかったのだろうね。少数の業績で出世させるとロクなことがないね。
IUTも似た状況かね。
421:１３２人目の素数さん
18/12/14 20:27:26.63 wiPxMeju.net
>>396
でもこのまま「風化」が最も可能性があると思うよ.。
だってIUTが間違ってましたとなると、望月のみならず、
「数学的誤りはない」と宣言した査読チームの星・山下・Saidi・ブンゲンだって
「何見てたんだよ」って話になるし、
何よりもRIMSもそれに同調してたもんな。
とにかくいまはひたすら「自明自明」と言い張って
なんにも進展がないまま世間が飽きて忘れてくれるのを待つよりほかないでしょ。
422:１３２人目の素数さん
18/12/14 20:35:02.84 jpfQpqq9.net
競馬の予想のほうがマシなこと書くよ
423:１３２人目の素数さん
18/12/14 20:39:16.16 6awaN2Lo.net
>>406
日本の数学界がそんな「風化」を許す態度であることは、日本の数学研究が世界的に地位低下している一因だろうね。
RIMSも、業績がすごいのは定年した特任教授ばかりかね。
中島氏も逃げ出すし。
424:１３２人目の素数さん
18/12/14 20:43:48.59 tNJt79rI.net
良いサーベイを書くことも大切だがオリジナルの結果が少ない状態で
サーベイ論文ばかりの人は評価が低いという業界の普通を守らなかったのは
IUTに関しては失敗だった
425:１３２人目の素数さん
18/12/14 21:05:53.67 dY5up7WB.net
風化風化と言うけど、本人はガチで間違ってないと思ってるだろうけどな
悪ふざけであんな論文やレポート書いてるわけねーじゃん
京都にもそういう勢力がいるだろう。後ろめたく風化を狙ってる、という人間は実際にはいないかもしれん
426:１３２人目の素数さん
18/12/14 21:15:01.70 3HnjFiFa.net
>>4
427:04 ピタゴラスに船からでも突き落とされそうな事実でもあるんなら具体的に挙げてみろよ。 具体的に構成的じゃない証明の存在定理の形でもいいぞ(笑)。 数学的に保証されてない経路積分の計算で出てきた発見的なんでもええで(笑い)。
428:１３２人目の素数さん
18/12/14 21:33:43.48 6awaN2Lo.net
ご本尊はどうか知らんが、取り巻きやRIMSの教授陣や数論関係者の一部は風化を狙っているんじゃないか？
429:１３２人目の素数さん
18/12/14 21:49:46.45 SwYkIBn1.net
>>406
再来年にプロジェクト研究をやることを今から宣伝するとか火に油なんですけど
飛ばし記事の件といいほんと自ら立場を悪くするようなことばっかりしてるような…
430:１３２人目の素数さん
18/12/14 21:53:15.12 tNJt79rI.net
>>413
プロジェクト研究は2年前に告知して前の年に国際研究会の手配をしないといけないから
やる以上は今から宣伝しないといけない
私自身はやめておいたほうがいいと思っているが決められた手続きだから仕方ない
要するに2年前に告知→それを元に今年の科研費申請（そろそろ審査中）と金の問題なんですよ
431:１３２人目の素数さん
18/12/14 22:08:24.40 dY5up7WB.net
弟子は知らないが、同僚としてははっきりして欲しいだろう。正直聞いてみたいけど失礼だから聞けないよな
有耶無耶にして胡散臭いイメージが付くよりはそっちのほうがいい、と思ってるはずだけどな
しかし、来年まではこれは下衆の勘繰りだよ。まさに山場、クライマックスを迎えるわけだから
432:１３２人目の素数さん
18/12/14 23:24:35.25 wiPxMeju.net
>>410
だってIUT理論につき現状以上の証明の詳細は出せないし、
IUTからより自明でない新しい結果も出ないというんじゃ、
誰もが懐疑的になり興味を無くすだろうし、そうなりゃ風化せざるをえなくなるだろう。
望月もRIMSも「間違ってました」宣言をするほど素直じゃないと思うよ。
じっさいリーマン予想なんて毎年のように「証明」が出されるけど、
その大多数は当人が「間違ってました」と言わないまま風化して終わっているわけだし。
正しい証明であれば、それが公開されて何年も認められないという事は絶対にないのだから、
その間に決着がつかず、それどころか誰もが興味をなくしていくというのは、間違っていると考えてよいわけだ。
433:１３２人目の素数さん
18/12/14 23:43:21.36 no/UTFam.net
隕石やゴリラやヒトデが理解できるのに一流の数学者は理解できない魔法の理論
434:１３２人目の素数さん
18/12/14 23:57:18.72 R6s3Lo8N.net
Hが入門を英訳し、絶対遠アーベルの方面から擁護してやれば済むだけの話だろうに・・・
解説も丁寧だし、何故それをやらないのか不思議だよ。師匠の腰巾着なだけなのかね
まあ、いろいろ「下衆の勘繰り」はできるけれども（笑）
Yはもうどうでもいい。Mの理論や反論を劣化コピペしているだけだから
435:１３２人目の素数さん
18/12/14 23:58:41.39 x05DuKYK.net
>>416
風化するかどうかはともかく、意図の話ね
その辺の訳わからない素人じゃないし、同僚としてはなるべく早くはっきりさせて欲しいと思うよ
RIMSの総意が風化を願うってのは到底考えられないね。まだ査読中なんだから、来年は最善で対応したいはず
本人には突き通す覚悟がありそうだけど、未だに難しい段階だよ
436:１３２人目の素数さん
18/12/14 23:58:58.58 R6s3Lo8N.net
補足
絶対遠アーベルの方面からの擁護というのは、入門の英訳とは別にということだよ
437:１３２人目の素数さん
18/12/15 00:00:26.26 JImrdpOr.net
あと、Kimやケドラヤには期待しない方がいいね
彼らは自分の立場を守らなければならないだろう
438:１３２人目の素数さん
18/12/15 00:03:38.46 jF1KjxEq.net
↑同僚としてははっきりして欲しいと思ってると思うよ、でした
まあ、俺は誰かがこの件に苛立ってるという話は知らないけどね。大抵のらりくらりしてるね
439:１３２人目の素数さん
18/12/15 00:07:38.61 jF1KjxEq.net
>>421
それは確信度にもよると思いますね
厳しいとかわからないと素直に思ったら、特にKedlayaは離れてもそんな火傷しないで済むだろう
Kimはもうちょい情があるでしょうが
440:１３２人目の素数さん
18/12/15 00:19:18.79 JImrdpOr.net
まあ、しばらくは「下衆の勘繰り」しかできないのだけど（笑）、
クオンタ誌での彼らのコメントを読む限り、
情においてはKim、確信度においてはケドラヤは少し持っているという感じだね
あと、S・Sレポートに関してだけど、充満多重同型について触れたp.7脚注に括弧つきで
“possibly indeterminate”と書いてある。これをどう評価するかが最大の焦点だね
抽象的な位相群から引き出し、全単射にしている同型をどうとらえるのか、ということね
要するに、一意的なのか多意的なのかということだよ
441:１３２人目の素数さん
18/12/15 01:19:53.78 bL7bS+Er.net
>>411
明晰な論文はアインシュタイン。
明晰だから数学でも厳密に議論できる。
RIMSは数理解析だから アインシュタイン
1905年論文を熟読している、、はず。
プリンストン大出版局の翻訳文庫 -
アインシュタイン論文選「奇跡の年」
の5論文-(合わせて109pの論文)もある。
442:１３２人目の素数さん
18/12/15 01:48:05.33 OgDZ7FRV.net
>>424
まあ、そもそも各々の垂直射が本質的に異なるという所が重要なので、理論の強い抽象化から来る
構造の非一意性と、その多様な構造化の捉え方が重要なのは間違いない
抽象的な搭乗対象にはテータ関数の幾何学的情報はない。何のための明示化なのか、ということでもある
望月側のイメージでは各々の具象対象はちゃんと宇宙に閉じ込めつつ同型射全体を見てる事になる
壁と充満多重同型は両立するんだということになる
個人的にはわかりますよ、と言いたいけど、間違いなく前例のない構造、論理ですからね
443:１３２人目の素数さん
18/12/15 07:12:33.65 G21HUR94.net
素数間の並びの特異性を構築したことになるので自己矛盾になる
終了
444:１３２人目の素数さん
18/12/15 07:13:16.52 bL7bS+Er.net
イメージより妄想が混じっている
445:１３２人目の素数さん
18/12/15 07:33:17.34 bL7bS+Er.net
>>428は >>426へ
446:１３２人目の素数さん
18/12/15 07:43:59.43 gG2lX9sL.net
本人はこれがだめならだめでもう一旗上げるぐらいの才能あるだろうけど周りの凡人はどうすんのよ
447:１３２人目の素数さん
18/12/15 08:08:27.44 rWAVjmhM.net
>>430
コンビニでバイトする
448:１３２人目の素数さん
18/12/15 08:15:24.27 bL7bS+Er.net
ぼけた人は 時間が認知できない、
時間を定義した→アインシュタイン
ぼけの妄想→IUT
449:１３２人目の素数さん
18/12/15 08:22:05.11 ouybXkPl.net
>>425 単なるアイン信者なだけやないけ…
450:１３２人目の素数さん
18/12/15 08:25:06.58 bL7bS+Er.net
>>433
ぼけ
451:１３２人目の素数さん
18/12/15 08:27:56.82 bL7bS+Er.net
ヒント 奇跡の年
452:１３２人目の素数さん
18/12/15 08:48:30.31 q6JfLc68.net
毎回偽情報流す自称同僚がいるけど、なんなんだ。
453:１３２人目の素数さん
18/12/15 09:31:28.69 MV7/QYdj.net
そもそも多意的ってなんなん？
意味がわからないんだけど
454:１３２人目の素数さん
18/12/15 09:58:18.29 j58MDFg3.net
>>430
いや本人も厳しいと思うよ。
こういっちゃなんだが、IUT理論は20年来の構想だそうだが、
それがショルツの言う通りナンセンスなものだとして、
20年間考えながら自分自身でナンセンスさに気づかないというのは、
は同僚と自分の研究テーマに対し腹を割ったっコミュニケーションが不足してたんじゃないかな。
2012年以降同僚に検証を求めたというが、正直ABC予想を証明しましたと宣言してしまうと、
やっぱり東洋的伝統として、自分より上席の人間の業績にはケチをつけないという意識が働いて、
批判的検討などなされなかったのだと思うが、
問題は2012年以前のアイデアの段階でもちづきがどれほど周囲とのコミュを取っていたかだ。
模試早くから構想の基礎を周囲に漏らしていたら、そのナンセンスぶりを指摘してくれる人もいたんじゃないか。
まあ、望月はもう50だし、精神的ダメージが大きくて、数学者としては廃人になりそう。
あるいみ『新潮』の予想はあたったのだ。
455:１３２人目の素数さん
18/12/15 11:46:39.93 Y0tF+E0k.net
>>418
英訳はもう出回ってるよー
456:１３２人目の素数さん
18/12/15 12:00:18.40 07wf0C3C.net
>>438
すごい。勝手に話を作っている。
457:１３２人目の素数さん
18/12/15 12:04:33.44 07wf0C3C.net
負の想像力。どこをどうしたらこうなる？
458:１３２人目の素数さん
18/12/15 12:06:25.92 07wf0C3C.net
こういうのをこじらせ系って言うの？
459:１３２人目の素数さん
18/12/15 12:40:30.54 vJbkM+og.net
> 本人はガチで間違ってないと思ってるだろう
2012時点なら。でも今も、かなぁ・・・
460:１３２人目の素数さん
18/12/15 13:32:12.52 wkjyZ8xr.net
確かにもっちーはこじらせ系だろうな
普通ならここでわかりやすい解説を自ら行おうとする
取り巻きは全く期待できない
取り巻きに見られる勉強はできるが研究できない人というのは
数論や代数幾何に多いが勉強した内容を自分のものとして取り込んでない
論文書いても既存のAをA'にさらにA''にとか形式的に道具を適応するだけの研究が多い
461:１３２人目の素数さん
18/12/15 15:18:11.27 XyP0IKLp.net
>>443
当たり前だよ
462:１３２人目の素数さん
18/12/15 16:17:05.91 JImrdpOr.net
>>439
Hの入門の英訳は目次以外にあるの？全部を英訳したのがあるの？
あるのならリンクを張ってほしい。まさか一部の人にだけ配布しているとか言うのじゃないだろうね（笑）
まあ、仮に入門の全英訳があったとしても3.12問題については2箇所で触れただけで、それも主論文を参照となっているから
あまり役には立たないけどね
463:１３２人目の素数さん
18/12/15 16:56:42.66 vJbkM+og.net
真理の探究と発見だけで満足しているだけなら、論文を公開したりはしなかったろう
公開したということは、人類に貢献したいと思ったからだろう
でもそれがうまく伝えられていない
人類に貢献したいという目的が果たされていない
目的の成就には、自分から説明をすればいい
自分で福音をかみ砕いてみせればいい
だがそうしない
矛盾だ
464:１３２人目の素数さん
18/12/15 17:49:10.14 hFmPR3b0.net
説明しないんじゃなくて説明できない説だとすると
海外に行かないのも自分では説明しないのもやたら可能性を強調するのも
ギャップを埋めるための時間稼ぎのためだと納得できる
わかりやすく説明してくれる理解者を求めているのも
読んだ人がギャップを埋める手伝いをしてくれることを期待しているのかも
465:１３２人目の素数さん
18/12/15 17:58:16.16 wkjyZ8xr.net
まあ海外に行かないのは昔からだからな・・・
数学者でもほとんど海外出張しない（外国で相手にされないカスは別にしてw）人はいるが
あまり良くないと思う
海外で違うグループからの評価を受けないと次第に独りよがりになりがち
466:１３２人目の素数さん
18/12/15 18:08:49.04 nN6r7ve2.net
>>448
未完成のまま世に出したのは承知の上だったんじゃないかな
そうでなけりゃよく年のフィールズ（特別）賞とかで受賞できなかったのを
ギャーギャー騒いでるハズ
幾何的数論として全ての数が同型射全体とか充満多重同型とかってのが非現実的
467:１３２人目の素数さん
18/12/15 18:25:24.38 JImrdpOr.net
ICM98（ベルリン）では招待講演されて報告書まで書いているんだけどね
なんか名誉があるのなら海外に出てもいいという考えなんだろう
名誉が関わらないのならスカイプでもいいや、って感じだよね
何なんだろう、この人は・・・
T川が昔書いたMの人物像はT川の色眼鏡、つまり幻想だと俺は思っている
誰かが補足して証明を完成させてくれればそれでも構わない、なんて絶対思っていないよ、この人は。
ワイルズと比較してMを褒めていた人もいたけど、今回の件でどちらが誠実かはっきり分かった
468:１３２人目の素数さん
18/12/15 18:54:19.19 E4MzaxaY.net
>>446
本人に欲しいと言えば送ってくれると思うよー
469:１３２人目の素数さん
18/12/15 18:55:20.11 29Mse2SR.net
藤林丈司
470:１３２人目の素数さん
18/12/15 19:34:21.82 JImrdpOr.net
>>452
いやいや、久々に大爆笑させてもらった
IUTT関係者は、本人、取り巻き、ストーカーなどを問わず、
糠に釘、暖簾に腕押し、馬耳東風って感じだね（笑）
これではIUTT関係者やIUTTに関心を持つ人たちが公けでは無視され、
陰ではアホ扱いされて当然だよ。５ｃｈだけでIUTTの話題は充分だ（笑）
471:１３２人目の素数さん
18/12/15 20:56:44.20 2nfeeixT.net
うん、日本語版と英語版で入手のコストが違うのは不自然ですよね
もしかしたら英語圏では星さんはタッチしないスタイルで行くのかな
472:１３２人目の素数さん
18/12/15 20:57:41.38 2nfeeixT.net
ああ単独の話ね
473:１３２人目の素数さん
18/12/15 21:07:47.39 BmAQtJyZ.net
これは数学でもサーベイでもないかも、
英訳して海外へばら撒いたら
IUTの宣伝になって いいね
↓
続 • 宇宙際 Teichmüller 理論入門
>[2] では、、たくさんの “不正確な記述”
を用いて非常に大雑把に説明しました.
>([2] と比較すれば “より数学的に”) 説明
します.
>宇宙際 Teichmu ̈ller 理論の本格的な理解
を目指すならば, 原論文の精読が
どうしても不可欠である, という当たり前な
事実を, 再びここに指摘します.
[2] 宇宙際Teichmüller理論入門
474:１３２人目の素数さん
18/12/15 21:40:26.30 FT0eHkoq.net
結局今IUTに求められているものとは方向が逆なんだよね。
今求められてるのは本論文に一線級の数学者でも埋められないような広すぎる行間があるので、その行間を補間できるものが求められてる。
のに、”本格的に学びたいなら本論文を読め” は ”行間飛ばし気味にざっくり解説するよ、細かいことは本論文で確認してね” だもんね。
本論文が煩雑、大分量だが精密であるという状況でポイントを拾って解説してるものが求められてるのとは状況が違うからね。
475:１３２人目の素数さん
18/12/15 22:03:00.68 2nfeeixT.net
もうその辺は他人が責任取れないんじゃないかな
山下のサーベイは大体評価が確定しているし
強いて言えば一番書くべきは、自称岩澤テイト理論を高次元に一般化した偉大なロシア人数学者だろ
幾何学的類体論と絶対遠アーベル幾何学の関係とか解説需要があるし
476:１３２人目の素数さん
18/12/15 22:04:12.27 y5nJchs6.net
やらないだろうね
特集アルゴリズムやらその他誤魔化してるのが精査されると再現できないのを自覚してるだろうから
477:１３２人目の素数さん
18/12/15 22:59:03.59 hFmPR3b0.net
よくあるIUTの批判で多数の専門用語が定義されたあとに抽象的な議論が延々続くってのがあるけど
根本的なところは触れずにかいつまんで表面的な説明をしてるんだとしたら当然っちゃ当然よね
結局何故それでいいかは論文見てっ
478:てことで、その論文にも書いてあるか良く分からないなら話が進むはずもなく
479:１３２人目の素数さん
18/12/16 00:02:27.18 LztJgevn.net
一意的、多意的という言葉はブルバキの集合論から出てきた言葉だから、意味分からんという人はテキトーに調べてほしい
MとS・S、特にショルツとの間で問題になっているのは、絶対ガロア群のような抽象的な位相群から同型物を引っ張り出す際の問題だよ
で、位相空間では一般的に非同型なんだけど、全単射にしているのだから普通に同型と言っていいだろうというだけの話
一般的に言えば、抽象度を高めれば高めるほど、構造的に同じものは同一と見做すのだけどね
S・Sが「Mは抽象と具象を区別していない」という強烈な言葉を放っているが、それはこういう所からも来ていると思う
ブルバキの件だけど、シュヴァレーなどはエリー・カルタンの論文の影響を受けていて
（実現の仕方に関わらず同型のものは同じとして見る）、構造という概念を強調している
IUTT問題というのは新しそうに見えて、半世紀以上前の古い問題でもあると思う
普通に見れば、Mは抽象と具象を区別せず、好き勝手に一意的にしたり多意的にしているように見える
要するに、デタラメ、ペテンの果てに内部矛盾に行き着いたということ
長文ゴメン
480:１３２人目の素数さん
18/12/16 00:12:19.31 06O1InEd.net
しゅうりょー
481:１３２人目の素数さん
18/12/16 00:20:08.66 LztJgevn.net
まあ、IUTTを密教だという揶揄は意外と（？）適切で、
抽象的なものは具体的、具体的なものは抽象的と言い放つヤツに対する嫌味なんだよね
それに加えて、西田哲学的、禅宗的な絶対矛盾的自己同一もあると思う
救い難い、度し難いほどのデタラメな神秘主義、非論理的なものに見える
そんなものに魅かれる科学者は多いけどね
誰が言っていたのか忘れたけど、「科学者に忍び寄る神秘主義の罠」ってやつだよ
482:１３２人目の素数さん
18/12/16 00:58:45.57 3sivtQAJ.net
>>462
でも設定を考えたら、やっぱり今までに無いことをやろうとしたのは確か
もはや幾何学がない所から幾何学をやろうとした
正しいかどうかはさておいても、AnabelioidとFrobenioidでやりたいことの方向性はわかる
その辺がどうもディスコミュニケーションになっているのが、勝敗が一方的ではない感じで面白い
483:１３２人目の素数さん
18/12/16 03:08:15.34 ztiKdKeT.net
Web上にはブログで数学的にすっとぼけたことを書いたりどっかのwebや啓蒙書の文章を
引用したりして、数学に対する無知無才を隠しつつ
なにか数学や物理の天才などにあこがれているであろうカスを見かける
大抵数学の実質的内容はないのであるが数学者の天才伝説などにはやたら詳しい
そういう輩がいくらあこがれようが騒ごうが数学にも物理にも
まったく無関係な存在であるが、
ここはそういうものによく似たタイプの書き込みがとても多い
484:１３２人目の素数さん
18/12/16 05:27:00.01 6EpzmE1c.net
「数学者」が物理を語るとトンチンカン
グロタンディクしかり、ブンゲンしかり、
485:１３２人目の素数さん
18/12/16 05:33:36.32 6EpzmE1c.net
Quanta magazine September 20, 2018
URLﾘﾝｸ(www.quantamagazine.org)
In the meantime, Scholze said,
”I think this should not be considered
a proof until Mochizuki does some
very substantial revisions and
expla
486:ins this key step much better.” Personally, he said, “I didn’t really see a key idea that would get us closer to the proof of the abc conjecture.” ←
487:１３２人目の素数さん
18/12/16 09:16:57.01 q9HCq3Rg.net
岡潔の論文なんて完全にオカルト文書なんだが、結果とアイデアが傑出しているから後世に評価されている
488:１３２人目の素数さん
18/12/16 10:43:18.22 9glXeQai.net
オカルトトンデモ IUT<∫超えられない絶壁∫<
<<< ..<PS<.<岡の連接定理
ジーゲル.カルタンら海外の数学者は
初めから 岡の多変数 複素関数論 連接定理
を高く評価していた。
489:１３２人目の素数さん
18/12/16 16:17:24.30 q9HCq3Rg.net
カルタン「岡の論文の結果は全て正しい。しかしこれは数学の論文とは言えない」
490:１３２人目の素数さん
18/12/16 16:18:11.19 rZOBchne.net
>>470
ジーゲル. Hカルタンに会った事のある数学者は多くいるが
そうした第二世代の数学者は岡を尊敬している
最近は海外だとOka? Who?って感じになってきたが
491:１３２人目の素数さん
18/12/16 18:08:54.61 PLEjAWN8.net
>>466
自分は一切数学について言及せず、そうした数学や物理についての批評を更に批評するだけの
生産性のない人間も典型的なのでウンザリしている
こうした人種はむしろ数学や物理への無理解から、高尚に扱いすぎる嫌いがある
492:１３２人目の素数さん
18/12/16 18:44:13.15 qlku4EFp.net
>>472
H カルタン
1950年
「(岡潔の第1連接定理について)
岡は同じ問題を考える論文を、語彙は
少々異なるのであるが、1948年に書いた」
1984 岡潔選集 総合解説
「しかし 次のことは認めざるをえない。
すなわち、岡の証明の技術的側面や
岡の結果の表現の様式は読者の責務を困難
にしているし、岡潔の結果の影響は重要な
ものであるが、それを理解するには
真の努力と引き換えでなければならない←」
493:１３２人目の素数さん
18/12/16 19:10:24.82 q9HCq3Rg.net
>>474
2番目のコメントは岡を望月に置き換えても通じるな
494:１３２人目の素数さん
18/12/16 19:13:12.31 qlku4EFp.net
>>475
デタラメ
↓
>>469 >>471
495:１３２人目の素数さん
18/12/16 19:24:39.81 PLEjAWN8.net
この問題で一番おかしいのは、もはや望月が海外に行かないとかそういうレベルの話ですらない
論点が滅茶苦茶はっきりしてるのに全く決着が付かないこと
遠アーベル幾何学的な階層性があって、それを認めたら水平射のリンクは同型ではない。正しいのか否か
まあまだ公開から三ヶ月だから来年までは待つしかないし、決着は付くだろう
496:１３２人目の素数さん
18/12/16 19:41:13.40 u8TvSuxJ.net
カルタンクラスの超大御所の支持が出てくれば大分空気も変わってくるんだろうけどねぇ。
本人、支持を広げる気あるのかねぇ？
497:１３２人目の素数さん
18/12/16 19:43:14.21 q9HCq3Rg.net
>>476
？
意図がわからん
498:１３２人目の素数さん
18/12/16 20:14:17.41 nsPQju//.net
>>479
岡論文は帰結の重要性が分かるけど、IUTにはそういうものがない。
タオが初期から言っている。
難解ではないがなんのための理論なのかが分からない、と。
このスレで何回も誤解させることを書いているやつが、
IUT理論そのものを�
499:u難解」と言っている研究者はいない。
500:１３２人目の素数さん
18/12/16 21:08:35.01 PLEjAWN8.net
タオはIUTが難解ではない、などとは言ってないんだが
501:１３２人目の素数さん
18/12/16 21:15:21.45 m5a6Qv2/.net
>>477
IUT論文の査読はどうなったの？
RIMSは 査読中に abc予想がIUTより
(肯定的に)解決した、と報告書に書いた。
>>7 >>8
502:１３２人目の素数さん
18/12/16 21:15:58.13 PLEjAWN8.net
テレンスタオは数学の哲学として、アウトプットが少ない、と言ってるだけだよ
だが内容がフォローできてないから、具体的にどういうアウトプットが望ましいかは言ってない
503:１３２人目の素数さん
18/12/16 21:20:00.73 zkRSSTVb.net
なんか来年(=2019年度？)にははっきりする的な意見多いけどそうなん？
本人は昔2020年くらいまでゆっくり検討するっていってたんだよね？
504:１３２人目の素数さん
18/12/16 21:31:45.44 AJZMyxG7.net
3.12までみんな普通に読めてて、そのあとも誤りがあるっぽいけど、
まあめんどくさいからもう読まないよ、という状況なのに、なにを言ってるのやら。
問題視されてるのは3.12が飛躍しててギャップがあるっぽいけど、
それがどこに由来しているのかは（これもめんどくさいから）だれもやらなかっただけだろう。
ショルツたちが森さんに呼ばれて示したわけだけど。
505:１３２人目の素数さん
18/12/16 22:02:41.04 PLEjAWN8.net
>>485
どういうレベルの話をしてるのかさっぱりわからん
皆普通に読めるって言うけど、その皆ってのが相応の連中だからな
専門家への可読性があると言う意味ならそうだよ、読めるよ
だが、例の不等式はあんたにも言ったように、理論の核心の理解に関わるわけだから
あれが理解されなきゃ核心は伝わらないことになる
506:１３２人目の素数さん
18/12/16 22:06:00.07 PLEjAWN8.net
ここの一部アンチさんがおかしいのは、例の不等式がおかしいという大きなコンセンサスは
まだ見えてないのに、それをあたかも確定させて語ってることだ
非常に歪な理論だから駄目かもしれないのはその通りだが
507:１３２人目の素数さん
18/12/16 22:15:59.24 cNCwDzWd.net
オツム大丈夫ですか？
508:１３２人目の素数さん
18/12/16 22:18:21.95 DiPF8PFw.net
ジャーナルに載るよとリークがあってそれで一年音沙汰なしじゃもうダメでしょ
ここから査読通ったら奇跡だと思う
509:１３２人目の素数さん
18/12/16 22:42:35.26 N5b3np4M.net
>>487
RIMSの報告書は致命的だよな。これ世間に知れたら税金の使い道的な視点から世論が一斉に攻撃はじめるかもな。基礎研究の予算増額とか吹っ飛ぶぞ。
510:１３２人目の素数さん
18/12/16 22:43:36.22 PLEjAWN8.net
>>489
いや、同時期に指摘が年末に公になってからの三月からの九月だから
その辺の事情は複雑。まだ来年まではちゃんと猶予がある
511:１３２人目の素数さん
18/12/16 22:43:38.74 XvbzLbrw.net
2020年以降の予算獲得に向けて何かしらの動きはあると思うよ
ないと食いっぱぐれるからね
512:１３２人目の素数さん
18/12/16 22:45:20.84 PLEjAWN8.net
>>490
良くも悪くもそこまでメジャーな話にはならないだろう
失敗が確定したらどのみち辛い思いをするしな
513:１３２人目の素数さん
18/12/16 22:55:16.82 dejFcou9.net
>>484
もう国際的にはIUTは間違いという事で決着がついてるんだけど、
この日本の国では望月たちの降伏宣言が出てないから
「まだ可能性がある」という願望があるのでくすぶっているように見えるだけ。
降伏宣言は今後とも出ないから2019・20年になっても「解決」はしない。
解決はしないけど、全く進展もないのでやがて飽きられ風化する。
望月もRIMSも自分たちが傷つかないのでそれを狙っている。
514:１３２人目の素数さん
18/12/16 23:00:36.41 LztJgevn.net
まあ、外野としては本当に下衆の勘繰りしかできないよね。事情通、情報強者を自称している人は別にしてｗ
あと、「大きなコンセンサス」は
515:当然ないし、それ以前の問題だよ オックスフォード・セミナーでシラケ鳥が飛んだ。その時点で事実上終了していたのだと思う（IUTTの正否は別として） 本当は正否が大事なんだけど、ほとんどの数学者たちの意欲と関心を削いでしまった 「普通の」数学者たちにとってはS・Sレポートでダメ押しだったね。ロバーツですらS・S寄りになってるし・・・ オックスフォード・セミナーなんだけど、このスレでもYを危惧するレスが結構あったなあ・・・ 本人がスカイプでしか参加しないとかいうのも何なんだよと思ったよ
516:１３２人目の素数さん
18/12/16 23:07:05.90 dejFcou9.net
>>482
まだ査読査読いってるの？ｗ
今現在望月論文なんか「査読」されてるわけないじゃん。
なぜなら査読者は星・山下・Saidi・ブンゲンで確定しているし、
かれらは2014年、2017年と二度にわたって、「望月論文に誤り無し」と宣言して、
現在RIMSにおける査読なんてとっくに終了しているｗ
どちみち、こんな身内のお手盛り査読誰も信用しないだろ？ｗ
この論文はすでに公開されているから今更査読なんて関係ないし、
ショルツの事実上の「査読」を通過しなかった時点で正しくないことが国際的にも確定している
517:１３２人目の素数さん
18/12/16 23:25:16.19 LztJgevn.net
>>496
検証チーム＝査読者という信じがたいことが可能性として高いのだけど、
俺が「その他一人」として分からなかった人は本当にBなのかね？本当なら笑える話なんだけど
ワイルズの時とはエライ違いだよ
何回か書いたけど、FLT証明の査読者たちもワイルズの同僚・弟子・友人たちだった
しかし、査読者としては極めて厳しかった（特にニック・カッツ）
京大関係者ではない俺にとってはIUTTはネタ以外の何物でもないのだけどね
518:１３２人目の素数さん
18/12/16 23:27:19.93 gvRka6RK.net
でも本人は”理論は正しい。理解してもらえないだけ”の立場なんでしょ？
なんでわかってもらえるように書き直そうと思わないんだろ？
519:１３２人目の素数さん
18/12/16 23:34:02.88 RCBo8XTF.net
取り巻きのレベルでしょ
去年の今頃の書き込みだとこれ以上の説明のしようがないとかだし
わかったふりだけで実質なにもできてないし
520:１３２人目の素数さん
18/12/16 23:44:39.74 PLEjAWN8.net
>>495
こうなると一番賢いのは動機からインスピレーションを受けつつより洗練された別の一般化を
目指すことだろうけど、動機を本当に細かく洗って見てると、やっぱり宇宙際幾何学がABC予想の最適解に
近いと本人は思ってるようだ。特にスキーム論的なホッジアラケロフ理論の一般化についてはそう
一貫して言ってますが、悪ふざけではないですねw その割に対応がおかしいが、失礼だが単に変人なんでしょう
521:１３２人目の素数さん
18/12/17 00:46:17.45 Gc+Pxl74.net
お友達であっても査読は厳しくするのが当然だな
俺も厳しくするし厳しくされたこと（書き方で誰かは見当つく）もある
522:１３２人目の素数さん
18/12/17 01:34:51.37 VVrkC18P.net
************************************************************
今現在望月論文なんか「査読」されてるわけないじゃん。 **
なぜなら査読者は星・山下・Saidi・ブンゲンで確定しているし **
************************************************************
こういういい加減なデタラメを言う前に微積・線形のお勉強したらどうだ
因みにワイルスの査読でgapを言い始めたのはもとはといえばカッツ
ではない。そこら辺素人には分かるまい 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
523:１３２人目の素数さん
18/12/17 02:19:04.19 IjklHErW.net
査読依頼した人か名指しされた人しかわかんないよね
524:１３２人目の素数さん
18/12/17 02:27:27.65 V4g2Nnc+.net
ブンゲンが書き込んでいる、ということか。
525:１３２人目の素数さん
18/12/17 02:38:24.27 hnInCpXB.net
Bが査読に関わってるってのはどこからの推測？
526:１３２人目の素数さん
18/12/17 02:45:43.03 i5GZJv9y.net
クズが消した垢の状況報告で国内の専門家のダブルチェックを通過とか書いてたとこでyとBは名前出てたよな
527:１３２人目の素数さん
18/12/17 08:16:21.63 MXwOl/I9.net
>>479
ヴェストファーレン県ミュンスターにて
1938年5月16日
親愛なる友へ
多変函数論のある小さな集まりで、
グザンの問題について貴方(岡潔)の素晴らしい
論文を読んだ。
私たちに残った不明確な点は、OKaと
いう名はイギリス風に発音するべきか、
フランス風に発音するべきかということ
だけでした。
この解決に臨んで、我々の沢山の想いを
込めつつ.
H カルタン H ベーンケ E ペシュル
K スタイン
528:１３２人目の素数さん
18/12/17 09:38:04.92 Xb7FWfkv.net
>>507
訂正 多変→多変数
529:１３２人目の素数さん
18/12/17 10:39:37.18 CjTSxA4b.net
>>507
君の言葉が入っていない
530:１３２人目の素数さん
18/12/17 16:38:09.38 53+Or16I.net
> 査読は厳しく
なんかアナログな世界なんだな
531:１３２人目の素数さん
18/12/17 16:43:28.31 q0gQCdS9.net
そのレスの厳しくってのは、普通に数理が成り立つか判断するってだけの意味でしょ。そりゃそうだよ
532:１３２人目の素数さん
18/12/17 16:58:22.06 q0gQCdS9.net
ついでにいえば、記述上の不備も再三議論してこうなってるわけだからな
合計10年近く弟子、査読とやり取りして修正されてきている
533:１３２人目の素数さん
18/12/17 17:21:33.87 riBlYJ0+.net
もう誰にも相手されなくなってるよね？
534:１３２人目の素数さん
18/12/17 17:46:06.70 Gc+Pxl74.net
>>513
このスレが相手してくれているじゃないか
535:１３２人目の素数さん
18/12/17 18:26:12.78 CBS7ncm9.net
お前ら好きだよなＩＵＴ
536:１３２人目の素数さん
18/12/17 20:53:36.48 pWAPdFYd.net
査読が通った通ってないっていう手続きの話題しか出てないけど、
理論そのものの話はしないの？
537:１３２人目の素数さん
18/12/17 21:05:15.93 5Q5oGku0.net
理論そのものは空っぽの内容なしってもう結論出ただろ。
538:１３２人目の素数さん
18/12/17 21:17:24.94 WM5ME2SP.net
理論そのものの話をするには論文がある程度の信憑性がないと。
どえらい分量のようだし。
それだけの事やって何にもなりませんでしたではねぇ？
今問題になってるとこ直せるほどの力量は自分にはないし。
そもそも俺なんかにそんな事出来るくらいなら本人がとっくの昔にやってるだろうし。
実際このスレの住人誰にも出来ないよね？
んな事出来るくらいなら本人にアドバイスできるんだから。
このスレの住人はおろか世界中の誰にも出来てないこの状況で読む気になるわけないじゃん。
539:１３２人目の素数さん
18/12/17 21:19:55.50 zjQl5obK.net
なんにも進展がないという事実自体が、IUT理論の無内容性を物語っている。
望月・星・山下・南出らが揃ってお手上げじゃ話にならないや。
540:１３２人目の素数さん
18/12/17 21:29:19.54 q0gQCdS9.net
論点ははっきりしてるけど、単に殆どの住人がわからんから間違いと決めつけてる状況だろ
しかも直す直さないの話より、認識にギャップがあるんだよ。だから本人は問題ないと言い張ってるわけだ
これ以上はループになる
541:１３２人目の素数さん
18/12/17 21:39:40.45 IFrW0ZFk.net
まあ論点ははっきりしてて、証明になってないから書き下してね、
ってだけだからね。間違い以前の問題だと思う。
542:１３２人目の素数さん
18/12/17 21:40:23.92 IFrW0ZFk.net
あと論文がちゃんと評価されてる岡と比べたりして先人を侮辱しないように。
543:１３２人目の素数さん
18/12/17 21:41:05.93 WM5ME2SP.net
ほとんどの住人がじゃないよ。
全ての住人がだよ。
だって本当に理解してて解決策も持って�
544:驍ﾈら本人に解決策アドバイスすりゃいいんだから。 それ誰も出来てないんでしょ？ まぁ読んでない俺には何が問題なのかすらわからんけど、今なお状況が好転しないという事は、たとえ論点がわかってる人間が仮にいたとしても少なくともその解決策は誰一人持ってはいないだろうという事。 しかもこのスレの住人レベルではなく現時点でこの問題に関わってる全ての人が持ってない。 無論、いや、解決策はありそうだ、あるはずだと言う人同士で議論してもらうのは有意義だし、そういうのを期待はするけど。 でもRIMSの面々にすら出来ない事を自分に出来るとは思わないし、その議論に参加するための時間と労力は割けないよ。
545:１３２人目の素数さん
18/12/17 21:57:56.08 q0gQCdS9.net
>>523
細かい話はどうでもいいとして、連絡を取るかどうかこんなとこで明言するわけがない
こんなスレに晒されたらたまったもんじゃないw
546:１３２人目の素数さん
18/12/17 22:10:08.96 WM5ME2SP.net
別にここで解決策がわかった、本人に連絡したってレスがないからって言ってるわけじゃないよ。
むしろ解決策が見つかってこんなとこに書き込んでる奴いたら別の心配するよww
解決策が見つかったなら黙って本人に連絡してあげればいいし誰でもそうするよ？
にもかかわらずちっとも状況が変わってないのはやはり何か答えの見つかってない問題があるわけだ。
それが、理論は正しいのだけど、どう説明すればいいのかわからないかもしれないし、雰囲気行けそうな路線ではあるけど証明と呼べるものが見つからないのかもしれないし、そもそも話にもなんにもならないのかもしれないし。
現時点では新規に議論に参入しようと積極的に思えなくなる状況になりつつあると思う。
547:１３２人目の素数さん
18/12/17 22:18:08.86 IFrW0ZFk.net
>>525
解決策が見つかったら本人には連絡しないよ。
ギャップを埋めたらabc予想が証明できた手柄は総取りになるんだから、
自分で論文を発表する。
だれもしないってことはお察し。
548:１３２人目の素数さん
18/12/17 22:30:21.20 Gc+Pxl74.net
自分のサイトだろうとarXivだろうと公開されている論文にギャップがあって
それを修正できたら自分で論文書くわな
よほどの友人ならこっそり声をかけるけど
特にギャップがシリアスなものなら序文にそう書いた上で自分の業績にするw
周りがどっちの仕事と見るかはそのギャップの大きさによるわな
今の場合ならSSがなんて言うかだろうなw
549:１３２人目の素数さん
18/12/17 22:36:42.67 6psBx4kC.net
自分お人好しだったのかw
550:１３２人目の素数さん
18/12/17 22:38:31.37 q0gQCdS9.net
>>525
別に擁護とかではなく論理的な話として、単純に指摘が無理解によるもので受理が慎重なだけという
可能性も残ってるけどね。何れにせよ、そういう意味での動きってのは来年上半期くらいまでは何とも言えない
551:１３２人目の素数さん
18/12/17 22:55:59.55 O5OAX3v7.net
その手法でいつまで引き延ばすの？
もう６年目だよ？
プロジェクトが完了するまでごまかすとしても、
シンポやらないといけないんじゃないの？ だれが来るの？
552:１３２人目の素数さん
18/12/17 23:05:57.68 53+Or16I.net
確かに、現在までの6年間と、プラス来年上半期まで、との本質的な違いはなんなんだろ、とかは思う
553:１３２人目の素数さん
18/12/17 23:25:12.49 q0gQCdS9.net
指摘が公に出たのが去年末でプロジェクトが2020年なんだから、来年までは妥当な猶予だよ
決して余裕もないし長くないよ
554:１３２人目の素数さん
18/12/17 23:28:38.34 8c0ZF0vf.net
６年も放置して致命的な欠陥を指摘されたら寿命が伸びる理論とは、いったい
555:１３２人目の素数さん
18/12/17 23:55:22.52 q0gQCdS9.net
猶予ってアクセプトの判断よ？
反論は本人的にはお前の理解不足、ってことになってるわけだ
556:１３２人目の素数さん
18/12/18 00:16:19.31 WMojTk9w.net
こうなることをかなり早い段階で予想してた奴いたよなこのスレにも
先見の明がある
557:１３２人目の素数さん
18/12/18 00:41:56.51 xColYs8t.net
>>530
その通りだよね。日本海を
558:泳いでシベリアを徒歩で横断してボンまで行くか、 ベーリング海峡を泳いでアメリカ西海岸と東海岸まで横断して講演・進歩して周った方がいい（笑） >>529 >>532 Mは反論レポートの後半でIUTTについての教育についてすら述べている S・SをバカにしてHPで目を疑うようなリンクばかり貼り付け、自らは動こうとしない IUTTの教育活動云々しながら自ら動こうとしない態度は全く理解できない もうIUTT関係及び関係者というのは異世界の出来事、エイリアンの仕業のようにしか見えないよ そういえば、エイリアン・コピー云々なんて論文もあったな（笑）
559:536
18/12/18 00:43:42.71 xColYs8t.net
ああ、間違ったｗ
×進歩 → ○シンポ（シンポジウム）
560:１３２人目の素数さん
18/12/18 01:12:08.62 OpcDWnz8.net
気をつけよう
悪貨は良貨を駆逐する
561:１３２人目の素数さん
18/12/18 01:26:21.48 OpcDWnz8.net
実は 劣化した質が流通ですな
↓
2.注目すべき質の向上
○「数論幾何の研究」の「宇宙際タイヒ
ミューラー理論」の構築とその結果として
のABC 予想に関する論文は、国内外の
主要メディアで取り上げられてい る。
562:１３２人目の素数さん
18/12/18 03:32:28.58 b2O017qD.net
それだな
たしかに進みすぎた科学なり数学は一般人にとってはもはや魔術か神秘的な記号の類にしかみえないのだから
結局専門家以外の人間は、其の人の態度、義務を果たそうとする誠実さ、雄弁に留まらない思慮深さ、
また他者にたいして開かれ包括的なプロセスであるかどうかなど
詳細な科学的数学的内容以外の「コミュニケーション」のあり方に基づいて真偽を判断しざるを得ない
実際、科学とは、アプリオリに存在し妥当する真実・真理を演繹的に証明する神学的なものではなく
もっと集合的で反復的な作業であり、いわば集合的な理論や経験という「ざる」を通して不確かなものと
確かなものを選り分けるプロセス、科学的発見のためのコミュニケーションの手続きのフレームワークのことなのだ
その点から言えば、政治家にまでなれとは言わないが、コミュ障が学者なんかやっちゃいけない
望月については、一貫して外部の人間に対する説明責任を放棄していること、不誠実であること
また業績のある同業者からの反論についても誹謗中傷を交えた反駁を行い、クリティカルなポイントについても
ただ「自明」とだけ繰り返して木を鼻でくくったような態度でいること、などから全く信用出来ない
おれにはただ日本人であるというだけで、学者として不誠実な人間を支持する趣味などまったくないし
もしどちらかを選べと言われたら、即座に上記のフレームワークを満たしているかどうかから判断する
実際、このままだと好むと好まざるとIUTは世界から忘れ去られていくだろう