Inter-universal geometry と ABC 予想 46

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ Inter-universal geometry と ABC予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/

>>463
>これからだよ

そんな事言いだしたら他の全ての有象無象の数学理論も
皆「これから」の余地を持ってる

>>469
>ワイルダーみたいに何年もかかりっきりでとく方が普通でね。
>数学の場合。

ワイルズの仕事は非可換類体論という数学に
新しい風景を与えた
IUTにはそういう事がまだない

解くのは何年も掛かるのは分かる。
問題は著者いわく自明というくらい簡単なはずの
系3.12の解説を8年間で誰も為し得ていないという点。

そのことは周囲の理解者とやらが
自身の組織内での立場の為に著者の顔色を伺っているに過ぎず
証明がそこには存在しない事を確信させる。

>>466
査読するのに8年かかってるのだから、
理解するのも同じくらいかかるでしょ。
当然。

>>472
証明が成功してるなら、まったく、新しい風景は提示されてんじゃん。
見れる人が少ないだけでしょ。

>>464
こりゃまたド偉い皮肉

>>466
可能性1.遅ればせ乍ら、そろそろ引用論文が現れる
可能性2.望月氏流天才肌構成で引用者に不親切な出来の悪い論著で望月氏以外の誰が利用しても研究鈍足せざるを得ない
可能性3.土台、応用先が狭い
可能性4.理解できている共同者は若くは無く生産性が鈍く、弟子等は弟子等で理解しきれて居ない
可能性5.実は欠失は無い物の未だ確執が有る
可能性6.実はは確執どころか未だ欠陥が有る

＞外国人研究者

望月研究室の大学院生では？

>>467
>共同研究の前にCor3.12の解説した方がよっぽど

https://twitter.com/i/web/status/1246154392216035328

望月氏の理論に否定的な特に海外の研究者の皆さんへ。
#IUTABC 理論の理解者は、ショルツ側の「誤解」だと指摘しています。
盲目的にフィールズ賞受賞者というフィルターだけを根拠に、
物事を捉え、拡散するという行為は、科学的ではありません。

この人によると、だそうです。
Cor3.12のやらの事かどうか分からないけど
あと玉川先生だっけか、そちら側の言い分では
「反論は行っていて、再反論はなかった」
みたいな事を言ってた気がする
https://twitter.com/5chan_nel (5ch newer account)

>>474
査読と理解は違うと思うよ
例えば、「有限単純群の分類」定理（下記）
”主に1955年から2004年にわたり出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成”
証明の細部は、個人では分からない
∵ コンピュータで構成された例外群多数 （人の手では無理）。それに、”計1万5000ページ以上”って、だれが全部それ読んだんだ？ｗ

だけど、「有限単純群の分類」定理、みんな 理解はできる（あるレベルの勉強をすれば）
それと同じことよ

（参考）
https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8D%98%E7%B4%94%E7%BE%A4%E3%81%AE%E5%88%86%E9%A1%9E
有限単純群の分類
(抜粋)
有限単純群の分類 (classification of the finite simple groups) とは、数学において全ての有限単純群を4つの大まかなクラスへと分類する定理である。 これらの群は、全ての有限群を構成する基本的な要素として見ることが出来る。

この分類定理の証明は、主に1955年から2004年にわたり出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成である。

>>475
>証明が成功してるなら、まったく、新しい風景は提示されてんじゃん。
>見れる人が少ないだけでしょ。

フェルマー予想と同様、ABCの命題自体は散発的なモノでしかない

単に「証明に成功する」という事だけなら
他の全てのどんな有象無象の数学理論も
それぞれの命題についてその証明は成功している

俺は読んだ

>>479
コンピューターによる証明はアルゴリズムを見て判断するだろ。
これとは性質が違う。
くだらねえなあ。

外在的な観察いくらしても、証明の成功不成功とは関係がない。

>>478
って日本語で書かれても伝わらんと思うが、
それ以前にCor 3.12の説明を求めてる大物はSSだけじゃないんだよなぁ

>>483
>証明の成功不成功とは関係がない。

数学は競技や遊びではないので
ABCの証明の成功不成功は数学的価値と関係がない

>>484
合ってる間違ってるの話はどのみちつまらない
合ってるからと言ってオリンピックのメダリストみたいに急にちやほやされる訳ではない
数学者は数学の風景にしか興味がない
新しい数学の風景、新しい数学の進むべき道、を提示すると
沢山の研究者が自然に群がってくる

再反論がないというか既に相手にされてないだけでしょう。
言ってることは要約すると論文読み直せってだけだから。

>>487
その判断は両者のやり取りの中身そのものを
実際に見ないと分からない
一般論として可能性として5chの煽りと一緒で
実際にはちゃんと説明したのに
「おめーは論文読み直せとしか反論してねーじゃんｗｗｗ」と逆に言い張られてる
だけの場合もあるから

>>479
>査読するのに8年かかってるのだから、
>理解するのも同じくらいかかるでしょ。
>当然。

補足しておくと
理解早い天才クラスがいる
そういう人は、査読に何年かかろうが同じだよ
驚くほど短期間で理解するんだよ
そうでなければ、20代30代の若さで現代数学の最前線には立てない
自分と同じと考えない方が良いと思うよ

>>488
ワラタ
一般論？可能性？
お前なに見てんの？

>>489
「理解の早い天才」と「数学を創造する天才」とは別物だけどな。
グロタンディークは他人の論文を理解する早さは決してすごくはなかった
セールがそう言ってた

>>490
日本語で理由を添えて反論すべき

このABC問題で、小保方さんの名誉回復されるとは、
一寸先は闇だな。

このスレに読んで理解したという人が8年現れてないってすごいよな。
まあ、言われてる通りなんだろう。

郡-抽象代数も行列-線形代数学も、その基礎が提示されたのは19世紀前半、徐々に体系化され教科書が出、多様に応用され数学科で教えられ、現代数学の必須要素になっていったのは19世紀末から20世紀、半世紀余も後

＞p�i数　1897年にヘンゼルによって導入された
現代数論では主要素の一つのこれは、発表後10年や20年で他研究者による多量の活用があったのか

リーマン幾何学　1854〜
一般相対性理論　1916

スキーム論
>同時代の学者たちからは戸惑いのこもった反発を受けた。
　この概念の一般性は最初は批判された。幾何学的な解釈を持たないスキームもあり、概念の把握を困難にしていた。
　この理論は緩やかに受け入れられていった。

アブストラクト・ナンセンス
　圏と関手の理論に対して行われた、中身が無く抽象的過ぎるために無意味だ、という現代数学界での長年の批判


一つも知らない想起できない、何の資格があって文句言っているのか不明な数学超外野の恥ずかしい人々

>>495
どれも説明できる理解者はその時点でいた。
説明が意味不明だという批判を受けてるのはIUTだけ。

俺には読めないが論文のリンクを貼っておこう。
http://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html

>>495
そういった概念部分の論争は既に話題から外れていて
今はCor3.12のギャップに焦点が絞られてるよ。

零は、認められるまで５００年かかったし、
集合の発見者は、精神病院で死んだ。

M先生に幸あれ。

>>499
ゼロなんて数学者が認めるか認めないか以前に商人が使ってただろ。
応用のないIUTと一緒にするのはできないね。

ショルツ側が望月の二回目の説明に反論しないのは明らかにおかしい。たぶん自信がなくなったからだ。
二回目の説明のペーパーで3.12の補足説明をつけていて、かなり明快にショルツ側の疑問に対応してる。
これに応じないのはもはや逃亡だよ。

>>500
理解できてないなら応用はできません。

つうかよく理解できてもいないくせに断言するな。アホだろ

>>502
商人が０や負数を使ってるときに彼らは数学を理解してるわけじゃなかったし、
そもそも数学サイドで０や負数を定義する方法がなかった。
今のデータサイエンティストもそう。べつに数学を完全に理解してるわけではないが応用している。

理解しないと応用できないなんてことはない。
しかもIUTでは自称理解者も応用できないと言う極めて不自然な点がある。

>>495
スキームや圏論は受け入れられるスピード早かったでしょ
あんまり古い時代はレギュレーションが違うから比較できないけど
とりあえずIUTも
スキームや圏論並みの応用が提示されてからお祭り騒ぎしたらいい
別にIUTの研究を辞めろは言ってない
現在は価値が見出されてないと言ってるだけ

マスコミはjinみたいなど素人にも取材申し込みしてそうだなw

>>498
おまえみたいなバカだけだろ

>>489
さらに補足しておくと
1)査読と、2)査読された論文の証明を読むことと、3)論文の内容を理解することと
この３つは、全く別ものということ

3)の論文の内容の理解について補足すれば
理解は、読み手のレベルに大きく依存する

分からない人は、分からない人なりに
分かっている人は、それなりに
良く分かっている人も、それなりに

ということ

>>495
>一つも知らない想起できない、何の資格があって文句言っているのか不明な数学超外野の恥ずかしい人々

全く同意見です

応用はもう尽くされたから正しいと宣言されたんじゃないか？

>>508
勝利宣言早すぎだろ
相手からの反論を待って再反論しろよ

そうだな

>>509
ちゃんと親孝行しろよ
親はいるうちが華だぞ
おめえみたいなすっとぼけ野郎にもネットに書き込みするまでに育ててくれたのは
他でもない親御さんだぞ

>>510
柏原、玉川より数学上って人、ここに居るの？

>>513
いないだろうけど
それとこれとのあんたのレスの正しさと何の関係があるの

これまでは証明が証明になっておらず、周りから理解されない理論は埋没していたのだから、
過去の歴史を振り返って非難を受けた理論が今では認められているのは自明だ

IUT以前：数学は曖昧さのないピシッとしたクリーンな世界
IUT以後：数学は曖昧で歪があるが定量的評価でなんとかできる世界

なんか対称性の破れの時のBefore/After感があるｗ

物理学における量子力学が
数学におけるIUT なのかな？

>>515
>これまでは証明が証明になっておらず、周りから理解されない理論は埋没していたのだから、
>過去の歴史を振り返って非難を受けた理論が今では認められているのは自明だ

そうそう
それと
「証明が証明になっておらず」は、時代に依存するって、だれか数学者のえらい人が書いていたな

つまり、例えば、ガウスとかコーシーとか、後の時代から見て、証明が雑とかの指摘はしようがないってね
後の時代になって、もっと厳密でかつシンプルで分かり易い別証明が出たりしてね

IUTも、きっと、そうなると思うよ
（ Kirti Joshiの ”Anabelomorphy”＆ ”p-adic Mochizukioid”（下記）は、その兆候と思う（＾＾；　）

（参考）
https://arxiv.org/pdf/2003.01890.pdf
On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305

https://arxiv.org/pdf/1906.06840.pdf
Mochizuki’s anabelian variation of ring structures and formal groups Kirti Joshi December 11, 2019

全くの門外漢だけど、加藤文元先生の本読んだ
足し算側と掛け算側の世界の誤差を計算して不等式評価するってのがなんか工学っぽいアプローチで意外だった

数論の核心に迫るにはスキーム論を拡張させる必要がありそれがIUTというのが望月さんの一番言いたい事でしょ
本当にそうかどうかは不明

IUTって書いてるヤツ多いけど、IUTTだからIUT理論なんじゃないのか？

望月の前作のp進タイヒミューラー理論は割と早く認められたのにIUTはそうなっていないのは何でだろうね

じゃあ僕先行ってますね。

ようわからんけど、もち自体がブログでIU堆肥ってかいてるからIUTと略してええんや

>>516
そんなことはない
代数的な世界に解析的な考えを持ち込んだから違和感があるだけで、元々すっきりしないことはたくさんある

望月のブログは
絶対、収穫と蒔いた種と、
を意識してる

Wikipedia上でABC定理じゃないのかABC予想のままだとか書き込みあったけれども、
Wikipediaは自由に書き換えできるぞ。
ABC定理として勝手に追加でもすればいいじゃないか。
リダイレクトでもいいんじゃないのか。
書くなら英語版にも書いてしまえ。

ABC定理の検索結果
https://ja.wikipedia.org/w/index.php?search=ABC%E5%AE%9A%E7%90%86&;title=%E7%89%B9%E5%88%A5%3A%E6%A4%9C%E7%B4%A2&go=%E8%A1%A8%E7%A4%BA&ns0=1

IUTが新しい基礎理論なら、分野によっては職を失う数学者とか出るの？

純粋な疑問なのだけど、ここに数論なり代数幾何なりの研究をしていて、ちゃんと論文を書いた事が有る人って、どれくらいいるんですか？
勿論、学位論文とかRIMS Kokyurokuとかは除きます。

門外漢だけど最近IUTの側からパーフェクトイド絡みの研究結果が
発表されたんじゃなかったっけ？
そうだとするとちゃんと応用しているしショルツの面目にも大いに関わるんじゃないの？

学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net

数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など

PS スカ友の掲示板 ttp://skype.x0000.net

>>527
むしろ逆で英語版の記事を日本語版に移すように翻訳したほうがいいと思う。
今の記事ではIUTが前面に出すぎてて意味がわからん。

>>529
そんなこと聞いちゃダメ

>>533
同意
そういう人 （数論なり代数幾何なりの研究をしていて、ちゃんと論文を書いた事が有る人）

は、ここには普通は 来ない
（因みに、おれは”数論なり代数幾何なりの研究”は全くない、ヤジウマですｗ（＾＾；　）

多分プロで、見るに見かねてはあるとしてもｗ

ショルツェさわやかすぎわろた
王子さまみたい

>>534
自分語りや真面目に数学を語る場所じゃないとわかっててゴシップ専用で気休めに見るのは普通にある
それは数学に限らない
仮に数論の人間がいたら何なのか？正しいと思いますか、理解できましたかと聞くのか？
大まかにWikipedia英語版が事実だしそれ以上語ることはないでしょ

>>533
>>534
ごめんなさい。無神経でした。

>>536
時々、自分が個人的に凄いと思っている人に対して物凄く失礼な事を言う人とかがいるので、その人達が一体何者なのかが気になっただけです。

>>536
>自分語りや真面目に数学を語る場所じゃないと
>わかっててゴシップ専用で気休めに見るのは普通にある

数学板はもっと質が高かった
全く数学科関係者じゃない人の書き込みも本来は歓迎

しかし今の数学板は「日常会話レベルのまともに根拠を
交わせないタイプの部外者」が
大量に押し寄せ、自身の稚拙な浅い数学観の披露大会になってしまった。

>>537
>時々、自分が個人的に凄いと思っている人に対して物凄く失礼な事を言う人とかがいるので、
>その人達が一体何者なのかが気になっただけです。

「誰が言ったか」なんて一切気にしてはいけない
「何を言ったか」だけを気にしろ

>>536
>大まかにWikipedia英語版が事実だしそれ以上語ることはないでしょ

数学をテストかクイズか何かと勘違いしてるのか

>>538
>しかし今の数学板は「日常会話レベルのまともに根拠を
>交わせないタイプの部外者」が
>大量に押し寄せ、自身の稚拙な浅い数学観の披露大会になってしまった。
「自分が言っている事の根拠は何か？」を常に考えるのって、理系なら学部で身に着けている筈なんですけどねえ(特に数学科)。

>>539
仰る通りです。

>>541
>「自分が言っている事の根拠は何か？」を常に考えるのって、
>理系なら学部で身に着けている筈なんですけどねえ(特に数学科)。

数学科の人間でもなければ、数学の中身に興味もなければ、
何かを考える事自体にすら興味のない人が、
大量に押し寄せて来るようになったと感じている。

そういう人は薄っぺらいモノが大好き。
権威、競争、国威、受験、資格、etc
そういうクダラナイ事の箔付けに数学のアカデミックを借りに来ただけ

つーか理系教育を受けていたら物事を論理的にエビデンスベースでしゃべれるようになる
とか考えてるのが滑稽

>>543
論理的だとかエビデンスベースとかそういうモノは知性ではない

論理ってのはフォーマリズムに過ぎない
議論の争いはエビデンスで決まらない
そういう客観的なベースに乗らない部分にこそ
知性というプロセッサーが使用される

ショルツェとタオの天才コンビが理解できないIUTを完全に理解できる望月教授の弟子は何か言ってないの？

権威ではないが賞に賞金額がつけば経済効果はあるぞ。

日本のGDPは2018年で世界3位だからな。
もともと1位だったんだしもっと上げないと中国に置いて行かれる。
ただでさえ中国の留学生は優秀で、東大なんて総代にしたくらいだからな。

>545,>>546
数学板に限らず、掲示板では、おまえらもうちょっと面白いことを書け
他人が読んでも面白いことを、本当に自分が主張すべきことを、
【吟味】して書け
わきまえる事を知らんガキが、アホ丸出しのドヤりをここに塗りたくるな

MMT理論を使ってでも国家予算を上げてほしいくらいだ。
今はコロナショック対応で発動してるけどな。

数学も経済に資さないと賞金額も上がらないという矛盾。

>>547
他板で好きなだけ語ってくらはい
数学の中身に興味ないヤツはこの板のガン

>>527
むしろ、谷山・志村予想のノートページを見たほうがいいぞ
たぶん定理に書き換えても人口に膾炙してないって戻される

>>549
MMT理論(笑)
どんな数式使うの？ｗ 数式あるの？ｗ

IUT理論もネタにするだけでも経済効果あるけどな。
中国とかおいてきぼり。

邪魔したなｗネタを楽しんでいただけでスマソ。
いまは専門で語るヤツがいなかったから遊んでしまった。

>>538
>数学板はもっと質が高かった

2ch(当時)の興隆期は、Niftyなどのツリー型の掲示板でIDを登録して板の管理者が居てという時代からの移行期で
”名無し”さん主体の2ch人が集まった
多分、フロー型でだれでも参加というのが受けた気がする
（2000年ころ）

その後、SNSが興隆して、相対的に2chの地位が低下して、５ｃｈになってという時代変遷と思う
数学も上質な層は、SNSとか実名ありの方じゃないかな？

>しかし今の数学板は「日常会話レベルのまともに根拠を
>交わせないタイプの部外者」が

数学という真面目な話題と、それに対して ゴシップとかの話題が
同じ様に ”名無し”ってのがねー、どうなのでしょうかね？
もっとも、実名にしたら、いまより過疎になるのは見えているけどなーｗ（＾＾；

ところで数学なのにSTAP細胞問題とか出るのか？
その根拠が分からん。
クビになるヤツが出る論も分からない。
数学だと批判が出ても問題なんてないんじゃないのか？
一部分否定だけで論文自体を否定できるものでもないし。
流行に遅れるとか遅れないとかそういったレベルなんじゃないのか？

>>556
SNSの興隆とはあまり関係ないと思う
数学板は荒らし対策をほぼ誰もしてくれなかったから廃れた
それが一番大きい気がする
あとさっきも言ったように、匿名か実名かは大した問題ではなく、
物事を考える自体にすら興味がないガキが、
数学のアカデミックだけを借りに大量に押し寄せ
その結果この板のアカデミックを破壊した
そうなって雪崩式に数学科関係者の面白い書き込みが減り
何か書き込みしても面白いリアクションが来なくなるのでまたどんどん減りの悪循環で
数学の中身に何ら興味を持たない学歴厨モドキの巣窟になってしまった
あとIUTスレは報道の影響で特別くだらん非数学科関係者のドヤりを呼び寄せた

>>557
だいたい合ってる

>>529
なんで学位論文は除くん?

>>560
学位論文ってのは学部生で言う卒論みたいモンだから
半端な論文だ、という趣旨を言いたいんでしょおそらくその人は

4/4に発表された部分の評価がまだ出ないんだろうな。
修正効くから大して問題にならないな。
望月さん対応早いみたいだし。
修正したこと自体に問題がなければだけれども。

下らない雑談してるのもスレ違い

数学板は質問スレが揉めてさくらスレが放逐された辺りが転換点の最たるものだったかもなあ
質疑を円滑にするためにテンプレが整備されてたのに、テンプレが長いと言って排除した重複スレが
当たり前になったせいで、板トップのリンク関連で運営にも迷惑かけて煙たがられるようになった

次第に質問になってない質問が増えだして、質問ならちゃんとかけって言われた一部が暴徒化して
答えられないなら黙ってろみたいに質問者側から煽るのが普通になった

【朝鮮日報】揺らぐ孫正義、相次ぐ側近離脱[4/6]
https://lavender.5ch.net/test/read.cgi/news4plus/1586160746/-100

教授がメディア出てこないなら弟子が早く説明するべきだろ
私はIUTを完全に理解してますってよ

5歳からアメリカで育ってるなら英語ペラペラなのに
箸やワカメの英訳に並々ならぬ拒否感があるらしいからどんな感性なのか興味あるわー
てか欧米で積極的にツアーやらずに知りたかったら京都におこしやすってのが小気味よい

>>562
ABCの証明が正しいかどうかなんてどうでもいい
IUTが数学そのものにどんな影響や応用を与えるか否かが全て
IUTが本当に数学そのものを革命する理論なら俺もIUTを勉強したい
ABCを証明しただけの道具なら俺は一切勉強する気にならない
俺だけじゃなく全ての人がそのはず

>>564
質問スレって高校生がーとかのスレ？
あんなの数学板のおまけというか隔離スレだぞ

>>564
せめて汚すのはIUTスレだけにしろよボケ
sageなきゃダメだなこりゃ

>>527
あ、abc予想の記事は
4月3日以降荒らしっぽいのが出てきて、
垢持ちしか編集できなくされてるんだわw
それも垢作って即この記事を編集するような突撃行為はできない

中国語版は荒らされた版をもとに訳そうとしてカオスってる