Inter-universal geometry と ABC予想 30

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

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

前スレ一覧

ABC予想が解かれたかもしれんぞ！
https://uni.5ch.net/test/read.cgi/math/1347851182/
ABC予想が解かれたかもしれんぞ！ Part2
https://uni.5ch.net/test/read.cgi/math/1348832025/
ABC予想が解かれたかもしれんぞ！ Part3
https://uni.5ch.net/test/read.cgi/math/1352356668/
Inter-universal geometry と ABC予想
http://uni.2ch.net/test/read.cgi/math/1348482671/
Inter-universal geometry と ABC予想　2
http://uni.2ch.net/test/read.cgi/math/1384590850/
Inter-universal geometry と ABC予想　3
http://wc2014.2ch.net/test/read.cgi/math/1393855847/
Inter-universal geometry と ABC予想　4
http://wc2014.2ch.net/test/read.cgi/math/1407655369/
Inter-universal geometry と ABC予想　5
http://wc2014.2ch.net/test/read.cgi/math/1412254544/
Inter-universal geometry と ABC予想　6
http://wc2014.2ch.net/test/read.cgi/math/1413634462/
Inter-universal geometry と ABC予想　7
http://wc2014.2ch.net/test/read.cgi/math/1419683636/
http://wc2014.2ch.net/test/read.cgi/math/1419683920/
Inter-universal geometry と ABC予想　8
http://wc2014.2ch.net/test/read.cgi/math/1433605399/
Inter-universal geometry と ABC予想　9
http://wc2014.2ch.net/test/read.cgi/math/1440786048/
Inter-universal geometry と ABC予想　10
http://wc2014.2ch.net/test/read.cgi/math/1447408765/

>>2 の続き

Inter-universal geometry と ABC予想　11
https://wc2014.5ch.net/test/read.cgi/math/1450338239/
Inter-universal geometry と ABC予想　12
https://wc2014.5ch.net/test/read.cgi/math/1454327840/
Inter-universal geometry と ABC予想　13
http://wc2014.5ch.net/test/read.cgi/math/1463088468/
Inter-universal geometry と ABC予想　14
https://rio2016.5ch.net/test/read.cgi/math/1467114733/
Inter-universal geometry と ABC予想　15
https://rio2016.5ch.net/test/read.cgi/math/1469048666/
Inter-universal geometry と ABC予想　16
https://rio2016.5ch.net/test/read.cgi/math/1473385614/
https://rio2016.5ch.net/test/read.cgi/math/1474308996/
Inter-universal geometry と ABC予想　17
https://rio2016.5ch.net/test/read.cgi/math/1475614129/
Inter-universal geometry と ABC予想　18
http://rio2016.5ch.net/test/read.cgi/math/1479952243/
Inter-universal geometry と ABC予想　19
https://rio2016.5ch.net/test/read.cgi/math/1491740643/
Inter-universal geometry と ABC予想　20
https://rio2016.5ch.net/test/read.cgi/math/1504249984/
Inter-universal geometry と ABC予想　21
http://rio2016.5ch.net/test/read.cgi/math/1509378059/
Inter-universal geometry と ABC予想　22
https://rio2016.5ch.net/test/read.cgi/math/1513707655/
Inter-universal geometry と ABC予想　23
https://rio2016.5ch.net/test/read.cgi/math/1515202641/

>>3 の続き

Inter-universal geometry と ABC予想　24
https://rio2016.5ch.net/test/read.cgi/math/1516888340
Inter-universal geometry と ABC予想　25
https://rio2016.5ch.net/test/read.cgi/math/1520299291
Inter-universal geometry と ABC予想　26
https://rio2016.5ch.net/test/read.cgi/math/1523148966
Inter-universal geometry と ABC予想　27
https://rio2016.5ch.net/test/read.cgi/math/1525616990
Inter-universal geometry と ABC予想　28
https://rio2016.5ch.net/test/read.cgi/math/1528525603
Inter-universal geometry と ABC予想　29
https://rio2016.5ch.net/test/read.cgi/math/1531344322/

Ivan Fesenko, Remarks on aspects of modern pioneering mathematical research, July 2018.
https://www.maths.nottingham.ac.uk/plp/pmzibf/rapm.pdf

abc News, Posted on July 17, 2018 by Peter Woit.
http://www.math.columbia.edu/~woit/wordpress/?p=10436

AMS Blogs, Musings on a Mathematician’s Duties,
Posted on August 20, 2018 by Rachelj Crowell.
https://blogs.ams.org/blogonmathblogs/2018/08/20/musings-on-a-mathematicians-duties/

現時点でのIUTに関する最新情報は>>5-6

>>7
jin乙

>>8
残念ながらワイはjinではない

最近のショルツって何してんの？
しっかりIUT論文を読み込んでほしい

セールとショルツとコーエン
この三人はフィールズ賞で最もコスパ良く名声を得た感ある

perfectoidってもともとHuberとかのアイディアなんでしょ？

>>1
乙

>>13
FontaineとWintenberger

削除依頼を出しました

FIELDS MEDAL WINNER PETER SCHOLZE

https://m.youtube.com/watch?v=yEVlCZTqht8

CHERN MEDAL MASAKI KASHIWARA

https://m.youtube.com/watch?v=yw4KifIg3R0

今月30日注目
論文発表6周年記念
ついに公表

数学はオワコン

終わってはいない
理解する人が減ってるだけ

>>19
セミヌードかなんか？

3人から10人程度に増えたけど。6年間かけてw

もしかして掲載決定？

IUTver.2

動きがあったらまた来るわ
じゃあの

>>23
また擁護派はしれっとそういうこと言うｗ
有限記号列で表現不可能なんだから望月の脳内にも証明なんかあるわけがない

>>27
有限云々はそれだけお相手さんの理解が悪いってこったろ。

だから簡単な例で示してくれれば解決するんだよ

>>29
これだからつまみ食いな奴はいつ待てたっても理解できない。

やっぱり理解者なんかいないんだー

>>28
何言ってるんだ。
有限記号列で証明できないなら証明じゃないってこと。
人知の及ばないものであるということ。
もっちーの「ひらきなおり」もしくは「降参宣言」だろ。

でも30日に掲載決定だったらアンチ死ぬじゃん

総叩き覚悟かあ。。。

ブログの有限記号列のくだり読んだけど
Cor.3.12が有限記号列で証明できないって話じゃないよね
もう少しマトモなイチャモン考えたら？

掲載は当分先になるって聞いたよ

望月新一の証明が真実だとしてもガウスとかオイラーの域には届かないんだなあ
理論が難しいっていうのがもうダメ
聖書とか読めばわかるけどあれって何一つ難しいことは書いてないんだよね
それでいて無限の深さがある
本物っていうのはそういうこと以外ない
技巧的に、複雑になるのは抽象化が中途半端なだけなんだよなあ

復元アルゴリズムがあやしいって言っとけば
とりあえず通ぶれますか？

聖書と比較するとかキチガイの極みだな

タイヒミュラー空間ということはモジュライ空間みたいのを考えてるんだよね。
しかも個々の点を考えていたのでは証明できないことを、全体の「つながり具合」を考えることで証明できるというロジックのはずだ。
モジュライ空間のコンパクト化みたいに、新たな点が加わっていたりするんだろう。
しかし、「つながり」と言っても、古典的な連続変形みたいな位相のつながりではなく、革新的なつながり方での変形を考えてるんだろう。
とすると、ありうる間違いとしては、つながり具合がはっきりしてない要素がシレっと紛れ込んでいて、それをもって証明=自明 という形になってるということはあるんじゃないか？（適当）

聖書って別に分かり易くはないよね。
創世記とかマタイ伝とかメジャーなのはそれなりに面白いが、習慣や発想が違いすぎて、何言ってんのか分かんねみたいのもたくさんある。
現代人の感覚からすると、当時のユダヤ人の差別意識や発想はキ〇ガイと思えるものもあるが
当時の「人間」が書いた書物だとすれば、すべて説明がつく。
「神の書」だとか言うとおかしいんで。だが信者はその視点が持てなかったりする。

技巧的に複雑っていうのは、ぶちあげてしまえばZFCに拘ってるせいもあるだろうな
高水準言語使ってんのにわざわざ低水準言語に言及してるようなもん
その辺が30年後にはすっきりしてるだろう

でも理論の図式自体はそこまで無駄に複雑ではないと思うけどね
技巧的な複雑さならTaylorらの佐藤テイトとかも負けてないだろうし

柏原河合のような秀でた弟子がいない、今の取り巻きじゃ役不足、ってとこがこの問題が長引いてる主要因なんだろな。

ごーくんじゃ役不足？

もし今井さんが望月さんの学生だったらdeligneになってたかもね

10年後の若林に期待しようず

>>35
同感。>>32の読み違いw
有限列で「証明できない」とは言ってないだろうに。

数学の理解とは何かっていう認識論の話だな、あれは

>>48
でたでた。見苦しい弁護論。
望月は数学的真理は有限記号列で伝わらないといっている。
これは、望月自身が、彼自身が数学的真理とするものについて、「伝えることができない」っていってるんだよ。
擁護論者は望月が「証明した」といっているのを「有限記号列」もなしにただ信じているだけｗ

>>50
現代的な代数幾何学や作用素環なんて人類の99%以上は理解できない
同じように数学者でさえもなかなか理解できないこともあるのではないかという話だろ
メチャクチャ深い哲学的問題だと思うぞ

認識論がいつのまにか頭数のお話

いや同じ問題だよ。何故殆どの人間は高校数学以上の数学がわからないのか？
構造や体系を高度にしていけば、数学者でも理解が難しい理論はあるのか？
理解の程度とは何なのか？

これらについて論じられたら十分それで食っていける話だわ

>>50-51
51の言ってることも違う。
「有限記号列に表現した時点で情報量が落ちてしまうのではないか」ということを望月は言っている。
Cor.3.12の証明が有限記号列で表現できないという話でもない。

＞「数学」を完全に記録し、伝達するには論文（＝PDFファイル）だけでは不十分であり、どこかに
＞「抜け落ちている情報」があるのではないか、
＞と強く感じております。まさにそのことが以前から気になっているからこそ、
＞その「抜け落ちている情報」が忠実に表現されている可能性があるように感じる別系統の媒体＝例えば、
＞　・2017-01-06付けの記事で取り上げた「サイマジョ」、
＞　・2017-11の二つの記事で取り上げた「芸術」や「バベルの塔の説話」、
＞　・今回の記事で取り上げた「インフルエンサー」
＞の検証に、数年前から特に強い関心を抱くようになりました。
https://plaza.rakuten.co.jp/shinichi0329/diary/201801040000/

こんな簡単な文章ですら正確に意味を読み取れないの？

>>54
正確も何も、それ、一部の仲間はわかってるのに、という文脈で書いてるだろ？
その「抜け落ちた情報」とやらも補完して読める人間と読めない人間の違いは何かって話
になるのだから、別に間違いとは思わないが？

しっかし最後の行の一言でこいつ意地悪だなーってわかるなーw
だから他の人も下手に話ができなくなるんだよ

>>55
お前なぁ、どう読めば「一部の仲間はわかってるのに」という文脈が読み取れるんだよ…

新○
「俺は研究所に篭る！あそこでは俺は勝ち組なんだ！
皆が俺を認めるんだ！」

新一 vs 拓郎

>>50
> でたでた。見苦しい弁護論。
> 望月は数学的真理は有限記号列で伝わらないといっている。
> これは、望月自身が、彼自身が数学的真理とするものについて、「伝えることができない」っていってるんだよ。
> 擁護論者は望月が「証明した」といっているのを「有限記号列」もなしにただ信じているだけｗ

おまえの言ってることは終始イミフ

>>48
> 有限列で「証明できない」とは言ってないだろうに。

への反論になってないばかりか、

> これは、望月自身が、彼自身が数学的真理とするものについて、「伝えることができない」っていってるんだよ。

この文は「望月は有限列で証明できないとは言っていない」というオレの主張と同じだし、

> 擁護論者は望月が「証明した」といっているのを「有限記号列」もなしにただ信じているだけｗ

「有限記号列もなしにただ信じている」というのは意味が分からん
有限記号列は論文の形で存在してるし、何かを盲信してるわけでもなし

あと擁護派とかオレ知らんけど？
勝手に対立構図作って盛り上がっちゃってバカじゃねえの
オレはおまえが日本語の文脈読めないのを突っ込んでるだけなんだけど

RIMSは数理解析研究所
念のため

数学的真理ってIUT�Vか�W、それに関係したことだよね。
他になにかやってりゃ別だけど。
お坊ちゃまの思考回路がよくわからん。

>>59
ヘドラvsエビラみたいな図式だな

>>54
それ明らかに、数学的真理は論文では伝えられないって言ってるじゃん。
それって結構とんでもないこと言っているぜ。
ほとんど数学者の過去現在にわたる営みを全面的に否定するに等しい。
擁護派は「理解はできないが、ただ望月を信じる」という立場だから気にならないんだろうがｗ

>>63
数秘術vs 数学 数理 かもね

ようするに、望月のこの文章を読んで「これはまずい雲行きだな」と感じ、
「ABC予想の証明など望月の脳内も存在しないな」と判断するのが正常な知性の持ち主であって、
屁理屈をつけて望月弁護論を展開し、一縷の夢にすがっているのが擁護派にすぎない。

望月はあまりにも他の研究者を過激とも言える表現で刺激し過ぎた。それがこの総スカンを生んでる。
もし、仮に最終的な部分がわかりにくくても、丁寧に説明し、された側が「概ね理解できるよ」という風潮を醸し出していれば、欧米研究者マスゴミも好意的に評価しただろうし、PRIMSもさっさとアクセプトしてたよ。
要は人となりが酷すぎた、これが答えだ。

実は２０１４年ごろまでは望月とその周囲の人間の間ではかなり楽観的な話が飛び交っていた。
彼らが言うには「準備論文から丁寧に読み込めば普通の実力のある数学者ならだれでも理解できる」
的な口ぶりだった。
今から考えると望月は何か大きな見落とし、もしくは思い違いがあったのだろう。
周囲の人間もも身びいきの感情から理解したような気になっていたのであろう。
２０１６年ごろから、「完全な理解者」と称される人たちですら、証明の詳細をきちんと説明できないことが発覚し、
望月とその「完全な理解者」が、本当に数学的証明を共有しているのか一挙に疑惑が深まった。
その海外の懐疑的な雰囲気が全く分からずに、PRIMSは論文掲載を強行しようとした。
そしたら「んなわけないだろ」という海外の声が一斉に噴出し、すっかるひるんでしまった次第。

「んなわけない」のであれば、ショルツとのバトルは一体なんだったんだ？
お互いに反論ペーパーを出し合う予定だったらしいが、
今はショルツ側が待ったをかけて音信不通なんだろ？
しかも当初はショルツ側から急かしてたらしいじゃないか。

>>67
人格は関係ないよ。

はっきり言ってア○ペだろ
Hodge-Arakelovやp-adic Teichが何故かスケールと主題の割にかなりマイナーなのも
それが理由
言葉の伝達理解に素朴な疑問を持つのもWittgensteinを思い出させる
人となりって言うけど悪気はないんだよ

>>69
「ショルツが待ったをかけた」というのが事実かどうかもあやしい。
擁護派の願望に満ちたネット上の捏造の可能性もある。

>>72
これが捏造とか笑わせるなよ。
本当にこれが捏造なら、きちんとした肩書のある人が
こんな捏造するとかリスク高すぎだろ。

475１３２人目の素数さん2018/08/05(日) 11:12:06.12ID:hejn8lVE
Fumiharu Kato 加藤文元　@FumiharuKato
返信先: @math_jinさん
当初はすぐに発表したいからと散々急かして、いざ文書が揃ってみると、突然一方的に公開を禁じるという傍若無人ぶりに憤っているのです。
8:14 - 2018年8月5日 場所: 東京 大田区

Fumiharu Kato 加藤文元　@FumiharuKato
返信先: @FumiharuKatoさん、@math_jinさん
文書が揃って、ようやくfully addressできていないことに気づいたということなら、要するに当初の彼らの批判は的外れだったと白状しているようなものではないでしょうか。
8:19 - 2018年8月5日 場所: 東京 大田区

https://twitter.com/FumiharuKato/status/1025884081924399104 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
https://twitter.com/5chan_nel (5ch newer account)
https://twitter.com/5chan_nel (5ch newer account)

そういやブンゲンが朝日の記事を批判していたが、これもよく考えてみると妙だね。
ブンゲンは一般向けにABC予想証明の解説を買って出るなど、望月の証明に好意的だったはず。
望月論文が正しいなら、朝日の記事は基本的には正しいし、無事論文も掲載されただろう。
ブンゲンが朝日を「誤報である」と批判するということは、望月論文は正しいとは言えないと認めたも同然。
ブンゲンは、望月がショルツから批判を受けた時、まっさきに相談した相手である。
そのブンゲンが事実上「望月論文は正しいとは言えず、朝日は誤報として批判されるべき」
と表明したのは重大である。

重たいもんな、普通に
それなりのレベルだと自負があったとしても、これを義務タスクにするのはかなりしんどい
遠アーベルなのにStixが深入りしてこないって相当なもんだ

>>74
お前アホか？望月理論破綻を前提にロジック組み立てんな。Bの朝日批判は数学の査読過程を記事化するなんてことが到底有り得ないとちゃんと批判してる。
とうねじ曲がってそれが望月批判になる？頭おかしいとしか思えん。
ということで論破。

ブンゲン氏はこの件に関連して「アクセプトされる見通し」なんて状態は原理的にありえないとか
目を疑うようなことを書いてるからあまり信用できない。

なーこのスレで望月さんと話したことあるやついる？
どんな性格なのか人間性に興味があるんだけど
数学以外の趣味とかあるんかね？

>>77
Bは
「数学の論文はアクセプトされるかリジェクトかの厳格な二分法があるだけで、
その中間状態というのはありえない。「アクセプトされる見通し」というのは「アクセプトされた」ということなのであって、
まだアクセプトされていないがいずれアクセプトされる、などという状態は原理的にありえない。」

と言ってるが。何かおかしいこと言ってるか？

>>76
アホはお前。新聞は価値ある真実をすっぱ抜くのが仕事で、なんら法的なとがめを受けるものではない。
望月論文が正しいなら、朝日の記事は素晴らしい価値あるスクープで、新聞協会賞ものだよｗ
朝日のスクープを誤報というブンゲンは、事実上望月論文は正しくないと認めたことになる。
まあ、ブンゲンも、望月論文がもはやPRIMUSに掲載される可能性は全くないと悟って朝日に八つ当たりしてるんだねｗ

>>80
ちょっともうなにいってんのかわかんない。

てかブログあるじゃん
すげえ

今年の３月ごろは、擁護派の連中は
「ちょっと先走りの記事が出てしまいましたが（笑）、皆さんお待たせしました」
って、掲載の決定が発表されるってワクワクしてたんだよなｗ
今やその可能性は全くなくなり、朝日の記事に八つ当たりするしか能がないｗ

>>83
そもそも掲載＝理論が正しい、じゃないのはあんたわかってんの？

>>84
そんなぐらいわかっているよ。おれはRIMSの査読すら信じてないからねｗ
だけど逆に擁護派は論文に掲載されれば一発逆転て思ってるじゃんｗ
で、現状は、論文掲載の可能性すら全くないとブンゲンも悟りだし、朝日に八つ当たりしてるわけｗ

>>79
うん。おかしいことを言ってる。
「見通し」という言葉を曲解してるか、論文出版のプロセスに理解がないかのどちらかでしょう。

いつか読んだシュレディンガーの猫みたいに、その証明の核心は肯定も否定もできないってことは無いんでしょうか　工学卒の素朴な疑問ですけど

>>86
任意のA日に編集委員会でアクセプト「する」「しない」を決めんのに、どこに「見通し」出来る日が存在するんだよww

>>85
一発逆転なんていうアホな思想持ってんのは仁美くらいで、本当の理解者はもっと冷静だよ。

>>87
シュレーディンガーの猫とは違うけど、
数学で証明も否定もできないことといえば、選択公理や排中律みたいに
本人の哲学的立場によって受け入れられたり受け入れなかったりする
公理が使われている場合かな

>>85
ねえねえ、ショルツとのバトルは一体なんだったんだ？
お互いに反論ペーパーを出し合う予定だったらしいが、
今はショルツ側が待ったをかけて音信不通なんだろ？
しかも当初はショルツ側から急かしてたらしいじゃないか。

まさか>>73が本当に捏造だと思ってるのか？

IUTの正否に関してそれを判断する知識を持ち合わせていないが、
ブンゲン氏が最近になって朝日記事を批判するのには首を傾げるな
何故もっと早い時期に言わなかったのかと
ショルツの件と同時期に言っているのがどうもね

IUTに関しては純粋に学問的なこと以外の話題が多すぎるんだよ

>>88 論文出版のプロセスにまったく理解がないね。
編集委員会で当日いきなりゼロから採否を決定するわけないだろ。
著者サイドからしたってminor revisionで好意的なリポートが来たら
普通はアクセプトの見通しだなと思うわな。

あれ、でも今日だよな重大発表

何年間もまったく進展ないのはなんでなの？

うん、今日アクセプトされるね

>>64
数学の研究をするには文章のやりとりだけではダメで、直接会っての交流が必要なんだから、なにもおかしくない。

こんな時間にいきなり悪いけど、それは説明になってないのでは？
会って話すにしても言葉を使うわけで、それなら何でそういう解説をしないのか、となる

モッチーの心情を忖度した者だけが理解（=共感）できる証明なんじゃないか。
モッチーブログにも「英語はもう聞きたくない」みたいな
「俺の心情を忖度してくれ！」みたいな心の叫びがあるよね。
モッチーに十分共感するためには、じかにモッチーに会って
言葉では伝わらないモッチーの人柄に触れて
共感のコミュニティに入る必要があるのかもしれん。（言葉を超えた無限性）

あれ、12年に論文が出てすぐ小さな誤りを指摘した院生って誰だっけ
そいつとか何してんだろ

>>100
Mさんのことなら筑波で助手