18/12/15 08:25:06.58 bL7bS+Er.net
>>433
ぼけ
451:132人目の素数さん
18/12/15 08:27:56.82 bL7bS+Er.net
ヒント 奇跡の年
452:132人目の素数さん
18/12/15 08:48:30.31 q6JfLc68.net
毎回偽情報流す自称同僚がいるけど、なんなんだ。
453:132人目の素数さん
18/12/15 09:31:28.69 MV7/QYdj.net
そもそも多意的ってなんなん?
意味がわからないんだけど
454:132人目の素数さん
18/12/15 09:58:18.29 j58MDFg3.net
>>430
いや本人も厳しいと思うよ。
こういっちゃなんだが、IUT理論は20年来の構想だそうだが、
それがショルツの言う通りナンセンスなものだとして、
20年間考えながら自分自身でナンセンスさに気づかないというのは、
は同僚と自分の研究テーマに対し腹を割ったっコミュニケーションが不足してたんじゃないかな。
2012年以降同僚に検証を求めたというが、正直ABC予想を証明しましたと宣言してしまうと、
やっぱり東洋的伝統として、自分より上席の人間の業績にはケチをつけないという意識が働いて、
批判的検討などなされなかったのだと思うが、
問題は2012年以前のアイデアの段階でもちづきがどれほど周囲とのコミュを取っていたかだ。
模試早くから構想の基礎を周囲に漏らしていたら、そのナンセンスぶりを指摘してくれる人もいたんじゃないか。
まあ、望月はもう50だし、精神的ダメージが大きくて、数学者としては廃人になりそう。
あるいみ『新潮』の予想はあたったのだ。
455:132人目の素数さん
18/12/15 11:46:39.93 Y0tF+E0k.net
>>418
英訳はもう出回ってるよー
456:132人目の素数さん
18/12/15 12:00:18.40 07wf0C3C.net
>>438
すごい。勝手に話を作っている。
457:132人目の素数さん
18/12/15 12:04:33.44 07wf0C3C.net
負の想像力。どこをどうしたらこうなる?
458:132人目の素数さん
18/12/15 12:06:25.92 07wf0C3C.net
こういうのをこじらせ系って言うの?
459:132人目の素数さん
18/12/15 12:40:30.54 vJbkM+og.net
> 本人はガチで間違ってないと思ってるだろう
2012時点なら。でも今も、かなぁ・・・
460:132人目の素数さん
18/12/15 13:32:12.52 wkjyZ8xr.net
確かにもっちーはこじらせ系だろうな
普通ならここでわかりやすい解説を自ら行おうとする
取り巻きは全く期待できない
取り巻きに見られる勉強はできるが研究できない人というのは
数論や代数幾何に多いが勉強した内容を自分のものとして取り込んでない
論文書いても既存のAをA'にさらにA''にとか形式的に道具を適応するだけの研究が多い
461:132人目の素数さん
18/12/15 15:18:11.27 XyP0IKLp.net
>>443
当たり前だよ
462:132人目の素数さん
18/12/15 16:17:05.91 JImrdpOr.net
>>439
Hの入門の英訳は目次以外にあるの?全部を英訳したのがあるの?
あるのならリンクを張ってほしい。まさか一部の人にだけ配布しているとか言うのじゃないだろうね(笑)
まあ、仮に入門の全英訳があったとしても3.12問題については2箇所で触れただけで、それも主論文を参照となっているから
あまり役には立たないけどね
463:132人目の素数さん
18/12/15 16:56:42.66 vJbkM+og.net
真理の探究と発見だけで満足しているだけなら、論文を公開したりはしなかったろう
公開したということは、人類に貢献したいと思ったからだろう
でもそれがうまく伝えられていない
人類に貢献したいという目的が果たされていない
目的の成就には、自分から説明をすればいい
自分で福音をかみ砕いてみせればいい
だがそうしない
矛盾だ
464:132人目の素数さん
18/12/15 17:49:10.14 hFmPR3b0.net
説明しないんじゃなくて説明できない説だとすると
海外に行かないのも自分では説明しないのもやたら可能性を強調するのも
ギャップを埋めるための時間稼ぎのためだと納得できる
わかりやすく説明してくれる理解者を求めているのも
読んだ人がギャップを埋める手伝いをしてくれることを期待しているのかも
465:132人目の素数さん
18/12/15 17:58:16.16 wkjyZ8xr.net
まあ海外に行かないのは昔からだからな・・・
数学者でもほとんど海外出張しない(外国で相手にされないカスは別にしてw)人はいるが
あまり良くないと思う
海外で違うグループからの評価を受けないと次第に独りよがりになりがち
466:132人目の素数さん
18/12/15 18:08:49.04 nN6r7ve2.net
>>448
未完成のまま世に出したのは承知の上だったんじゃないかな
そうでなけりゃよく年のフィールズ(特別)賞とかで受賞できなかったのを
ギャーギャー騒いでるハズ
幾何的数論として全ての数が同型射全体とか充満多重同型とかってのが非現実的
467:132人目の素数さん
18/12/15 18:25:24.38 JImrdpOr.net
ICM98(ベルリン)では招待講演されて報告書まで書いているんだけどね
なんか名誉があるのなら海外に出てもいいという考えなんだろう
名誉が関わらないのならスカイプでもいいや、って感じだよね
何なんだろう、この人は・・・
T川が昔書いたMの人物像はT川の色眼鏡、つまり幻想だと俺は思っている
誰かが補足して証明を完成させてくれればそれでも構わない、なんて絶対思っていないよ、この人は。
ワイルズと比較してMを褒めていた人もいたけど、今回の件でどちらが誠実かはっきり分かった
468:132人目の素数さん
18/12/15 18:54:19.19 E4MzaxaY.net
>>446
本人に欲しいと言えば送ってくれると思うよー
469:132人目の素数さん
18/12/15 18:55:20.11 29Mse2SR.net
藤林丈司
470:132人目の素数さん
18/12/15 19:34:21.82 JImrdpOr.net
>>452
いやいや、久々に大爆笑させてもらった
IUTT関係者は、本人、取り巻き、ストーカーなどを問わず、
糠に釘、暖簾に腕押し、馬耳東風って感じだね(笑)
これではIUTT関係者やIUTTに関心を持つ人たちが公けでは無視され、
陰ではアホ扱いされて当然だよ。5chだけでIUTTの話題は充分だ(笑)
471:132人目の素数さん
18/12/15 20:56:44.20 2nfeeixT.net
うん、日本語版と英語版で入手のコストが違うのは不自然ですよね
もしかしたら英語圏では星さんはタッチしないスタイルで行くのかな
472:132人目の素数さん
18/12/15 20:57:41.38 2nfeeixT.net
ああ単独の話ね
473:132人目の素数さん
18/12/15 21:07:47.39 BmAQtJyZ.net
これは数学でもサーベイでもないかも、
英訳して海外へばら撒いたら
IUTの宣伝になって いいね
↓
続 • 宇宙際 Teichmüller 理論入門
>[2] では、、たくさんの “不正確な記述”
を用いて非常に大雑把に説明しました.
>([2] と比較すれば “より数学的に”) 説明
します.
>宇宙際 Teichmu ̈ller 理論の本格的な理解
を目指すならば, 原論文の精読が
どうしても不可欠である, という当たり前な
事実を, 再びここに指摘します.
[2] 宇宙際Teichmüller理論入門
474:132人目の素数さん
18/12/15 21:40:26.30 FT0eHkoq.net
結局今IUTに求められているものとは方向が逆なんだよね。
今求められてるのは本論文に一線級の数学者でも埋められないような広すぎる行間があるので、その行間を補間できるものが求められてる。
のに、”本格的に学びたいなら本論文を読め” は ”行間飛ばし気味にざっくり解説するよ、細かいことは本論文で確認してね” だもんね。
本論文が煩雑、大分量だが精密であるという状況でポイントを拾って解説してるものが求められてるのとは状況が違うからね。
475:132人目の素数さん
18/12/15 22:03:00.68 2nfeeixT.net
もうその辺は他人が責任取れないんじゃないかな
山下のサーベイは大体評価が確定しているし
強いて言えば一番書くべきは、自称岩澤テイト理論を高次元に一般化した偉大なロシア人数学者だろ
幾何学的類体論と絶対遠アーベル幾何学の関係とか解説需要があるし
476:132人目の素数さん
18/12/15 22:04:12.27 y5nJchs6.net
やらないだろうね
特集アルゴリズムやらその他誤魔化してるのが精査されると再現できないのを自覚してるだろうから
477:132人目の素数さん
18/12/15 22:59:03.59 hFmPR3b0.net
よくあるIUTの批判で多数の専門用語が定義されたあとに抽象的な議論が延々続くってのがあるけど
根本的なところは触れずにかいつまんで表面的な説明をしてるんだとしたら当然っちゃ当然よね
結局何故それでいいかは論文見てっ
478:てことで、その論文にも書いてあるか良く分からないなら話が進むはずもなく
479:132人目の素数さん
18/12/16 00:02:27.18 LztJgevn.net
一意的、多意的という言葉はブルバキの集合論から出てきた言葉だから、意味分からんという人はテキトーに調べてほしい
MとS・S、特にショルツとの間で問題になっているのは、絶対ガロア群のような抽象的な位相群から同型物を引っ張り出す際の問題だよ
で、位相空間では一般的に非同型なんだけど、全単射にしているのだから普通に同型と言っていいだろうというだけの話
一般的に言えば、抽象度を高めれば高めるほど、構造的に同じものは同一と見做すのだけどね
S・Sが「Mは抽象と具象を区別していない」という強烈な言葉を放っているが、それはこういう所からも来ていると思う
ブルバキの件だけど、シュヴァレーなどはエリー・カルタンの論文の影響を受けていて
(実現の仕方に関わらず同型のものは同じとして見る)、構造という概念を強調している
IUTT問題というのは新しそうに見えて、半世紀以上前の古い問題でもあると思う
普通に見れば、Mは抽象と具象を区別せず、好き勝手に一意的にしたり多意的にしているように見える
要するに、デタラメ、ペテンの果てに内部矛盾に行き着いたということ
長文ゴメン
480:132人目の素数さん
18/12/16 00:12:19.31 06O1InEd.net
しゅうりょー
481:132人目の素数さん
18/12/16 00:20:08.66 LztJgevn.net
まあ、IUTTを密教だという揶揄は意外と(?)適切で、
抽象的なものは具体的、具体的なものは抽象的と言い放つヤツに対する嫌味なんだよね
それに加えて、西田哲学的、禅宗的な絶対矛盾的自己同一もあると思う
救い難い、度し難いほどのデタラメな神秘主義、非論理的なものに見える
そんなものに魅かれる科学者は多いけどね
誰が言っていたのか忘れたけど、「科学者に忍び寄る神秘主義の罠」ってやつだよ
482:132人目の素数さん
18/12/16 00:58:45.57 3sivtQAJ.net
>>462
でも設定を考えたら、やっぱり今までに無いことをやろうとしたのは確か
もはや幾何学がない所から幾何学をやろうとした
正しいかどうかはさておいても、AnabelioidとFrobenioidでやりたいことの方向性はわかる
その辺がどうもディスコミュニケーションになっているのが、勝敗が一方的ではない感じで面白い
483:132人目の素数さん
18/12/16 03:08:15.34 ztiKdKeT.net
Web上にはブログで数学的にすっとぼけたことを書いたりどっかのwebや啓蒙書の文章を
引用したりして、数学に対する無知無才を隠しつつ
なにか数学や物理の天才などにあこがれているであろうカスを見かける
大抵数学の実質的内容はないのであるが数学者の天才伝説などにはやたら詳しい
そういう輩がいくらあこがれようが騒ごうが数学にも物理にも
まったく無関係な存在であるが、
ここはそういうものによく似たタイプの書き込みがとても多い
484:132人目の素数さん
18/12/16 05:27:00.01 6EpzmE1c.net
「数学者」が物理を語るとトンチンカン
グロタンディクしかり、ブンゲンしかり、
485:132人目の素数さん
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:132人目の素数さん
18/12/16 09:16:57.01 q9HCq3Rg.net
岡潔の論文なんて完全にオカルト文書なんだが、結果とアイデアが傑出しているから後世に評価されている
488:132人目の素数さん
18/12/16 10:43:18.22 9glXeQai.net
オカルトトンデモ IUT<∫超えられない絶壁∫<
<<< ..<PS<.<岡の連接定理
ジーゲル.カルタンら海外の数学者は
初めから 岡の多変数 複素関数論 連接定理
を高く評価していた。
489:132人目の素数さん
18/12/16 16:17:24.30 q9HCq3Rg.net
カルタン「岡の論文の結果は全て正しい。しかしこれは数学の論文とは言えない」
490:132人目の素数さん
18/12/16 16:18:11.19 rZOBchne.net
>>470
ジーゲル. Hカルタンに会った事のある数学者は多くいるが
そうした第二世代の数学者は岡を尊敬している
最近は海外だとOka? Who?って感じになってきたが
491:132人目の素数さん
18/12/16 18:08:54.61 PLEjAWN8.net
>>466
自分は一切数学について言及せず、そうした数学や物理についての批評を更に批評するだけの
生産性のない人間も典型的なのでウンザリしている
こうした人種はむしろ数学や物理への無理解から、高尚に扱いすぎる嫌いがある
492:132人目の素数さん
18/12/16 18:44:13.15 qlku4EFp.net
>>472
H カルタン
1950年
「(岡潔の第1連接定理について)
岡は同じ問題を考える論文を、語彙は
少々異なるのであるが、1948年に書いた」
1984 岡潔選集 総合解説
「しかし 次のことは認めざるをえない。
すなわち、岡の証明の技術的側面や
岡の結果の表現の様式は読者の責務を困難
にしているし、岡潔の結果の影響は重要な
ものであるが、それを理解するには
真の努力と引き換えでなければならない←」
493:132人目の素数さん
18/12/16 19:10:24.82 q9HCq3Rg.net
>>474
2番目のコメントは岡を望月に置き換えても通じるな
494:132人目の素数さん
18/12/16 19:13:12.31 qlku4EFp.net
>>475
デタラメ
↓
>>469 >>471
495:132人目の素数さん
18/12/16 19:24:39.81 PLEjAWN8.net
この問題で一番おかしいのは、もはや望月が海外に行かないとかそういうレベルの話ですらない
論点が滅茶苦茶はっきりしてるのに全く決着が付かないこと
遠アーベル幾何学的な階層性があって、それを認めたら水平射のリンクは同型ではない。正しいのか否か
まあまだ公開から三ヶ月だから来年までは待つしかないし、決着は付くだろう
496:132人目の素数さん
18/12/16 19:41:13.40 u8TvSuxJ.net
カルタンクラスの超大御所の支持が出てくれば大分空気も変わってくるんだろうけどねぇ。
本人、支持を広げる気あるのかねぇ?
497:132人目の素数さん
18/12/16 19:43:14.21 q9HCq3Rg.net
>>476
?
意図がわからん
498:132人目の素数さん
18/12/16 20:14:17.41 nsPQju//.net
>>479
岡論文は帰結の重要性が分かるけど、IUTにはそういうものがない。
タオが初期から言っている。
難解ではないがなんのための理論なのかが分からない、と。
このスレで何回も誤解させることを書いているやつが、
IUT理論そのものを�
499:u難解」と言っている研究者はいない。
500:132人目の素数さん
18/12/16 21:08:35.01 PLEjAWN8.net
タオはIUTが難解ではない、などとは言ってないんだが
501:132人目の素数さん
18/12/16 21:15:21.45 m5a6Qv2/.net
>>477
IUT論文の査読はどうなったの?
RIMSは 査読中に abc予想がIUTより
(肯定的に)解決した、と報告書に書いた。
>>7 >>8
502:132人目の素数さん
18/12/16 21:15:58.13 PLEjAWN8.net
テレンスタオは数学の哲学として、アウトプットが少ない、と言ってるだけだよ
だが内容がフォローできてないから、具体的にどういうアウトプットが望ましいかは言ってない
503:132人目の素数さん
18/12/16 21:20:00.73 zkRSSTVb.net
なんか来年(=2019年度?)にははっきりする的な意見多いけどそうなん?
本人は昔2020年くらいまでゆっくり検討するっていってたんだよね?
504:132人目の素数さん
18/12/16 21:31:45.44 AJZMyxG7.net
3.12までみんな普通に読めてて、そのあとも誤りがあるっぽいけど、
まあめんどくさいからもう読まないよ、という状況なのに、なにを言ってるのやら。
問題視されてるのは3.12が飛躍しててギャップがあるっぽいけど、
それがどこに由来しているのかは(これもめんどくさいから)だれもやらなかっただけだろう。
ショルツたちが森さんに呼ばれて示したわけだけど。
505:132人目の素数さん
18/12/16 22:02:41.04 PLEjAWN8.net
>>485
どういうレベルの話をしてるのかさっぱりわからん
皆普通に読めるって言うけど、その皆ってのが相応の連中だからな
専門家への可読性があると言う意味ならそうだよ、読めるよ
だが、例の不等式はあんたにも言ったように、理論の核心の理解に関わるわけだから
あれが理解されなきゃ核心は伝わらないことになる
506:132人目の素数さん
18/12/16 22:06:00.07 PLEjAWN8.net
ここの一部アンチさんがおかしいのは、例の不等式がおかしいという大きなコンセンサスは
まだ見えてないのに、それをあたかも確定させて語ってることだ
非常に歪な理論だから駄目かもしれないのはその通りだが
507:132人目の素数さん
18/12/16 22:15:59.24 cNCwDzWd.net
オツム大丈夫ですか?
508:132人目の素数さん
18/12/16 22:18:21.95 DiPF8PFw.net
ジャーナルに載るよとリークがあってそれで一年音沙汰なしじゃもうダメでしょ
ここから査読通ったら奇跡だと思う
509:132人目の素数さん
18/12/16 22:42:35.26 N5b3np4M.net
>>487
RIMSの報告書は致命的だよな。これ世間に知れたら税金の使い道的な視点から世論が一斉に攻撃はじめるかもな。基礎研究の予算増額とか吹っ飛ぶぞ。
510:132人目の素数さん
18/12/16 22:43:36.22 PLEjAWN8.net
>>489
いや、同時期に指摘が年末に公になってからの三月からの九月だから
その辺の事情は複雑。まだ来年まではちゃんと猶予がある
511:132人目の素数さん
18/12/16 22:43:38.74 XvbzLbrw.net
2020年以降の予算獲得に向けて何かしらの動きはあると思うよ
ないと食いっぱぐれるからね
512:132人目の素数さん
18/12/16 22:45:20.84 PLEjAWN8.net
>>490
良くも悪くもそこまでメジャーな話にはならないだろう
失敗が確定したらどのみち辛い思いをするしな
513:132人目の素数さん
18/12/16 22:55:16.82 dejFcou9.net
>>484
もう国際的にはIUTは間違いという事で決着がついてるんだけど、
この日本の国では望月たちの降伏宣言が出てないから
「まだ可能性がある」という願望があるのでくすぶっているように見えるだけ。
降伏宣言は今後とも出ないから2019・20年になっても「解決」はしない。
解決はしないけど、全く進展もないのでやがて飽きられ風化する。
望月もRIMSも自分たちが傷つかないのでそれを狙っている。
514:132人目の素数さん
18/12/16 23:00:36.41 LztJgevn.net
まあ、外野としては本当に下衆の勘繰りしかできないよね。事情通、情報強者を自称している人は別にしてw
あと、「大きなコンセンサス」は
515:当然ないし、それ以前の問題だよ オックスフォード・セミナーでシラケ鳥が飛んだ。その時点で事実上終了していたのだと思う(IUTTの正否は別として) 本当は正否が大事なんだけど、ほとんどの数学者たちの意欲と関心を削いでしまった 「普通の」数学者たちにとってはS・Sレポートでダメ押しだったね。ロバーツですらS・S寄りになってるし・・・ オックスフォード・セミナーなんだけど、このスレでもYを危惧するレスが結構あったなあ・・・ 本人がスカイプでしか参加しないとかいうのも何なんだよと思ったよ
516:132人目の素数さん
18/12/16 23:07:05.90 dejFcou9.net
>>482
まだ査読査読いってるの?w
今現在望月論文なんか「査読」されてるわけないじゃん。
なぜなら査読者は星・山下・Saidi・ブンゲンで確定しているし、
かれらは2014年、2017年と二度にわたって、「望月論文に誤り無し」と宣言して、
現在RIMSにおける査読なんてとっくに終了しているw
どちみち、こんな身内のお手盛り査読誰も信用しないだろ?w
この論文はすでに公開されているから今更査読なんて関係ないし、
ショルツの事実上の「査読」を通過しなかった時点で正しくないことが国際的にも確定している
517:132人目の素数さん
18/12/16 23:25:16.19 LztJgevn.net
>>496
検証チーム=査読者という信じがたいことが可能性として高いのだけど、
俺が「その他一人」として分からなかった人は本当にBなのかね?本当なら笑える話なんだけど
ワイルズの時とはエライ違いだよ
何回か書いたけど、FLT証明の査読者たちもワイルズの同僚・弟子・友人たちだった
しかし、査読者としては極めて厳しかった(特にニック・カッツ)
京大関係者ではない俺にとってはIUTTはネタ以外の何物でもないのだけどね
518:132人目の素数さん
18/12/16 23:27:19.93 gvRka6RK.net
でも本人は”理論は正しい。理解してもらえないだけ”の立場なんでしょ?
なんでわかってもらえるように書き直そうと思わないんだろ?
519:132人目の素数さん
18/12/16 23:34:02.88 RCBo8XTF.net
取り巻きのレベルでしょ
去年の今頃の書き込みだとこれ以上の説明のしようがないとかだし
わかったふりだけで実質なにもできてないし
520:132人目の素数さん
18/12/16 23:44:39.74 PLEjAWN8.net
>>495
こうなると一番賢いのは動機からインスピレーションを受けつつより洗練された別の一般化を
目指すことだろうけど、動機を本当に細かく洗って見てると、やっぱり宇宙際幾何学がABC予想の最適解に
近いと本人は思ってるようだ。特にスキーム論的なホッジアラケロフ理論の一般化についてはそう
一貫して言ってますが、悪ふざけではないですねw その割に対応がおかしいが、失礼だが単に変人なんでしょう
521:132人目の素数さん
18/12/17 00:46:17.45 Gc+Pxl74.net
お友達であっても査読は厳しくするのが当然だな
俺も厳しくするし厳しくされたこと(書き方で誰かは見当つく)もある
522:132人目の素数さん
18/12/17 01:34:51.37 VVrkC18P.net
************************************************************
今現在望月論文なんか「査読」されてるわけないじゃん。 **
なぜなら査読者は星・山下・Saidi・ブンゲンで確定しているし **
************************************************************
こういういい加減なデタラメを言う前に微積・線形のお勉強したらどうだ
因みにワイルスの査読でgapを言い始めたのはもとはといえばカッツ
ではない。そこら辺素人には分かるまい 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
523:132人目の素数さん
18/12/17 02:19:04.19 IjklHErW.net
査読依頼した人か名指しされた人しかわかんないよね
524:132人目の素数さん
18/12/17 02:27:27.65 V4g2Nnc+.net
ブンゲンが書き込んでいる、ということか。
525:132人目の素数さん
18/12/17 02:38:24.27 hnInCpXB.net
Bが査読に関わってるってのはどこからの推測?
526:132人目の素数さん
18/12/17 02:45:43.03 i5GZJv9y.net
クズが消した垢の状況報告で国内の専門家のダブルチェックを通過とか書いてたとこでyとBは名前出てたよな
527:132人目の素数さん
18/12/17 08:16:21.63 MXwOl/I9.net
>>479
ヴェストファーレン県ミュンスターにて
1938年5月16日
親愛なる友へ
多変函数論のある小さな集まりで、
グザンの問題について貴方(岡潔)の素晴らしい
論文を読んだ。
私たちに残った不明確な点は、OKaと
いう名はイギリス風に発音するべきか、
フランス風に発音するべきかということ
だけでした。
この解決に臨んで、我々の沢山の想いを
込めつつ.
H カルタン H ベーンケ E ペシュル
K スタイン
528:132人目の素数さん
18/12/17 09:38:04.92 Xb7FWfkv.net
>>507
訂正 多変→多変数
529:132人目の素数さん
18/12/17 10:39:37.18 CjTSxA4b.net
>>507
君の言葉が入っていない
530:132人目の素数さん
18/12/17 16:38:09.38 53+Or16I.net
> 査読は厳しく
なんかアナログな世界なんだな
531:132人目の素数さん
18/12/17 16:43:28.31 q0gQCdS9.net
そのレスの厳しくってのは、普通に数理が成り立つか判断するってだけの意味でしょ。そりゃそうだよ
532:132人目の素数さん
18/12/17 16:58:22.06 q0gQCdS9.net
ついでにいえば、記述上の不備も再三議論してこうなってるわけだからな
合計10年近く弟子、査読とやり取りして修正されてきている
533:132人目の素数さん
18/12/17 17:21:33.87 riBlYJ0+.net
もう誰にも相手されなくなってるよね?
534:132人目の素数さん
18/12/17 17:46:06.70 Gc+Pxl74.net
>>513
このスレが相手してくれているじゃないか
535:132人目の素数さん
18/12/17 18:26:12.78 CBS7ncm9.net
お前ら好きだよなIUT
536:132人目の素数さん
18/12/17 20:53:36.48 pWAPdFYd.net
査読が通った通ってないっていう手続きの話題しか出てないけど、
理論そのものの話はしないの?
537:132人目の素数さん
18/12/17 21:05:15.93 5Q5oGku0.net
理論そのものは空っぽの内容なしってもう結論出ただろ。
538:132人目の素数さん
18/12/17 21:17:24.94 WM5ME2SP.net
理論そのものの話をするには論文がある程度の信憑性がないと。
どえらい分量のようだし。
それだけの事やって何にもなりませんでしたではねぇ?
今問題になってるとこ直せるほどの力量は自分にはないし。
そもそも俺なんかにそんな事出来るくらいなら本人がとっくの昔にやってるだろうし。
実際このスレの住人誰にも出来ないよね?
んな事出来るくらいなら本人にアドバイスできるんだから。
このスレの住人はおろか世界中の誰にも出来てないこの状況で読む気になるわけないじゃん。
539:132人目の素数さん
18/12/17 21:19:55.50 zjQl5obK.net
なんにも進展がないという事実自体が、IUT理論の無内容性を物語っている。
望月・星・山下・南出らが揃ってお手上げじゃ話にならないや。
540:132人目の素数さん
18/12/17 21:29:19.54 q0gQCdS9.net
論点ははっきりしてるけど、単に殆どの住人がわからんから間違いと決めつけてる状況だろ
しかも直す直さないの話より、認識にギャップがあるんだよ。だから本人は問題ないと言い張ってるわけだ
これ以上はループになる
541:132人目の素数さん
18/12/17 21:39:40.45 IFrW0ZFk.net
まあ論点ははっきりしてて、証明になってないから書き下してね、
ってだけだからね。間違い以前の問題だと思う。
542:132人目の素数さん
18/12/17 21:40:23.92 IFrW0ZFk.net
あと論文がちゃんと評価されてる岡と比べたりして先人を侮辱しないように。
543:132人目の素数さん
18/12/17 21:41:05.93 WM5ME2SP.net
ほとんどの住人がじゃないよ。
全ての住人がだよ。
だって本当に理解してて解決策も持って�
544:驍ネら本人に解決策アドバイスすりゃいいんだから。 それ誰も出来てないんでしょ? まぁ読んでない俺には何が問題なのかすらわからんけど、今なお状況が好転しないという事は、たとえ論点がわかってる人間が仮にいたとしても少なくともその解決策は誰一人持ってはいないだろうという事。 しかもこのスレの住人レベルではなく現時点でこの問題に関わってる全ての人が持ってない。 無論、いや、解決策はありそうだ、あるはずだと言う人同士で議論してもらうのは有意義だし、そういうのを期待はするけど。 でもRIMSの面々にすら出来ない事を自分に出来るとは思わないし、その議論に参加するための時間と労力は割けないよ。
545:132人目の素数さん
18/12/17 21:57:56.08 q0gQCdS9.net
>>523
細かい話はどうでもいいとして、連絡を取るかどうかこんなとこで明言するわけがない
こんなスレに晒されたらたまったもんじゃないw
546:132人目の素数さん
18/12/17 22:10:08.96 WM5ME2SP.net
別にここで解決策がわかった、本人に連絡したってレスがないからって言ってるわけじゃないよ。
むしろ解決策が見つかってこんなとこに書き込んでる奴いたら別の心配するよww
解決策が見つかったなら黙って本人に連絡してあげればいいし誰でもそうするよ?
にもかかわらずちっとも状況が変わってないのはやはり何か答えの見つかってない問題があるわけだ。
それが、理論は正しいのだけど、どう説明すればいいのかわからないかもしれないし、雰囲気行けそうな路線ではあるけど証明と呼べるものが見つからないのかもしれないし、そもそも話にもなんにもならないのかもしれないし。
現時点では新規に議論に参入しようと積極的に思えなくなる状況になりつつあると思う。
547:132人目の素数さん
18/12/17 22:18:08.86 IFrW0ZFk.net
>>525
解決策が見つかったら本人には連絡しないよ。
ギャップを埋めたらabc予想が証明できた手柄は総取りになるんだから、
自分で論文を発表する。
だれもしないってことはお察し。
548:132人目の素数さん
18/12/17 22:30:21.20 Gc+Pxl74.net
自分のサイトだろうとarXivだろうと公開されている論文にギャップがあって
それを修正できたら自分で論文書くわな
よほどの友人ならこっそり声をかけるけど
特にギャップがシリアスなものなら序文にそう書いた上で自分の業績にするw
周りがどっちの仕事と見るかはそのギャップの大きさによるわな
今の場合ならSSがなんて言うかだろうなw
549:132人目の素数さん
18/12/17 22:36:42.67 6psBx4kC.net
自分お人好しだったのかw
550:132人目の素数さん
18/12/17 22:38:31.37 q0gQCdS9.net
>>525
別に擁護とかではなく論理的な話として、単純に指摘が無理解によるもので受理が慎重なだけという
可能性も残ってるけどね。何れにせよ、そういう意味での動きってのは来年上半期くらいまでは何とも言えない
551:132人目の素数さん
18/12/17 22:55:59.55 O5OAX3v7.net
その手法でいつまで引き延ばすの?
もう6年目だよ?
プロジェクトが完了するまでごまかすとしても、
シンポやらないといけないんじゃないの? だれが来るの?
552:132人目の素数さん
18/12/17 23:05:57.68 53+Or16I.net
確かに、現在までの6年間と、プラス来年上半期まで、との本質的な違いはなんなんだろ、とかは思う
553:132人目の素数さん
18/12/17 23:25:12.49 q0gQCdS9.net
指摘が公に出たのが去年末でプロジェクトが2020年なんだから、来年までは妥当な猶予だよ
決して余裕もないし長くないよ
554:132人目の素数さん
18/12/17 23:28:38.34 8c0ZF0vf.net
6年も放置して致命的な欠陥を指摘されたら寿命が伸びる理論とは、いったい
555:132人目の素数さん
18/12/17 23:55:22.52 q0gQCdS9.net
猶予ってアクセプトの判断よ?
反論は本人的にはお前の理解不足、ってことになってるわけだ
556:132人目の素数さん
18/12/18 00:16:19.31 WMojTk9w.net
こうなることをかなり早い段階で予想してた奴いたよなこのスレにも
先見の明がある
557:132人目の素数さん
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
ああ、間違ったw
×進歩 → ○シンポ(シンポジウム)
560:132人目の素数さん
18/12/18 01:12:08.62 OpcDWnz8.net
気をつけよう
悪貨は良貨を駆逐する
561:132人目の素数さん
18/12/18 01:26:21.48 OpcDWnz8.net
実は 劣化した質が流通ですな
↓
2.注目すべき質の向上
○「数論幾何の研究」の「宇宙際タイヒ
ミューラー理論」の構築とその結果として
のABC 予想に関する論文は、国内外の
主要メディアで取り上げられてい る。
562:132人目の素数さん
18/12/18 03:32:28.58 b2O017qD.net
それだな
たしかに進みすぎた科学なり数学は一般人にとってはもはや魔術か神秘的な記号の類にしかみえないのだから
結局専門家以外の人間は、其の人の態度、義務を果たそうとする誠実さ、雄弁に留まらない思慮深さ、
また他者にたいして開かれ包括的なプロセスであるかどうかなど
詳細な科学的数学的内容以外の「コミュニケーション」のあり方に基づいて真偽を判断しざるを得ない
実際、科学とは、アプリオリに存在し妥当する真実・真理を演繹的に証明する神学的なものではなく
もっと集合的で反復的な作業であり、いわば集合的な理論や経験という「ざる」を通して不確かなものと
確かなものを選り分けるプロセス、科学的発見のためのコミュニケーションの手続きのフレームワークのことなのだ
その点から言えば、政治家にまでなれとは言わないが、コミュ障が学者なんかやっちゃいけない
望月については、一貫して外部の人間に対する説明責任を放棄していること、不誠実であること
また業績のある同業者からの反論についても誹謗中傷を交えた反駁を行い、クリティカルなポイントについても
ただ「自明」とだけ繰り返して木を鼻でくくったような態度でいること、などから全く信用出来ない
おれにはただ日本人であるというだけで、学者として不誠実な人間を支持する趣味などまったくないし
もしどちらかを選べと言われたら、即座に上記のフレームワークを満たしているかどうかから判断する
実際、このままだと好むと好まざるとIUTは世界から忘れ去られていくだろう
563:132人目の素数さん
18/12/18 07:06:34.47 n5M72Qqg.net
まだ執行猶予期間
564:132人目の素数さん
18/12/18 08:08:39.73 tNRFDIKV.net
犯罪者かよ
565:132人目の素数さん
18/12/18 08:56:24.97 9ORfM9hl.net
>>534
意味が分からん。
致命的な欠陥を指摘されるまで放置してたんだからアクセプトもくそもないだろう。
というかそれに気づかない査読と編集がダメなんだから、
PRIMSの評判落とすだけでしょ。
そもそも本人の反論が「批判者は理解不足」でどうやってその無能集団が裁定するのよ?
566:132人目の素数さん
18/12/18 11:05:28.75 sw2o4TqG.net
Atiyah に査読してもらいたい
567:132人目の素数さん
18/12/18 11:30:37.53 NhTwniW7.net
Atiyah がPRIMSへ投稿すればいいんだよ
568:132人目の素数さん
18/12/18 11:58:36.74 LIMUX9dn.net
>>543
致命的な欠陥かどうか自体が一部の人間にしかわからないんだから、査読には多目の猶予があるんだよ
師匠のファルティングスが過去似たような同型を巡る問題でやらかしたが、あれは査読が手加減したからだ
何れにせよ、あたかも欠陥が誰にでもわかるような詭弁を言っちゃいかんよw
569:132人目の素数さん
18/12/18 12:05:02.13 LIMUX9dn.net
しかし因果っつうか面白いのは
ファルティングスは違うものを同じと言って間違えた
望月は逆の指摘をされたわけだ
ファルティングスの理論は後で内容自体はあることが判明したが、望月さんはどうかな
570:132人目の素数さん
18/12/18 12:08:53.05 9ORfM9hl.net
>>546
ん~? つまりお手盛り査読だったことを認めるのかな?
571:132人目の素数さん
18/12/18 12:09:44.87 9ORfM9hl.net
トンデモはいつでも最後に「これはみんなには理解できない」に逃げるね。
その時点で敗北宣言だということが分かっていないんだろうな。
572:132人目の素数さん
18/12/18 12:17:02.39 9ORfM9hl.net
これははっきり言っておくけど、分からないのなら一旦リジェクトすべきなんですよ。
これをしないから疑われてるわけ。
573:132人目の素数さん
18/12/18 12:52:19.60 ufxZ8CUG.net
PS JSレポートの指摘は疑問の一部だろ、
全てでは ないね。
574:132人目の素数さん
18/12/18 13:03:21.41 LIMUX9dn.net
そういうポジショントークには興味ないな
批判は来年逃げ切って誤魔化した場合でいいんだよ
あんたらは叩きたいがあまり焦りすぎだ
575:132人目の素数さん
18/12/18 13:05:23.97 ESFYzg++.net
>>552
どうせ来年逃げ切ったら「まだ2020年までは様子見したほうがいい」とか言い出すんだろ?
去年の12月の時点では、次号に載らなかったら、という話だったのに。
576:132人目の素数さん
18/12/18 13:09:08.47 9ORfM9hl.net
というか逃げ切ったら云々がすでにおかしいんだよ。
査読誌からのリジェクトは理論がまちがっていることを意味しないだけでなく、
それはうちでは扱えないから再投稿するなら別のところへしてくれ、
というのを示して投稿者に無駄な時間を使わせないというメリットもある。
さらにPRIMSみたいに特定の投稿にだけ何年も付き合ってあげるというのは不公平だよ。
雑誌の手続き自体に疑義が生じる。
577:132人目の素数さん
18/12/18 13:23:16.64 QixmKS4s.net
>>547
IUT論文の査読中に、
概要の解説文に基づき ABC予想が肯定的に
解決した、と公的な報告書に書く程度の代物
だよ。
578:132人目の素数さん
18/12/18 17:28:29.54 LIMUX9dn.net
>>553
>>554
さすがにしつこいわ。ウヨサヨ二元論かよ。来年が山なのに変わりはないし、今過剰に叩くってのは
単に数学エリートの失敗を願ってますと自白するようなものだよ
579:132人目の素数さん
18/12/18 18:02:38.41 M8PB3V1p.net
来年が山って査読もできない連中がなんの評価をするの
580:132人目の素数さん
18/12/18 18:04:08.14 ESFYzg++.net
>>556
来年が山っていうのが分からん。
査読に山なんてないぞ。
来年が山になる根拠ってなによ。
提出者が批判者を無知と認定したら査読期間が半年伸びるとか、
そういう査読慣行があるなら教えてくれ。
>>546みたいに曖昧な情報じゃなくて。
581:132人目の素数さん
18/12/18 18:20:31.67 pApuNztN.net
そうだよ
しつこい云々なら散々解決した解決したと煽ってた責任をどうするの
582:132人目の素数さん
18/12/18 18:24:19.19 oVrlFpku.net
jinが騒いでいるだけなんだから勘弁してやれよ
583:132人目の素数さん
18/12/18 18:31:16.06 eUko1ad7.net
プロジェクトが2020年から
批判を受けてからそこまでまだ年数が経ってない
ということからまだ猶予があるってことじゃないの
SS
584:からの批判がなければ掲載されてたかもしれないけど先延ばしになった そういう流れからの話では
585:132人目の素数さん
18/12/18 18:38:18.44 Q763mIlq.net
ダメっぽいところに一撃喰らっただけではないかと
586:132人目の素数さん
18/12/18 18:43:58.94 fS4wNC0J.net
これもしプロジェクトは発足して予算もついて、からのやっぱりIUTはダメでしたが2020年までに確定しちゃったりしたらどうなるんですか?
587:132人目の素数さん
18/12/18 18:50:02.35 LIMUX9dn.net
>>563
ABC予想はひとまず忘れて理論の有意義な部分を探る、特に遠アーベル幾何学を主題にするだけでは?
ここで言われるほど吊し上げまでにはならんよ。結局、解決云々については仮に失敗としても
悪意がないと判断されるだけだし、十分リジェクトだけでもお通夜になりますよ
588:132人目の素数さん
18/12/18 18:51:05.29 5bLzuHj1.net
事の規模からすると役所は報復処置を執るだろうね
利権悲惨
589:132人目の素数さん
18/12/18 18:55:07.78 9ORfM9hl.net
>>564
ん、そういうシナリオで進めようとしてるのか。狡すぎるな。
590:132人目の素数さん
18/12/18 19:09:45.94 fS4wNC0J.net
>>564
なるほど。ABCがダメならIUT、そこもダメなら遠アーベルまで話広げるのか。
591:132人目の素数さん
18/12/18 19:22:21.14 QixmKS4s.net
IUTに痛烈なコメントを放ったJSは
遠アーベル幾何学が専門だろう。
こっちに来るな でしょう、
592:132人目の素数さん
18/12/18 19:26:46.57 eUko1ad7.net
望月先生も元々はそうだったような
593:132人目の素数さん
18/12/18 19:28:41.82 C+hcMGEH.net
>>558
査読に山があるとしたらレフェリーレポートが返った時だろうな
あとは時間がたつほど下り坂
何度かやり取りするときはあるから山はいくつかある
>提出者が批判者を無知と認定したら
編集者にそれを伝えてあとはエディターの判断
594:132人目の素数さん
18/12/18 19:31:07.41 QixmKS4s.net
>>569
査読中に ABC予想が肯定的に解決、
と報告書に書いた時期は 2016年。
>>7 >>8
595:132人目の素数さん
18/12/18 19:39:38.93 QixmKS4s.net
>>570
>編集者にそれを伝えてあとはエディターの判断
ヒント オリエント急行の殺人
596:132人目の素数さん
18/12/18 20:32:30.16 2mdPVooU.net
>>556
なんだよ来年が山って
確か今年の正月には桜の咲くころが山っていってたぞ
そうやって山を帰納法のごとく先延ばしにすれば
永遠にIUTに希望がもたれるとでも思っているのかw
597:132人目の素数さん
18/12/18 20:48:51.89 C+hcMGEH.net
>>572
普通でない編集がされている雑誌のことは知りません^^
598:132人目の素数さん
18/12/18 21:08:41.88 eUko1ad7.net
IUTそれは愛
599:132人目の素数さん
18/12/18 21:36:10.44 LIMUX9dn.net
>>570
今回論争についての議論をして、しかも複数人がそれをフォローするわけだから、実質的には判断準備として
今年が最後の山だったとは言えるかもしれない
色々な意見を取り入れる必要もあるだろうし、大目に見て来年までは待つのが妥当
600:132人目の素数さん
18/12/18 21:56:05.31 5bLzuHj1.net
○罪者の弁護をする弁護士みたいだな
601:132人目の素数さん
18/12/18 22:32:39.29 h+QWo4yJ.net
このひと、6年やって気づかないような査読者たちがどうやって判定するのか、
未だになにも説明しないよな。できないのは分かってるけど。
602:132人目の素数さん
18/12/18 23:22:36.74 Nd/ky/XP.net
理解者として真っ先に名乗りをあげたのがあのGO氏だもんな
603:132人目の素数さん
18/12/18 23:47:13.52 LIMUX9dn.net
>>578
単純に気付く気付かないだけの話じゃないんだけどね
肯定派と否定派では認識が違う
一見するとパラドックスに見えるが、階層的に見たら上手く区分けしているようにも見える
宇宙際レベルで見たら正しいと言う立場と、もっと単純におかしいという立場で対立している
ある文脈で同型だったらアウトみたいなレスもあるが、同型も非同型も理論にあって
トータルで見たらセーフみたいなことを言ってる
だから査読の判断はここで言われるよりは難しいよ
604:132人目の素数さん
18/12/18 23:58:36.
605:09 ID:wtpiSueo.net
606:132人目の素数さん
18/12/19 00:03:05.53 fPMgC47B.net
査読よりも自分の立場では否定のジャッジメントが難しいとハッキリ言えばいいのに
607:132人目の素数さん
18/12/19 00:14:03.64 /Ci8Dup3.net
論文は基本的に絶対正しいと断言出来ないならリジェクトしないと。
行間が私には埋められないけど賢い人ならきっと埋められるだろうなんてノリでアクセプトしたらいかん。
査読者が自分の読解力にある程度自信があるなら「こんなのイミフ」も立派なリジェクト理由だよ。
そのジャンルを専門としてるプロの数学者が数ヶ月頑張って理解出来ないような文章なんか論文の体を成してない。
608:132人目の素数さん
18/12/19 00:51:35.43 0I2mkgtW.net
猶予はあと一年ある
609:132人目の素数さん
18/12/19 00:54:20.00 rLRiMPaC.net
>>580
査読中に 概要の解説文を根拠に
ABC予想が(肯定的に)解決、と
RIMSが公式報告書に書いたんだぞ。
RIMSは 査読結果を無視なのに。
抗議して査読者を辞めるが普通だなあ~
誰だろ、アホ査読者?
610:132人目の素数さん
18/12/19 00:57:51.47 cmw+bBk0.net
>>582
あまり突っ込んだ個人的な主張を言うのはちょっとね。あくまでここは匿名で外から眺めるという場所だし
でも一つ言えるのは、望月さんは人生が数論幾何みたいな人であって、到底でっち上げを意図したとは
見えないってことと、それと連動してただのケアレスミスとかではないってことだね
611:132人目の素数さん
18/12/19 00:59:44.55 rLRiMPaC.net
>>586
どの時期から転落したの?
612:132人目の素数さん
18/12/19 01:00:17.62 cmw+bBk0.net
>>583
それは前に、俺なら公的には判断拒否すると言った通り、無理をするなというのは同意
でも査読者は確信してるかもわからないし、そんなのは今は何も言えん
613:132人目の素数さん
18/12/19 01:01:34.48 rLRiMPaC.net
>>588
バカ査読者?
614:132人目の素数さん
18/12/19 01:30:20.37 mR1+Q3he.net
>>586
最初から上手く区分けしてあった?
後からなら理由は知ってますか?
区分けが無意味との論調もあったような
615:132人目の素数さん
18/12/19 01:37:02.33 mTIjQTKJ.net
ほとんど全ての場合
616:132人目の素数さん
18/12/19 06:00:45.78 6qX/rPM2.net
そろそろアカヒは謝罪記事書けや
617:132人目の素数さん
18/12/19 09:02:55.59 0uUErJ4h.net
IUTは自己愛と詭弁
618:132人目の素数さん
18/12/19 10:18:20.80 TStt7DId.net
もうごまかしようがないんだけど、検証チームは検証完了と言って、
さらに朝日新聞に対してリークがあったわけですよ。
これで査読チームは哲学的な理由から慎重に判断してるなんて言われても寝言なんだよね。
さらにそれは査読者がすることじゃないから。
勝手にチーム作ってやってればいいじゃん。
619:132人目の素数さん
18/12/19 16:45:48.89 Qv4QN2HW.net
>>590
一旦宇宙のない外に出てから無限の宇宙を構成する理論なので、そういう区分けは初めからあった
それに関連して、抽象化すると一意性が高まるというレスがあったけど、この理論はむしろそれを
利用してるという体になっていて、しかも哲学というか論理的事実として、抽象化すると
統一的な一意性は強まると同時に情報が失われる。それも不定性という形で利用するという体になっている
620:132人目の素数さん
18/12/19 16:51:29.91 Qv4QN2HW.net
これ数学とは関係なく心理的に不思議なのは、内容はよくわからんという人が、何故ショルツ寄りだらけで
天才と天才の論争という図式では見ないのだろうか
ルサンチマンという言葉を使ってた人もいるが、やっぱり失敗しちまえという感覚があるんだろうか?
621:132人目の素数さん
18/12/19 17:01:00.24 MgwzajkL.net
>>596 それもあるかもしれないけど、そもそも数学の論文でその道の専門家がなんとかフォローできるレベルを超えてる論文なんてそもそもありえないんだから、この問題では批判してる方に賛同する意見が集まるのは当然だろう。 それが数学かじったものの正しい反応だよ。 基本、数学の世界は “思いつくのはムズイけど、言われてみれば当然” なものを積み重ねていく世界。 “ナンノコッチャわからん” ものは排除されて当然。 そういうのがでてきたら “しっかり行間埋めて最低限、専門家がフォローできるものにしてからおいで” が正解でいいだろ?
623:132人目の素数さん
18/12/19 17:13:00.69 83bhmch7.net
天才と天才の論争?
ショルツはブレークスルー賞(辞退)など受賞歴、ドイツ国内で最年少教授就任とかあるけど
M氏は国内受賞歴しかないようなのだが
違ってたら許してくれ
624:132人目の素数さん
18/12/19 17:23:47.91 8rnmGEbF.net
反応しすぎだろ。個人的な恨みか?
625:132人目の素数さん
18/12/19 17:30:11.12 Qv4QN2HW.net
>>597
それはそうだけど、元々査読に10年かかるんじゃないかと言われた複雑な理論な上に
やっぱりジャーナルが身内に近いのが大きいよね。そこは俺も批判的だ
正否はさておき海外に行って説明しつつ、特に理論の内容を考えたらJNTかAnnalsに出すべきだった
その時点でクエスチョンだわ
626:132人目の素数さん
18/12/19 17:43:06.68 rLRiMPaC.net
>>596
貴方は英語を読めないんだね
>>18
627:132人目の素数さん
18/12/19 18:25:07.75 RqeU9Ofy.net
>>598
受賞歴=天才を規定する物差しなのか?
随分なトンデモだな
628:132人目の素数さん
18/12/19 18:32:57.55 DeJvqvr6.net
トンデモ一派の逆ギレ見苦しい
629:132人目の素数さん
18/12/19 18:48:16.78 TStt7DId.net
>>602
そんなこと言い出したら、望月はプリンストンを若くして卒業したこと以外、
別に天才という要素皆無だと思うんだけど?
630:132人目の素数さん
18/12/19 19:16:18.58 YR67ydIO.net
敢えて同一視しないでズレ計算をするって妄想レベルでは誰でも思いつくけどそこで本当に理論を展開するなんて天才でしょ
既存幾何学の限界を背景にした新しい幾何学なので厳密性が若干ひくいのは仕方ない
631:132人目の素数さん
18/12/19 19:28:12.12 TStt7DId.net
>>605
???
632:132人目の素数さん
18/12/19 19:29:58.66 0Aphkwil.net
> 厳密性が若干ひくい
どんな証明だよ
633:132人目の素数さん
18/12/19 19:52:46.71 scWydSFr.net
>>596
それは違うだろ。
文学論争や哲学論争なら両巨頭が自分の価値観を振りかざして決着のつかない論争をするというのならありうるけど、
数学だからね。結局は証明文の有無をあらそっている。
ショルツが「ここの論法に納得がいかない」と言っているのに望月が現状以上の詳しい証明を示さないという事は、
その時点で証明はないと判断されてもしかたがない。
「内容のよくわからない」圧倒的多数の平凡な数学者だってみんなそう思うよ。
そもそも正しい証明があるならそれは三段論法のレベルまで詳しく展開できるはずなのだから。
634:132人目の素数さん
18/12/19 19:59:39.36 scWydSFr.net
ようするに、京都大学の入試数学で、
「定義により自明。証明終わり」という答案を書いたとき、
「ああ、こいつは正しい証明を得ているのだな」と思うかってことだよ。
天才と天才と争いとか、そんなたいそうなものじゃないw
635:132人目の素数さん
18/12/19 20:10:43.66 Qv4QN2HW.net
>>608
いや、そういう話をするなら内容を見ないと無理
大体本人の言い分が「証明に不備はなくそっちが読めてない」というものなんだから
尚更内容を見ないと判断し�
636:謔、がない しかもその内容というのが、正否はともかく前例のない構造についての議論なんだから 君も同じことを言ってるが、証明がないというのは今のところ公的な総意ではない
637:132人目の素数さん
18/12/19 20:12:36.13 TStt7DId.net
数学の世界で他人に対しておまえは読めてないという権利はないんだよ。
読めるように証明を組むのが仕事なんだから。
638:132人目の素数さん
18/12/19 20:13:44.80 TStt7DId.net
仮に取り巻きが言ってたように学部生レベルという話なら、
まあ読めてないやつが悪いのかもしれんが、
トップレベルが読めないというのならそれは証明として認めちゃダメでしょ。
639:132人目の素数さん
18/12/19 20:23:59.73 scWydSFr.net
>>610
んなことない。論文よりくわしい証明文はない。記号列を見ただけでもそれははっきりしている。
何度も言うが、正しい証明文があれば、事実上疑問を持つ側が納得するまで、
詳しく証明文を展開できる。プリンキピアマティマテカをみればわかる。
しかし現にSSは納得していない。よって正しい証明文は書かれていない。
望月が証明したなどという事は、誰だって納得するはずがないだろ。
望月には証明はない。これは絶対確実。
実は望月はブログでも証明の有限記号列がないことを事実上認めてるけどね
640:132人目の素数さん
18/12/19 20:44:51.01 Kkh11gLt.net
S・Sレポートと望月反論レポートを比較して俺なりに解釈すると、
反論レポートで、充満多重同型とラベルについてS・Sが「不必要・無意味」、「嗜好・美学の問題」としたとあるが、
とくに後者については、望月が彼らを納得させられず、彼らから見て曖昧な返答しかできなかったので、
彼ら(S・S)は「もう、これは数学に対する嗜好や美学の問題(数学に対する態度)になってしまっている。
これ以上は議論しても無意味だ」となったのではないか、と俺は思う
要するに、望月は彼らの無理解・頑なな態度に怒り、S・Sは望月の数学に対する態度に呆れかえってしまった
と、俺は解釈している
641:132人目の素数さん
18/12/19 20:48:12.63 Kkh11gLt.net
>>613
>実は望月はブログでも証明の有限記号列がないことを事実上認めてるけどね
まあ、俺もこの件は言いたくなかったのだけどね。やはり彼にはそういう所があるよ
数学者、科学者はロゴス中心主義者でいいんだよ(笑)
IUTT連中はやはりポストモダン数学をやりたいのではないか?w
642:132人目の素数さん
18/12/19 20:54:53.40 z6UdzVeJ.net
ワイエルシュトラス以前の無限の扱いみたいなもんじゃないの?
最終的にはZFCレベルの記号列に還元できるかもしれないがまだそういう段階じゃないんだろ
でも万人に認めさせるにはそのレベルまで持って行かないとな
643:132人目の素数さん
18/12/19 21:11:00.60 Qv4QN2HW.net
>>613
残念ながら、それについては何とも言えない。PS-JSがどの程度踏み込んでIUTを認識しているのか
批判論文はスマート過ぎてよくわからない。独側ははなから馬鹿にして十分読む気がないと望月側は思ってるが
それが間違いとも言い切れない
結果的に、ポストモダン云々の人や早朝だか深夜に態度を批判した人のように
望月側が外部への説明意欲に欠ける、という点をまず批判するのが妥当になってくる
今はそこまでしか言えない
644:132人目の素数さん
18/12/19 21:13:06.59 TStt7DId.net
>>615
だったら数学誌に投稿するなよ。
それ自覚的にやってたら頭おかしいだろ。
645:132人目の素数さん
18/12/19 21:14:44.97 TStt7DId.net
ID:Kkh11gLtもそうだけど、不誠実なんだよな。
数学の研究所で給料もらって数学誌に投稿しておいて、
いざ欠陥を指摘されるとこれは数学ではないと言い出す。
だったら独立すればいいんだろ。それなら文句は出ないんだから。
646:132人目の素数さん
18/12/19 21:30:59.82 Kkh11gLt.net
>>619
ん? 俺はIUTTに対して否定的なんだけど・・・
>>617
>批判論文はスマート過ぎてよくわからない。
そうなんだよ。俺はS・Sレポート→望月反論レポートの順で読んだ。そこで、おそらくあなたと同様に分からなくなった
S・Sレポートを読み直し、ロバーツのコメント(PDF)、さらにその補足を読んで大体俺の意見は固まった
もちろん同僚などの見解も参考にしているけどね
今では、同型やラベル云々の本質的であるはずの数学的な問題より、望月が書いている教育の問題の方が気になって来ている
教育を語りながらなぜもっと自ら積極的に動こうとしない、書き直そうとしないのかとかね
(たぶん書き直しようがないと思うが・・・)
647:132人目の素数さん
18/12/19 22:08:16.21 8oIdqlOU.net
>>620
おまえの哲学談義はよそ(具体的には哲学板)でやれってことなんじゃないの?
648:132人目の素数さん
18/12/19 22:08:59.55 8oIdqlOU.net
俺もこいつがなんで数学板に居座っているのかよく分かんないしな。
ポストモダン数学(?)とやらは板違いだと思うが。
649:132人目の素数さん
18/12/19 22:25:19.22 Qv4QN2HW.net
>>620
自分が特にわからないっていうのは、独側のIUTについての認識の%ですね
現に齟齬があるからレポートが40ページにもなったわけだし
あと、ポストモダン数学ってのは皮肉だろうに、数学板らしく文字通り受け取る人がちらほらw
650:132人目の素数さん
18/12/19 22:30:59.32 Kkh11gLt.net
2,3日前から久々にカキコしたんだが、IUTT主論文、関連論文、サーベイ、S・Sレポート、望月反論レポート、
ロバーツのコメントなどを読んだ上でカキコしているのは、相変わらず2~3人ぐらいしかいないんだな
論争の中身すら全く分かっていないから冗談や皮肉すら分からないようだ
これは肯定派、否定派に限ったことではないけどね
要するに、上記の2~3人を覗いては肯定派・否定はともどもjinレベルということだ
俺も君らをNG入れるから、君らも俺をNGに入れればいい
651:132人目の素数さん
18/12/19 22:35:42.01 Qv4QN2HW.net
>>620
内容については、多分トータルで見てやっぱり批判が的を射てると結論されたんでしょうけど
それはともかく、PS-JSももうちょいIUFについて書いて欲しかったなと思う
あと絶対矛盾自己同一については、抽象的な構造がより具象的な対象についての多様な情報を潜在的に
含んでいることはあるわけだから間違った思想だとは思わないんですよね、個人的に
但しこれはIUTの正当性とは別の話ですが
652:132人目の素数さん
18/12/19 22:46:07.13 Kkh11gLt.net
ああ、変換間違い
×否定は → ○否定派
×覗いて → ○除いて
>>623
S・SレポートがIUTT用語を使わないで(ロバーツ曰くジャーゴン)、極めて形式化して書いているということだよね
彼らは問題の所在を誰の目から見てもはっきり分かるようにそうしたのだと思う
それが単純化とか「極度な単純化」などと言われている
望月は単純化に同意したが、議論の中でそれが彼にとって自身の理論の生命線まで単純化されたので憤っているわけだ
「それはIUTTではない」と。
要するに、S・Sによる単純化はIUTTを彼らが理解した上でのものなのか、単なる無理解からくるものなのかということだけど、
俺は前者だと思っている
お互いにこのことは散々このスレで書いてきたからもう疲れたよね(笑)
読みもせずに批判ばかりしている連中はもうどうでもいい
あと、俺は物理屋さんは評価してるよ
長文ゴメン
653:132人目の素数さん
18/12/19 23:01:03.99 Kkh11gLt.net
>>625
なんかチャットみたいになってきたね(笑)
IUF、すなわちIU形式主義のことだけど、これはまず望月の論文の構成に問題があると思う
前にも何度か書いたけど、最終節の内容は最初から前提として書かれている
本人はまとめたつもりのようだけど、背景として、或いは潜在的にIUFがあったわけだ
S・Sがこれについても触れた上でだったらもっとはっきりした、というのは同意するよ
望月があくまでIUTTは正しい理論だと主張するなら、このIUFと種の言語を前面に出して(
654:最初に論じて)、 読者を納得させた上で論証を進めればいいと思う まあ、抽象的な位相群から同型物を作るというのは厄介な問題だね
655:132人目の素数さん
18/12/19 23:41:05.45 Kkh11gLt.net
>>625
あと、揚げ足取りのようになって悪いのだけど、以下はあなたの見解ではなく山下の9月に出たFAQのA3に書いてあるのだけど、
位相群としての絶対ガロア群から同型物を取ったら、その同型物は「操作の歴史(履歴)」を忘れると言い、
都合よく操作の歴史を「忘れたり」、「思い出したり」などということをすると対称性が破壊される。特に、
操作の歴史を思い出すことによって得られた同型物は最終的にアルゴリズムを破壊する、と述べている
(最後の文はS・Sレポートを意識して書いているね)
俺はもう、彼(ら)が何を言いたいのか分からないんだよ
同型、ドメイン、コドメイン、自己同型、……。数学用語をちりばめて好き勝手にやっているようにしか思えない
まともに考えればS・Sやロバーツの指摘のようになる
もう、ここまできたら西田の絶対矛盾的自己同一ですらないのではないか、とね
656:132人目の素数さん
18/12/19 23:49:30.15 3jEG8J8b.net
うわっ戦前のエテ公がほざいてる
657:132人目の素数さん
18/12/20 01:24:44.67 Uy2H9knr.net
>>628
それは、擁護とかは抜きにして、意味としては本質的に宇宙際の非可換図式を扱っているのだ、
という以外には理解しえないでしょう。抽象位相群の性質だけ保持し、各々履歴を消して
新たにソフトウェアを貼り付ける、というシステムを主張していることになる
星さんで言ったら15ページだが、ポイントは、一旦環構造を放棄するのだがテータ空間は環論的でなければ
ならないという点。inter-universal/mono-abelianの意味は何なのかということ
つまり、望月からしたら抽象的な充満多重同型と具体的な「各々の」数論的テータ空間の区別がPS-JSには
できてないという話になる。非正則な同型が成り立ってもだからといってーーと
何のためのFrobenioid(monoid)/Anabelioidなのか、と
658:132人目の素数さん
18/12/20 01:31:44.52 Uy2H9knr.net
関係ないが前に実ガウス積分と書いちゃったのは正確には普通に宇宙際ガウス積分が正しい
環構造を超えるという意味で何故か出ちゃったがおかしい。誤解を招く。まあ殆どの人間は興味ないだろうが
659:132人目の素数さん
18/12/20 01:34:27.56 Uy2H9knr.net
Frobenioidが分解なだけでなく、Anabelioidの動機はそもそも何なのかって部分でもあるね
まあ正否はともかくw、やっぱりただ者じゃないよ望月は
660:132人目の素数さん
18/12/20 08:19:40.13 mSGVC+S7.net
まずはZFCMとして展開するしかないでしょうな
Mが本当に必要なのかどうかは後世の課題って事で
661:132人目の素数さん
18/12/20 09:12:34.04 gM92pZNi.net
しかし途中で間違いだと気づいて離脱した某氏はともかく、
IUTと心中してしまったメンバーはどうするんだろうか。
院生はまだ研究室替えが効くかもしれないが(ただ短期間で専攻変えられるのかって話だけど)、
それ以上のメンツは厳しいんじゃないの。
森さんがショルツたちを呼んだってことはRIMS内部で好評価でもないんだろうし。
まあ師匠のミスに気づかないのが悪いということにはなるけど。
662:132人目の素数さん
18/12/20 12:18:58.17 EcOw0aW8.net
あってるけどな
663:132人目の素数さん
18/12/20 12:50:54.28 U/QMYa/e.net
>>633
Mってモチヅキ宇宙のことか(笑)
コピーとしてH宇宙、Y宇宙、B宇宙、F宇宙とか作れるんだろうね・・・
突然変異したり、観察されたらどうなるんだろうね(笑)
664:132人目の素数さん
18/12/20 12:53:46.30 tFezeyy2.net
証明された
665:定理はすべて自明
666:132人目の素数さん
18/12/20 12:54:46.48 tFezeyy2.net
公理から直接導くことができる
667:132人目の素数さん
18/12/20 14:23:27.34 OW5vaTeN.net
ゼネラル ナンセンスは言葉でしょ。
IUTは不明瞭、曖昧、たとえ、たわごと、、
668:132人目の素数さん
18/12/20 15:03:35.29 O2Y7wapz.net
>>604 有名大学卒業みたいな物差しでしか見ないから、トンデモ扱いされてるんだろ。
669:132人目の素数さん
18/12/20 18:36:06.83 3sMgLJrZ.net
ZFCMか。でも多分、どのみち過渡的な理論で終わると思うな
基本群を上手く一般化すれば数論に使える上に次元を上げられる
670:132人目の素数さん
18/12/20 20:07:41.99 sbd3k1iI.net
>>634
途中で離脱した某氏ってだれ?
日本みたいな同調圧力の強い国で、結構見どころあるじゃん。
671:132人目の素数さん
18/12/20 22:14:10.93 AOLhnePs.net
ZFCMのMって、明示的な形にするとどんな命題になるの?
選択公理くらいには単純なの?
「宇宙際理論は正しい」とか、超マクロな命題になるの?
672:132人目の素数さん
18/12/20 23:08:00.71 GcEUg6a9.net
それは俺も聞きたい。
それを仮定すれば件の3.12は上手くいくんですか?
673:132人目の素数さん
18/12/20 23:12:54.42 0BzlnHgo.net
またバカが騒いでるよ
674:132人目の素数さん
18/12/20 23:39:22.20 gQzMOuZ8.net
まあ、ここまで叩かれて一発逆転したらかっけーけどな
クリスマスレポートカモン
675:132人目の素数さん
18/12/21 00:05:22.90 wKo9Lpx7.net
たら、れば、次は、来月は、来年は、将来は、新しい動き、
イカれてますねえ
676:132人目の素数さん
18/12/21 02:55:57.91 BLHf1/JU.net
望月SS議論のまとめ
望「同型が~ラベルが~これでlog Θの不等式が出ます」
S「つまりIUTの〇〇は△△ってことだよね。じゃあラベルが機能しなくね?」
望「いや〇〇は△△とは違うから。お前らIUTを単純化しすぎ」
S「じゃあ〇〇って何なんだよ」
望「準備論文読め」
S「いや準備論文でも説明できてない。望月の証明は無効」
677:132人目の素数さん
18/12/21 15:56:14.58 0wDgDDMM.net
>>626
今更ですが、ちょっと他のことで忙しくて内容の半分くらい忘れて大分適当なことをレスしちゃったけど
やっぱり対数テータ格子のmono-analyticな計算の戦略、意味というのを少し復習するとはっきりする
絶対遠アーベル幾何学もちょっと読んでみて、これもわかったら更にはっきりするかなと思ったんだけど、
整理した結果、逆に批判論文の簡潔さよりはレポート含めMの文書の冗長性に疑問が生じたかな
ただこの理論に寄り添って考えてみるメリットはあった。「ABC予想は結局、遠アーベル幾何学とか
抜きにしたらどうやって理論化できるのか」という問題こそ、本来は一番重要ですからね
678:132人目の素数さん
18/12/21 16:06:48.41 0wDgDDMM.net
IUTがああなった背景は、望月さんの小平の理論についての理解が結構独特で、それを
数体の絶対遠アーベル幾何学に持っていこうとしたら必然的にああいう枠組みになった
正否に関わらずw、この背景には非常に含蓄があり、やはり発想には才能を感じさせる
679:132人目の素数さん
18/12/21 17:29:17.16 0fKpG/Uz.net
小平先生は物理学科の出身でもあるんだよな、
安定感があるわ
680:132人目の素数さん
18/12/21 17:55:45.43 LKcWhYQV.net
幾人かの読んだ人に質問です。
ここの読んだことある人同士の議論では結局、問題点と思われる部分は一致してるんですか?
つまり今論文で危ぶまれているところ、つまり、望月先生は証明できている(
681:もしくはする必要がない)と思っているけど、実際には証明しないとだめだろうという主張、あるいは、もちろん実際そのとおりなんだけど自明といったらだめだろって場所でもいいんですが。 その部分がどこなのかのみんなの認識は大体共通してるんですか?
682:132人目の素数さん
18/12/21 18:11:21.85 46AeJH8e.net
なんか急にスレ流し始めたけど、
この状況じゃ就職口は閉ざされてるんだから、
さっさと転向したほうがいいぞ。
683:132人目の素数さん
18/12/21 18:13:14.61 BRniTwpU.net
スレ流し??
684:132人目の素数さん
18/12/21 18:34:17.49 Plh+riWL.net
>>652
スレを読んでね。腐るほど同じ箇所が言及されてる
685:132人目の素数さん
18/12/21 18:44:33.93 bH4auQhW.net
>>655
つまり誰が見てもここだろってとこは明らかなんですね?
じゃ当然その認識は当人にもあるんでしょうねぇ?
なんで手を入れないんだろ?
686:132人目の素数さん
18/12/21 19:10:11.79 0wDgDDMM.net
>>656
「正否に関わらず」、大分考え抜かれてるからこそ、この理論は確かに正しいに違いない、と思いたくなるのは
自然だし、何か根深い問題がある場合には直しようがないということもある
また代数幾何学は抽象的だから、解析とは別の意味での計算とか証明の間違いはよくあることでもある
687:132人目の素数さん
18/12/21 19:21:04.46 k2xWEVYD.net
望月にとっちゃ3.12の不等式は成立してくれなきゃそのあとの議論が進めないので、証明するも何も正しいという事でなければ困るからだろ
証明? そんなのできないよ。
数学には有限記号列では伝わらない真実があるってこった。
688:132人目の素数さん
18/12/21 19:25:10.22 46AeJH8e.net
>>658
それならabc予想は多分正しいから正しい、でいいんだけどね。
コンピュータに検証させても反証が出ないからabc予想は多分正しいんだし。
689:132人目の素数さん
18/12/21 19:44:59.86 0fKpG/Uz.net
ショルツの言うとおりだろうな
Personally, he said, “I didn’t really
see a key idea that would get us closer
to the proof of the abc conjecture
690:132人目の素数さん
18/12/21 20:34:07.35 0wDgDDMM.net
いや、公平に見て掬いとれる所は掬いとるのが一番賢い
そしてそれは全体を見ないとわからん
691:132人目の素数さん
18/12/21 21:45:48.49 mjlvOumr.net
俺もいろいろ否定的な見解ばかり書いてきたけど、「正否に関わらず」というのは俺も同様に考えている
現行のIUTTを読む限り納得はできないから、S・Sやロバーツのコメントに説得力を感じているだけだよ
ABC予想証明に失敗し、IUTTが内部矛盾を孕んだ全体としては使えないものだとしても、
高度な理論を組み合わせた実験、変形理論をさらに変形させた変態理論(笑)、
圏論を用いなかったブルバキの構造の扱いとの類似性、種の理論、突然変異などは、試みとしては面白いと思う
たんに面白がっているだけの野次馬なんだが(笑)
692:132人目の素数さん
18/12/21 22:07:06.03 mjlvOumr.net
>>649-650
個人的な感覚の問題だけど、単純にIUTTは美しくないというのがあるんだよね
深海魚的というか(深海魚に興味を持った時期があったけどw)
そういうゲテモノが見てて楽しいか、食べてみたら美味しいかということだけど、
今では見ても楽しく感じないし、不味そうに思えるから食べたいと思わないという(笑)
深海には熱水や硫化水素と共存している生物が存在するそうだが、IUTTもそういう感じに見えるw
まあ、こういうこと書いたらまた茶々入れる人がいるだろうけど、文学で例えれば、
サミュエル・ベケットの小説三部作、特に「名づけえぬもの」みたいな感じかな(読んだことある人
693:なら分かると思う) あと、俺は望月の才能に対しては疑ったことはない
694:132人目の素数さん
18/12/21 22:15:02.22 VU6KOgKm.net
>>632
M氏が偉いことは確かなのだが
それ故に間違った時に周囲ではどうしようもない
どうしようもない状況になってても本人が動かない
695:132人目の素数さん
18/12/21 22:23:43.92 bH4auQhW.net
読んだ人に質問。
結局IUTの問題点はやはり相当深刻なんですか?
逆に実は全然問題無しの可能性も残ってる?
問題点があって現時点で修復が難しいとして、その問題点以外の部分を回避すれば、一応体系としては構築できて、なんか応用例が見つかっても不思議ではない位は言えます?
696:132人目の素数さん
18/12/21 22:42:09.99 /8Gea1cY.net
ショルツに聞けよ
697:132人目の素数さん
18/12/21 23:14:28.77 wxF8VDyG.net
>>665 FもBSD断念したなら朗報だ
698:132人目の素数さん
18/12/22 03:30:43.84 6l2qHdtr.net
>>665
マジレスすると、Sの指摘は見当違いでIUTは今んとこ全然問題無し。
ただどういう訳かIUTが多くの数学者から避けられてる風潮がある。Sの指摘が表に出るずっと前から。
699:132人目の素数さん
18/12/22 03:54:11.38 7mUnDxrf.net
>>668
何が見当違いかは書けないの?w
700:132人目の素数さん
18/12/22 07:06:55.21 1jdpmYU4.net
>>668
受理されていない理由はなんでしょう?
敬遠されていようが論文として問題なしであれば受理されるべきでは?
701:132人目の素数さん
18/12/22 08:11:00.95 yL80GqOu.net
京大RIMSは 文科省への公式な報告書に、
論文は査読中だが 概要の解説文に基づき
IUTよりabc予想が(肯定的に)に解決した、
と書いた。>>7 >>8
IUTは概要の解説文レベル!で 京大RIMSの
予算獲得 事業推進のための道具!だね。
ま 京大RIMSのPRIMSに 受理されても、
京都市追分町RIMS限定定理 だなあ~
702:132人目の素数さん
18/12/22 08:39:19.56 AIR2Pi0j.net
>>671
くやしいのー
703:132人目の素数さん
18/12/22 08:42:00.86 yL80GqOu.net
>>663
数学 数理では才能なしから凡人だろ
704:132人目の素数さん
18/12/22 08:42:56.97 yL80GqOu.net
>>672
ばれて残念だね
705:132人目の素数さん
18/12/22 09:20:52.30 AIR2Pi0j.net
>>674
妄想勘違いw
706:132人目の素数さん
18/12/22 09:32:50.73 khw5n3tP.net
>>673
俺もその点が全然よく分からん。
望月の経歴をみてこれを天才と呼ぶなら、天才はけっこういると思うんだがなぁ。
707:132人目の素数さん
18/12/22 09:42:03.13 Ao7pd9/u.net
あの指摘の論文くらいまで理解してる数論幾何学者に、指摘が基本的な勘違いだと示せないのはむしろ難しい
それが事実ならABC予想よりも難しい謎になってしまうw
708:132人目の素数さん
18/12/22 09:46:07.12 yL80GqOu.net
>>675
は、壊れたIUFで書いているの?
RIMSの報告書は >>7 、資料2では
査読付き論文のみ評価としながら、
事例4では 査読中でも概要の解説文に基づき
IUTよりabc予想が解決した、と高評価。
京大 RIMSでは 矛盾した評価基準だな
709:132人目の素数さん
18/12/22 09:53:09.63 SFocrMYY.net
>>678
暇だねぇ。頭の中整理してから書こうよ
710:132人目の素数さん
18/12/22 09:55:40.99 yL80GqOu.net
>>679
事実が大切
711:132人目の素数さん
18/12/22 09:56:13.54 SFocrMYY.net
>>680
ずっと粘着してるの?草
712:132人目の素数さん
18/12/22 09:57:20.38 yL80GqOu.net
湧いてきたw
713:132人目の素数さん
18/12/22 10:18:27.88 RWGhxB8A.net
IUTTがオーソライズされると圏論の枠組みが過去の遺物になる。
それが、正しくても受け入れたくない理由なのかな。
自分の立場を守りたい人はいつの時代にもいる。
714:132人目の素数さん
18/12/22 10:24:10.68 0XmsiAui.net
>>670
元々時間がかなりかかると見な�
715:ウれてた論文だからね 10年はかかるかもなんて声があったくらいだし 6年で焦れてるやつが多数出てきてしまったのは朝日新聞のせいだね 朝日がフライングをした為になんでまだなの?どうなってるの?という意識を喚起することになった そのせいで一気にイラつく人が増える結果になった
716:132人目の素数さん
18/12/22 10:33:27.44 KB0UBZ4/.net
イラついてるのは間違いを認めず詭弁を続けてるからだろ
717:132人目の素数さん
18/12/22 11:33:09.01 UQUnpj0I.net
朝日は好きではないが、何で批判の矛先が朝日に向かうのかね?リークしたヤツが問題だろうに
ブンゲンなどは当時は何もコメントしなかったのに、8月になって朝日を批判し始めた
これは憶測だが、朝日記事の直前に望月は主論文4本にAcknowledgementsをアップした
おそらく査読OKだったんだろう。編集者orその周辺がリークしたんだろう。朝日はそれを信用に足るものとしただけだろう
10年かかるというのは受け容れられるのにそれぐらいかかるだろうというMの目算であって、
数学的な検証に関しては、望月曰く通常の査読より厳しいチェックをした検証チーム(山下・星・Saidi)によって2014年夏ごろ、
つまりたった2年で終わっている
責任逃れのカキコは止めた方がいいと思うよ?
718:132人目の素数さん
18/12/22 11:37:37.99 0aHn8YOM.net
>>684
朝日よりもプロジェクト研究とか現実的な金の問題でしょう
「10年はかかる」ならそれまでは検証を小さいグループで進行すれば良かった
今でもIUTがなければポストのなかっただろう周辺に職が来てる
正しいかどうかわからないことにも研究費をつぎ込むことは間違いではないが
適切な規模かどうか
もし間違いとなったらそれで職を得てきた周辺の若手はダメージ大きい
(間違いに気がつかなかったとしたら当然ながら当人らの責任)
さらにSの指摘で海外などでは懐疑的になってるのだから
まだ時間がかかるにしろ安心させる中間報告が早期に必要だな
719:132人目の素数さん
18/12/22 11:39:45.65 UQUnpj0I.net
土日祝日は昼間から酔っ払った自称ライター辺りが書き込むことが多いから、
俺もマジレスする必要はなかったな(笑)
720:132人目の素数さん
18/12/22 11:47:17.35 khw5n3tP.net
>>683
べつに圏論を置き換えたければさっさとやれば、って話。
してないのにぐだぐだ言ってるから問題なんだろ。
721:132人目の素数さん
18/12/22 13:58:09.26 UQUnpj0I.net
スレ32№315の創作会話をまた貼っとく
ポスドクがIUTTの拡張(?)の講演をしたりと予見性がある(笑)
---------------------------------
名前:132人目の素数さん[sage] 投稿日:2018/10/09(火) 01:37:03.20 ID:iEmKtfiM
M『論文が掲載されないの…』
S『あらら?3.12かな?検証はできる?』
M『内部の議論ではちゃんと機能してたのに。なんでいきなりフェルマーなんだろう。』
S『ギャップって怖いよね。で、循環論法かどうか知りたいんだけど説明できる?』
M『今は学部生でもわかるから自明なのに』
S『それは困ったね。どう?説明はできる?』
M『今までの論文はこんな事無かったのに。こんな読めない論文書かなきゃよかった。』
S『…説明できる?説明できない?』
M『掲載の予定だからまだ時間あるけどこのままじゃ困る。』
S『そうだね。で、不等式の説明はどうかな?非自明かな?』
M『え?ごめんよくわからなかった』
S『あ、えーと、無限階段みたいになってないかな?』
M『何で?』
S『あ、えーと、掲載されてないんだよね?論文が間違ってるかも知れないから』
M『何の?』
S『え?』
M『ん?』
S『論点が違ってるかどうか知りたいから、説明してみてくれないかな?』
M『別にいいけど。でも学部生以上だったらわかるよね?』
S『いや、だから。その論理を知りたいから説明してみて欲しいんだけど。』
M『もしかしてみんな気付いてる?』
S『いや別にみんなではないけど?』
M『気付いてるじゃん。何でわざわざいうの?』
S『だから説明してください』
M『何か間違ったこと言いました?言われた点は説明しましたけど?』
S『わかりません。自明と思えません。非自明、非自明だから』
M『何が非自明なの?』
S『論文掲載の話だったよね?』
M『拡張性でしょ?』
男『ああそう拡張性の話だった』
722:132人目の素数さん
18/12/22 16:23:13.20 Ao7pd9/u.net
圏論が過去の遺物になるってのは思わせ振りだがデタラメだろう
どちらかというとIUTが正しいなら集合論が大幅に変わる
723:132人目の素数さん
18/12/22 16:37:39.48 z9XqYMEv.net
集合論が大幅に変わるって圏論黎明期の頃も言ってたよな
724:132人目の素数さん
18/12/22 16:46:55.82 Ao7pd9/u.net
古典的な圏論は集合論的な数学と一緒に発達したから、すぐには変わらなかったな
パラダイムとしてはどのみちそういう方向には行ってて、IUTもその一種をITの影響を受けて狙ったと言える
725:132人目の素数さん
18/12/22 16:57:12.88 +j/yqXBT.net
IUTの情報はニコニコ動画 レベルだろ
726:132人目の素数さん
18/12/22 17:01:57.71 UQUnpj0I.net
酔っぱらいのバカレスにマジレスすると、
現行のIUTTは「新しい圏の幾何学」とか圏論の拡張などというものではなく、圏論を偽装しているに過ぎない
だから望月の集合論的言説は“red herring”などと書かれたりした
よって、>>691氏の言う通り集合論の扱いが問題になる
どうしてもIUTTを擁護したいのなら、圏論と比較するよりブルバキの構造種と比較した方がよいと思う
727:132人目の素数さん
18/12/22 18:58:33.96 +4XJKMkl.net
もうすぐそのプロジェクトやらの報告書が突然モチサイトにアップされるだろうから皆待ってろゴルァ
728:132人目の素数さん
18/12/22 19:14:49.18 RWGhxB8A.net
圏論も新しさを失う時代が来る。
時の流れは残酷だ。
729:132人目の素数さん
18/12/22 19:22:06.92 ZobxK5YQ.net
学問はどこへ行き着くのだろうな?
730:132人目の素数さん
18/12/22 19:36:48.76 lwAytAjK.net
Mってサイコパスなの?
731:132人目の素数さん
18/12/22 22:37:00.68 +rT/G8+d.net
>>699みたいな学問的な批判をこえたわけわからんちゅーしょーも増えてきたしこのスレ離れた方が身のためかもな
732:132人目の素数さん
18/12/23 00:28:37.05 gD/7G3fV.net
ウソこけ
最大の理由は擁護してて責任問題に発展したときににげるためだろ
733:132人目の素数さん
18/12/23 00:34:47.10 YTEKwqdG.net
圏論の拡張とかいうよりそのへんの基礎的なところはMも弱かったというのは
初期から言われていたところ
結局は本人の弱点が理論の弱点
周囲に弱点を補強できる人材がいなかった(集めなかった?)
734:132人目の素数さん
18/12/23 00:45:14.37 v74KV9tY.net
>>702
そこほんとにおもしろいよね。
基礎論からみておかしいというのは初期の初期に言われてたから、
専門家からみると検討対象にそもそもならないレベルだったんだろうな。
でないとすぐには気づかんだろう。
735:132人目の素数さん
18/12/23 01:25:47.16 FcIZ21LW.net
どうも格子のやり方がアクロバットだからね
関数ではなくて整数の大域的な幾何学というのが如何に論理的に難しいかを現してるとも言える
ショルツより凄い才能が必要かもしれない
736:132人目の素数さん
18/12/23 01:37:01.17 FcIZ21LW.net
格子では剛性と謎の関手とラベルを使って頑張ってるんだけども、どうもな
未だに大域的な整数の幾何学が殆ど謎なままなのは、構造的に一般性が高すぎるからなんだけど
そこを上手く二つの
737:圏で挟み撃ちしながら剛性も使って精妙に攻めたはずなんだが 圏論は矢印の使い方を誤ると機能しないから注意が必要だ ともあれ非常に一般性の高い構造を上手く分けてはりあわせて新しい情報を得たい、というのは数論幾何学の 共通する夢である
738:132人目の素数さん
18/12/23 02:44:24.27 KYShzJGU.net
PS JSレポート
>However, we saw that with these
isomorphisms, the abstract Θ-pilot
object does not encode the arithmetic
degree of the Θ-divisor.
>Thus,
Mochizuki wants to introduce scalars
of j2 somewhere on the left part
of this diagram (which strictly speaking leads
to inconsistencies, i.e. monodromy, on the left
part of the diagram alone, which arguably can
be overcome by using averages).
>However, it is clear that this will result
in the whole diagram having monodromy j2,
i.e. being inconsistent.
739:132人目の素数さん
18/12/23 02:48:11.58 KYShzJGU.net
>Thus, Mochizuki wants to introduce scalars
ザックリいえば、
困ったので、望月は スカラーを意図的に
導入した
740:132人目の素数さん
18/12/23 03:56:08.77 Dj6/NHDs.net
10月にここきてから再びきたんだけど、
あれからどういう進展があったのですか?
SSレポートが出て、M氏らの反論が出たところまでは知ってます
741:132人目の素数さん
18/12/23 04:14:32.53 o1CooAAx.net
じっさいにZFCMなる公理があっちゃいけない理由はあるの?
望月さんがいままで発見されていなかった数学の公理を
見つけ出して、なにか不都合がある?
742:132人目の素数さん
18/12/23 07:09:07.19 gD/7G3fV.net
ではオメーが実名で訴求してみろよ
743:132人目の素数さん
18/12/23 07:46:26.44 GSj6WBmY.net
結局ショルツが本当の天才で
Mは似非天才ってことでOK?
744:132人目の素数さん
18/12/23 08:19:54.59 GWnHMGC7.net
モッチーも忘年会で忙しいだろうからな。年明けを待たれよ。
745:132人目の素数さん
18/12/23 10:30:56.89 SGKP4NU+.net
>>711
OKじゃない
746:132人目の素数さん
18/12/23 10:32:26.10 ++bJs322.net
それはない
747:132人目の素数さん
18/12/23 12:02:49.61 zjn65MWB.net
>>708
進展はなし
IUT理論は2012年から実質進展なし
2018年はショルツたちが相手にしてくれたから盛り上がったけど、
今後は批判者も相手にしないから、望月一派に自ら進展させる能力がない以上、
このまま忘れられるコースだろう。
ようするに有象無象による「リーマン予想証明」と同じ扱いになる。
748:132人目の素数さん
18/12/23 12:31:33.51 SGKP4NU+.net
>>715
嘘こくな。進展はあった
749:132人目の素数さん
18/12/23 12:34:26.38 v74KV9tY.net
ないでしょ。なにがあったんだよ。
750:132人目の素数さん
18/12/23 12:39:58.97 KmR6d1Pq.net
モチられたら、モチりかえせ。おまえ自身のモッチで、な。
751:132人目の素数さん
18/12/23 14:07:57.23 IK7hULJ5.net
>>717
URLリンク(www.maths.nottingham.ac.uk)
URLリンク(www.kurims.ky)
752:oto-u.ac.jp/~motizuki/Minamide%20---%20Explicit%20estimates%20in%20inter-universal%20Teichmuller%20theory%20(in%20progress).pdf
753:132人目の素数さん
18/12/23 14:18:20.87 z440trDi.net
>>717
ピ・エーロ・難弟子による自爆攻撃
754:132人目の素数さん
18/12/23 14:50:20.23 v74KV9tY.net
>>719
やっぱりそういうふうにデタラメなまま進めて業績だと言い張る作戦なのか?
某サーベイ論文もそうだけど。
755:132人目の素数さん
18/12/23 15:13:39.37 IK7hULJ5.net
>>721
Dimitrovのは論文が出てるんだけど
どこかデタラメ?
756:132人目の素数さん
18/12/23 16:25:37.93 YfieT9CP.net
Vesselin Dimitrovって望月の証明の間違いを見つけたやつだろ?
っていうか進展って反証があがったことなのか?
757:132人目の素数さん
18/12/23 16:41:53.99 IK7hULJ5.net
>>723
俺が言ってんのはこれ
URLリンク(arxiv.org)
758:132人目の素数さん
18/12/23 16:47:56.79 YfieT9CP.net
>>724
それのどこが進展なんだ?
IUTの証明がそのままでは受け入れられないっていうことでしかないと思うんだが。
759:132人目の素数さん
18/12/23 17:43:36.75 WKNHtnXv.net
ヒカキンの年収が10億超え!?明石家さんま・坂上忍も驚愕の総資産とは??
URLリンク(logtube.jp)
【衝撃】ヒカキンの年収・月収を暴露!広告収入が15億円超え!?
URLリンク(nicotubers.com)
HIKAKIN(ヒカキン)の年収が14億円!?トップYouTuberになるまでの道のりは?
URLリンク(youtuberhyouron.com)
ヒカキンの月収は1億円!読唇術でダウンタウンなうの坂上忍を検証!
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)
年収25億円の7歳児、世界で最も稼ぐユーチューバーに
スレリンク(illustrator板)