18/12/22 07:06:55.21 1jdpmYU4.net
>>668
受理されていない理由はなんでしょう？
敬遠されていようが論文として問題なしであれば受理されるべきでは？
701:１３２人目の素数さん
18/12/22 08:11:00.95 yL80GqOu.net
京大RIMSは 文科省への公式な報告書に、
論文は査読中だが 概要の解説文に基づき
IUTよりabc予想が(肯定的に)に解決した、
と書いた。>>7 >>8
IUTは概要の解説文レベル！で 京大RIMSの
予算獲得 事業推進のための道具！だね。
ま 京大RIMSのPRIMSに 受理されても、
京都市追分町RIMS限定定理 だなあ～
702:１３２人目の素数さん
18/12/22 08:39:19.56 AIR2Pi0j.net
>>671
くやしいのー
703:１３２人目の素数さん
18/12/22 08:42:00.86 yL80GqOu.net
>>663
数学 数理では才能なしから凡人だろ
704:１３２人目の素数さん
18/12/22 08:42:56.97 yL80GqOu.net
>>672
ばれて残念だね
705:１３２人目の素数さん
18/12/22 09:20:52.30 AIR2Pi0j.net
>>674
妄想勘違いw
706:１３２人目の素数さん
18/12/22 09:32:50.73 khw5n3tP.net
>>673
俺もその点が全然よく分からん。
望月の経歴をみてこれを天才と呼ぶなら、天才はけっこういると思うんだがなぁ。
707:１３２人目の素数さん
18/12/22 09:42:03.13 Ao7pd9/u.net
あの指摘の論文くらいまで理解してる数論幾何学者に、指摘が基本的な勘違いだと示せないのはむしろ難しい
それが事実ならABC予想よりも難しい謎になってしまうw
708:１３２人目の素数さん
18/12/22 09:46:07.12 yL80GqOu.net
>>675
は、壊れたIUFで書いているの？
RIMSの報告書は >>7 、資料2では
査読付き論文のみ評価としながら、
事例4では 査読中でも概要の解説文に基づき
IUTよりabc予想が解決した、と高評価。
京大 RIMSでは 矛盾した評価基準だな
709:１３２人目の素数さん
18/12/22 09:53:09.63 SFocrMYY.net
>>678
暇だねぇ。頭の中整理してから書こうよ
710:１３２人目の素数さん
18/12/22 09:55:40.99 yL80GqOu.net
>>679
事実が大切
711:１３２人目の素数さん
18/12/22 09:56:13.54 SFocrMYY.net
>>680
ずっと粘着してるの？草
712:１３２人目の素数さん
18/12/22 09:57:20.38 yL80GqOu.net
湧いてきたw
713:１３２人目の素数さん
18/12/22 10:18:27.88 RWGhxB8A.net
IUTTがオーソライズされると圏論の枠組みが過去の遺物になる。
それが、正しくても受け入れたくない理由なのかな。
自分の立場を守りたい人はいつの時代にもいる。
714:１３２人目の素数さん
18/12/22 10:24:10.68 0XmsiAui.net
>>670
元々時間がかなりかかると見な�
715:ｳれてた論文だからね 10年はかかるかもなんて声があったくらいだし 6年で焦れてるやつが多数出てきてしまったのは朝日新聞のせいだね 朝日がフライングをした為になんでまだなの？どうなってるの？という意識を喚起することになった そのせいで一気にイラつく人が増える結果になった
716:１３２人目の素数さん
18/12/22 10:33:27.44 KB0UBZ4/.net
イラついてるのは間違いを認めず詭弁を続けてるからだろ
717:１３２人目の素数さん
18/12/22 11:33:09.01 UQUnpj0I.net
朝日は好きではないが、何で批判の矛先が朝日に向かうのかね？リークしたヤツが問題だろうに
ブンゲンなどは当時は何もコメントしなかったのに、8月になって朝日を批判し始めた
これは憶測だが、朝日記事の直前に望月は主論文4本にAcknowledgementsをアップした
おそらく査読OKだったんだろう。編集者orその周辺がリークしたんだろう。朝日はそれを信用に足るものとしただけだろう
10年かかるというのは受け容れられるのにそれぐらいかかるだろうというMの目算であって、
数学的な検証に関しては、望月曰く通常の査読より厳しいチェックをした検証チーム（山下・星・Saidi）によって2014年夏ごろ、
つまりたった2年で終わっている
責任逃れのカキコは止めた方がいいと思うよ？
718:１３２人目の素数さん
18/12/22 11:37:37.99 0aHn8YOM.net
>>684
朝日よりもプロジェクト研究とか現実的な金の問題でしょう
「10年はかかる」ならそれまでは検証を小さいグループで進行すれば良かった
今でもIUTがなければポストのなかっただろう周辺に職が来てる
正しいかどうかわからないことにも研究費をつぎ込むことは間違いではないが
適切な規模かどうか
もし間違いとなったらそれで職を得てきた周辺の若手はダメージ大きい
（間違いに気がつかなかったとしたら当然ながら当人らの責任）
さらにSの指摘で海外などでは懐疑的になってるのだから
まだ時間がかかるにしろ安心させる中間報告が早期に必要だな
719:１３２人目の素数さん
18/12/22 11:39:45.65 UQUnpj0I.net
土日祝日は昼間から酔っ払った自称ライター辺りが書き込むことが多いから、
俺もマジレスする必要はなかったな（笑）
720:１３２人目の素数さん
18/12/22 11:47:17.35 khw5n3tP.net
>>683
べつに圏論を置き換えたければさっさとやれば、って話。
してないのにぐだぐだ言ってるから問題なんだろ。
721:１３２人目の素数さん
18/12/22 13:58:09.26 UQUnpj0I.net
スレ32№315の創作会話をまた貼っとく
ポスドクがIUTTの拡張（？）の講演をしたりと予見性がある（笑）
---------------------------------
名前：１３２人目の素数さん[sage] 投稿日：2018/10/09(火) 01:37:03.20 ID:iEmKtfiM
Ｍ『論文が掲載されないの…』
Ｓ『あらら？3.12かな？検証はできる？』
Ｍ『内部の議論ではちゃんと機能してたのに。なんでいきなりフェルマーなんだろう。』
Ｓ『ギャップって怖いよね。で、循環論法かどうか知りたいんだけど説明できる？』
Ｍ『今は学部生でもわかるから自明なのに』
Ｓ『それは困ったね。どう？説明はできる？』
Ｍ『今までの論文はこんな事無かったのに。こんな読めない論文書かなきゃよかった。』
Ｓ『…説明できる？説明できない？』
Ｍ『掲載の予定だからまだ時間あるけどこのままじゃ困る。』
Ｓ『そうだね。で、不等式の説明はどうかな？非自明かな？』
Ｍ『え？ごめんよくわからなかった』
Ｓ『あ、えーと、無限階段みたいになってないかな？』
Ｍ『何で？』
Ｓ『あ、えーと、掲載されてないんだよね？論文が間違ってるかも知れないから』
Ｍ『何の？』
Ｓ『え？』
Ｍ『ん？』
Ｓ『論点が違ってるかどうか知りたいから、説明してみてくれないかな？』
Ｍ『別にいいけど。でも学部生以上だったらわかるよね？』
Ｓ『いや、だから。その論理を知りたいから説明してみて欲しいんだけど。』
Ｍ『もしかしてみんな気付いてる？』
Ｓ『いや別にみんなではないけど？』
Ｍ『気付いてるじゃん。何でわざわざいうの？』
Ｓ『だから説明してください』
Ｍ『何か間違ったこと言いました？言われた点は説明しましたけど？』
Ｓ『わかりません。自明と思えません。非自明、非自明だから』
Ｍ『何が非自明なの？』
Ｓ『論文掲載の話だったよね？』
Ｍ『拡張性でしょ？』
男『ああそう拡張性の話だった』
722:１３２人目の素数さん
18/12/22 16:23:13.20 Ao7pd9/u.net
圏論が過去の遺物になるってのは思わせ振りだがデタラメだろう
どちらかというとIUTが正しいなら集合論が大幅に変わる
723:１３２人目の素数さん
18/12/22 16:37:39.48 z9XqYMEv.net
集合論が大幅に変わるって圏論黎明期の頃も言ってたよな
724:１３２人目の素数さん
18/12/22 16:46:55.82 Ao7pd9/u.net
古典的な圏論は集合論的な数学と一緒に発達したから、すぐには変わらなかったな
パラダイムとしてはどのみちそういう方向には行ってて、IUTもその一種をITの影響を受けて狙ったと言える
725:１３２人目の素数さん
18/12/22 16:57:12.88 +j/yqXBT.net
IUTの情報はニコニコ動画 レベルだろ
726:１３２人目の素数さん
18/12/22 17:01:57.71 UQUnpj0I.net
酔っぱらいのバカレスにマジレスすると、
現行のIUTTは「新しい圏の幾何学」とか圏論の拡張などというものではなく、圏論を偽装しているに過ぎない
だから望月の集合論的言説は“red herring”などと書かれたりした
よって、>>691氏の言う通り集合論の扱いが問題になる
どうしてもIUTTを擁護したいのなら、圏論と比較するよりブルバキの構造種と比較した方がよいと思う
727:１３２人目の素数さん
18/12/22 18:58:33.96 +4XJKMkl.net
もうすぐそのプロジェクトやらの報告書が突然モチサイトにアップされるだろうから皆待ってろｺﾞﾙｧ
728:１３２人目の素数さん
18/12/22 19:14:49.18 RWGhxB8A.net
圏論も新しさを失う時代が来る。
時の流れは残酷だ。
729:１３２人目の素数さん
18/12/22 19:22:06.92 ZobxK5YQ.net
学問はどこへ行き着くのだろうな？
730:１３２人目の素数さん
18/12/22 19:36:48.76 lwAytAjK.net
Ｍってサイコパスなの？
731:１３２人目の素数さん
18/12/22 22:37:00.68 +rT/G8+d.net
>>699みたいな学問的な批判をこえたわけわからんちゅーしょーも増えてきたしこのスレ離れた方が身のためかもな
732:１３２人目の素数さん
18/12/23 00:28:37.05 gD/7G3fV.net
ウソこけ
最大の理由は擁護してて責任問題に発展したときににげるためだろ
733:１３２人目の素数さん
18/12/23 00:34:47.10 YTEKwqdG.net
圏論の拡張とかいうよりそのへんの基礎的なところはMも弱かったというのは
初期から言われていたところ
結局は本人の弱点が理論の弱点
周囲に弱点を補強できる人材がいなかった（集めなかった？）
734:１３２人目の素数さん
18/12/23 00:45:14.37 v74KV9tY.net
>>702
そこほんとにおもしろいよね。
基礎論からみておかしいというのは初期の初期に言われてたから、
専門家からみると検討対象にそもそもならないレベルだったんだろうな。
でないとすぐには気づかんだろう。
735:１３２人目の素数さん
18/12/23 01:25:47.16 FcIZ21LW.net
どうも格子のやり方がアクロバットだからね
関数ではなくて整数の大域的な幾何学というのが如何に論理的に難しいかを現してるとも言える
ショルツより凄い才能が必要かもしれない
736:１３２人目の素数さん
18/12/23 01:37:01.17 FcIZ21LW.net
格子では剛性と謎の関手とラベルを使って頑張ってるんだけども、どうもな
未だに大域的な整数の幾何学が殆ど謎なままなのは、構造的に一般性が高すぎるからなんだけど
そこを上手く二つの
737:圏で挟み撃ちしながら剛性も使って精妙に攻めたはずなんだが 圏論は矢印の使い方を誤ると機能しないから注意が必要だ ともあれ非常に一般性の高い構造を上手く分けてはりあわせて新しい情報を得たい、というのは数論幾何学の 共通する夢である
738:１３２人目の素数さん
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:１３２人目の素数さん
18/12/23 02:48:11.58 KYShzJGU.net
>Thus, Mochizuki wants to introduce scalars
ザックリいえば、
困ったので、望月は スカラーを意図的に
導入した
740:１３２人目の素数さん
18/12/23 03:56:08.77 Dj6/NHDs.net
10月にここきてから再びきたんだけど、
あれからどういう進展があったのですか？
SSレポートが出て、M氏らの反論が出たところまでは知ってます
741:１３２人目の素数さん
18/12/23 04:14:32.53 o1CooAAx.net
じっさいにZFCMなる公理があっちゃいけない理由はあるの？
望月さんがいままで発見されていなかった数学の公理を
見つけ出して、なにか不都合がある？
742:１３２人目の素数さん
18/12/23 07:09:07.19 gD/7G3fV.net
ではオメーが実名で訴求してみろよ
743:１３２人目の素数さん
18/12/23 07:46:26.44 GSj6WBmY.net
結局ショルツが本当の天才で
Ｍは似非天才ってことでＯＫ？
744:１３２人目の素数さん
18/12/23 08:19:54.59 GWnHMGC7.net
モッチーも忘年会で忙しいだろうからな。年明けを待たれよ。
745:１３２人目の素数さん
18/12/23 10:30:56.89 SGKP4NU+.net
>>711
OKじゃない
746:１３２人目の素数さん
18/12/23 10:32:26.10 ++bJs322.net
それはない
747:１３２人目の素数さん
18/12/23 12:02:49.61 zjn65MWB.net
>>708
進展はなし
IUT理論は2012年から実質進展なし
2018年はショルツたちが相手にしてくれたから盛り上がったけど、
今後は批判者も相手にしないから、望月一派に自ら進展させる能力がない以上、
このまま忘れられるコースだろう。
ようするに有象無象による「リーマン予想証明」と同じ扱いになる。
748:１３２人目の素数さん
18/12/23 12:31:33.51 SGKP4NU+.net
>>715
嘘こくな。進展はあった
749:１３２人目の素数さん
18/12/23 12:34:26.38 v74KV9tY.net
ないでしょ。なにがあったんだよ。
750:１３２人目の素数さん
18/12/23 12:39:58.97 KmR6d1Pq.net
モチられたら、モチりかえせ。おまえ自身のモッチで、な。
751:１３２人目の素数さん
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:１３２人目の素数さん
18/12/23 14:18:20.87 z440trDi.net
>>717
ピ・エーロ・難弟子による自爆攻撃
754:１３２人目の素数さん
18/12/23 14:50:20.23 v74KV9tY.net
>>719
やっぱりそういうふうにデタラメなまま進めて業績だと言い張る作戦なのか？
某サーベイ論文もそうだけど。
755:１３２人目の素数さん
18/12/23 15:13:39.37 IK7hULJ5.net
>>721
Dimitrovのは論文が出てるんだけど
どこかデタラメ？
756:１３２人目の素数さん
18/12/23 16:25:37.93 YfieT9CP.net
Vesselin Dimitrovって望月の証明の間違いを見つけたやつだろ？
っていうか進展って反証があがったことなのか？
757:１３２人目の素数さん
18/12/23 16:41:53.99 IK7hULJ5.net
>>723
俺が言ってんのはこれ
URLﾘﾝｸ(arxiv.org)
758:１３２人目の素数さん
18/12/23 16:47:56.79 YfieT9CP.net
>>724
それのどこが進展なんだ？
IUTの証明がそのままでは受け入れられないっていうことでしかないと思うんだが。
759:１３２人目の素数さん
18/12/23 17:43:36.75 WKNHtnXv.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)
年収25億円の7歳児、世界で最も稼ぐユーチューバーに
ｽﾚﾘﾝｸ(illustrator板)
760:１３２人目の素数さん
18/12/23 18:13:11.93 4eGiT5ok.net
>>147の言ってることが研究集会での進展的説明があった上での事かどうかだよね
761:１３２人目の素数さん
18/12/23 19:31:27.44 cSwgAUSO.net
過去スレで捨てゼリフ 貼り逃げした輩がいて、SuperQVNTやDomitrovの話題があった。
ま、arxivの要旨にあるとおり「This note
outlines a constructive proof」
概要のノートに過ぎない。
また、IUTの炎上商法かな
762:１３２人目の素数さん
18/12/23 20:37:46.37 POPKFRJ9.net
前も書いたが数論ではないRobertsはともかく、ショルツの批判論文くらいまで理解してる相手に
説明できないというのはよほどのことだ
正しいとすれば凄まじくわかりやすい誤解がショルツ側になければならない
763:１３２人目の素数さん
18/12/23 21:54:19.81 widRzrAa.net
>>724
一応 聞くが 要旨は全て読んだよね？
764:１３２人目の素数さん
18/12/23 22:02:25.59 9eIld95Q.net
>>728
内容読む限り、theoremの1部についてIUTが「仮に」正しいと仮定しても修正が必要、
って感じみたいだね。IUTが正しいとはひとことも言っていない。
765:１３２人目の素数さん
18/12/23 22:10:19.13 9nJ3xmYd.net
（´-`）.｡oO（ これまさか要旨にoutlines a contstructive proofと書かれてるから
肯定的論文だと勘違いして引用しちゃって、本文読んでないパターンなのでは……
766:１３２人目の素数さん
18/12/23 23:09:27.12 chyKCI14.net
進展は、ありまぁす！
767:１３２人目の素数さん
18/12/23 23:52:05.34 K/TMEdRf.net
>>729
＞正しいとすれば凄まじくわかりやすい誤解がショルツ側になければならない
そう。望月はそう考えてS・Sは学部・修士レベルにすぎないと断じたわけだ
で、IUTTが正しいとすれば、凄まじく分かりにくい理論なのだろうね（笑）
ファルティングスやコンラッドですら分からないと言っているくらいだから
IUTTを理解できる人たちって俺からすればエイリアン（・コピー）だよｗ
768:１３２人目の素数さん
18/12/23 23:59:51.58 5M4kfLn7.net
>>731
具体的には？
769:１３２人目の素数さん
18/12/24 00:00:55.52 eoC0q2mD.net
>>735
おまえあれだろ、なんか定期的に情報引き出そうとデタラメ流して質問だけしてるやつだろ。
帰れよ。
770:１３２人目の素数さん
18/12/24 00:03:27.82 v8+lV7Gl.net
>>736
お返しするわw
771:１３２人目の素数さん
18/12/24 00:21:31.09 n1ELmbT5.net
>>734
直観的によくわからないのと膨大な分量が合わさると、グロテスクどころか死臭がするというw
そりゃ皆寄り付かないでしょう、いやわかんないけど
772:１３２人目の素数さん
18/12/24 00:22:57.84 v8+lV7Gl.net
Super QVNTS:
Kummer Classes and Anabelian Geometry
Burlington VT, September 10-11, 2016
Organizers Ivan Fesenko
URLﾘﾝｸ(www.uvm.edu)
773:１３２人目の素数さん
18/12/24 00:39:29.67 b0GHjv9Y.net
ああ、これはショルツと共同研究したMatthew Morrowと、同姓のどっかの院生ごときを勘違いした人が暴れてるんだな
おそらく酔っぱらいの自称事情通ライターだろうから無視するがよろし
５ｃｈのスレの流れを気にし、ここで知識を得ようとしている怠け者のアホだから
>>738
抽象的で難しく長大な論文というのはいくらでもあるんだけどね
IUTTというのは俺にとっては深海生物みたいなもんで、俺には理解できない数学環境で生息しているようだ（笑）
774:１３２人目の素数さん
18/12/24 01:39:06.13 XaVaQWSa.net
モッチー研究室の忘年会はDAPUMPのUSAの部分を「I・U・T！」にするのだろうか？
775:１３２人目の素数さん
18/12/24 02:03:46.58 RmjXLPPa.net
忘れたい年だったんだね（続く
776:１３２人目の素数さん
18/12/24 02:34:18.59 xUF7cGlL.net
誰と会ってもなんか気まずい雰囲気なんかな
777:１３２人目の素数さん
18/12/24 03:08:45.94 beGZHJsm.net
わからないんだよなー
理解されない最大の理由は、要点で論文が曖昧だからだとしか思えないな
これを読んでると理解できない自分が馬鹿なのかなって思えてくるし、結構怖い代物だぜ
面白いのはPS-JSなんか、そもそもこれ本当に遠アーベルなのかよ、とまで言ってること
これは単解化のせいなんだが、言われて見るとフェセンコの発言もよくわからなく見える
778:１３２人目の素数さん
18/12/24 04:55:27.13 J3jF9mtX.net
>>723
これ読むとSSはIUTが分からないというより、間違えている理由や心理状況まで読み取れているようだ。
>>660
これ読むと、
本質的に有効そうな核心的アイデアが少しでもあれば、部分的な欠陥ははSSが自力でなんとかするが、そもそも核心となるアイデアが無い。
つまりIUTはabcに対しての有効性だけでなく、何も生み出さない。
>>707
これって2016年の古いノートで、しかも部分的なところをつまみ食いして仮説のもとで部分的な言及をしてるだけですよね？
SSレポートに対してM氏の学部生でもわかる発言以降、進展はないのですね？
779:１３２人目の素数さん
18/12/24 04:57:19.65 J3jF9mtX.net
>>745
ごめんなさい。アンカー間違えました。
723 707は逆でした。
780:１３２人目の素数さん
18/12/24 08:37:45.82 Y3tsqf9r.net
>>716
首が締まるのもある意味では進展だな
781:１３２人目の素数さん
18/12/24 09:43:31.88 g45KXdwW.net
>>744
>これを読んでると理解できない自分が馬鹿なのかなって思えてくるし、結構怖い代物だぜ
多くの人がそう考えたからこそ、理解できない代物であったとしても、、間違いだと明言する人が
なかなか出なかった。
ショルツはいわば「王様は裸だ」という役目
782:１３２人目の素数さん
18/12/24 10:22:06.58 6oRe+bIf.net
>>748
＞ショルツはいわば「王様は裸だ」という役目
やっぱりショルツが天才でＭは似非天才だったんですね
783:１３２人目の素数さん
18/12/24 10:27:10.56 8NBcK4lg.net
>>749
ってかIUTの間違い自体は最初に院生も発見してるくらいだから、
そんなに難しいミスをしているわけではない。
ただ全体のミスの構造を明らかにするのはめちゃくちゃめんどくさい作業なので、
くだらなくてだれもやらないのをショルツたちは親切に引き受けたってこと。
森の依頼というのもあっただろうが、呼ばれて即座に指摘したのはさすがという感じか。
784:１３２人目の素数さん
18/12/24 10:32:59.88 6oRe+bIf.net
>>750
＞IUTの間違い自体は最初に院生も発見してる
え？そんなにチョロい話なの？
で、その最初の発見の記録はありますか？
785:１３２人目の素数さん
18/12/24 10:34:56.17 8NBcK4lg.net
>>751
直前のレスに出てるじゃん。
おまえjinか？ 相手して損したわ。
786:１３２人目の素数さん
18/12/24 10:35:31.35 TcgoulPh.net
>>751
このスレの初期の頃にあったよ
過去ログ遡るのはめんどくセー
787:１３２人目の素数さん
18/12/24 10:37:38.50 6oRe+bIf.net
>>753
院生が誤り指摘のプレプリント出したんでしょ？
名前を教えてください 検索しますから
788:１３２人目の素数さん
18/12/24 10:41:07.37 XaVaQWSa.net
東 洋 的 数 学
789:１３２人目の素数さん
18/12/24 11:23:51.72 q76s0djC.net
帰納法の和算系統でなく、
IUTは 抽象的で際どい部分を集めた詭弁。
790:１３２人目の素数さん
18/12/24 12:33:10.44 xYlzBZnT.net
バカがあれだけゾンビ並みに表れて厚顔無恥にプロパガンダを繰り返すのは精神疾患による短期記憶以外の欠如によるものらしい
791:１３２人目の素数さん
18/12/24 13:58:39.43 xUF7cGlL.net
敗戦処理から何か生まれたりする可能性はないんだろうかってべつに
792:敗戦と決めつけてるわけじゃないけど
793:１３２人目の素数さん
18/12/24 14:20:59.58 b0GHjv9Y.net
初期にIUTTの間違いを指摘したのは当時イェール大学の院生で、彼は去年Ph.Dを取ったばかりだから
当時は日本でいえば修士1年だったんだろうね。これは彼単独ではなく、スタンフォード大の人と協力しての指摘だった
望月は彼（ら）の指摘は本質的なものではないとし、若干の微修正をしただけ。ちなみに3.12ではない
取り巻き曰く、彼は現在IUTTを利用してある未解決問題の研究に取り組んでいるそうだ
ここまで書けば分かるよね。別の人も書いているけど、昨日このスレで話題になった人のことだよ（笑）
794:１３２人目の素数さん
18/12/24 14:57:15.16 xUF7cGlL.net
なにそのライオンエアで地球一周するみたいなスリル
795:１３２人目の素数さん
18/12/24 15:05:29.61 b0GHjv9Y.net
あと、j^2の件についてだけど、これは充満多重同型やラベルを無意味・不必要と見做して論を立てたS・Sの論理に依っている
このS・Sの最終ページに段階においては、異質な環構造などは存在せず、同一な構造が複数あるだけになっている
クオンタ誌でスティックスがエッシャーの階段に例えていたのはこのことだよ
それと、j^2というのは、多輻的に表示されたテータ関数の特殊値の代入点のラベルで、これを入れなければ意味がない
しかし、S・Sの反論に従えば、j^2を入れるとダイアグラムの左側どころか全体がモノドロミーになる
それを回避するためにはj^2を入れなければいいのだが、そうすると何の値も出てこず、空の不等式になる
要するに、何をやっても、どう修正しても無駄だ、とS・Sは主張している
オブジェクトの初期化、再初期化を行って論証しようとしている望月にとって、
充満多重同型とラベルの使用を切って捨てられたことは、IUTTの死を意味する
望月が怒り狂い、絶対に認めないのは当然のことだよ（IUTTに命を燃やしているようだから）
それにしてもS・Sレポートというのは皮肉に満ちているよ
俺は「正否に関わらず」この喧嘩を楽しんで読んだ
ショルツはもうこの件には関わらないだろうけどね
長文ゴメン
796:１３２人目の素数さん
18/12/24 15:12:13.76 k/izEhtH.net
今年も終わるな。来年はアクセプトやらNHKスペシャルやら、話題に事欠かない一年になりそうだ。
797:１３２人目の素数さん
18/12/24 16:03:48.59 6oRe+bIf.net
>>759
＞初期にIUTTの間違いを指摘したのは当時イェール大学の院生で、
＞彼は去年Ph.Dを取ったばかり
確認のためその人の名前を書いてよ
798:１３２人目の素数さん
18/12/24 16:32:28.33 vUrmCvaB.net
>>762
IUTより abc予想が肯定的に解決は 、
検証でOK 文科省への報告書でOK
来年はPRIMSのアクセプトでOK?。
身内では 3度OK だが 、
一度のPS JSレポでダメだし。
グローバルより京都市の追分町だろうw
来年の事を言うと鬼が笑うが、
799:１３２人目の素数さん
18/12/24 16:37:31.42 6oRe+bIf.net
>>764
数学界も"STAP"ってあるんだなぁ
800:１３２人目の素数さん
18/12/24 17:34:23.97 QaKLSARU.net
SSがいてくれて良かった
偽りのアクセプトを生まなくて済んだ
801:１３２人目の素数さん
18/12/24 17:46:08.91 em9lMxnT.net
何言ってるんだよ、来年アクセプトされるから
802:１３２人目の素数さん
18/12/24 17:48:04.18 6oRe+bIf.net
>>767
内輪のメンバーでアクセプトしても
数学界に受け入れられないんじゃ
意味ないな
日本は似非数学のメッカなのか？
803:１３２人目の素数さん
18/12/24 18:17:10.31 TcgoulPh.net
acceptされた論文に深刻な間違いがあることは過去いくらでもあったが
数学界で話題になっており慎重に査読を進め間違いを指摘されたことが公になっている状態
804:で そのギャップを埋めないまま出版されてやっぱり嘘でしたとなったら掲載雑誌が終わる acceptされるということは少なくとも今現在おかしいと言われていることは 全てクリアされてなければいけない 間違いの指摘そのものがおかしいのだ論文は正しいというなら 編集者の判断で出版すればいい俺関係ないし
805:１３２人目の素数さん
18/12/24 18:38:35.32 /GQdf8Ys.net
>>769
数理解析研究所が終わる時だね
806:１３２人目の素数さん
18/12/24 19:35:48.81 o9N0RKA2.net
直感的にも同じ位相群から加法構造を垂直に構成しているので、ショルツの指摘のほうがしっくりくる
区別して埋め込んで総和を取るのが理論の主張だが、結局同じじゃないかという気がするわけだ
恐らく将来のABC予想の理論では、異なる環に分けるという論理は使わないだろう
807:１３２人目の素数さん
18/12/24 19:56:21.49 o9N0RKA2.net
ただ、大きな圏としていくつかの環に分けるって可能性は十分あるな
こういう無数によくわからない分け方をするっていうのはなかなかありそうにない
808:１３２人目の素数さん
18/12/24 20:01:08.18 fttO1HLS.net
>>761はちゃんと SS レポート読んだ人のレスっぽいけど、望月先生側はこの指摘に対してどう再反論してるんですか？
809:１３２人目の素数さん
18/12/24 20:27:25.28 /GQdf8Ys.net
望月側のレポートは 気まぐれに改変してるが、いつの再反論なのだろう？
810:１３２人目の素数さん
18/12/24 20:37:50.42 2jWR3Qsw.net
とりあえず
＞それと、j^2というのは、多輻的に表示されたテータ関数の特殊値の代入点のラベルで、これを入れなければ意味がない
＞しかし、S・Sの反論に従えば、j^2を入れるとダイアグラムの左側どころか全体がモノドロミーになる
＞それを回避するためにはj^2を入れなければいいのだが、そうすると何の値も出てこず、空の不等式になる
という指摘に対してなにか反論してる文章はあるんですか？
811:１３２人目の素数さん
18/12/24 20:47:00.27 /GQdf8Ys.net
PS JSと望月 星が議論したのが3月。
議論の事実は一つなのに なぜ 望月側のレポート
は改変されていくのだろう？
812:１３２人目の素数さん
18/12/24 23:03:05.45 b0GHjv9Y.net
う～ん、「今北産業」さんが現れたようだ（笑）。こういうのは俺の役目でなかったのだが、一回だけ書いちゃうよっ
【望月の反論】（間違っていたり、大事な箇所が欠けていたら誰か訂正してください）
・同型問題に関しては、体としては非同型だが、射有限群としては同型である。つまり多重同型は成り立つとしている
（抽象的な位相群としての絶対ガロア群から、遠アーベル的な群論的枠組みに依る円分剛性同型によって得られたものだから、
単純に忘却関手を充満にしただけではないということが言いたいのだろう（実際に全単射でも同型にならない場合がある））
・ラベル問題に関しては、S・Sはラベルの省略が単に「記憶すること」（＝多重同型ではなく単なる同型）によって正当化できると主張した、としている。
結局、（充満）多重同型を認めるか否かということ、抽象的な位相群から取られた同型物をどう解釈するかという問題になっている
・モノドロミーについては、充満多重同型やラベルの使用を認めないから必然的に起こるとしている
（つまりこの両者を認めれば矛盾など起こるはずはない！ということ）
ここからは個人的見解だけど、要するに圏論を巡る解釈の問題になっており、それを決定するのは最終節の「IU形式主義と種の言語」が
広い意味での数理論理学的に正しいものなのか、圏論や集合論の拡張or刷新を試みているとして仮定して、それが正しいのかという所。
俺は懐疑的に見ている
レス喰い虫は嫌いなので、また長文になってゴメン
（先ず、自分の眼と頭と手を使って読んでみて下さい orz）
813:１３２人目の素数さん
18/12/24 23:18:42.15 MtiuUru3.net
やっとマトモなレスする奴が現れたな
814:１３２人目の素数さん
18/12/24 23:22:36.47 o9N0RKA2.net
水平射につき環構造をリセットしてその度に数論的な区別を認めて非可換図式で逃げ�
815:ﾘれば勝ちだと言ってる ショルツらは、それは恣意的で、トータルで見たら同じものを屁理屈でこねくり回しただけと言っている つまり、実質的には非可換性の意味がないと言っている この理論がよくわからないのは、部品と完成品が同じようなものなのに工程が違うから別物だと言ってるように 見えること。つまり屁理屈に見えること
816:１３２人目の素数さん
18/12/24 23:28:30.80 slc4ovnV.net
>>778
そいつIUTは従来の圏論をはみ出してるっていうのを毎回言い換えてるだけで、中身ゼロだぞ。
817:１３２人目の素数さん
18/12/24 23:48:03.93 b0GHjv9Y.net
>>779
そうなんだよ。ついでに言えば、俺はHの入門を読んで爆笑してしまった
充満多重同型や対数テータ格子の理解に関しては、ショルツの解釈の仕方と同じじゃないか、と
3.12については主論文参照で、そのまま流している。日本語で書いて英語は目次だけ書いてアップし、
嘘か本当か知らないが、関心のある人に英語版を配布しているという（５ｃｈ情報だから眉唾モノだが）
IUTT関係者ってよく分からん人たちばかりだ。アジビラ書いたり、劣化コピペを長大なサーベイと称したり、
小学生レベル向けの講演をしたり・・・
>>780
全く読みもせず理解しようとしない人だな。jinと同レベルの否定派だね
それは俺が勝手に名付けている「詳しい人、親切な人、ゼータ界隈の人」だよ
その人は多分>>779氏だよ。俺はその人に今年の初めに質問して丁寧なレスを頂いた
専門も考え方（思想）も全然違うけどね。ただ、不勉強・不誠実な煽り屋などとは全く違うからよくレス交換をしている（笑）
818:１３２人目の素数さん
18/12/24 23:54:34.04 o9N0RKA2.net
>>781
そうなると今度は俺が中身ゼロの人になってしまうとw
圏論の枠をはみ出してるとは我々両方言ってないんじゃないんですかね？
圏論に集合の宇宙をどう位置付けるかっていう理論だとは言ったかもしれないけど
819:１３２人目の素数さん
18/12/25 00:06:44.26 iuJVeTfp.net
>>762
どうかなあ
逆に来年は今年より話題に事欠いていくと思うよ。
だって望月一派に自ら新しい話題を提供する力なんてないでしょ。
ショルツはもう相手してくれないよ。かれは「ABC予想いまだ表明されず」と宣言することで
勤めを果たした思っているし。
820:１３２人目の素数さん
18/12/25 00:22:22.61 TqdITcDu.net
>>783
むしろここから話題になりそうなのってIUT自体よりも、
プロジェクトをどう畳むかだからね。
アクセプトに関しては内部でごり押ししようとして御大に怒られたのが真相だと思う。
RIMSもさすがに連座したくないからこのまま黙殺でしょ。
821:１３２人目の素数さん
18/12/25 00:23:31.26 efLlDoUz.net
>>782
ああ、すみません。そういうことになってしまいますね（謝）
私が言っていたのは圏論を偽装しているのではないかということです
だから思い付きですが、ブルバキの集合論、特に構造種と比較して見れば面白いのではないかと思った次第です
あと、先日気が付いたのですが、望月反論レポートが11月に2度も大きな加筆・訂正を施され、
初出時41ページが44ページにもなっています。2つの長い加筆があり、ひとつはロバーツのPDFや
おそらく彼とのメールのやり取りから必要性を感じたのでしょうね
しかし、こういうのは感心できませんね。やっぱり変わった人だ・・・
822:１３２人目の素数さん
18/12/25 05:16:57.89 I7CWQ412.net
結局集団催眠の妄想乙でFAか.
間違えて昇進しちゃった人たちどうすんだろ。。。。w
823:１３２人目の素数さん
18/12/25 06:25:55.85 LFNNMehR.net
結局IUTは数学界のSTAP細胞ってことでOK？
824:１３２人目の素数さん
18/12/25 08:44:49.22 qodQ9gG0.net
やっぱり駄目っぽいね。
読んだ人のレス見る限り “ここをこうしたらなんとかなりそう” ってのは皆無だもんね。
まぁ専門家が無理なもんが5chの雑談でなんとかなるはずもないけど、ここまで理論本体についての議論が深まらないのはやっぱり本体の理論がどうしようもないんだろうね。
とても読む気にならないや。
825:１３２人目の素数さん
18/12/25 09:13:28.02 XGijJnLh.net
>>782
というかそいつはほんとに読んでるのか疑問。
>>780で従来の圏論に合致しないという主張を繰り返してるだけ、
という指摘に対して>>781の後半で俺はそんなことを言ってない
と言っているが>>777の同じIDで、
＞圏論や集合論の拡張or刷新を試みているとして仮定して、それが正しいのかという所。
とがっつり言っている。直前に自分で言ったことを覚えてない。
英文をそのまま日本語に訳してるだけだと思う。
内容が分かってないのに英語版のWikipediaから訳した記事にそっくり。
826:１３２人目の素数さん
18/12/25 09:14:03.61 XGijJnLh.net
すまん。>>788宛てだった。
827:１３２人目の素数さん
18/12/25 09:38:10.59 sb/tcBWj.net
まぁ真実は闇の中だけどね。
誰が本当に読んでて読んでないのかなんてわかるはずもなく。
しかし理論本体がちゃんと行間を埋められる代物で、それなりに勉強してる人が、それなりに行間埋めながら読めば、読みにくくて "ここはこう説明した方がいいな"
とかいうのが出てきたりするもんだけどそういうのが皆無で結局最後は "元論文読め" で終わりだもんね。
その元論文に読む時間を割くだけの価値があるのか知りたいのにその手のレスが全く出てこないのは、やっぱり元論文どっかおかしくて、修復不可能なんだろう。
828:１３２人目の素数さん
18/12/25 09:45:41.30 k98cb+UX.net
>>791
誰もが
＞元論文に読む時間を割くだけの価値があるのか知りたい
というレベルで止まってたら、行間を埋める作業も不可能だわな。
829:１３２人目の素数さん
18/12/25 09:51:35.49 sb/tcBWj.net
もちろんそこから先にいく事もあるよ。
しかし間違ってそうで、しかも直せそうにもない所には突っ込んでいかないよ。
少なくともココのレスでそうする価値があると思わせてくれるレスはないよ。
830:１３２人目の素数さん
18/12/25 10:06:12.69 OgB3+qXO.net
>>793
前スレと現行スレのなかに確実にあるだろ
ちゃんと読み直してみろ
831:１３２人目の素数さん
18/12/25 10:10:28.64 XGijJnLh.net
あるわけないだろ。
そんなものがあるならとっくにだれかが論文にしとるわ。
832:１３２人目の素数さん
18/12/25 10:40:39.21 iuJVeTfp.net
>>792
少なくとも望月スクールの人間は時間をかけて読み込んでるだろ。
それでぐーのねもでないのが現状。
望月論文は世界に公開されてるから、それなりに読み込んでるやつはいると思うよ。
ネットに書き込みしないだけで。
もし修正可能ならとっくに論文に書いてるわさ。だってそいつの手柄だしｗ
世界レベルで沈黙してるってことは、IUTが修正不能なナンセンスな産物ってことだろ。
このままたぶんアティヤの「リーマン予想証明」と同じコースをたどると思うよ。
833:１３２人目の素数さん
18/12/25 12:14:54.55 6MynesM6.net
まあ普通に考えると、望月氏本人が書くかどうかはともかくとして、周りが証明をきちんと書き下して見せないのは意味不明だよなあ
フィールズ賞受賞者の疑問にきちんと答えて名前を売るまたとない機会なんだし
834:１３２人目の素数さん
18/12/25 12:23:48.94 efLlDoUz.net
すごいな。俺の書いたものが英語版wikiにそっくりなんだって（笑）
俺の他のレスからの引用も藁人形論法で自分の都合のいいようにしか解釈していない
S・Sレポートも望月反論レポートも全く読んでいないんだろう？
ま
835:あ、IUTTの今までの経緯で「雰囲気」として否定したいだけのようだから否定派jinレベルなのは変わりない IUTTの内容でもって判断できなければ、物理屋さんのようにRIMSの振る舞いを問題にすればいいだけだ まあ、物理屋さんは時々英文をコピペして適切なレスをすることがあるからある程度理解していると思うけど 肯定なり否定なりしたいならIUTTそのものについて書け。jin-pilot objectども！（笑） 匿名掲示板で自分のプライドに固執するようなマヌケはNG入りだ
836:１３２人目の素数さん
18/12/25 12:55:06.43 XGijJnLh.net
例えばこれ>>798も長文だけど数学的内容皆無。
>>789で引用までして明確におかしなところを指摘しているのにそれに対する弁明が
藁人形論法だ、というものしかない。
IUTについて雰囲気だけでレスしてるのは、そっちなんだよな。
837:１３２人目の素数さん
18/12/25 13:11:32.71 aeBmhGtw.net
誰も指摘しないのが不思議なんだがID:efLlDoUz=ID:b0GHjv9YとID:o9N0RKA2って自演だろ？
>>782>>785みたいに数学用語として定義されていない圏論の偽装やらなんやらが
説明なしで意思疎通できてるのが前から変だと思ってたんだよね。
838:１３２人目の素数さん
18/12/25 13:23:57.12 XGijJnLh.net
>>800
自演じゃなくて雰囲気で喋りあってるから分かった気になってるだけなんじゃないか？
839:１３２人目の素数さん
18/12/25 13:26:44.63 Z37dxCS5.net
>>797
佐藤幹夫は確かに偉かったが
柏原河合も三輪神保も20代の頃から評価されていたな
それは代数解析の解説をしてたからじゃない
840:１３２人目の素数さん
18/12/25 13:30:09.20 Z37dxCS5.net
>>800
あの二人は別人だと思うよ
前からずっとこの種の話をやってるから
二人が本当にわかり合ってるかどうかは知らんw
841:１３２人目の素数さん
18/12/25 13:34:02.43 aeBmhGtw.net
>>801>>803
そうなのかね。
>>649-650と>>662-663とかガチで意味不明なのでこれで分かってるというのはないと思うんだよな。
842:１３２人目の素数さん
18/12/25 13:40:11.18 YuqKdbhj.net
同一視していたものをラベルで管理して区別するという発想は良い
ただそれを実行する為のインフラが整ってなかったんだよね
それを指摘する人を支援する人もいなかった
モッチーは頑張ったよ
843:１３２人目の素数さん
18/12/25 14:19:14.52 D7GE2Qe4.net
>>802
物理は微分方程式なんだよね。
数理的に微分方程式はソリトンあり
複素領域でもストークス現象などあり、
全てが要求される。
で、岡潔 小平 グラウエルトの仕事に気づく
かも？
844:１３２人目の素数さん
18/12/25 17:19:12.66 9BW8G46x.net
>>806
数学は連想ゲームではありません
845:１３２人目の素数さん
18/12/25 17:49:41.71 UnHsPOW1.net
>>807
ま、abc予想に関係するんだよ
846:１３２人目の素数さん
18/12/25 18:05:36.13 rbYWk2ZI.net
連接層ゲーム
847:学術
18/12/25 19:03:53.44 VsuUH61A.net
フィールドやコートポーツでも人数がそろわんとか、混んでるとかで数学の才能伸びるよ。
848:学術
18/12/25 19:04:24.22 VsuUH61A.net
フラットクタルじゃなくてもいいし。坂ね。
849:学術
18/12/25 19:05:09.27 VsuUH61A.net
アシスタントコーチの時代なつかしい。スコアブックの字が汚いと。
850:学術
18/12/25 19:06:14.66 VsuUH61A.net
イレブンか ファイブか というところ。フット メンヘル サロン 開業中
ロビースト キーン の活動。
851:学術
18/12/25 19:17:37.92 VsuUH61A.net
数学的現実は孤独になって、地点�
852:ﾉ孤立がうかがえる。挽回は効くだろうけど。 座標の年代タテとか気にする方？
853:１３２人目の素数さん
18/12/25 20:25:25.43 CH3CkTP1.net
>>804
ガチで意味不明なのはあんたが論文や関連文書を読んでないからとしか言いようがない
何でもかんでも自分に寄せるのやめて欲しいな
もし自分は代数幾何学や圏論をやったというなら、他人にケチを付ける前に自分で読んで
論点を解説してるはずだし、わざわざ貶したがる意味がわからん
854:１３２人目の素数さん
18/12/25 20:29:05.30 XGijJnLh.net
>>815
横だが「深海魚」とか「硫化水素」という概念が出てくる数学があるなら教えて欲しいな。
あと>>807の指摘にも繋がるんだが、このスレには何人か（あるいはほんとに自作自演なのか？）、
数学はアイデア勝負ではないというのが分からない人がいるみたいなんだよね。
数学とは証明があるかないかであって素晴らしいアイデアの出し合いではないんだよ。
855:１３２人目の素数さん
18/12/25 20:34:07.75 CH3CkTP1.net
FrobenioidやAnabelioidを見る限りは、それが偽の圏論とは言いがたい
多分彼が偽装と言ってるのは、本論での一部使い方についてだろう
俺は「IUTのやりたいことはわかるが一部おかしいと思っている」ので、この二人も意見は違うよ
856:１３２人目の素数さん
18/12/25 20:34:43.45 JvRtX7K/.net
では新しい数学は無意味ってことで
857:１３２人目の素数さん
18/12/25 20:44:01.51 CH3CkTP1.net
>>789
失礼だけど、ニュアンスが読めてないのはこれもあんたの理解力のブーメランだろう
その人は、圏論的な枠組みから見たらむしろ奇妙と言ってるだけで「はみ出す」なんて言ってないよ
他方俺は、圏論的な枠組みをむしろ徹底しているが、集合の位置付けが従来の圏論の記述からは異色とは
言ってる。でもそれがアクロバティックに見えると言ってる。結果的には変で一致してるが、見方は違う
IUTの中の人がこうした見方に反論するならまだわかるけど、あんたらは自分の理解力に寄せて
ケチを付けたいだけにしか見えない。貶すのが自己目的化するのはここじゃありがちだけど
858:１３２人目の素数さん
18/12/25 20:50:57.56 XGijJnLh.net
>>819
なんかまたエスパーなんだが「奇妙」というのは何を指しているの？
奇妙と言ったり異色だと言ったり、とにかく数学的になにかを語っているようにみせかけて、
それは主語の部分だけなんだよね。述語部分はなにも数学的でない。
でそれは数学的な議論ではないんだよ。
それでも自分たちは数学的な表現をし続けているんだというのなら、
まず集合の位置付けが従来の圏論の記述からは「異色」と
「アクロバット」というのを数学的に記述してごらんよ。
そしてそれが単に証明がないということと何が違うのかも説明もね。
859:１３２人目の素数さん
18/12/25 20:55:46.05 CH3CkTP1.net
>>820
前も書いたけど、それが批判を装ったクレクレって奴なんだよw
あんたは形式的に厳密な記述以外は数学的じゃないと偏った見方に徹してるから尚更だろうけど
「よくわからんからちゃんと書けよ。書けなかったらお前ら知ったかな」って態度の本質を
我々は見抜いてるんで、あんま興味がない
860:１３２人目の素数さん
18/12/25 20:59:53.40 XGijJnLh.net
>>821
つまりきみたちがやってるのは数学ではないと認めるわけだね。
現代数学は形式的に厳密な記述以外は数学ではないんだから。
861:１３２人目の素数さん
18/12/25 21:21:40.39 Xaor3Tfl.net
きみたちの前にＩＵＴ
862:１３２人目の素数さん
18/12/25 21:25:18.71 Rfx34CLu.net
割り込みですまないんだが、前も書いたんだけど、
IUTならびにIUT解釈が形式的記述に服さないのなら、
少なくともIUTメンバーはPRIMSでその研究成果を発表してはいけないと思う。
PRIMSが現代数学でない数学誌ということはないと思うので。
863:１３２人目の素数さん
18/12/25 21:26:27.44 Rfx34CLu.net
IUTが数学の哲学か何かだと主張するのは自由だと思う�
864:ｵ、 それならそれで成立してないと強弁することもできないんだが、 形式的記述ができないにもかかわらず現代数学誌に投稿するのはダメだろう。
865:１３２人目の素数さん
18/12/25 21:39:31.64 CH3CkTP1.net
いや、割り込みとか言って君ID変えてない？w
形式的な記述は数学には不可欠だけど、数学についてのコミュニケーションは必ずしも形式的な厳密さは
要しないし、直観的なアイデアもそういう意味で大事なんだよ
君の話とは逆で、IUTの問題はむしろ、直観的なレベルですら他の専門家にアイデアが伝わりにくいことだよ
こうなるとその時点で何かがおかしいんじゃないかって話になる
ショルツも長い間「何かがおかしい」と言ってたよね
866:１３２人目の素数さん
18/12/25 21:43:42.87 Rfx34CLu.net
>>826
俺はアイデアの重要性は否定してないよ。自由だって書いてる。
問題はPRIMSに投稿するのはおかしいということね。
IUTメンバーが今後IUTをどうするのかについては関心がない。
867:１３２人目の素数さん
18/12/25 21:47:32.54 hug0fX0m.net
つーか望月とか取り巻きがIUTは単なるアイデアだなんて一回も言ってないだろ
ショルツもIUTがアイデアかどうかなんて問題にしてない
868:１３２人目の素数さん
18/12/25 21:48:18.74 jb2RruX5.net
やれてない部分を隠してるのは冷静にみてればわかる
869:１３２人目の素数さん
18/12/25 21:50:49.80 efLlDoUz.net
ID変えまくってるからNG入れるのがめんどくさいのだが、そこまで俺や他の人のレスに文句を付けるのなら
あなたがIUTTやS・Sレポートについて「中身のある」ことを詳しく書け。或いは以前に書いたならそのスレ番・レス番を示せ
IUTTもS・Sも「読んでないよ」とか、「読んだとも読んでないとも言ってない」というのはナシだぜ
俺達にそこまで言うくらいだからかなり読みこんでいるはずだ
明日の夜まで待ってやる。あなたの言う「形式的に厳密な記述」をもってIUTTやその批判の内容を示せ
（少なくともS・Sについてはできるだろう？）
できなければ、あなたは以前に出没した「数学の価値」君や彼の相手をして2人で6時間200レス消費したバカどもと同類だ
（ちなみにあの時、何度か止めたのは俺だよｗ）
870:１３２人目の素数さん
18/12/25 22:00:11.37 fAmTYYu5.net
なんでID:CH3CkTP1の擁護にID:efLlDoUzが出てくるんだ？
871:１３２人目の素数さん
18/12/25 22:04:15.78 efLlDoUz.net
は？
俺と親切な人が同一人物の自作自演と書いたり、「きみたち」と書いて俺に向けても批判しているからだよ
要らん詮索する前に早く数学的に「中身のある」ことを書いて示せ
872:１３２人目の素数さん
18/12/25 22:08:48.05 fAmTYYu5.net
>>832
同一人物だって言ったのはID:aeBmhGtwだけで他は否定してない？
873:１３２人目の素数さん
18/12/25 22:11:20.53 CH3CkTP1.net
>>828
アイデアがあるとは思えない、と過去に言ってるわけだが。ここにコピペも貼られた
あの批判論文には、アイデアが正しくて記述に不備があるなら何とかしてやりたいが、というニュアンスがある
題名にgapとなく、ただ予想のままである、と書いてあるのはそういうことだ
あと、予想という言葉があるように、アイデアは場合によっては論文になる
IUTの場合も、あれだけ書いてあってgapがあるなら、証明には足りないが一部修正しアクセプトしても良い
それすら難しいから頓挫している
874:１３２人目の素数さん
18/12/25 22:11:25.59 odUN6AZz.net
専用掲示板で疑義や不明点があがってるんだからスターやなんでは実名で答えればいいのに
それすらやらない、できないってのは取り調べだと黙秘権みたいなもの
裁判員はどう思うかね
875:１３２人目の素数さん
18/12/25 22:26:22.84 26jrDuYJ.net
バカなおさるたちのインターネッツは今日も盛り上がってまつね！
876:１３２人目の素数さん
18/12/25 22:37:03.23 7HMd8emo.net
マンコヒヒとオラウータン一味キターーー
877:１３２人目の素数さん
18/12/25 22:45:07.72 efLlDoUz.net
>>834
＞あの批判論文には、アイデアが正しくて記述に不備があるなら何とかしてやりたいが、というニュアンスがある
このことは望月反論ペーパーの方で明記されているよ(p.5)
----------------------------
(T8) occasional misinterpretation by SS of statements by HM of the form (T8-1) as definitive declarations of (T8-2):
(T8-1) “you may consider such and such a modified version of IUTch if you wish,
but it is by no means clear that the essential content of IUTch is valid for such a modified version”,
(T8-2) “you may consider such and such a modified version of IUTch if you wish,
and, moreover, I affirm that the essential content of IUTch is completely valid for such a modified version”;
----------------------------
望月側としては修正の必要はない、S・Sとしては修正できればIUTTは有効であると考えていたようだね
でもS・Sレポートにはそういうニュアンスは俺は感じないなぁ。皮肉に満ちてるよ、あのレポートは（笑）
878:１３２人目の素数さん
18/12/25 22:58:44.39 CH3CkTP1.net
>>838
いやさっきのは書き方が悪かった
「してやりたいが、（多分無理）」という意味です。だから題名がきつい書き方になったと
とはいえ、アイデアについての発言や修正可能性についての批判論文最後での書き方から、一応救済可能性に
注意したのも伺える、という感じ
元々は理解したかったのだろうから、それは当然だろう。ただ思ったより酷かったと
879:１３２人目の素数さん
18/12/25 23:43:49.93 efLlDoUz.net
S・Sは当初「これこれしかじかの修正を施せばIUTTは成り立ち、ABC予想も証明できるだろう」と考えていたんだろうね
まあ、最後の段落は強烈だね。俺には救済可能性というより、「このオヤジ、この期に及んで何言ってんだ？」と読めたね
強いてあなたの意見に沿えば、手厳しい注意をもって救済可能性のニュアンスを持たせた、という感じかな
（う～ん、無理があるなｗ やっぱり望月に対して呆れかえっているようにしか思えない）
880:１３２人目の素数さん
18/12/26 00:39:03.98 Mog5DDmS.net
残念なことだが、2014年からScholzeは様々な文を公開して、IUTをダウングレードし始めた。私は彼に、IUTの「不具合」が何であるかを正確に伝えるように何度か尋ね、否定的なことを公に言う前に、IUTの作者とコミュニケーションをとったらどうかと提案した。
Scholzeは2015年のOxford IUTワークショップに参加することを拒否した。このワークショップでは、多くの関連事項を学ぶことができたのだが。
Scholzeは2015年の5月に、Mochizukiに非常に漠然とした広範な質問を1つだけ送った。 IUTの著者は長い電子メールで彼に答えた。また、電子メールで議論を行うよう親切に提案した。
Scholzeは、非常に忙しいと答え、電子メールのやり取りを停止した。
（これらの一部は、望月のページで公開されている。すべてのファイルが注目に値する。）
ScholzeはIUTの何かが間違っていると、公に話し続けた。
長い時の後、彼はStixと共に2018年3月に5日間だけ京都に来たが、不具合を示すための証拠の準備が明らかに出来ていなかった。
彼らの短い訪問の終わりまでに、Scholze-Stixは、IUTの過度の単純化に基づいて、IUTの独自の奇妙なバージョンを提供した。
この過度の単純化は、遠アーベル幾何学とIUTにとって完全に不適切であり、この過度の単純化に対する専門家の反応は、報告書の第18章で読むことができる。
この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
Scholze-Stixの立場では、IUTにおける遠アーベル幾何学の使用を奇妙にも否定している。
IUTの少なくとも80％は、高度な遠アーベル幾何学である。それをよく噛み砕かずにIUTの研究をうまく進める方法はない。
881: 複雑な理論を理解する際に間違いを犯すことは問題ではない。 しかし、IUTの「不具合」の有効な証拠を持たずに、このように長い間「不具合」について話すことは、非常に不適切であり、IUTの著者のコメントに答えるための目に見える努力と知識が欠如している。
882:１３２人目の素数さん
18/12/26 00:39:34.12 Mog5DDmS.net
当初、ScholzeとStixは会議についてのレポートを熱望していた。
しかし、望月の報告書を読んだ後、7月に彼らは完全に心を変え、自分たちのレポートを投稿する興味を失った。
彼らのレポートをIUTの著者のページに含めることに彼らは最終的に同意したが、2番目のバージョンのレポートは、
最初のレポートでのMochizukiからのコメントのほとんどを扱っていず、古典的な高さの理論の失敗などの新しい誤った記述も含まれている。
彼らが自分の間違いを認めないのは謎のままだ。
883:１３２人目の素数さん
18/12/26 01:04:51.96 EhksGUhQ.net
>>841
＞この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
Scholze-Stixが提案した単純化の何処がどう誤りなの？
884:１３２人目の素数さん
18/12/26 01:05:54.97 EhksGUhQ.net
>>842
＞古典的な高さの理論の失敗などの新しい誤った記述
kwsk
885:１３２人目の素数さん
18/12/26 01:08:36.32 cR66TREx.net
うん、世界中の数学者とメディアに訴えかければいいとおもうよ
886:１３２人目の素数さん
18/12/26 01:09:52.07 AoMgC+TE.net
元々 森重文京大RIMS 名誉教授の申し出より
RIMSへ行ったショルツに、悪口を言っても
IUTの酷さは変わらない。
望月レポートは今でも気ままに改変される始末
検証は入り口と出口から調べていく、。
ショルツは何故 ラベル付けの件に拘ったのかw
887:１３２人目の素数さん
18/12/26 01:56:12.58 1sPeCC7c.net
望月、フェセンコ、ショルツの各々の言いたいことは、それ自体はわからなくはないのが改めて面白いな
レポートのSWというものがあって、剛性+ラベル+リセット+不定性+SWという併せ技で成り立つ
と言いたいのだ。全単射には特別な複雑性があるのだ。仮に理論が正しいと何らかの理由でわかっても、
後でそう納得できる。他にはありえないからだ
特に、AnabelioidとFrobenioidの設定の上での単解+SWの部分がフェセンコの言いたい遠アーベル幾何学的な
深い部分なのだろう
だが、少なくとも抽象群論＝幾何学という図式ではPS-JSもそれをちゃんと理解してるように見える
敢えて例に実ベクトル空間を出してるのも含めてね
ともあれ正しいなら正しいでわからなくはないけど、そういう曖昧な認識は数学的には不適切だから
questionableという意味で肯定できないな
888:１３２人目の素数さん
18/12/26 01:56:27.41 j/A0kl5n.net
おれ、凄い素人で恐縮なんですが、
疑問に思ったことを書きます（とんちんかんだったらすいません）
ＳＳが提示した内容が、エッシャーの階段のような矛盾を示していることは、
望月サイドでも認めているわけだよね
でも、それはIUTとは全く別ものだという事を主張している
では、ＳＳがそういった過度に分かりやすくしたものではなく、
望月サイドでもそれはIUTだよと認められるものを使って矛盾を
導けれるのか？というのが一つ
あと、望月の3：12の前までの長々とした部分はジャーゴンだと言っていた
のを前にちらっと見たんですが、それがジャーゴンだという証明は
されていないですよね？
889:１３２人目の素数さん
18/12/26 05:51:04.22 HbWQPbEb.net
内容に踏み込んだ有益な書き込みが続出する中、相変わらず馬鹿丸出しな書き込みしてる奴が約1名 >>846
890:１３２人目の素数さん
18/12/26 07:59:31.94 7BpsiiR8.net
>>848
個人的には一部復習しないと理解不十分でまずいんだけど、ショルツらが単純化してるのは事実ですね
で、その単純化してる部分を望月が納得するように寄せるというのは程度の問題で、望月
891:サイドの主張を全て認めたら当然IUTは正しくなりますよね 例えば格子の垂直射でｐ進対数を取るというのは戦略的な意味があるし、どういう仕組みで抽象位相群からできている「ホッジ劇場を区別」するのかにも 理論的な戦略があり、そこでいわゆる宇宙を区別する「ラベル」を使うことにも理論的な意味があって、そういうものをSSはかなり省略して整理している 望月視点で見て一番SSサイドが怪しいのは、環構造＝宇宙の復元とその区別の「遠アーベル幾何学的」な意味をSSが理解しているのかという点ですね これは批判論文を読んでも十分にわからない 大雑把に言えば素数の性質を利用してスカラーを伴うテータ空間を作って幾何学的に計算したいんですけど SSが見落としているとすれば、「様々なテータ空間を遠アーベル幾何学的に構成する」のが何を意味するのか、という点です 群のプログラムとｐ進対数を取る「幾何学的」意味とか、それと共にラベルを利用することの意味についてはSSは踏み込んでないように見えますね
892:１３２人目の素数さん
18/12/26 08:09:56.49 7BpsiiR8.net
実際、SSは抽象pilot objectと具象pilot objectの違いがよくわからないと言っている
これは後者が「単解」的な意味で群スキームに等価な情報を 計算する際の適切な概念には見えない、
つまりSSはテータ空間の構成原理がよくわからないと言っているようにも見える。それはフェセンコの主張
結論から言うと、認識に隔たりがあり過ぎて折衷的なケースについて考えるのは不可能に近い
SSサイドは異なる群スキームの群論的な構成原理が不明瞭だと考えていると思う
この辺が具体的に示せない限り、IUTのほうが分が悪いという感じでしょう
893:１３２人目の素数さん
18/12/26 08:14:08.43 3H4rIim4.net
>>849
都合の悪い真実だなー
894:１３２人目の素数さん
18/12/26 08:25:09.18 kPBm1lq7.net
訂正
それはフェセンコの主張→それはフェセンコのSS批判に対応していそうな部分
895:１３２人目の素数さん
18/12/26 08:35:52.16 3H4rIim4.net
>>850
>「様々なテータ空間を遠アーベル幾何学的に
構成する」のが何を意味するのか、
という点です
JSは 遠アーベル幾何学が専門ですよ
896:１３２人目の素数さん
18/12/26 09:26:47.59 j/A0kl5n.net
>>850
レスサンクス
素人にここまで答えてくれるとは思わなかったです
当然ながら、めっちゃ難しい
SSは抽象pilot objectと具象pilot objectを使用する適切な構成原理までが、
自然に現れるのじゃないと、どこかから取って付けたという事で、認められないということか、
それが自然に現れるモデルみたいのを作ったら、調和しないってことかなぁ
897:１３２人目の素数さん
18/12/26 09:31:20.42 n8XDYpmW.net
RIMSがリジェクトすればそれで解決なんだけど、
このようすだと黙殺形式を選ぶのかね。
弟子にはそのほうが酷（師匠がいつまでも誤りを認めない）だと思うが。
898:１３２人目の素数さん
18/12/26 09:33:37.73 n8XDYpmW.net
こんなでたらめがいつまでも続くわけがないので、
今後の展開としてはRIMSがリジェクトを明言するのかどうか、
そして取り巻きのなかでだれが離脱するのか。
ポスト組は離脱しないかもしれないが（出世できないという問題は残るけど）、
ないメンバーは就職ができなくなるからこのへんから崩れるのか、
それともこの時点でIUTと付き合ってる時点で研究能力に問題があるので、
もう転身もできないのか。
899:１３２人目の素数さん
18/12/26 10:50:00.93 rL7y7qtu.net
Quanta maGazine
September 20, 2018
PSとJSの指摘
>The proof, as Scholze and Stix describe it,
involves viewing the volumes of
the two sets as living inside two different
copies of the real numbers, which are then
represented as part of a circle of six different
copies of the real numbers, together with
mappings that explain
how each copy relates to its neighbors along
the circle.
To keep track of how the volumes of
sets relate to one another,
it’s necessary to understand how volume
measurements in one copy relate to
measurements in the other copies,
Stix said.
“If you have an inequality of two things
but the measuring stick is sort of
shrunk by a factor which you don’t
control, then you lose control over
what the inequality actually means,”
Stix said.
900:１３２人目の素数さん
18/12/26 10:52:43.57 rL7y7qtu.net
>>858
続き
>In Mochizuki’s mappings,
the measuring sticks are locally compatible
with one another.
But when you go around the circle,
Stix said, you end up with a measuring stick
that looks different from
if you had gone around the other way.
The situation, he said, is akin to Escher’s
famous winding staircase,
which climbs and climbs only to
somehow end up below where it started.
>This incompatibility in the volume
measurements means that the resulting
inequality is between the wrong quantities,
Scholze and Stix assert.
And if you adjust things so the volume
measurements are globally compatible,
then the inequality becomes meaningless,
they say
901:１３２人目の素数さん
18/12/26 11:10:21.65 WuV0z5bC.net
>>855
ドイツグループ. PS JSの指摘
>>858 >>859を参照してください
902:１３２人目の素数さん
18/12/26 11:59:18.37 w+UO6IRt.net
>>857
他人のことより自分のことを心配しょう。大丈夫か？
903:１３２人目の素数さん
18/12/26 12:48:10.50 e6E4VL2g.net
【火器管制レーダー模擬ロックオン】 TV局「危機感を煽てください」 JSDF「自衛隊もやってんだが」
ｽﾚﾘﾝｸ(liveplus板)
904:１３２人目の素数さん
18/12/26 13:13:37.54 iW/cza+x.net
今回ので一番感心するのは御大の手腕だね。
新進気鋭でこいつが言うなら間違いないというショルツを呼ぶ。
ショルツは遠アーベルの専門家じゃないという批判も封じるためにスティックスも呼ぶ。
反論する時間がなかったという言い訳もさせないために時間をとる。
なにがあったかをレポートのかたちで英語で周知する。
これで実質的に外部査読でリジェクトというかたちに持っていけるから、
当人たちがどんなにRIMS内部の権限を濫用しようが掲載拒否できる、と。
905:１３２人目の素数さん
18/12/26 16:02:52.74 lqqZmmGl.net
>>863
あなたは、森氏やRIMSが学問の自治と独立を外部の人間に委ねた
と言ってるのか。日本の政治のように、
外圧がないと森氏もRIMSも何もできないと言ってるのか。
IUTTの正否に関係なく、森氏とRIMSを侮辱し過ぎだ。
906:１３２人目の素数さん
18/12/26 16:17:12.63 iW/cza+x.net
>>864
誰かさんが雑誌を私物化しなければこんなことにはならなかったんだよ。
907:１３２人目の素数さん
18/12/26 16:22:01.88 iW/cza+x.net
１、査読が完了したのかしてないのか長期的に曖昧にする
２、普通ならしてはいけないリークがある
３、その後も頻繁に修正を認めている
こんなのが起きている状態で自治ができてると言い張る方がおかしいね。
そして擁護するときはこの3点（特に1と2）に絶対触れない。
908:１３２人目の素数さん
18/12/26 16:
909:30:08.72 ID:j/A0kl5n.net
910:１３２人目の素数さん
18/12/26 18:48:05.75 XDh938sZ.net
まだやっててワロタ
１０年後もやってろよ
よろしく
911:１３２人目の素数さん
18/12/26 19:12:39.24 yQVEDCxH.net
>>863
選手会の金に手を出したとかで東京ドームで小川直也に橋本真也を制裁させた長州力みたいな感じがするw
912:１３２人目の素数さん
18/12/26 19:16:41.49 SSt2DFZn.net
望月自身がブログで言及してるよね
IUTは超数学だって
超数学では既存数学を使えない
913:１３２人目の素数さん
18/12/26 20:35:35.81 U4PmkSWL.net
>>870
＞IUTは超数学
Ｍはメンタル患ってるのか？
914:１３２人目の素数さん
18/12/26 20:45:23.02 VNG3PbmT.net
望月さんがそんなオレオレ用語使ってるの？
超数学は普通Metamathematicsの訳語として使われてると思うんだけど
IUTはチョーすごい数学だから数学の常識が通用しないのだみたいなのはちょっと
915:１３２人目の素数さん
18/12/26 20:54:56.57 j/A0kl5n.net
ロムに戻ると書いたんですけど、又疑問が生じてしまったんで書きます
仮に>>855の様な事が正しいとして、>>850の手続きをちゃんと
行えば、限定された程度ではあってもABC予想が解けるということは
全く無意味ではあり得ないという事にはならないか
無意味ではないどころか、かなり凄いということにはならないか
あと今回SSがＩＵＴを切って捨てたようなポイントを持つ数学は
これまでに一切存在していないのか
916:１３２人目の素数さん
18/12/26 21:28:46.37 3ya6FqCx.net
まあ超数学って言われると不完全性定理とかが思い浮かぶよな
917:１３２人目の素数さん
18/12/26 21:34:12.03 egsghpXg.net
超物理学とは言わずに形而上学とはこれ如何に
918:１３２人目の素数さん
18/12/26 21:35:55.12 ikbjjr3k.net
もうね、まともな感性してたらモッチーが正しいとか考えられない
919:１３２人目の素数さん
18/12/26 21:36:45.16 gbKkGmPI.net
>>864
Ann. Math. だって査読は外人に回すよ
それが普通
920:１３２人目の素数さん
18/12/26 22:06:36.28 yQVEDCxH.net
>>873
それは色んな見方があるだろうから、これは自分の偏見ですが
そもそも、様々な群スキームを俯瞰して計算するっていうのが理論の示している理念ですよね
題目によれば、どういう群の構成がどういうスキームのデータに対応しているのかコントロールできる
ような印象がある。ショルツらは実際、絶対遠アーベル幾何学の一番重要な第三論文を読んでるんですね
簡単に言えばIUTは、原色と配合の理論で様々な色を俯瞰できると言っているようなものです
しかし、どうもこの調合の部分がよくわからないんですよ
原色を上手く配合したら任意の色が出る、それに名前を付けたら区別ができる、というのは
具体的な色について知ることが大事な場合には情報が抜けた抽象論ですよね
だから、IUTが一体スキームの世界を具体的にどう俯瞰し革新するのかがよくわからないのです
921:１３２人目の素数さん
18/12/26 22:11:00.65 YMZL6bC6.net
>>872
なんか他人の論文あんま読んでないという印象を受けるんだよね。
基礎論に引っかかってると分かってるのに読んでないんじゃなかろうか。
基本的なところでダメになってる。
922:１３２人目の素数さん
18/12/26 22:24:47.16 j/A0kl5n.net
>>878
俺、アホなんで変な事言うかもしれないですが、
ＡＢＣ予想は当然滅茶苦茶に難しいけど、不等号の式で示して締めくくるので、
数字を弾き出すわけではないので、手品のトリックみたいに、
解けたように見せかけやすいものなんでしょうか？
それとも、そうでないか、そうであるかどちらであるにしても、
IUTでのABC予想の解き方はそこまで、インチキが出来るものではない
くらいの厳密さはあるけど、具体的な数について何も示せない薄さ
みたなものがあるということなのかなぁ？
923:１３２人目の素数さん
18/12/26 22:33:02.95 fnqzilr3.net
英文ＡＢＣ予想のwikiの文中にある不等号と数値が同じだけどどう解釈してるの
924:１３２人目の素数さん
18/12/26 22:38:47.22 yQVEDCxH.net
>>880
あの論争の不等式がかなり抽象的で単純なのを見てもわかるように、ABC予想で計算すべきものとか
想定される仕組み自体は抽象的なもので、IUTの、環スキームより抽象的な設定から攻める戦略自体は間違い
ではない。しかし、環を抽象化した理論は「最終的に不可欠だが抽象ナンセンスに陥りやすい」ということ
だから数体の大域なホッジ理論もまだないし、局所ホッジ理論しかない
要はABC予想はナンセンスと有意義な所のギリギリ境界の構造を攻める必要があるから失敗の危険が大きい
不等式に関わらず、数論幾何学の大きな未解決問題はそういう難しさがある
まあ、ウルトラでIUTが成功する可能性もあるがw
925:１３２人目の素数さん
18/12/26 22:51:33.93 j/A0kl5n.net
>>882
IUTでＡＢＣ予想が解けている場合と解けていない場合を想定して、
解ける場合、例えば９５％の確率で偶然ではなくＡＢＣ予想を
解いているとか結果を出すような事が出来ないもんなんですかね？
926:１３２人目の素数さん
18/12/26 22:58:30.19 YMZL6bC6.net
＞ABC予想はナンセンスと有意義な所のギリギリ境界の構造を攻める必要がある
？？？
927:１３２人目の素数さん
18/12/26 23:08:40.68 ghTlr2ms.net
遠アーベル的な群論的枠組みとか、充満多重同型、ラベルの使用が問題になっているんだけど、
結局、最大の焦点は不定性をどう扱っているかということなんだよね。望月とショルツとでは完全に平行線になっている
望月はこの不定性を最大限に利用しようとしているわけだが、ショルツは簡単に切り捨てている(p.7,脚注8)
-------------------
Choosing these “obvious” isomorphisms did not result in any problem that would be solved by
allowing some other (possibly indeterminate) isomorphism.
-------------------
これがショルツによる単純化の始まりにして最たるものだけど（特に括弧内の“possibly indeterminate”）、
この単純化を考察したのがロバーツのPDF、特に補遺の部分。彼はショルツに同意し、
ラベルについても「無害ではないが数学的には不必要」であるとしている
まあ、上のフェセンコ・レポートの和訳レス(>>841)にある、
＞この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
というのは、圏論の専門家によってきっぱり否定されたわけだ
その後、ロバーツやシュライバーを遠回しにイチャモンつけたのはフェセンコらしいやり方だけど（笑）
928:885
18/12/26 23:11:46.68 ghTlr2ms.net
すまん、とんでもないミスタイプした（笑）
>>885
×「無害ではないが数学的には不必要」
○「無害だが数学的には不必要」
とんでもないミスでした orz
929:１３２人目の素数さん
18/12/26 23:25:32.06 yQVEDCxH.net
>>884
抽象化すると自由度が増す代わりに、簡単にアナロジーが取れない事が多い
はっきりした集合や圏すらぼやけてきて、頭を使わないと対象や論理すら掴めないってこと
>>883
理論のレベルを測るには、同じような方向の大きな抽象理論を作って対応付けをするのが一番良い
インチキとして切り捨てるのが時期尚早といいたいのだろうから、それは全く同意
930:１３２人目の素数さん
18/12/26 23:32:02.25 j/A0kl5n.net
>>887
レスサンクス
同感です
おちます
931:１３２人目の素数さん
18/12/26 23:55:06.23 yQVEDCxH.net
>>885
個人としては、少し読んだら昨日よりはアルゴリズムの部分がわかった気はするんですけどね
まあ直感的には位相群と環構造に隔たりがあって、情報を付加しないと幾何学的実現がない�
932:ﾁて感じになる 神様が教えてくれれば色々振り切れるんだけどw
933:１３２人目の素数さん
18/12/26 23:57:12.23 YMZL6bC6.net
>>887
集合や圏がぼやけるって何？？？
934:１３２人目の素数さん
18/12/26 23:57:47.18 YMZL6bC6.net
数学用語を使った落書きだよね。これじゃ。
935:１３２人目の素数さん
18/12/26 23:58:53.23 ghTlr2ms.net
>>889
そうだよねぇ
神様でなくとも、「中身」のある「形式的に厳密な記述」ができる人を今日の夜まで待っていたんだけど、
結局現れなかったね（笑）
936:１３２人目の素数さん
18/12/27 00:19:35.63 3J8LMqDf.net
ずっと白夜の中にでも留まり続ければいいと思うよ。
937:１３２人目の素数さん
18/12/27 01:30:24.56 biUzCZwN.net
>>887
>理論のレベル
IUTには 大域的 局所的 観測者の視点
もないね、関数体と誤り符号訂正を思い出した
↓
宇宙際タイヒミュラー理論レクチャーノート
IUT 主定理 解釈： 「細いパイプ」
（すなわち、例えば宇宙船に乗った宇宙飛行士または地下鉱山で働いている鉱夫）で、
人が結ばれるだけである状況の下でさえ、
利用できる限られた情報を賢く利用すること
によって「向こう側」の状況を復元し
把握することができる。
938:１３２人目の素数さん
18/12/27 01:51:25.72 ESucdQ9Q.net
>>890
冷やかしかもしれないけど、もしピンとこないなら無視して欲しいな
失礼だけど、よくわからないからって絡んできてる印象しかない。これは背景知識があった上の話なんで
知ったか云々言いたいなら他人に文句言う前にまず自分で何か書いてね
939:１３２人目の素数さん
18/12/27 02:04:54.97 ESucdQ9Q.net
>>892
20時間の奴か。関係ないけど、PS-JSは多分参照文献もちゃんと読んでますね
つまり、やたら長く饒舌で頭の体操にはなるけど、結局必要な情報が足りない気がする
何なんだこれはって思ったんじゃないか？
自分の場合一部近い事をやってるので少しは片手間に時間割けるけど、普通は嫌だろうな
>>894
そこは不定性というノイズの中でモールス信号でやり取りするみたいな話なんだけども
話としては面白いんだがね
940:１３２人目の素数さん
18/12/27 02:17:07.94 biUzCZwN.net
>>896
復元だよ
941:１３２人目の素数さん
18/12/27 08:05:48.22 PLF5esOU.net
将来的にabcが解かれた時にIUTと実質同等な操作がなされている事が判明して和算の関孝和みたいな存在として伝説になるのが望月さん
942:１３２人目の素数さん
18/12/27 08:20:31.37 vGvBQNul.net
不等式の議論で 、
PS JSは元々 相対論の測定考察を深く
理解してる。>>858 >>859
ミンコフスキー時空の特殊大域的な慣性系で、特殊相対性原理と光速度一定の原理
による。
理論 物理量で普遍性の必要条件は座標系
座標変換 同値関係 順序関係と関係する。
曲がった時空の一般相対論は 局所慣性系で
等価原理が接続で表される。
IUTの復元は 単なる通信情報理論の
表面的な模倣とも思えるレベル。
英訳しても中身は同じ >>894
943:１３２人目の素数さん
18/12/27 08:22:37.50 vGvBQNul.net
>>898
IUTは 曖昧だから 何でもあり だな
944:１３２人目の素数さん
18/12/27 08:38:49.44 vGvBQNul.net
>>899
×特殊大域的→ ⚪特殊相対論は大域的
945:１３２人目の素数さん
18/12/27 10:12:59.47 V92JLRg8.net
>>900
このスレでぐだぐだ書いてるやつのやり方が望月と同じなんだよな。
勝手に造語して説明しない。
946:１３２人目の素数さん
18/12/27 10:14:56.62 V92JLRg8.net
あと公平を装ってるけど「望月は偉い」という方向�
947:ﾉ持って行ってるのも特徴的。 >>895で、 ＞やたら長く饒舌で頭の体操にはなるけど こんなことはショルツたちはまったく言ってない。 レポートの解説に見せかけて勝手に脚色してる。
948:１３２人目の素数さん
18/12/27 10:15:34.39 V92JLRg8.net
>>896
949:１３２人目の素数さん
18/12/27 11:08:53.23 bhwr4P3d.net
ああ、「中身のある、形式的に厳密な記述ができる人」の「中身」は、
「数学の価値」君or彼と6時間200レスした人、or査読の話でjinと同じことと言っているのに相手がjinと同じだ、と言っていた人
要するに、狂犬、通り魔、荒らしの類だな。不快感しか持てないわ。性質の悪さではjin以上かも知れん
無駄にレス消費するだけだからスルーするかNG入れるがよろし（IDコロコロ変えてくるからスルーしかないが・・・）
ちなみにこのスレで一番メタファーを多用しているのが物理屋さん
できるだけメタファーに頼らないようにしているのが親切な人
俺はこの2人が言っていること（言いたいこと）は大体分かるし、分からない時は調べる
950:１３２人目の素数さん
18/12/27 11:26:22.33 8Fk9AYZA.net
>>899
追記。
物理理論 物理量で 普遍性がある時
客観性があり 特定の観測者の視点=座標
に依存しない。
普遍性の必要条件から
物理 理論→座標の変換は群で、
群は同値関係を満たす。
例 ローレンツ変換群。
物理量→同値関係 順序関係 大小関係を満たす
時空の尺度→光速度一定から尺度を極める。
物理量の比較→二つの座標で 座標変換群を
使い一つの座標で物理量を比較する。
一つの慣性座標系内で 物理量は同値関係
順序 関係を満たす。
座標系に依存しない物理法則
→一般 相対性原理。
物理量をテンソルで記述する。
幾何は座標系に依存しない固有の性質を
対象とする。
集合論の無視 は測定の破壊に
繋がる非現実で客観性がない「理論」
と思う
951:１３２人目の素数さん
18/12/27 11:35:47.97 83VGoI4o.net
このやりとり面白いな
意味不明なことを言ってみせて相手が分からないと言ったら勉強不足だと返してるところが
望月たちのやり方にそっくり
学部生レベル云々はさすがに謝罪しないとね
952:１３２人目の素数さん
18/12/27 12:36:32.46 u+OTP1Uw.net
ど素人の愚問ですまんが
数学の「正しさ」ってのは実は一つではない可能性ってないの？？
953:１３２人目の素数さん
18/12/27 12:48:10.98 TE7BnM5x.net
>>906
×極める ⚪決める
954:１３２人目の素数さん
18/12/27 14:13:33.28 lub2KoKF.net
>>906とかの片言ガイジはいつからこのスレに居ついてるんだ？
955:１３２人目の素数さん
18/12/27 14:43:18.64 q1hTi+v6.net
ない。あったら、もうそれはべつのゲームになる。
956:１３２人目の素数さん
18/12/27 14:43:56.96 5RtvxyQM.net
>>910
だいぶ前から張り付いてる
957:１３２人目の素数さん
18/12/27 14:58:08.14 LTkABt2f.net
>>910
常識だよ
958:１３２人目の素数さん
18/12/27 15:31:27.69 u+OTP1Uw.net
＞ホッジ劇場での異世界間の息をのむような（メロ？）ドラマのサイエンスフィクション
なんかわろた
959:１３２人目の素数さん
18/12/27 16:26:19.78 BAf6JlYf.net
既存の公理系から形式的に証明を書き下せればいいんだろ？
できなければ万人が納得できる公理を追加してもいい
本人はこれ以上面倒なことはやらなさそうだから力わざの得意なやつがやればいいのに
960:１３２人目の素数さん
18/12/27 17:04:54.82 hJrMp
961:ZfD.net
962:１３２人目の素数さん
18/12/27 17:43:05.72 9weuNDnz.net
宇宙際超背理法で証明
963:１３２人目の素数さん
18/12/27 18:12:41.11 PdxQTTAd.net
>>907
謝罪は必要無い。感覚のズレたやつだな
964:１３２人目の素数さん
18/12/27 19:25:58.58 UBjeRQT1.net
>>907
ぼやけて云々っていうのは複数似たような現象があるんだけど、IUTに興味がある代数幾何学者なら
自動的に思い付ける例がある
だからいくら粘着されようが、それがわからんなら面倒だから絡まないでね、で終わり
965:１３２人目の素数さん
18/12/27 19:56:32.17 GSyWO/9c.net
要するに説明もできないし自明でもないってこと
小学生向けのビデオ講義が関の山
966:１３２人目の素数さん
18/12/27 20:30:03.07 xwcCluuE.net
IUTに興味がある代数幾何学者なんて存在しないもん出してもしょうがないだろう。
967:１３２人目の素数さん
18/12/27 21:14:13.51 WJdr8igo.net
あってる
968:１３２人目の素数さん
18/12/27 21:18:50.56 UBjeRQT1.net
>>915
というか、そもそも何がどうinter-universalなのかっていう辺りから殆どの数学者は疑問なんじゃないか
実際にそういう話が成り立っているなら集合論やモデル理論の研究者が殺到するような魅力的なものだが
969:１３２人目の素数さん
18/12/27 21:40:54.98 nVyRRgYG.net
話題も尽きつつあるし今年の終わりとともにこのスレも終了ですね
970:１３２人目の素数さん
18/12/27 22:37:15.77 bhwr4P3d.net
英語版wikiのIUTTしか読んでない横着者に１回だけ説明してやるか（笑）
・「ぼかし」というのはS・Sレポートの最終段落で書かれている。先ずそれを読め。それが理解できなければここから去れ
・親切な人が書いている通り、「ぼかし」というのは数学においては様々な場面で出てくる。代数幾何、圏論についてなら
不変量に関して問題になることがある。あと、情報処理や画像処理において数学を利用したものにもある。有名なのは
ガウス関数を用いた「ガウシアンぼかし」とかね
あと、物理屋さんがこのスレに住みついている件だが（笑）、上記の不変量という意味では対称性と並んで
現代物理学では重要だから、それと共通性のある（現代物理学等を模した？）IUTTに物理屋さんが関心を持つのは当然
怠け者かつア○ペというのはどうしようもないな。こんな基本的なことを書くのはもうやらないぞ（笑）