Inter-universal geometry と ABC 予想 45
レス数が950を超えています。1000を超えると書き込みができなくなります。
モッチーのブログの感じ見てると、敵認定した相手には結構煽りそうな雰囲気あるし
海外の人間に受け入れられるには仮に正しかったとしても時間あるかかりそうだね >>843
コメントからして読んで無さそうだよね。 でも出版時期は不明なんでしょ? それがすでにおかしくない? この後に及んで掲載をネタに観測気球上げるような真似するかね?
大先生巻き込んで 会見までして載せないなんてあり得ないし、そう遅くない時期に特別号が出るだろう。ただ、その内容が大事と言うのは間違いないわな。collolary3.12の証明を追記した今のverなんだろうけど >>853
>ショルツは前の論文以降に修正されたやつは読んだのか?
>そこ重要でしょ
>コメントからして読んで無さそうだよね。
横から悪いけど
プロ向けの英文解説レビュー出した方が良いと思う
G先生とかH先生とか
2018年のSSとの議論の後の
マスコミ向けは、今回で十分で、もう良いと思うが >>856
でもここまでのプロセスだってありえないことの連続なんだよね。
アクセプトしたって言ったあとにしてないってことになってみたり、
なぜかアクセプトしてないのに報道機関にリークがあったり、
その報道機関の報道を研究成果として載せたり。 モッチーはほんの1週間ほど前に
例の7.12の証明を10ページほど加筆修正したんだが、
当然それはショルツは読んでないだろな。 >>643
んなわけない
その程度のことなら思いついてくれる >>843
いやそれは結局、論争の時点で十分やり取りした部分でしょ
表現を洗練させただけで。言い換えたり直観的な議論はしてたはず 日本のマスコミどこも酷いな。逆に関心の低さの現れだろうか
真実かどうかわからない事件だったら「XXXが放火した」でなく「XXXが放火したと警察が発表した」って表現に気をつけるだろ
なぜ「望月教授が証明したと京大が発表した」の次元に留めなかったのか ショルツは一応インタビューに答えてるし加筆修正ぐらいは確認したんじゃないの 多分、これでめでたしとはならない気がする。
楽天すぎるのでは?と思える日本人気質。 こうした批判を受け、PRIMSの編集委員会は論文の受理を保留し、審査を継続。複数の査読者に論文の再検証を依頼するなどし、2年余りかけて論文の正しさを再確認した。
2年余りかけて論文の正しさを再確認した。研究所内でも検証を続けたが、ショルツ氏らから指摘された部分について、問題は確認されなかった。
https://www.asahi.com/articles/ASN42523ZN3PULBJ00D.html >>867
RIMSを信じるかScholzeを信じるか 今TBSラジオで東工大加藤教授のインタビューを聞いてきました!ド素人です!
望月教授はどんな方ですか?ってアナウンサーに聞かれて加藤教授
「気さくな、普通の方ですよ」って言ってたんだけど本当ですか?
天才数学者がそんな性格ってイメージわかないなあ 改訂がなければ、ショルツもプライドをかけて潰しにくるわな >>867
>2年余りかけて論文の正しさを再確認した。
>研究所内でも検証を続けたが、ショルツ氏らから指摘された部分について、問題は確認されなかった。
いや自分たちで再確認しても意味ないだろ
ショルツに理解してもらわないと あ、なに、日本の数学者と海外の数学者で意見が割れてるの? andとorの誤解の話は主にSSに向けたものじゃないのか? ぶっちゃけ、望月先生関係ないRIMSの所員も、面倒事に巻き込まれたと思ってるだろう 望月ーショルツ
加藤ーケドラヤ
ケドラヤは否定はしてないがかなり長く関心を示していながら今はもう少し距離を置くようになってる
状勢として全く予断を許さない >>859
イレギュラーだったのはそうだけど、今回みたいに京大として証明を認めると発表したり、柏原、望月両氏のような大物に会見まではさせた事はないからな 重要なのは、そのショルツ氏が
ショーツを履いているかどうかだろう やはりショーツを履いているかが問題か。
Corollary 3.12も本質的にはショーツを毎日履き替えているのか、
それともたまにしか履き替えないのか(=θリンクの整合性!)の問題だからな。 yahooニュースコメントの手放しの讃称の多さよ
一方で海外ではまだまだ懐疑的な見方も強いことに触れてるコメントの少なさよ
国際学術誌といっても京大のしかも流石に査読からは外されてるとはいえ自身が編集長の雑誌であることについて言及してるのもわずか
そんなもんかね悲しいね
まあヤフコメだしね 何にせよ雑誌掲載は良いことだよ
これで常時改訂され続ける原稿じゃなく出版された論文に基づいて真偽を議論出来るんだからね >>885
指摘されるたびに小出しで修正って反証可能性を満たさないと言われるよね >>598
>完全に誤読、詭弁。ABC予想の証明が最重要と言ってるんじゃなくて、
>IUTのモチベーションにはABC予想は
>著しく重要だと言ってんの。従ってABC予想との意味的な関連性を無視できるはずがない
>それは事実なんだから否定しようがないの
おまえこそひたすら曲解してる
「ABC予想がモチベーションである事」と「ABC予想が合ってるかどうかは重要ではない」
は何も矛盾してない
グロタンディークのweil予想に対する姿勢がその典型
>あと、ABC予想の証明になってても(辻褄が合っても)数学的価値があるとは限らない、
>なんてそれこそ
>まともな数学者が安易に言うわけがないだろう。
>ABC予想はそんな小手先のパズルで解ける問題ではない
>悪口を言うのはあえて控えるが、控え目に言っても論外
↑
根拠が書いてない。言い張ってるだけ。
小手先で解けない問題でも重要じゃない未解決な難問なんて腐るほどある
> 偉そうに講釈垂れたいなら、一度「IUTの何がホッジーアラケロフ理論の一般化なのか」
>くらい解説したら
>これは非常に難しいが核心的な部分だよ。IUTの数学的価値について語るなら避けて通れない
>ま、あんたじゃなくセンスのある不特定の誰かにヒントを出すなら完全にモチーフの話なんだけどね
それを読んだはずのあんた自身が
根拠を語れてない時点でダメだろ
知ってる知らない読んだ読まないを権威主義的に根拠に使用するのは愚行
半年ROMれドヤるな >>885
>何にせよ雑誌掲載は良いことだよ
>これで常時改訂され続ける原稿じゃなく出版された論文に基づいて
>真偽を議論出来るんだからね
だからABCの真偽なんて重要じゃない
雑誌掲載されようがされまいが
IUTが【数学の景色を変えてくれる具体的見通し】を与えるない限り
誰も興味は持たない
これでやっと「ABCが合ってるかどうか厨」が消えてくれるだろう
数学会は「合ってるかどうか」の競争や人為的権威で動かない
合ってることが確定したところで数学会に永続的な祭りは起こらない >>886
素人で悪いけど満たさないの?
個々のバージョンでは一応反証可能性あるように思える
細かい修正であってもそのプロセスを繰り返してより洗練された理論に持っていこうとしてるなら健全では
牛歩戦術的にわざと時間稼ぐためだけにやってるなら悪辣極まりないけれど 久々に見たけどこのあってるかはどうでもいい基地外まだいるんだ >>642
>これヤバいのでは?
>けっきょくPRIMSの内部で完結していて外部に明確に理解して応用できるひとがいないのに
別に外部の雑誌に掲載されたところで一緒
ABCが合ってるとなった所でIUTの価値が急に上がる訳じゃない >>891
>久々に見たけどこのあってるかはどうでもいい基地外まだいるんだ
↑
異議があるのに根拠を言えないバカ >>884
>yahooニュースコメントの手放しの讃称の多さよ
>一方で海外ではまだまだ懐疑的な見方も強いことに触れてるコメントの少なさよ
> 国際学術誌といっても京大のしかも流石に査読からは外されてるとはいえ自身が
>編集長の雑誌であることについて言及してるのもわずか
ダメだ、まだ「合ってるかどうか厨」は消えそうにないな・・・
IUTが【数学の景色を変えてくれる見通し】を与えてない事が低評価の真の原因なのに
「外部の人が合ってると検証してないから数学会が騒いでくれないんだ」
と勘違いしてる くそ、51にしてもっちーのイケメンぶりが全世界に晒されて女子人気が出てしまうグヌヌヌ >>894
ちげえよ そんな話じゃないから
数学ひいては学問に興味ない人多いんだなって話
俺はABC予想があっているかどうか自体は全く問題にしてないよ
あの報道だけ見てあの反応する人の感覚についていけないなと言うだけ 合ってるかどうかでお祭り騒ぎするってのは受験勉強的と言うかスポーツ競技的発想
数学は具体的な新しい景色を提供するところに驚きと驚嘆がある >>897
>数学ひいては学問に興味ない人多いんだなって話
そこは禿げ上がるほど同意
オリンピックのメダルみたいにただ権威に興味あるだけ
中身はどうでもいい >>886
「それは初歩的な勘違いでそもそも問題点の指摘になってない」と当初から理解陣営が言い続け、面倒くさいところ懇切に何本も説明をしまくっているものに、
「一つくらい反論してみろよ」から「何を言おうが海外では全否定されている、に違いないキリッ」そして「小出しに修正しやがって 意味ねえわっ」、
と小出しにすり替え修正し続けている涙目の馬鹿らのことな アビガンに興味があってyahooみたら
アビガンよりも中国企業にパクられるな!とか韓国に薬を渡すな!とかそういう話ばかりしてる
yahooってそういうところよ
株で富士フイルムの掲示板見に行ってもそうだから。株とか関係ない。 yahooニュースはニュースにコメントする場じゃなくて単に自分の言いたいこと言うところだからね
まあそういう自分もこんな書き込みしてる時点で彼らと同レベルだけど我慢できなかったわ 全称命題から存在命題が導出できることについて議論して欲しい
俺はできないと思う
なぜなら
全称命題には存在性がないからだ >>867
この朝日の石倉とかいう記者もひどいな。
長年取材してきたなら、ショルツの指摘が「どのように」関係なかったのかが
一番重要なのに、あっさりかわしていて。
ヤフコメ民と同レベルだよ。ジャーナリストが厳しい質問できずにどうするんだ。
京大のちょうちん持ちかよ 証明が正しいかどうかより
証明の応用がどれだけあるかだよな 玉川氏はIUTを理解したということか?
フェセンコ氏も? ん?ABC予想は認証されても強力な公理に成るだけ?広がらんのか?
他の有名懸賞問題にも有効そうじゃが。其れはまた其の先の話で?
分野としての進化は得られても、学問としての分野新生には至らんって云う事なんか? このスレにIUT理論を理解している人間は1人もいないから今なら任意の尤もらしい嘘が武器になるぞ!君も虚構でマウントを取ろう! そのうち「ABC予想解けました!」
っていう素人がワンサカ出現するんだろうな 京大数理研の複数の教授が確認したってことは
証明は正しいのでしょう
さすがに小保方案件にはならないと思います そんなに大層にせんでもこれといっしょやねんからこれが証明なんかみたらええやん
https://en.wikipedia.org/wiki/Abc_conjecture
Examples of triples with small radical
2/3c Woitが早速更新しているわけだが、これ個人的に聴くところでは西海岸の数論幾何学者でも似たような
感想らしい。実はIUTを読んでる人は海外にも意外に多いんだけど、勿論理解できてないし納得してもいない
後はタオの感想が楽しみだな。まあ刺激的な発言はしないだろうけど、ねじれは認識してるわけだし
>>887
色々別の要因で疲れているしやり合う気はない。しかし、ホッジ理論やアラケロフ理論とIUTの関係は
望月や星を眺めただけではわからない。そんなに簡単じゃない
ABC予想については、問題自体を抽象的な構造で見ると既成の数論幾何学には言語としてはっきりない
問題だと一目でわかるものだからな。普通のスキーム論だとABCが述べてる数論的に細かい情報を扱えない
細かく切り離せない
多項式の有理関数の場合とはもう全く違う。ABCにアラケロフ理論は通用しないし、アラケロフ理論に対して
関数の世界では有用なホッジ理論も代数体の大域では存在しない。わけわかめだらけの問題なわけだ
そこでIUTの答えは、コホモロジー理論を放棄して特殊な一般化を実現することだったわけだ
(なら何故モチーフ論的?)
繰り返すが、抽象化して翻訳する時点でABC予想が構造的な(深い)難問なのはほとんど明白よ
それに文句があるなら別にいいよ。もう特に言いたいことはないし 望月教授はニコラテスラ、フォンノイマン、アルベルトアインシュタインに匹敵する天才です 加藤文元の解説を読んだ程度だが、IUTが成立してるなら
あの説明だと応用範囲めっちゃ広そうで強力な武器になりそうだけど
そう思えるように加藤が言ってるだけなのかもしれないけど またしょうもないお手盛りカンファでナンデが2/3cに定数3/2かけてフェルマーがーとかやんねやろ
アホらしゅうてやっとられんわ 論文も理解せずに○○級の天才と崇めるなんて狂気じみてるよ シェルツもフレンケルもABC予想証明されて自身の研究分野の価値が無くなっちゃうから認めないだろうね 2020年04月04日
・(論文)修正版を更新(修正箇所のリスト):
The Mathematics of Mutually Alien Copies: from Gaussian Integrals to
Inter-universal Teichmuller Theory.
・(論文)修正版を更新(修正箇所のリスト):
Inter-universal Teichmuller Theory I: Construction of Hodge Theaters.
Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic
Evaluation.
Inter-universal Teichmuller Theory III: Canonical Splittings of
the Log-theta-lattice.
Inter-universal Teichmuller Theory IV: Log-volume Computations
and Set-theoretic Foundations.
http://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html Inter-universal Teichmuller Theory I
------------------------------------
・Corrected a misprint ("termniology" ---> "terminology") in the portion entitled "Monoids and Categories" of \S 0
・Corrected a misprint ("compatiblity" ---> "compatibility") in Remark 4.9.3, (ii)
・Updated the Bibliographical entries for [IUTchII], [IUTchIII], [IUTchIV]
Inter-universal Teichmuller Theory II
-------------------------------------
・Updated the Bibliographical entries for [IUTchI], [IUTchIII], [IUTchIV]
Inter-universal Teichmuller Theory III
--------------------------------------
・Updated the Bibliographical entries for [IUTchI], [IUTchII], [IUTchIV]
Inter-universal Teichmuller Theory IV
-------------------------------------
・Updated the Bibliographical entries for [IUTchI], [IUTchII], [IUTchIII]
http://www.kurims.kyoto-u.ac.jp/~motizuki/2020-04-04-iu-teich-revisions.txt 望月陣営の8年間
ABC予想は証明されましたっ!
↓
反論
↓
実はABC予想は全て証明されてなくて弱いABC予想は証明されました!
↓
反論
↓
ABC予想が証明されてなくてもIUT理論は画期的な理論です(涙目 もちは証明証明ちゅう割には3.12がなにを指したとかゆわんからな
わかっとらんのちゃうか >>925
弱いabc予想
ではなくて、
一般的なabc予想、ね
フェルマー導くのは変形版abc予想だから 具体例よう出さんちゅうこっちゃ
前からゆわれとるよに 海外ではフィールズ賞のScholze や Stix が致命的な欠陥を指摘した、と流布されたため、否定的な意見が広まっているが、
少なくとも理解者の間では、以下の意見のようにScholze側の初歩的な理解不足による「誤解」から間違った理解が拡散されてしまった、というのが真相のようだ。
だってよwwww
https://twitter.com/math_jin/status/1246152685578903552?s=19
https://twitter.com/5chan_nel (5ch newer account) 「ABC予想」証明した望月教授に「フィールズ賞の1つや2つでは足りない」と関係者
ファルテインクス抜いたショルツ抜いたルーリー抜いた
偉業過ぎて泣けてくるな jinの悲願は達成された。
もうjinは役目終わりだろ? まだなんかやんの?
なんかでかい賞取るまでか。 他の海外勢も誤解した部分を説明する論文出すみたいだからもう証明は確定やな
もう根回ししてたんだろ >>904
一階述語論理では全称命題から存在命題が証明できる
一階述語論理の正統性は完全性定理かなと思う ながーいながーい証明
疲れるほどながーい
あきれるほどながーい
そんな証明、本当に証明されたのかどうか
誰が証明するんだ? 海外勢がアップしたPDFも誤解の部分を既存の数学で馴染みやすい記法で説明しとるしもうSSも文句つけれんやろ
数日以内には白旗あげるよ >>927
強い条件ほど狭く弱い条件ほど広いんじゃもんな 年齢制限をモッチーのために一時的に撤廃してのフィールズ賞受賞、ノーベル物理学賞、ブレイクスルー賞、クレイ研究所からのミレニアム検証問題のペレルマン辞退分の賞金授与あたりはありえるんでないかな IUT理論とABC定理を使ってリーマン予想が証明される日も近いに違いない リーマン予想も、ABC予想も証明は難しいけど結果はかなり確からしく正しいんだろ?
かなり正しいならその性質をそのまま利用するではダメなのか?
それともどちらの予想も現実の応用には役に立たないの?
誰か教えて! >>867
>複数の査読者に論文の再検証を依頼す
複数の査読者が独立に同じものを読んで独立に太鼓判押したってことでしょ? これ、毅先生のとことかコメント求めに誰か来るだろ
一体どう答えるのか >>944
確からしいではダメというのが数学のスタンス AIに判定させればいいじゃん。もう、人間より頭いいでしょ。やっぱ、プライドが許さないかな >>944
数値シュミレーションとか数理工学寄りだと、リーマンは成り立つものとして
やっているケースもある。統計学的に成り立っているという論文もある。 今朝の日経朝刊記事はは冷静だったよ。焼肉のことは書かれてたけど。
手放しで「証明された」とは書いていない。検証はこれから、という書き方。 AIに判定させたらまず間違いなく正しいかどうか判断するのに必要な情報が記載されてないってオチになるだろ レス数が950を超えています。1000を超えると書き込みができなくなります。