Inter-universal geometry と ABC予想 30

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

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

>>796
実際はもっと深刻だと思ったほうがいい
その部分をちゃんとするためには理論自体を見直す必要はないか、というレベル

>>809は批判のニュアンスの話ね
実際にそこまで致命的かは別として

IUT関係者 以外は素人だね
やはり 北白川の一部と大岡山の一部とパラパラ
特異点に 限定された「定理」だな

>>809
それくらい本気で批判しないと情報の抜け落ちにたいして誰もまともな説明しようとしてこなかったから厳しい言葉つかってるんだろうなあ

望月が証明したといっている以上、証明文の提示責任があるのは望月である。
その本筋を見誤らないほうがいい。
問題部分の証明がなっていないのは明らかであり、
もはや数学者で望月が正当に証明したと考える人はいないだろう。
この期に及んで望月擁護の書き込みをする人間は、
主として文系学部卒のただの望月信者とみた。小保方信者と同様。

要するに望月氏はグロタンディークではなく、強いて言えばラマヌジャンみたいだと言いたいのかな？
IUTTは現代数学ではなく、別の宇宙から来たIUTT学だと・・・

ショルツのペーパーも出たんだし、あとはマスコミのどこが
「ABC予想に誤りか」の第一報を報じるかだ。
去年１２月以来、日本語で望月に対する疑惑が語られたのはこのｽﾚだけだが、
もうそろそろ世間一般に「世界じゃ望月の証明は相手にされてないよ」という現実を知らせるべきだろう。
俺はゴッドハンド藤村をあばき、小保方に対しても最も批判的だった毎日に期待しているが。

>>814
ラマヌジャンの言ったことも証明ぬきが多いよね。
ラマヌジャンが言ったことで、他人が証明したら、それは他人の実績だろう。
予想だけならおまいらでもできるぞ。

>>816
ああ、それ、あなたに向けて書いたものではなく、上の方で連投されたレスについて書いたものだから

ところで玉川氏も「分からないと言っている」というレスがあったんだが、これは本当なんだろうか？

ラマヌジャンは直観（論理の大幅な省略）で正しい結果を見通すことができた天才
望月証明が誤りなら、巨大な論理を駆使しながら結論では間違っていたモッチーは正反対ってことになるw

>>818
実際はそれはグロタンディークのほうが近い気がする。構造的な直観としては
本人は形式的な証明は得意ではなく、論文は仲間が助けた部分が大きい
ラマヌジャンも確かにそうだけど、数式を通じた直観だからな
まあ結果的には保型形式を数式から捉えるというとんでもない才能だったけど

>>727
Atiyahは リーマン予想のsimple proofだよ >>701
Kedlayaも複雑怪奇なIUTを説明して

「もはや証明じゃない。」
これはKもそう言ってるという噂あり
しかり、それでも
「間違ってはいない。」
とKも言ってるとも

つまり、IUTはabcを「証明」してはいないが、自然とabcを導いてることは確か、というのがK及びレクチャーしてる取り巻きの意見だ

>>821
そういうレトリックは気に入らないな
そんなことを言えば幾何化予想を証明することでポアンカレ予想を証明したペレルマンや
谷山・志村予想の系を証明することでFLTを証明したワイルズも同じことになるんだが

モッチーもここに入れられちゃうんだろうか？

日本は｢科学論文の捏造大国｣とみられている
https://toyokeizai.net/articles/-/237652

証明できてないが自然って、数学的にキチガイの域じゃんね

相変わらず他人の見解の鵜呑みと想像だけで喋ってるなあ

分かる人がいないからとりえず薪をくべるスレです

ポイントに近づくと罵倒されるスレです

ここでは適当なことを好き放題言ってるのが一番ですよ

ABC予想もリーマン予想もどうなるかわからないけど、
仮に何かが解決したとしたらフェルマー予想といいポアンカレ予想といい、ここ数年の数学の進展は歴史的に見て物凄いよね。
数学が進化したのか人類が進化したのか。

ここ数年…？

密度が違うからでしょ。まあ理論的に理由付けできたらGoogleで億稼げる問題だけど
アティヤは90%間違いに賭けるが、物理に深く関わってるから迫力ある

ネットで他の人の論文や最新の数学に触れられるようになったのはでかそうよ

世界中の論文、講演ファイル、講演動画に家からでもアクセスできるしな
わからないことがあっても必要な文献はすぐ手に入る
逆に高速で新しいことを勉強できないとあっという間に置いてけぼり

それでいて時折大きな問題にじっくり時間をかけて取り組まないといけない
今後は大変な時代だな

リッチフローとかもほとんど知られてなかった発表されたばかりの論文からペレルマンが拾ってきて応用してたんで

>>829
IUTだけ蚊帳の外

そう。今の時代、どんなに難解な証明でも、それが正しければ、
６年間も周りに理解されないなんてことはありえない。

できの悪い学生に本を読ませると、間違えてる箇所もそのまま正しいことのように発表したりする。
取り巻き勢がそのレベルじゃないといいがw

Cor 3.12.は定義から従うからね。

>>831
99.999%くらいだな

オカルトというよりホラーになってきたような……

超準解析の証明は信用出来ないと聞いた

ブンゲン氏のツイッターの英文読んだがガッカリしたよ
もうこの人どうでもいいやって感じだ

まあ実際問題として、「定義より従う」なんて証明は数学にあるはずがないんだよな
たとえばBが導かれるためには
A、A→B
が絶対必要なわけで。
参考書などで「定義より従う」などとかけばそれは初学者でもすぐわかるくらいの自明なケースだからね。

ショルツはじめ多くの数学者が同じ個所で疑問を証明している以上望月きはきちんと証明を書きおろさないといけない。
それができない以上ショルツも言う通り「ABS予想はいまだ予想である」ということになる。

>>840 ほんとにねえ。
ウェブサイトトップに"The author of this web site prohibits the use of the contents,
such as images, of this site, as well as all linked sites, by the mass media"なんて書いてあるけど、
ご本人がウェブサイトで世界に向けて発信してることを報道が
（著作権法の範囲内で）利用することを禁止できるとでも本気で思ってるのかね。

うわっほんとだ。
報道禁止令が出てるｗ

しかし数学に、解、を出すとき、先生がアフォすぎて思わず脱線し、正答、新解放を
導くてだてが生まれるときがあるのに。経験上ね、数学はなぜ満点生徒連を大学に入れたり、満点社員に高給を取らせるんだろう。

新　解法。

公式ですら疑ってかからないと、現代数学はきついんだよ。
公式ガイドがついてる生半可な数学なんて面白くないよね。
それはサンプルデータが取れるぐらいだと、割り切って数学に励んでほしい。

>>848
おっちゃん、受験数学がんばりや。

定義から従うならそれでいいんじゃないの？

公務員数学のその後にたどり着いてるけど、経済、経営ね。金融銀行。実地で仕事あるから
たまにやらざるをえない。

数的処理とか、資料解釈
、コンドラチェフやクラメールとか、そんなほうが
経営法則を生み出せて、助かるんだけど。

定義から従うというけど、
定義に該当するような対象が
実際に存在することは示されているのかな？

https://www.youtube.com/watch?v=HIX2RAHPTsI

>>844
ということは、マスコミがもっちーのところにアクセスし始めたってことだな。
ショルツのペーパーが公になったらマスコミは動くとは思っていたけど、
予想通りだな。

同じ日本人なのに、白人に認められた人しか評価しない日本人って多いよね。
白人の評価がすべてなの？

みっともない。

>>844の文章はずっと前から書かれてた気が

前から書いてあるけど

https://www.dailymotion.com/video/xh6idy

>>856 論点すらしだな。ショルツが白人だろうが黒人だろうが日本人だろうが状況は同じだろうがよ。現に越川も匙を投げ、Katoは講義で皮肉のてんこ盛り

前から書いてあるけどヴォイトのブログのコメ欄で文句いった人がいるからだろう

>>844は大分前から書いてあるし適当なこと言うなよ

学問版で音楽チャート各国一位出身者でも募ろうかな。
https://www.youtube.com/watch?v=CC5ca6Hsb2Q

何人にでも認められたいよな。宇宙人でも。実話。

>>860
越川は匙を投げてまへん

新たな反論読んでも、そもそも反論になってないというか
答えになってないよねというか
そんな風な体裁なのかね

まあしかし天才君病（だっけ？）とかここで書いてたひと人いたが
もしかしたらそうなのかもしれんね

最近、慶応大学院生が歴史的な問題を数論幾何学を使って証明したな。

https://www.youtube.com/watch?v=DYnkczTBT_Q

>>866
何が言いたい？

歴史的な問題でも何でもないみたいね。数論幾何の結論として出てくる命題をユークリッド幾何に応用したコロラリーって位置付けで、問題自体は数論幾何の結論が応用可能なように当人らが設定しただけ。
これ騒げば騒ぐほどふたりにとってマイナスになる。過大広告みたいな扱いにされるぞ。

悔しいのう、悔しいのう！

ついに敗北宣言きそう

あれだけ相手を罵倒してる時点で、
もう正気ではないでしょ…
負けを認めるとか無理だと思う。

今回ので査読としてはダメっぽいかなあ
あと1年くらいはやってるふりでグダグダできるがな
ブンゲンの連ツイはちとがっかり、あれなら黙っていた方が良かったぞ

周囲は「信じてわかったつもりになれる」が「穴があったら埋める」力がない
正直IUTが本当にダメとは思ってない、あれは本物になりうる
ただ佐藤の理解者だった柏原、Wilesを助けたTaylorみたいな存在がいない

一旦引いて再起するのが一番だと思うが多分6年たって本人にその気力があるか
50歳越えると色々きつくなる

ここほんと数学科の学生レベルですらない素人しかいないな

「数論の未解決問題」に載ってんの？あれ
部屋にあるんだけど埋もれて見れないのよ

慶応の奴ね

文元さんはワイエルシュトラスとリーマンの対立の話してたけど、あれはリーマン面や多様体を研究対象とすべきかどうかの対立だからね。正誤の話じゃない。

>>877
今の時期じゃなければあの連ツイはさほど問題なかったな

>>875
載ってない。そもそもそういう種類の話じゃなくて数論幾何の応用の話。一般人にも理解できる話にまで還元したというところが評価のポイントであって、それ以上でもそれ以下でもない。

>>875
あの手の辺も面積も整数な三角形という話はたくさんある
二等辺三角形と直角三角形という縛りは15年くらい前に考えられたと思う

解は一つ知られていたのだけど論文に先行研究書いてないな
数字でググればすぐ見つかったのに

>>879
>>880
へー。俺は抽象馬鹿だから感心したけども

全く関係ないが、Voevodskyが昨年亡くなったのここで話題になってないよね？
IUTTに絡んで欲しかった、今になってみると。ショルツよりも絶対適性あったと思う

>>866>>869>>879>>880
数論幾何学で慶大院生2人が小学校でも教えれるシンプルな三角形の新定理（ただ1組の三角形ペア）を証明
https://rio2016.5ch.net/test/read.cgi/math/1537412180

このスレによると、2004年にIBMに出題された問題と同じ問題であって、
2004年の時点で解の一意性まで含めて初等的に完全解決していた模様
pdfもダウンロードできる
初等的なので頑張れば読めるが、いかつい計算が並んでいて読む気にならん
誰かチェックしてくれｗ

グロタンディーク、リーマン、、、

取り巻きどもの内容のない論点逸らしには毎度うんざりさせられるな。
彼らのものも含めて、正しい数学的理論が6年以上取り巻き以外の誰にも理解されなかったなんて異常事態は少なくとも論文のやりとりが個人間でなくなった以降の数学史上一度たりともないだろうが。
まあこんなどうでもいいケムに巻くための小噺ばかりせにゃいけん時点で相当追い込まれているということだろな。
もはや内容で勝負できないことは彼らも理解しているんじゃないか？

>>881
ここで話題になったかどうか記憶ないが
ロシア人が50過ぎで死ぬのは良くあること
厄年じゃないが何か危険な年代らしい

>>881
山ほどある「見かけ上は初等的な数論の未解決問題」の
どれが抽象論にはめ込めるか、やってみないとわからない
まあできたのだからオメデトーでいい

ただ広がりがなさそうだから将来はわからないね

>>882
少し見たが判定は面倒くさそうだなあ

>>882
車輪の再発見であったか

望月新一さんのABC予想の証明に重大な欠陥が見つかる [796936532]
http://leia.5ch.net/test/read.cgi/poverty/1537571470/


はい、もうメディアも報じ始めるぞう

>>886
証明のやり方は違うから、車輪の再発明というより牛刀鶏肉という感じかな

最初に難しい証明が発見されて、その後に初等的な証明が見つかった
ということなら歴史的意義はあるが、先に初等的な証明があるのに
後から難しく証明しなおしても牛刀鶏肉でしかなく…
重要な定理だったら、別証明がたくさんあった方がいいけど、
これはそういう定理でもなさそうだし

慶応のどうでもいい小ネタは別スレでやってくれ。流石にスレ違い。

あと、証明ごとに何かしらの洞察が含まれてるならいいけど、この定理の場合は、
少なくとも初等的証明の方は、AIが出力したかのようなイカツイ計算が並んでいて、
問題を解くためだけの力づくの解法という感じがする

難しい方の証明は、難しすぎて俺にはお手上げだが、もしこれも
問題を解くためだけの力づくでしかないなら、論文の意義がほとんどなくなる

最新の数学で素朴な未解決問題が解けた、というのが論文のウリの1つだったはずで、
でもそれは2004年に解けてるからウリにならなくて、じゃあ何が残るのかっていう…

>>889
ごめん、もう控えるわ

定義から従うという場合、
定義に該当するような数学的対象物が、
実際に存在することを示す必要があると思う

慶応うんぬんよりちょくちょく出てくる物理の話題の方がスレ違いなんだけどな

>>893
そういうのは無視するのが一番

西洋人がどうだとか言うけどフェセンコは熱心に支持・擁護してるしワークショップにも多くの西洋人が来ただろう？
で、日本人のほうはどうだ？数論の大物でIUTを支持どころか関心すら表明した数学者がいるか？
東洋人蔑視ではなく、それを悪用した個人の恨み・僻み根性の表明だよ。それを支持する連中も同様

>>895 恨みや僻みというより、日和見じゃね？
理解するのは面倒だろうし、
上手くいってなかった場合に、巻き込まれて非難されたらやだもんねｗ

掲載先の選定と今の対応からして、数学版STAPじゃないかと思われても仕方がないと思うのよね。
業績作りで（当人たちも怪しいと思っている）理論を掲載させて、
そのままうやむやになって自然消滅という形を狙ってたというか。
ただ数学の場合は医学と違って実験証拠が残らないから、
悪意認定はほぼ不可能だけど。

>>893 >>894
無能 乙

アティヤのリーマン予想
simpleな 証明

ディラック ノイマンの仕事にも基づく、
つまり 量子物理と関連する。


アティヤの

アティヤの 位相的場の理論 は数学

>>897
本人はともかく、周辺の秀才崩れには職を得るためのありがたい理論だったな
自分でオリジナルな研究ができないが、難しい数学でも勉強はできるタイプには良かった

☆くんもGOも3.12を疑ってみて
本当に情報の抜けがないか疑ってみてほしい

もしくは情報の抜けがないようにパラメータを増やし3.12を修正し、その後の論文を全部書き直すか

宇宙際タイヒミュラーサムライとして数学史上のネタにされてしまうのか...
モッチーの人格にも問題あるよな
味方側（宇宙際タイヒミュラーの理解者）、弟子の査定は大甘で
批判側に対しては、気鋭のフィールズ賞受賞若手学者まで落ちこぼれ呼ばわり

3.11ならぬ3.12問題かぁ
☆君やGo氏はその件に関してダンマリなのかな？

本当に「書かれていることを鵜呑みにしてしまうできの悪い学生レベル」である可能性があるからな。

僕は安心してる。関係者の話を総合すると、確かにあちら側の主張は「フィールズメダリストがそんなこと書いていいのか」レベルだ、というのは複数の研究者がそう考えてるみたいだから。これはマジ。

ショルツの天才っぷりがわかるね
この指摘をできる人が誰もいなかったのか
見て見ぬ振りをしてたのか
どちらにしろ証明をかけないならもっちーの負けに持っていった勝負勘は凄い

>>902
別に差別として使うつもりはないんだが、アスペ的な反応に見える
そもそも自分がちゃんと外で説明しないからそうなるのに

>>905
まともな数学者ならそう受け取るのが普通だろうね。