1 名前:132人目の素数さん [2021/02/20(土) 10:22:32.50 ID:Z8PgJDTw.net] 20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) (下記)は、新しい局面に入りました。 査読が終り、IUTが正しいことは、99%確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 (なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです!(^^;) (旧"応援"スレが、1000又は1000近くになったので、新スレ立てた。) (参考) https://mainichi.jp/articles/20200403/k00/00m/040/295000c 望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日 (抜粋) https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg 会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。 2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、(ショルツ教授からの)再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。 玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。 https://www.youtube.com/watch?v=7BnxK_NMwaQ 数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン つづく
562 名前:Schlecht mailto:sage [2021/03/02(火) 08:49:31.79 ID:ozN2NqQb.net] みんな塹壕掘って隠れてるから 飛び出したら一斉掃射されるよ
563 名前:Schlecht mailto:sage [2021/03/02(火) 08:58:30.22 ID:ozN2NqQb.net] もう何年も数学板で書いてるんなら そんな初歩的なこといい加減覚えたほういいよ
564 名前:132人目の素数さん [2021/03/02(火) 10:50:31.66 ID:brRFu6nO.net] >>523 (>>516 より) >わからないことをわかったと嘘つくのって何か意味あるのかな? (>>522 より) >どこでもそうだけど >知らないことを知ってると云って >いいことって一つもないよね IUTに同じ まったく同じですね 1)出来ていない証明を”出来た”と言っても、いいことって一つもない 一流数学者の望月先生が、そんかことをするわけない 2)出来ていない証明を”出来た”とウソの記者会見をしても、いいことって一つもない 一流数学者の柏原、玉川が、嘘つくわけない 3)出来ていない証明の研究集会に参加しても、いいことって一つもない Promenade in IUTに参加している数学者たちは、当然IUTの証明にそれなりに納得している(つまりは、ショルツェ氏はアウト) (>>523 より) >子供が真っ先に学ぶのって >「知らないことを知ってるというと炎上する」 ショルツェ氏は、最初は「Cor3.12までは自明で、Cor3.12の証明(だけが)分からない」といった だが、woitブログでのDupuy氏との討論では、「ホッジシアターが超難しい」と言った(前言と矛盾) 結果的に(前言は)ウソであり、”炎上”になりましたとさ
565 名前:132人目の素数さん [2021/03/02(火) 10:58:05.93 ID:dcDWWgNW.net] >>526 >woitブログでのDupuy氏との討論では、「ホッジシアターが超難しい」と言った(前言と矛盾) これはトポス理論的フレームワーク
566 名前:などで解釈するのが難しいという話で、ホッジ劇場そのものが難しいという話ではない [] [ここ壊れてます]
567 名前:Schlecht mailto:sage [2021/03/02(火) 11:19:57.97 ID:ozN2NqQb.net] >>526 >出来ていない証明を”出来た”と… >一流数学者の望月先生が、そんなことをするわけない それはフュルスト君の願望ですよね? >出来ていない証明を”出来た”とウソの記者会見… >一流数学者の柏原、玉川が、嘘つくわけない それもフュルスト君の願望ですよね? 玉川氏が、つい 「査読過程は墓場まで持っていく」 と喋ったらしいけど これがきっと本音 >Promenade in IUTに参加している数学者たちは、 >当然IUTの証明にそれなりに納得している 全然当然じゃないですけどね 納得なんて参加の条件じゃないですけどね むしろ納得というか理解すらできてないから参加する、 という人もたくさんいるんじゃないですか?
568 名前:Schlecht mailto:sage [2021/03/02(火) 11:22:51.84 ID:ozN2NqQb.net] >ショルツェ氏は、最初は >「Cor3.12までは自明で、Cor3.12の証明(だけが)分からない」 >といった >だが、woitブログでのDupuy氏との討論では、 >「ホッジシアターが超難しい」 >と言った(前言と矛盾) Thm3.11までの中でホッジシアターが出てくる場所を全部挙げてくれます? 当然あるから「前言と矛盾」と言い切ってみせたんですよね? まさか、まったく読みもせずに、口先だけで脅してるわけじゃないですよね?
569 名前:Schlecht mailto:sage [2021/03/02(火) 11:25:10.00 ID:ozN2NqQb.net] フュルストさん Thm3.11から簡単に証明できるといいはるなら 証明を示してくれますか? 理解しきったから正しいと言い切ったんですよね まさかに理解もせずに正しいと博打うったわけじゃないですよね?
570 名前:Schlecht mailto:sage [2021/03/02(火) 11:32:48.25 ID:ozN2NqQb.net] フュルストさんのやってることって、BIGを買って 「これが6億円だ!」 と言っちゃう人みたいな感じかな 「2等」くらい当たってるといいんですけどね・・・
571 名前:132人目の素数さん [2021/03/02(火) 12:27:39.47 ID:brRFu6nO.net] >>515 (>>415 ) ベルヌーイ数って、スピンの行列計算(ルジャンドル多項式かなんかで出てこんかったっけ?)こんなとこでも出てくるかこら?下さい (>>424 ) あそっか。 スピンは四元数やから、関わっとってもなんら不思議はない。 あれあれ? ベルヌーイ数、ルジャンドル多項式、スピンの行列計算、スピンは四元数(=多分スピノール行列のことか?) これらは、下記を読む限り、ベルヌーイ数とは関係ないみたいだね (参考) www.wannyan.net/scidog/ Scientific Doggie 数理の楽しみ www.wannyan.net/scidog/spfunc.htm 特殊関数 全文PDFファイル www.wannyan.net/scidog/spfunc/spfunc.pdf Nov 26, 2018 特殊関数の更新。訪問者からの質問に基づき第3.8.1項の数式変形の 説明を補足しました。 https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%94%E3%83%8E%E3%83%BC%E3%83%AB スピノール 一般のスピノルは、1913年にエリ・カルタン[4]によって発見され、後に電子や他のフェルミ粒子の内在する角運動量、即ちスピン角運動量の性質を研究するために、量子力学に適用された。量子力学においてスピノルは、半整数スピンを持つフェルミ粒子の波動関数を記述する際に不可欠な量であり、今日では物理学の様々な分野で用いられている。例を挙げると、古典論では三次元のスピノル(英語版)が非相対論的な電子のスピンを記述する際に、相対論的量子力学ではディラック・スピノルが相対論的な電子の量子状態を数学的に記述する際に、場の量子論では相対論的な多粒子系の状態を記述する際に、それぞれ必須の概念としてスピノルが活用されている。
572 名前:132人目の素数さん [2021/03/02(火) 13:18:56.05 ID:brRFu6nO.net] >>532 <メモ> 余談ですが 下記のBernoulli number ”6.5 Use in topology” によれば、「ES_n = 2^{2n-2} - 2^{4n-3}) Numerator (B_{4n}/{4n}).」という式があるらしいね (参考) https://en.wikipedia.org/wiki/Bernoulli_number#Use_in_topology Bernoulli number Contents 6 Applications of the Bernoulli numbers 6.5 Use in topology Use in topology The Kervaire–Milnor's formula for the order of the cyclic group of diffeomorphism classes of exotic (4n − 1)-spheres which bound parallelizable manifolds involves Bernoulli numbers. Let ESn be the number of such exotic spheres for n >= 2, then ES_n = 2^{2n-2} - 2^{4n-3}) Numerator (B_{4n}/{4n}). The Hirzebruch signature theorem for the L genus of a smooth oriented closed manifold of dimension 4n also involves Bernoulli numbers.
573 名前:132人目の素数さん [2021/03/02(火) 13:35:15.51 ID:brRFu6nO.net] >>528 >玉川氏が、つい >「査読過程は墓場まで持っていく」 >と喋ったらしいけど >これがきっと本音 自分は、論文投稿の経験ないんか? だれが査読したとかさ 査読過程とかさ それ、基本的に公開しないぜ そんなこともしらんのかな? 維新さんは、落ちこぼれて 査読のある論文書いたことないんでしょ? そっから、 スカタンな議論になっているよね (参考) https://kotobank.jp/word/%E3%81%99%E3%81%8B%E3%81%9F%E3%82%93-540828 コトバンク すかたん(読み)スカタン デジタル大辞泉の解説 1 予想や期待を裏切られること。当てはずれ。「すかたんを食わされる」 2 見当違いなこと、間の抜けたことをする人をののしっていう語。とんま。まぬけ。すこたん。「このすかたんめ」「すかたん野郎」
574 名前:132人目の素数さん [2021/03/02(火) 13:54:20.80 ID:brRFu6nO.net] >>530 >理解しきったから正しいと言い切ったんですよね >まさかに理解もせずに正しいと博打うったわけじゃないですよね? それ、正しい論文か、正しくない論文か? その判断は、論文読む前にするのが、普通でしょ? 大論文の場合は特に いま、眼前に600ページの大部の論文がある 読むに値するかどうか? せめて、チラ見はするよね。(正しくても、自分の仕事に無関係な場合もあり 「正しくない(と思われる あるいは 言われている)論文」など、読んでも、あまり意味ないでしょ だから、正しい論文か、怪しそうか、その判断は、読む前にすべき プロ数学者たちにとっては、当然でしょ G先生の言では、IUTはプロ数学者でも数百時間というから、読んだ挙句にゴミ論文じゃねぇ、あなた だから、「査読が終わった」って情報が必要になるのです
575 名前:132人目の素数さん [2021/03/02(火) 15:39:31.78 ID:T8orG7Ij.net] つかな 証明出来てないなら諦めろよ猿 別に証明に失敗したら処刑されるわけじゃ無いだろ あー残念だったねってだけのことだろ 証明の穴があるなら穴を塞ぐか、出来ないなら諦める 最初からそういう全世界共通のルールだろ なんで望月だけ例外なんだよカス野郎
576 名前:Schlecht mailto:sage [2021/03/02(火) 17:51:22.87 ID:ozN2NqQb.net] >>533 異種球面より球面の安定ホモトピー群の方が本質的だよ https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres https://en.wikipedia.org/wiki/J-homomorphism Image of the J-homomorphism If r=4n-1 is 3 mod 4 and positive the image is a cyclic group of order equal to the denominator of B_{2n}/4n, where B_{2n}} is a Bernoulli number.
577 名前:Schlecht mailto:sage [2021/03/02(火) 17:56:22.46 ID:ozN2NqQb.net] >>534 上ずってるね 落ち着こう 同じ分野の人が誰一人として理解できないのに、 査読が通ってるっておかしくないかい? それこそ「すかたん」だよ 見事に期待を裏切ってる。当てはずれ。 そんなものを日本の誇りっていうのは恥ずかしいよね? >>535 せっかくプレプリント出したんだから、 皆が理解したところで査読を通せばいいのになぜそうしないんだい? 何を焦っているんだい?落ち着こうよ
578 名前:132人目の素数さん mailto:sage [2021/03/02(火) 20:50:05.76 ID:1Nnlc+Ad.net] >>538 皆が理解するのを待っていたら俺は寿命が来るなw 皆が理解するなんて前提条件はいらないしナンセンスだ
579 名前:132人目の素数さん [2021/03/02(火) 20:57:04.49 ID:dcDWWgNW.net] 人が理解することを前提にしないのであれば、リーマン予想は解決している
580 名前:132人目の素数さん [2021/03/02(火) 21:09:22.52 ID:2QlGlFWH.net] 誰が解いたんですか?
581 名前:132人目の素数さん [2021/03/02(火) 21:11:08.48 ID:2QlGlFWH.net] dcWWgNW氏が…?
582 名前:132人目の素数さん [2021/03/02(火) 21:1
] [ここ壊れてます]
583 名前:2:09.45 ID:2QlGlFWH.net mailto: dcDWWgNWだった…/// [] [ここ壊れてます]
584 名前:132人目の素数さん [2021/03/02(火) 21:13:08.45 ID:2QlGlFWH.net] 誰が解決したんですか…? ま、さ、か、、、?、、、
585 名前:132人目の素数さん [2021/03/02(火) 21:20:59.87 ID:6/6rJGrD.net] 高木様…?…
586 名前:132人目の素数さん [2021/03/03(水) 08:18:47.39 ID:IHjOYfy9.net] >>538 >同じ分野の人が誰一人として理解できないのに、 >査読が通ってるっておかしくないかい? ・同じ分野をどう定義するかの問題はあるも ・反例が、多数あるよね ・同じ分野の人で、理解できたという人多数、具体名は揚げないけど ・もし、査読者が、同じ分野の人だとしたら?www ・普通は査読者は同じ分野の人www。矛盾!QEDwww
587 名前:Schlecht mailto:sage [2021/03/03(水) 09:04:12.19 ID:IBGui4qx.net] >>546 >同じ分野をどう定義するかの問題はあるも 同じ分野=数論幾何 同じ分野=「IUTを理解できる人」では同語反復なので無意味
588 名前:Schlecht mailto:sage [2021/03/03(水) 09:04:42.42 ID:IBGui4qx.net] >>546 >反例が、多数あるよね >同じ分野の人で、理解できたという人多数、具体名は揚げないけど 他人を理解させられない時点で無意味 星氏はショルツに何もいえませんでした 山下氏もフェセンコ氏も同じ まったく理解してないから何もいえないんでしょう
589 名前:Schlecht mailto:sage [2021/03/03(水) 09:05:53.74 ID:IBGui4qx.net] >>546 >もし、査読者が、同じ分野の人だとしたら? >普通は査読者は同じ分野の人 「査読者」が自分の理解を他人に説明できない時点で まったく理解できていない そもそも「査読者」がいたかどうかわからない 編集者自身の「自己査読」の可能性すら否定できない >www World Wide Webがどうかしましたか?
590 名前:Schlecht mailto:sage [2021/03/03(水) 09:07:22.67 ID:IBGui4qx.net] >>546 >矛盾!QED なぜ、そんなにむきになるんですか? IUTが間違ってると、 日本が滅びるんですか? 貴方が滅びるんですか? もしかして…「セカイ系」ですか?
591 名前:Schlecht mailto:sage [2021/03/03(水) 09:08:32.33 ID:IBGui4qx.net] フュルスト氏がなぜむきになるのかいまだにわからない
592 名前:Schlecht mailto:sage [2021/03/03(水) 09:10:08.56 ID:IBGui4qx.net] フュルスト氏がジャパンファーストに固執する理由も全然わからない https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E7%AC%AC%E4%B8%80%E5%85%9A
593 名前:Schlecht mailto:sage [2021/03/03(水) 09:12:19.73 ID:IBGui4qx.net] なんかやってることがこの人そっくり https://ja.wikipedia.org/wiki/%E6%A1%9C%E4%BA%95%E8%AA%A0_(%E6%B4%BB%E5%8B%95%E5%AE%B6)
594 名前:Schlecht mailto:sage [2021/03/03(水) 09:39:40.71 ID:IBGui4qx.net] そもそも根本的な問題を解決せずに、外国人攻撃しても意味ないよね…
595 名前:Schlecht mailto:sage [2021/03/03(水) 09:41:54.86 ID:IBGui4qx.net] ジャパンファースト党の人もフュルスト氏も自分を見つめなおしたほうがいいと思う
596 名前:132人目の素数さん mailto:sage [2021/03/03(水) 09:50:02.87 ID:+hWYKxQM.net] >>540 皆が、と 人が、は決定的に違う 皆が理解する必要は無いよ そんな必要は永遠に無い
597 名前:132人目の素数さん [2021/03/03(水) 10:24:54.71 ID:lWynEZ55.net] >>556 同意です 数学的に「すべての人」なんて状態は、 現実の世界では実現できないよね
598 名前:132人目の素数さん [2021/03/03(水) 10:27:51.95 ID:lWynEZ55.net] >>550 IUTアンチの人 なにがなんでも、IUTは成立しないと言いたいみたいね 日本および日本人に恨みでもあるようにねww 極左アナーキストさん 現実にプロ数学界で起きていることが 全く見えない、見ようとしない。あなたの脳内妄想が根拠のすべてでしょ (>>5 より) www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文 これで 1.いま、南出論文で、ABCの明示公式が導けるようになった 2.その応用も示されている。例えば、P53 Corollary 5.9. (Application to a generalized version of “Fermat’s Last Theorem”) 「rx^l + sy^m + tz^n = 0.」(拡張フェルマーのディオファントス) (これはP5で ”We also obtain an application of the ABC inequality of Theorem B to a generalized version of Fermat’s Last Theorem [cf. Corollary 5.9], which does not appear to be accessible via the techniques involving modularity of elliptic curves over Q and deformations of Galois representations that play a central role in [Wls].”とアピールしています) 3.南出論文を読むと、elliptic curve ”Legendre form “y2 = x(x−1)(x−λ)””に 望月IUT理論を(ちょっと改良して)適用すると、定量評価ができて、いろいろなディオファントスの明示不等式がでる 4.だから、もし南出論文が本当なら(その可能性は非常に高い)ば、ディオファントスの分野に与える影響は大きい かつ、望月IUT理論は、まだ改良の余地大と見ました 5.なので、プロ数学者の皆さん Promenade in IUT(>>2 )とか、国際会議やって、メシのたね(論文ネタ) みんなでIUTを突いて遊ぼうってことじゃんw 分かってないね。IUTを突いたらおいしいってね まずいものを突いても仕方ないんだよ
599 名前:132人目の素数さん [2021/03/03(水) 10:46:55.11 ID:lWynEZ55.net] >>549 >そもそも「査読者」がいたかどうかわからない >編集者自身の「自己査読」の可能性すら否定できない 1.妄想も、ここまで来たら病気でしょ 2.そのそも、「査読が通ってPRIMS掲載に決定」というのは、普通に考えて、RIMS内部の編集委員会とか会議で決めるもの 出席者は玉川先生以外にもいて、出席者の決をもって会議は進むもの 当然、議事録があるだろうし、望月IUTについて、だれが査読して(いつ頼んで、どんな査読結果だったか返信記録もあるはず) 内部には、全部記録があって、それが編集会議に出されて、出席者は査読結果を知って、OKを出すものですよ 3.いまどき、ゴマカシや隠し事はすぐばれる(余談ですが、どこかの国で首相の息子がお役人とメシ食ったって話も、隠し事すぐばれる時代 ブン春ですか? 結構な値段で買ってくれるの?w IUTスキャンダルねた? さあ、いくらでしょうねw) 維新さん、良いネタ持っているなら、ブン春に持ち込みなさいよww 4.玉川先生の昨年4月の記者会見は、当然ちゃんと内部の会議の決定を経て、RIMSの長の(こんなプレス発表しますの)了解のもと そんなん、社会人の常識ですよ。玉川先生の一存でもなんでもないよね まあ、IUTアンチの妄想も、 やれやれですなwww
600 名前:Schlecht mailto:sage [2021/03/03(水) 10:51:56.05 ID:IBGui4qx.net] >>558 >なにがなんでも、IUTは成立しないと言いたいみたいね いえ そんなことは全くありませんよ IUTについて専門家の理解が得られるなら、正しいと認めます ただ何年たってもそういう状況にならないから、無理だろうと思ってるだけです もちろん、ひっくり返る可能性はゼロではありませんが
601 名前:Schlecht mailto:sage [2021/03/03(水) 10:55:06.13 ID:IBGui4qx.net] >>588 >日本および日本人に恨みでもあるようにね 恨み?ないですよ 日本国政府には不信感はありますけどね でもそれはどこの国でも同じでしょう 日本に来る中国人で 中国政府とその要人を良く言う人に 出会ったことがありませんから
602 名前:Schlecht mailto:sage [2021/03/03(水) 10:58:46.55 ID:IBGui4qx.net] >>558 >現実にプロ数学界で起きていることが全く見えない、見ようとしない。 それはフュルストさん、あなたのほうではないですか? 数論幾何のコミュニティですらIUTは理解されず受け入れられていない それが現実ですよ RIMSの会議の参加者ですら、別にIUTを理解し受け入れてるわけではない 望月の不等式には関心があるが、IUTでそれが証明されたとは思っていない それも現実ですよ
603 名前:Schlecht mailto:sage [2021/03/03(水) 11:09:33.50 ID:IBGui4qx.net] >>558 >いま、南出論文で、ABCの明示公式が導けるようになった それはCor3.12を前提した上での結果なので、 その先の証明でIUT理論を使ったわけではないですよ >その応用も示されている。 それもさらに先の話であって、Cor3.12の正当性とは無関係ですね >望月IUT理論を(ちょっと改良して)適用すると、 >定量評価ができて、いろいろなディオファントスの明示不等式がでる 「望月IUT理論を(ちょっと改良して)適用すると」ではなく 「望月の不等式(Cor 3.12)を利用して、その先をちょっと改良すると」ですね したがって、Cor3.12を導くまでのIUT理論についてはノータッチ 理解できてないものはいじれないですからね 南出氏だけでなく、星氏も山下氏も >南出論文が本当ならば、(その可能性は非常に高い) >ディオファントスの分野に与える影響は大きい Cor3.12を前提した南出論文が正しくても、 肝心のCor3.12が不成立だと無意味ですけどね つまり全ては「望月予想」である「望月の不等式」(Cor3.12)の正否にかかってる また、仮に望月予想が正しいとしても、 その証明が望月とは別の人によってなされた場合 ABC予想の解決はその人によってなされたのであって 望月は単に有用な貢献としたという程度にしか見られないでしょうね ABC予想をした人は、ABC予想を前提した上で解決される諸問題の 解決を行ったとは見られないのと全く同じく それが評価として適切か否かは別の問題としてありますが そういう難しいことはあなたは全く言及してないんでしょう?
604 名前:Schlecht mailto:sage [2021/03/03(水) 11:11:56.68 ID:IBGui4qx.net] >>558 >みんなでIUTを突いて遊ぼうってことじゃん >分かってないね。IUTを突いたらおいしいってね おいしいのは「IUT」ではなく「望月の不等式」です 皆さん「望月の不等式」を突いて遊んでるのであって 「IUT」についてはほったらかし、というのが現実です
605 名前:Schlecht mailto:sage [2021/03/03(水) 11:18:20.30 ID:IBGui4qx.net] >>559 >いまどき、ゴマカシや隠し事はすぐばれる 実際ばれてますね この期に及んで、誰も理解できてないってことが 望月氏はいろいろと言い訳してますけど、無意味ですね 誰にも理解されない理論には価値がない 玉川氏が「査読過程は墓場まで持っていく」といったのは 暗に自分は本当は賛同していないといいたかったんじゃないかな そうでなければわざわざいうことではないですから お気の毒です
606 名前:Schlecht mailto:sage [2021/03/03(水) 11:33:17.51 ID:IBGui4qx.net] もし、IUTの記載を全部すっ飛ばして Cor3.12を「望月の不等式」として提示した上で そこからABC予想が導ける、という論文を書いた としても十分査読は通ったと思う (有意義な予想の提示だから) ただ、それではABC予想を解決したことにならない 望月氏はどうしてもABC予想を解決したといいたかったんでしょう
607 名前:132人目の素数さん [2021/03/03(水) 12:09:09.05 ID:ve5yflbx.net] つかな 証明出来てないなら諦めろよ猿 別に証明に失敗したら処刑されるわけじゃ無いだろ あー残念だったねってだけのことだろ 証明の穴があるなら穴を塞ぐか、出来ないなら諦める 最初からそういう全世界共通のルールだろ なんで望月だけ例外なんだよカス野郎
608 名前:132人目の素数さん [2021/03/03(水) 14:01:58.41 ID:lWynEZ55.net] >>566 (引用開始) もし、IUTの記載を全部すっ飛ばして Cor3.12を「望月の不等式」として提示した上で そこからABC予想が導ける、という論文を書いた としても十分査読は通ったと思う (有意義な予想の提示だから) (引用終り) おじさん、笑える あんた、Cor3.12を読まずに、妄想書いたでしょ? Cor3.12の記述は下記の通りです Theorem 3.11.を前提にした記述だし、”Θ-Pilot”を使った不等式だから、Cor3.12はそれ以前を読まないとダメですよ (なお、ショルツェ氏は、ホッジシアターが超難しいと、白状しましたね) www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf [3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18) P173 Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose that we are in the situation of Theorem 3.11. in the multiradial representation of Theorem 3.11, (i), which we regard as subject to the indeterminacies (Ind1), (Ind2), (Ind3) described in Theorem 3.11, (i), (ii). for the procession-normalized mono-analytic log-volume of the image of a q-pilot object - |log(Θ)| >= -|log(q)|
609 名前:132人目の素数さん [2021/03/03(水) 14:18:29.89 ID:du5lAlR5.net] >>556 俺の主張とは関係ないな 人が理解することを前提としないのであれば、リーマン予想はコンピュータで試したら正しかった、とか公理にしよう、とか何となく正しそうだから正しい、とか一個くらい外れてそうだから正しくない、とか、 個々人が思い思いの理由をつければ解決する
610 名前:Schlecht mailto:sage [2021/03/03(水) 15:00:24.08 ID:IBGui4qx.net] >>568 "予想"としてステートメントを語るだけなら、必要なのは"設定"だけ つまりIUT理論の定理群は一切不要
611 名前:Schlecht mailto:sage [2021/03/03(水) 15:01:37.51 ID:IBGui4qx.net] IUT理論(宇宙際タイヒミューラー理論)ブームに沸く人たち https://anond.hatelabo.jp/20200629153146 実に興味深い
612 名前:Schlecht mailto:sage [2021/03/03(水) 15:09:25.63 ID:IBGui4qx.net] もう随分昔のことになるが Adams予想の解決なんて 一般人は知りもしないだろう pantodon.shinshu-u.ac.jp/topology/literature/J.html
613 名前:Schlecht mailto:sage [2021/03/03(水) 15:25:31.86 ID:IBGui4qx.net] 数学に興味のない人が自慢だけのために数学の話をするのは空しいよね
614 名前:Schlecht mailto:sage [2021/03/03(水) 15:26:14.27 ID:IBGui4qx.net] そもそも自慢って空しいよね しかもそれが本当でないならなおさら
615 名前:132人目の素数さん mailto:sage [2021/03/03(水) 15:30:14.89 ID:IBGui4qx.net] 数学と「日本」は無関係
616 名前:132人目の素数さん mailto:sage [2021/03/03(水) 15:31:05.70 ID:IBGui4qx.net] 数学と「国家」も無関係
617 名前:Schlecht mailto:sage [2021/03/03(水) 15:32:30.49 ID:IBGui4qx.net] スポーツに「国家」を持ち込むなら、オリンピックは有害無益
618 名前:Schlecht mailto:sage [2021/03/03(水) 15:33:30.92 ID:IBGui4qx.net] ICMはオリンピックではないし、そうなってはならない
619 名前:Schlecht mailto:sage [2021/03/03(水) 15:39:10.22 ID:IBGui4qx.net] >>569 定理の証明とは感情的理由ではなく 公理∧¬定理が矛盾する証拠である
620 名前:132人目の素数さん [2021/03/03(水) 15:53:47.17 ID:lWynEZ55.net] >>575-576 >数学と「国家」も無関係 >スポーツに「国家」を持ち込むなら、オリンピックは有害無益 1.オリンピックがプロ化したのはいつからだったかな? 2.TVの放映権が絡んでいるとか。米TVが巨額のお金で放映権を払う。視聴率を上げるためにプロ化されたらしい 3.真夏の暑いときにマラソンとかやる。米国の夏休みの放映に合わせるため 4.プロ化したから、マラソン日本新に1億円の懸賞金出るそうな 5.数学の似たようなもの。いまどき牧歌的に、個人が研究してもね。それフェルマーの時代でしょ? 6.数学も、プロ化して、お金が出る方へ。ロシアの数学者、ソ連崩壊により、高額報酬の数学研究所などへ移ったよね 7.日本でも、国立大学などは法人化されて、予算獲得に「ひーひー」言っているそうな 要するに、維新さんの極左”アナーキズム”など 夢のまた夢 現実とは合いません 「IUTの現状認識」に同じ
621 名前:Schlecht mailto:sage [2021/03/03(水) 16:27:37.18 ID:IBGui4qx.net] >>580 フュルストさんの国家第一"ファシズム"って、誰が得するんですか?
622 名前:Schlecht mailto:sage [2021/03/03(水) 16:29:36.66 ID:IBGui4qx.net] >>580 >数学も、プロ化して、お金が出る方へ。 誤解でしょう お金でいいアイデアが出るなら苦労しませんよ 必要なのはお金ではなく時間 お金は自分の代わりに考えてくれませんから
623 名前:Schlecht mailto:sage [2021/03/03(水) 16:34:57.41 ID:IBGui4qx.net] フュルストさんは東京オリンピック開催を望んでます?
624 名前:Schlecht mailto:sage [2021/03/03(水) 16:36:10.96 ID:IBGui4qx.net] 私はコロナが蔓延してる現状では無理だと思いますね
625 名前:Schlecht mailto:sage [2021/03/03(水) 16:37:44.01 ID:IBGui4qx.net] もし政府が開催を強行しようとすれば崩壊するでしょうね
626 名前:Schlecht mailto:sage [2021/03/03(水) 16:39:40.08 ID:IBGui4qx.net] 去年からのコロナに対する政府の対応で 政府が国民のためにあるのではないことが 明らかになったとおもいますよ
627 名前:Schlecht mailto:sage [2021/03/03(水) 16:40:27.96 ID:IBGui4qx.net] 議会制では民主主義は実現できなかった、ということでしょう
628 名前:Schlecht mailto:sage [2021/03/03(水) 16:44:27.33 ID:IBGui4qx.net] 日本人は「自分のみファースト」という戦略が 最低最悪だということを理解しましょう
629 名前:Schlecht mailto:sage [2021/03/03(水) 16:46:57.73 ID:IBGui4qx.net] そもそもただのスポーツ競技会にすぎないオリンピックで 国のチームを作るとか国旗を掲揚するとか国歌を演奏するとか 全く必要ないです
630 名前:Schlecht mailto:sage [2021/03/03(水) 16:48:12.90 ID:IBGui4qx.net] 単純に全世界一律で成績だけで出場者を決めればいいし 個人のみを表彰すればいい 団体競技も国家と全く無関係にチーム編成すればいい なんでそうしないんですか?
631 名前:132人目の素数さん [2021/03/03(水) 18:06:48.17 ID:lWynEZ55.net] >>582 >お金でいいアイデアが出るなら苦労しませんよ >必要なのはお金ではなく時間 下記「大坂なおみが約40億円で1位」ちょっと古いですけど TV見ていたら、プロコーチ雇ってトレーニングしているとか 複数人のチームを作っているそうですね。コーチングスタッフに数億払っても、おつり 南出先生が、英国フェセンコ先生のところに留学して、IUTの明示公式論文をまとめた いまどきなら、zoomとかで代用できそうにの思うが、やっぱ留学の方が良いのでしょうねぇ〜、人間だもの じゃ、その留学費用はだれが? 飛行機代に、英国での宿代や生活費、給料とか、推定ですが1千万円は軽く超えるかも? いまどきの数学も、やっぱお金ないとね 良い共同研究相手をゲットしないと、一人では不利でしょうね、違いますかね? まあ、望月先生にはK先生という焼肉仲間が、 個人ゼミやってくれたそうですけどねw (参考) https://www.thetennisdaily.jp/news/off-court/2020/0041522.php テニスデイリー 2020.08.20 17:00 大坂なおみが約40億円で1位。女子アスリート年収 テニス選手が上位独占 https://image.thetennisdaily.jp/news/assets/12a189efc7c44b792edd1f07d7711f27d5d8dac9.jpg
632 名前:132人目の素数さん [2021/03/03(水) 18:19:16.70 ID:lWynEZ55.net] >>568 >(なお、ショルツェ氏は、ホッジシアターが超難しいと、白状しましたね) (追加) "Hodge theater"は、Theorem 3.11にさんざん出てきますよ 「ホッジシアターが超難しい」なら、Theorem 3.11から無理じゃね? (参考) www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf [3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18) P153 Theorem 3.11. (Multiradial Algorithms via LGP-Monoids/Frobenioids) Fix a collection of initial Θ-data be a collection of distinct Θ±ellNF-Hodge theaters [relative to the given initial Θ-data] — which we think of as arising from an LGP-Gaussian log-theta-lattice [cf. Definition 3.8, (iii)]. for the D-Θ±ellNF-Hodge theater determined, up to isomorphism, by the various n,mHT Θ±ellNF, where m ∈ Z, via the vertical coricity of Theorem 1.5, (i) [cf. Remark 3.8.2] P155 as data which has not yet been subjected to the indeterminacies (Ind1), (Ind2) discussed in (i)] and the corresponding data arising from each Θ±ellNF-Hodge theater n,mHT Θ±ellNF, i.e.: P159 Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below.
633 名前:Schlecht mailto:sage [2021/03/03(水) 18:19:22.22 ID:IBGui4qx.net] >>591 >留学費用はだれが? 自分で稼いでください
634 名前:Schlecht mailto:sage [2021/03/03(水) 18:21:34.69 ID:IBGui4qx.net] >>591 数学はスポーツではないですよ
635 名前:Schlecht mailto:sage [2021/03/03(水) 18:22:16.83 ID:IBGui4qx.net] お金で数学はできませんよ
636 名前:Schlecht mailto:sage [2021/03/03(水) 18:24:22.57 ID:IBGui4qx.net] アインシュタインは贅沢は嫌いで、質素な生活をとくに好んだ。 アインシュタインお気に入りの哲学者スピノザがレンズ職人として生活したように、 鉛管工にでもなって世
637 名前:送ることが夢であった。 [] [ここ壊れてます]
638 名前:Schlecht mailto:sage [2021/03/03(水) 18:26:28.50 ID:IBGui4qx.net] 「(ガウスは)数学の教授になったことはなく、教師となることも嫌った」 数学は教わるものじゃない、と思っていたんだろう 間違ってない
639 名前:132人目の素数さん [2021/03/03(水) 18:26:35.66 ID:lWynEZ55.net] >>593 >>留学費用はだれが? >自分で稼いでください ご心配なく 数学エリートには、手厚い資金の保護があります テニス同様にね(下記の通りです) 多分ショルツェ氏の同様でしょう 参考(>>5 より) www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文 P8 Acknowledgements The third author was supported by JSPS KAKENHI Grant Number 18K03239; the fourth author was supported by JSPS KAKENHI Grant Number 20K14285. This research was supported by the Research Institute for Mathematical Sciences, an International Joint Usage/Research Center located in Kyoto University, as well as by the Center for Next Generation Geometry [a research center affiliated with the Research Institute for Mathematical Sciences].
640 名前:132人目の素数さん [2021/03/03(水) 18:27:27.97 ID:nsvzTfKt.net] >>592 ホッジ劇場そのものが難しいとは言ってない >>262 を読めば分かる
641 名前:Schlecht mailto:sage [2021/03/03(水) 19:05:15.23 ID:IBGui4qx.net] Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater, together with a highly non-obvious notion of isomorphisms of such しかし、IUTの論文を読むと、ホッジ劇場の非常に難しい概念と、 そのような同型性についての非常に自明ではない概念が提示されます。 I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters. ホッジ劇場の同型性の概念が非常に甘いことが問題なのですが、 私はホッジ劇場の同型性の中でファンクショナルな面白い集合を作るのは難しいと思っています --- フュルスト氏は数学だけでなく英語も苦手なので、 読める単語だけ拾って「ホッジ劇場は難しい」と誤読したが 正しく読めば、ショルツェは、 「ホッジ劇場の概念自体に根本的な問題がある」 と指摘してることが分かる
642 名前:Schlecht mailto:sage [2021/03/03(水) 19:12:50.34 ID:IBGui4qx.net] lax 意味 厳しくない、手ぬるい、だらしのない、ゆるい、目のつんでない、 力の弱い、正確でない、あいまいな、ゆるんでいる つまり ”the problem being the very lax notion of isomorphisms of Hodge theaters.” は、分かりやすくいえば 「問題は、ホッジ劇場の同型性の”実にいいかげんな考え”によるものだが」 ということ
643 名前:132人目の素数さん mailto:sage [2021/03/04(木) 00:28:26.00 ID:CBK1HCBx.net] 結局set theoryをロクに理解してない人達が安易な操作を許容して破綻してるっていうオチなんだろうね。 ちなみにショルツさんはその手の話のプロでもあります。
644 名前:132人目の素数さん [2021/03/04(木) 01:07:55.47 ID:3dZXhybh.net] 否定派の人、特に数学のプロの人は、 望月本人に何がだめなのか教えて差し上げて下さい。 望月ブログに 相手の誤解という肝心な「入力データ」 =「誤解学の研究対象」 という表現があったように、 そもそも何がだめなのかの情報がないと、建設的な議論は見込めません。 忙しいとか、めんどくさいとかで、それすらしないのは学問の放棄ではないでしょうか。 でなければ、否定する根拠はないけどとりあえず否定しているということにほかなりません。
645 名前:{来査読が通ったというは、学問的な決着がついたと見るとこですが、 ショルツというビッグネームの異議について表だって解決はしておらず、今回査読を通したのは、 単に明示的な記録に残すためであったという側面が否めないため、 IUTの正否はまだ保留された状態に見受けられます。 IUTは荒唐無稽の空論なのか、ブレークスルーになり得る革新的な理論なのか、 何かしらの決着がつくことを願います。 [] [ここ壊れてます]
646 名前:132人目の素数さん [2021/03/04(木) 04:24:42.49 ID:mWCz6m4r.net] 学問が解らないバカこそが査読査読と連呼する 査読論文撤回世界一は日本の理系研究者
647 名前:132人目の素数さん [2021/03/04(木) 04:26:17.37 ID:mWCz6m4r.net] 査読者以外で論文の裏書きが出来る人間を呼んで下さい^^
648 名前:Schlecht mailto:sage [2021/03/04(木) 07:31:09.79 ID:Mt/3lOIw.net] >>603 >否定派の人 ・・・ではなく非肯定派ですね 非肯定 「正しいとはいえない」 否定 「間違ってる」 全く違いますね まず違いを理解しましょう
649 名前:Schlecht mailto:sage [2021/03/04(木) 07:31:34.32 ID:Mt/3lOIw.net] >>603 >望月本人に何がだめなのか教えて差し上げて下さい。 「だめ」=「間違ってる」ではなく 「だめ」=「分からない」とした場合 ショルツはモノドロミーと明確に教えた筈です モノドロミー 望月には理解できませんか? 望月、数学者ですよね?
650 名前:Schlecht mailto:sage [2021/03/04(木) 07:32:17.25 ID:Mt/3lOIw.net] >>603 >望月ブログに >相手の誤解という肝心な「入力データ」 > =「誤解学の研究対象」 >という表現があったように、 >そもそも何がだめなのかの情報がないと、 >建設的な議論は見込めません。 議論したいなら、まず望月がIUTを建設してくださいね なにも建設できていない、というのが 望月以外の数学者の意見ですから なにが「できていない」のか ショルツはモノドロミーという言葉で 何のあいまいさもなく的確に指摘しました デュピュイがなんかいってるようですが モノドロミーは一切考えなくていい と言い切るのならその証拠を何のあいまいさもなく 的確に示してくださいね それが理論の建設です
651 名前:Schlecht mailto:sage [2021/03/04(木) 07:32:58.33 ID:Mt/3lOIw.net] >>603 >忙しいとか、めんどくさいとかで、 >それすらしないのは学問の放棄ではないでしょうか。 そうですね 望月はモノドロミーに対して何も対応していない 学問の放棄ですね あなたから直接メールで望月にそういったらいかがですか?
652 名前:Schlecht mailto:sage [2021/03/04(木) 07:33:43.45 ID:Mt/3lOIw.net] >>603 >でなければ、否定する根拠はないけど >とりあえず否定しているということにほかなりません。 フュルスト氏は、そもそも非肯定を否定と誤解してますね 肯定する根拠がなければ肯定しません ただそれだけのことです 肯定してほしいなら望月自身が根拠を示してください 仕事する必要があるのは望月であってショルツではありません
653 名前:Schlecht mailto:sage [2021/03/04(木) 07:34:17.89 ID:Mt/3lOIw.net] >>603 >本来査読が通ったというは、学問的な決着がついたと見るとこですが、 査読=学問的な決着、としたいのであれば プレプリントの段階で、同業者の理解を取り付ける 根回しをしましょうね 根回しができない段階で、編集長の独断で査読を通しても 学問的な決着にはならないことを理解しましょうね
654 名前:Schlecht mailto:sage [2021/03/04(木) 07:35:19.56 ID:Mt/3lOIw.net] >>603 >ショルツというビッグネームの異議について >表だって解決はしておらず、 ショルツを呼びだしたのは森重文ってことは理解してますか? 森重文は問題の解決にはショルツというビッグネームの理解が必要だ と考えたからわざわざ呼び出したわけですね で、結局、望月は、ショルツにIUTを理解させることに失敗した 誰のせいですか?ショルツのせいですか? 違いますよ 望月自身のせいですよ 都合の悪いことを他人に押し付ける「外部化」は 問題を全く解決しないのでやめてくださいね サクライマコトの韓国・朝鮮人排撃と全く同じですから
655 名前:Schlecht mailto:sage [2021/03/04(木) 07:35:56.27 ID:Mt/3lOIw.net] >>603 >今回査読を通したのは、 >単に明示的な記録に残すためであった >という側面が否めないため、 記録はすでにプレプリントとして残ってます 査読を通したのは、文科省に 「ABC予想は解決しました!」 といいたいためだけでしょう つまりお金のためですよ お金は人間を狂わせる麻薬ですね
656 名前:Schlecht mailto:sage [2021/03/04(木) 07:36:58.90 ID:Mt/3lOIw.net] >>603 >IUTの正否はまだ保留された状態に見受けられます。 保留=「正しいとは認められていない」=非肯定、という意味なら 全く正しいです だれも「否定」=「間違ってる」とはいってません ショルツの指摘は 「ホッジ劇場の同型の考えが緩すぎて、なんでもありになってしまう それではモノドロミーのせいで、望月の不等式は導けず 何の意味もない自明な不等式しかでない 望月の不等式を導くには考えを明確にする必要があるが 個人的には、まあ無理だと思うが、できるというならやってみて」 というものですね 挑発?かもしれませんね で?だったら、逃げるの? 何も対抗する手段がないなら、逃げるしかないですね 逃げたら?
657 名前:Schlecht mailto:sage [2021/03/04(木) 07:38:50.53 ID:Mt/3lOIw.net] >>603 >IUTは荒唐無稽の空論なのか、 >ブレークスルーになり得る革新的な理論なのか、 >何かしらの決着がつくことを願います。 眞子様の件に関する天皇陛下の発言とそっくりですね フュルスト氏が天皇陛下なら望月は小室圭ですか じゃ、フュルスト氏は望月にメール書いたら如何ですか? 「日本の誇りを取り戻すために ショルツからの疑義を晴らしてください ドイツに勝利してください!!!」 実に上ずってますね 何時から数学はサッカーのワールドカップになったんですか?
658 名前:132人目の素数さん [2021/03/04(木) 09:33:22.75 ID:DY2TmcDc.net] 否定でなく非肯定ということであれば、何も言うことはありません。 新しいレポートも執筆中ということなので、 望月側の布教活動とやらに期待します。 IUTの正否または意義は歴史が評価することになるでしょう。 それが、1年後なのか、100年後なのかは分かりませんが。
659 名前:132人目の素数さん [2021/03/04(木) 10:11:55.56 ID:GswT501p.net] >>616 >否定でなく非肯定ということであれば、何も言うことはありません。 同意です。私には、言うべきことはありますがw >IUTの正否または意義は歴史が評価することになるでしょう。 >それが、1年後なのか、100年後なのかは分かりませんが。 同意です 個人的には1年と見ています ”望月側の布教活動”と書かれていますが、”望月側”の人数増加しています
660 名前:132人目の素数さん [2021/03/04(木) 13:19:58.49 ID:OT7AHCcR.net] >>602 それ以前に、そもそも「証明のギャップ」の問題性を分かっていない気もする 「定義は先に来るのではなく、後から来る」という96年前に亡くなったオリヴァー・ヘヴィサイドの発言のように、100年前までの「厳密性はおざなりだが分かった気になれる数学」を続けてるのではないだろうか だから論理の飛躍があることが現代数学では問題になるということが認識できない
661 名前:132人目の素数さん [2021/03/04(木) 15:46:28.40 ID:GswT501p.net] >>614 維新さん、いやアンチIUTさん、(日常の)ロジックがメタメタですよね <論点を整理しましょう> 論点1.査読はあったのか? 論点2.ショルツェ氏は、最初「Cor3.12までは自明で、Cor3.12の証明が分からない」と言っていた がしかし、WoitブログでのDupuy氏との論争で、突然”extremely difficult notion of a Hodge theater”(「ホッジ劇場が超難しい」)とか言い出したよね(>>211 ) 論点3.ショルツェ氏の方が正しく、IUT側の多数の数学者たちは全員間違い? 論点4.望月IUTが特別扱い? <各論点について> 1)論点1について、 ・下記woitブログのOP氏が、初期にIUTレフェリーチームへの参加打診があったが断ったとあります。(なお、OP氏は多分外国人ではないかと思われます) つまりは、「the referee team for the IUT papers」なるものが存在し、OP氏は辞退したけれども、査読は行われたであろうことは確かでしょう (参考) https://www.math.columbia.edu/~woit/wordpress/?p=11723 Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit OP says: April 18, 2020 at 4:41 pm I was asked early on to be on the referee team for the IUT papers. I have great respect for Mochizuki’s mathematical talent, and no doubt in the sincerity of his belief that he has a proof of the main result. But I could see that the referees would not only
662 名前:have to check the details of an extremely long work written in a very obscure style (which didn’t provide insightful reasons for confidence in the approach being used). OP says: April 18, 2020 at 8:49 pm Just to clarify: I wasn’t a referee on the IUT papers, but rather was invited to serve as one, and I declined (giving the editorial board my recommendation for how I thought would be best to proceed). つづく [] [ここ壊れてます]