Inter-universal geometry と ABC予想 34
■ このスレッドは過去ログ倉庫に格納されています
IU幾何やABC予想に関する会話のサロン として使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 33 https://rio2016.5ch....cgi/math/1539459427/ >>542 いやまあ、元々は機械で検証するのが現実的かっていう話なので、そういうのは 結局全部入力しなきゃならないハメになるよって事です。 というか、論理関係を入力する時点でその本質を明らかにしなければならないんだから循環論 その意味が明確になればそれで十分検証できるわけだから しばしば証明は難しいにしても、組合せを尽くすだけの単純な離散数学とは違うんだよ それよりも一般に何処が読めないのか調べたほうが早い 論理矛盾ではないよ。 その論理が単に数学的な文章としては成立しているのと論理的に整合しているのかを調べるのでは意味が違う。 でなければ何年もかけて過去の数学論文をcoqで検証してむるプロジェクトやってる意味ないでしょ? さっさとやってハッキリさせればいいじゃん 逃げてるようにしか感じられん >>546 単純に難しい。フィールズ賞と殆ど変わらないくらいの学術的ブレークスルーが必要 コンピューターで検証することについてショルツはこう言ってる 実際自明だって言い張ってるんだから機械的な検証に落とし込む以前の問題なんだろう >One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work). >The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear, >but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”. https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ SSが極端な単純化をして否定するような説明をしたのは、論理が明示されてないからそうでもしないと話が進まないのもあるけど 書かれていない理論的背景があるなら否定を覆す説明中に出てくることを期待していたという面もあると思う 結果今の状況ってことは何も出てこなかったってことなんじゃない? 自明だから無駄というか、どうやったらいいのか全然判明でないと言ってるね 実際一定以上の性質を持つ正しい数学ですらそういう困難があるのに、訳のわからない理論は論外って話だ 望月理論が進展がないのは今に始まったことではない。 2012年から一貫して進展がない。 これは正しい数学の理論としては到底ありえないことだ。 ショルツは証明の機械化以前の問題だというが、望月や取り巻きも、 自分らが何をやっているかわかっていないので理論を進展させることができないのだろう。 望月先生含め、実力がある数学者が集まってそれってあり得るの? 俺はど素人だからでかい口は叩けないが、ここに書かれてることは憶測が多いとは感じる 権威主義とか勘違いが酷いやつだなw 553の言う通りだろ 臆測ばかりにみえてるよ 望月教授とその周辺の人が勘違いしている可能性と IUTは読めばすんなり分かる内容だけど周りの多数の数学者が全く理解出来てない可能性 天秤にかけたらどう考えてもIUTが説明不足な可能性の方が高いんじゃない? 権威主義がどうとかいう問題なのか? >>554 権威主義に陥ることは良くないし 数学の素人が判断出来る要素は限りなく少ないということも自覚してるよ ただここに書かれてることもどうも憶測に憶測を重ねてることが多いと感じてね まあ掲示板だから良いんだけどさ 権威主義に陥ることは良くないけど それなりに数学に関して判断出来る人がずっと誤りに気付かないってあるのかなって でもこれもまさに憶測だよね >>556 その理屈は分かるし まだまだ説明出来る余地があるならした方が良いとは思うな >>555 現実に証明がないのは確か。 これは憶測でも何でもない。 もめているのは日本(というか、日本の外野)だけ。 身びいきの感情がない諸外国ではとっくに「望月、証明に失敗」で決着している。 結局、独逸のショートストップはIUTをアウトにできたの? IUTの監督は激しく抗議しているけど、肝心の審判が いない。 いるのは遠くから眺めている観客だけ。 観客の声援の大きさで決まるルールだったっけw 少なくとも望月教授が書いたSSペーパーに対する反論レポートの中には SSが指摘した問題点が起こらない理由についての直接的な説明はないのよね 憶測に憶測に重ねてるってのは事実で、 IUTは世界にまったく受け入れられていないというところで話は実際に終わってるからね。 そのあとのなにかじつは意味があるんじゃないかみたいな与太話も。 RIMS内部でどういう政治力学が働いてるのかもただの憶測に過ぎない。 >>553 わざわざ言うまでもないとは思うけど ここのやりとりを間に受けちゃダメだよ >>564 なおGCOEでメディアで高評価だという説明をしたのも、査読完了前に新センター作ったのも 飛ばし記事を朝日新聞が書いてPRIMSに未だに掲載されないのも事実な模様 >>542 それ、読んだこと無かったな。後にもうちょい言い方が違ってた気がするし、あと本人の解説に関わらず ホッジ理論とIUTを両方ある程度意味把握してれば類似が言えるというのもある 個別の極限対象をmultiplicative subspaceなんて呼んでたんだ 物理屋さんがわざわざ調べて報告したものに関しては、憶測ではなく資料に基づく事実 何でも憶測にしたがるのは後ろめたいことでもあるからなのか?w はっきり言ってIUTT関係者やRIMSのやっていることは胡散臭い これはIUTTの正否に関わらず言えることだ 前にも書いているけど ・IUTの正否は、かなりハイコンテクストで簡単に断言できる話ではない しかし、社会学的な意味で遠目に見ていた数学者がショルツらの評価を真に受けて終わる可能性が高い ・IUTが正しい理論だとしても、理論を理解するのは恐らく平均的なスキームの保型表現論や p進ホッジ理論よりも難易度が高い この二つの要素が絡んでいて、現段階でコミュニティにおける位置付けを断言できる人間は どんな立場の数学者にもいないと思われる だからこそ面白いという事もできるんだけど(勿論飽きてきた側面もあるにせよ) >>565 どうもです 少し離れた距離から見てます >>568 何でもかんでも憶測とは思ってません 胡散臭いというのも分かるけど やっぱり第三者から見て憶測が多いと感じるのは確か でもそう考えるのはよく分かります 同じことばっかり言ってもあれだからこのくらいにします なんで569みたいにひいき目で物事を考えられるんだろう >>570 数学は高尚なものだから馬鹿は口を出すな、と言いつつ自分も何も言わないセコい人がこのスレにもいる 数学者は基本的に慎重とは言え、馬鹿だと思われるのを恐れて黙っていても仕方ない 今は、臆病な数学者達と望月さん達の媒体になれる人材が必要な段階でしょうな あなたは擁護したいのかもしれないが、実際に状況はかなり曖昧なまま、多くの数学者にも よくわからん感じで来てしまっているのです >>571 全然ひいきじゃないよ IUTが間違いだとしても、ショルツの件だけでは葬るに足らないと思うだけ もう少し公に議論する必要がある >>572 そう見える要素があったかもしれないけど擁護したい訳でもないです ただ気になるからこのスレを覗いてるけど確定的なことは出てきてないなと >>569 さんの分析が正しそうな気はしてます あなたの言う通りで結局はよく分からないってことですよね 工作員が必死だなあ ショルツレポートが完全に否定されないとムリだね IUTTに関して「確定的なこと」など言えるのはIUTT一派とS・Sぐらいだよ ファルティングスですら何がやりたいのか分からないと言っていたぐらいだ(皮肉だと思うが) だから自分で考えることが大事なんだよ、スレの流れを気にするヤツはどうかしている そんなこと言いながら俺も息抜き程度なんで、最近ではルーリーやヴォエヴォドスキー辺りを読んでみようかなと思っているw 先日、望月の初期構想のリンクを張ったけども、とにかく彼は人に伝えるための整理能力に欠けている印象がある 望月も議論をしたいと書きつつ貼り付けたリンクはフェセンコのアジビラだったり、 ブンゲンの小学生向けの講演だったり、弟子のどうでもいい講演スライドだったり、 人を舐めてんのかって本気で思うよ 悪態ついておきながらなんだけどw、俺は望月は孤独なんだと思う 本当に議論したい相手、研究したい仲間がいないのではないかな(取り巻きには失礼だが) しかし、その真の仲間を拒んでいるのも望月本人だと俺は思っているのだが・・・ 手書きのペーパーの属性方程式を解きたいあたりから嫌な予感がするな 通常の集合論を拡大する必要があると >>577 >望月も議論をしたいと書きつつ貼り付けたリンクはフェセンコのアジビラだったり、 ブンゲンの小学生向けの講演だったり、弟子のどうでもいい講演スライドだったり、 人を舐めてんのかって本気で思うよ だから、そういう方法でしか自分のプライドを守れないってことでしょ。つまりSSにたいして数学的な反論はできないと。 よくここの連中は憶測でしかものを言えないとかいうけど、世界中の数学者だって議論の応酬の仕方から、望月とSSとどちらが正しいか判断している。 そして望月の応酬ぶりから「望月の証明は正しくない」とみている。 一種のメタ数学的判断だ。ここの連中と同じ。 それは、ちょうど、何の専門的知識がないにもかかわらず、一定の判断を下す、 特許裁判における文系裁判官に似ている。 そもそもこんなにスレを消費しなくても、 ・査読は通過していない ・外部からダメ出しされた ということだけが事実なんだから、ただの査読落ち論文ってことだろう。 それに対してまだ何かあるかもしれないと勘ぐる(擁護する?)から延びるだけで。 著者がろくに文章に落とし込まずに自明だ、ラベル付けによりSSに指摘された点が解消される可能性はあるから 正しい可能性もあるって言い張ってたら外部の人間が証明にギャップがあることを示すのは無理だからなぁ RIMSのお偉いさんか誰か数学者として本当にそんな態度でいいのか?って突っ込んでやれよ IUTがどんなに高度な数学の上に成り立ってるかしらんけど本当に自明なら少なくとも数論幾何の専門家にはわかる程度の説明は出来るはずだろ >>580 >>583 メタ的な判断はよく分かるんですけど結局は憶測の域を出ないんですよね でも確かに話を聞いてると説明不足の感は否めない気も (世界中の数学者に)何で分かるように説明出来ないんだろうという疑問はありますね 外国の数学者も理解した人は何人かはいるんですよね >>582 取り巻き?にいる山下先生とか星先生はあんまり大したことない感じなんですか? 素人なので知らなくてごめんなさい 今ある事実から憶測することは別にいいだろう 6年間進展がないから間違いじゃないかとか普通の感覚してたら思うだろ このスレの悪いとこは憶測を事実として盲信して叩いたり煽ったりしてる点 >>584 >外国の数学者も理解した人は何人かはいるんですよね いないよ。君はだいぶ情報が遅れてるね。 望月理論の理解者は結局誰一人いない。 理論が正しければ理解する人が現れる。正しくないから理解できない。 おそらく望月自身も自分が何をやっているかわからない。 だから2012年以来、何の進展もないのだ。 望月理論を一番理解しているのは、望月自身ではなく、SSであることは間違いない。 だから理論が致命的にナンセンスであることも一番鋭く指摘しているのだ。 査読は議論ではなくてレフェリー側が攻撃、著者が守備という非対称性がある レフェリーを納得させられないなら非掲載 それでも論文の結果が正しいということはある なお今回は「結果は正しいが重要な結果ではない」判定はあり得ない 長過ぎるからなんとか縮めろはあるかもしれないが むしろもっと長くてもいいから読み易くしろのほうがあるかも 著者が正しい、出版の価値ありと思ってるなら、他の雑誌に出せばいい 結局はまたディフェンスして守りきらないといけない 俺も一度リジェクトした論文が別の雑誌からまた俺にレフェリー回った経験がある >>585 そう思います 信者、アンチ双方にそういう人はいるでしょうが >>586 そういう結論に到ることも理解は出来ますが結局は憶測ですね 有難うございました 私はただ断定して言うのが気になるだけで結局は匿名掲示板ですからね 何だか水を差す書き込みをしてしまってますね 査読もなかなか大変ですね IUTTはかなり専門的な知識が必要とされる(と言われてる)ことも関係ありそうですが >>588 君は都合が悪い真実をすべて憶測と言ってるだけだな。 「望月の理論3.12には証明がない」 「海外にも(国内にも)証明を与えることができる理解者がいない」 のは、憶測ではなく事実。 君は単にこれらの事実をつきつけられてスルーしているだけ。 本当は >>581 のいうように、 森重文の仲介で、SSと会談したがついに説得できなかったという時点で、 事実上外部査読の通過に失敗し、 却下された論文という事だ。それ以上でもそれ以下でもない。 この事実は憶測でも何でもない。 このスレでだらだら議論が続くのは、RIMSがまだ正式に降伏宣言してないので、 それを生暖かくみまるのと、 小保方信者のような狂信者が時々書き込むので、 それに反応して書き込みがあるだけのこと >>590 数学的に証明足り得ているかどうかは私では何とも言えません また数学者の先生でも断言はなかなか出来ないのではないでしょうか ただ 「論文発表から6年経っているにも拘らず理解者がほとんどいない」 「理解者とされている人も他の数学者に理解させることが出来ていない」 「まだ査読が終了していない」 「査読が終了していないにも拘らず『ABC予想を解決した』と書いてしまった」 などのことは確かに事実ですね 上記の点からいろいろと考えられることがあるのは確かだとは思います >>591 >事実上外部査読の通過に失敗し、 >却下された論文という事だ。それ以上でもそれ以下でもない。 >この事実は憶測でも何でもない。 憶測を事実のように語る人間の典型じゃないですか いやそもそも何を主張してるのか分からん 事実上却下された論文って何だ? 却下されるかどうかって完全に白黒つくものだから事実上なんて言葉は意味不明 「すでに却下されてるに違いない」と主張してるのかな? >>591 STAP論文や彼女の博士論文の不適切なところが 1ヶ月もしない間に次々と見つかったオボちゃんとは少し違う SSレポートがなぜか公開状態になっているが 査読は一応非公開なので水面下では解答があったかもしれない IUTはありまーす確認☆よかったレベルの期待を持つ人がいても良い状態 査読の回答があったかどうかなんてそれこそ憶測に過ぎないじゃん。 査読中かどうかなんてのはどうでもいいことなんだから(別に査読中という状態に意味があるわけではない)、 「査読は通っていない」という事実があるだけでしょう。 >>586 >望月理論を一番理解しているのは、望月自身ではなく、SSであることは間違いない。 どういう根拠で、そう言えるのさ? 森さんが宣言すれば全て終わるのにな 「ABC予想はいまだ解決されず」と >>597 それぐらいはっきりした態度が望まれるわ 難解とは言えさすがに6年間放置は長すぎる 森総裁頼みますぜ >>597 色々報道もされたから森か柏原のコメントが出るだろうな どっちに解決するにしても おいしい情報だけ掠め取ろうとして、様々な言い合いを眺める猿未満のニヒルメタポジ馬鹿がいる所も 相変わらずだな 賭博を愛しすぎて破滅した天才数学者の末路 「賭博に負けない唯一最高の方法は…」 11/16(金) 16:00配信 https://headlines.yahoo.co.jp/article?a=20181114-00000047-sasahi-life カルダーノの場合、最愛の長男が殺人罪で死刑になり、次男はヤクザになり、 長女は梅毒で若死にするという不幸に見舞われて酒と賭博に逃避した事情はわからなくもない。 なんかワロタ 宇宙際も博打なようなもん?・・ カルダーノって弟子は優秀だけど、自身は数学者というより詐欺師みたいな人だよね 猿山とか言い放って批判を罵倒しつつ擁護する関係者っぽいやつまだいるのか IUTについて 京大.RIMSから文科省へ報告。 >>35 ↓ >望月新一による「宇宙際タイヒミューラー 理論」の構築とその結果としての ABC 予想の解決は、特筆すべき出来事である。 >当該論文は現在査読中であるが、 このスレに憶測が多いのは事実だが、ABCの解決者だと見なされてない感じっていうのは 例えばIASに招待されてないとか色々ある プリンストンはアメリカのディオファントスの総本山みたいな所だからな これ、結構正しい理解だわ 前にも書いているけど ・IUTの正否は、かなりハイコンテクストで簡単に断言できる話ではない しかし、社会学的な意味で遠目に見ていた数学者がショルツらの評価を真に受けて終わる可能性が高い ・IUTが正しい理論だとしても、理論を理解するのは恐らく平均的なスキームの保型表現論や p進ホッジ理論よりも難易度が高い この二つの要素が絡んでいて、現段階でコミュニティにおける位置付けを断言できる人間は どんな立場の数学者にもいないと思われる だからこそ面白いという事もできるんだけど(勿論飽きてきた側面もあるにせよ) 何度も言うが、ショルツらの反論は反論の体をなしていない。最初から誤解してるから全体的に内容がめちゃくちゃ。これ、本人や一派はもちろん、"彼"や、勉強中の複数の若手が言ってるから、ホントだよ。 ふーん、その他の数学者たちはそう思ってないみたいだけどね 正式に雑誌に抗議すれば良い なんで出来ないのか 後ろめたさや隠したいことがあるんじゃないのか 俺は望月はグロタンディーク宇宙で好き勝手にやっている宇宙人、異世界人だと思っている(笑) 好きにしたまえという感じだが、それに盲目的に追随している連中はただのアホだとしか思っていない 自分では一切考えようとしないで、誰それがどう言っているとか本当にどうでもいい NG入れが多すぎてたまらんわ orz 間違いだったらこの6年間何人もの人の時間が無駄になったんだなー 間違いは仕方ないにしろもっと短い時間でケリをつけられたんじゃないか? 再発防止策とか必要じゃないか? ご本人がもうちょっと丁寧なSSへの反論を出したら(出せたら)話が変わってくる気もする。 どっかの外人がblogで書いていたSSはiutをlinearにとらえすぎているってのが本当ならそれはどういう意味なのかとか >>613 そして最後には自分のレスしか読めなくなるのだった(゚∀゚)ケラケラ >>614 「間違い」というよりギャップありまくりで証明になってないとしても そこで穴を埋めれる側近はいなかった とすれば時間を無駄にした取り巻きにも責任はあろう 擁護してる人が言ってるようにSSは何もわかってないから 反論のしようがない〜で通るならまあそれでいいけど 6年解説ばかりで新しい仕事してないなら周囲もダメでしょ もっちーは大秀才であって、天才じゃないてあったけど この板で昔よくみた、揶揄された秀才君なのかもね 解説をするのも数学者の仕事だと思うがね 新しい領域への展開なんて誰にでも出来る訳ではないし何もしないよりかは遥かにマシ ただ前から言われてるように望月の仕事を発展的にもしくは一部ぶち壊してでも前に進めてくれるようなフォロワーが現れてこないのは問題だね 昨日関係者の関係者から話を聞いたんやけど、その人も>>610 と同じようなこと言ってたで。 どうやらショルツ側の理解があやしいってのはマジらしい。 関係者に聞いたら実はガッキー好きじゃないってよ 3.12の証明も良く分からないって >>550 面白いなこれ 「(ベリファイすべき)証明がそもそもなくって、代わりに『以上から〜が結論される』だ(から検証しようがない)」か。 元々 IUTは京大RIMSが予算を獲得し 事業を推進するための道具だ。>>35 - >>39 「ショルツ側の理解があやしい」というのは多分そうだろうと思っている 専門外のことで完全に理解するまで突っ込んで行く気はなかったのだろう 査読として不十分だまでと言えるかどうかはわからない 今の所は両方とも完全な決め手を欠いてる状態だからグダグダしてる ショルツの言うとおりじゃん。 abc予想の肯定的な解決はIUTの構築で 根拠は概要の解説文による。 数学証明の査読ではない。 ↓ >望月新一による「宇宙際タイヒミューラー 理論」の構築とその結果としての ABC 予想の解決は、特筆すべき出来事である。← >当該論文は現在査読中であるが、 望月新一が同理論の概要を解説した、、 講究録別冊として刊行されている。>>35 IUT以外で国から金を取る方法なんて数学の世界じゃないもんな なんか悲しいわ >>620 ハバードのポスドクだよ。出身は鼻くそみたいな早稲田。 >>627 「ショルツ側の理解があやしい」と言うのだったらHの理解も怪しいと俺は言いたいな ショルツらとHの入門での理解はほとんど変わらんよ。特に充満多重同型や対数リンクの非可換性の解消など(これは前にも書いた) ショルツらとHの違いは論文を読む際に批評的な視点を持って読んだかどうかに尽きる。ショルツらはデカルトの役割を果たしたんだよ ショルツらが怪しいなら一番弟子たるHも怪しいし、Yに至ってはまとめコピペしているだけなので論外 IUTTについて最もよく知っているのは(理解していると言うつもりはない)望月本人だけだよ 当然俺も完全に理解できてないし(誤魔化しが多いと感じるから)、望月だけが多く読み込んでいるとしか言えない(著者だからね) デカルト的と言ったのは、明証、分析、総合、枚挙・吟味と言う意味でだけどね 最後の枚挙に関しては、同一視できるものを同一視してまとめた(単純化)ということでいいだろう 数学板にはお互いの正しさを一方的に主張して議論が噛み合わないスレがある。 代表的なのは、算数の掛け算順序スレと負の数×負の数の説明スレだろう。 馬鹿の一つ覚えの主張が、壊れたレコードのように延々と繰り返される。 しかしここのIUTTスレは、同じ主張を繰返すという点ではそれらを超えた。 ここまでの同義反復は知性があれば恥ずかしくてできるものではない。 見事なまでに同じ主張が繰り返されている。恐れ入った。 大したもんだよ、蛙のションベン。見上げたもんだよ、屋根屋のフンドシ。 少なくともY田は理解してるよ てか理解どころか研究を開始してるレベルだよ フェセンコもIUTでBSD狙ってると明言してる 本当に理解できていなかったら、貴重な研究期間をそこに費やさないでしょ なーんも具体的なこと書けないんだから そら擁護派の方が苦しくなるわな、俺自身は批判者でもないがな てかマジで大物が一人も興味を示さないてのがやばい 出てくるのは何故か小粒ばかり、〇〇問題解決を狙ってるとかそんな話ばっかw 大きな成果でなくてもいいからIUTを使った新しい結果が出れば周囲の目も変わるだろう それこそなんちゃらの性質を持った整数三角形の存在でもOK >>636 上の方にあるチェコの出戻りIUTT狂信者の弦理論家がラングランズがIUTTに興味を示していたと書いていたけど、 上のレスにもあるようにIASから招待されてすらいないんだよね さっきエレンバーグのブログでタオとロバーツのコメントを読み返したけど、 IUTTで実行されている圏論や集合論というのはやはり彼らの言う通り“red herring”だと思う ttps://ejje.weblio.jp/content/red+herring タオはABC予想の証明に関する限りred herringだと書き、ロバーツは主論文Vの対数テータ格子について書きつつ、 望月の複雑な集合論的な言語はred herringであり、圏論的アプローチに慣れていないと書いている 同感だよ。しかも彼らはIUTT発表直後にそう書いている ロバーツなんてフェセンコにイチャモンつけられても、いまだに望月とメールのやり取りをしてそうだから良いヤツなんだろうな(笑) >AdS/CFT対応は、2つの理論の間の関係が 3次元の対象とそのイメージのホログラムとの間の >関係に似ていることから、よく「ホログラフィック対応」として記述される。ホログラムは >2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。同様に、 >AdS/CFT対応により関連付けられている理論は、次元の数が異なっているにもかかわらず、 >「正確に」等価であると予想されている。共形場理論は高次元の量子重力理論の情報を持った >ホログラムのようである 「ホログラムは2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。」 というホログラフィック対応とIUTの類似性が、超弦理論屋がIUTに好意的な理由だろう >>634 擁護派って、自分の願望を崩されるような発言に対してはすぐこういう書き込みするね。 あるいはチンパンと罵倒するとかw >>636 >大物が一人も興味を示さないてのがやばい 下手に言及して(ブンゲンさんみたいに)自分が責められたくないから、 逃げてるんでしょ。ただの日和見よ。 >>639 red herring って、どういうこと? 紛らわしいとか目くらましという意味なのであれば、 間違っているというのとは根本的に意味合いが違うの で、即無価値ということにはならないと思う。 なんかどうやっても間違ってるか正しいかという机上の議論に持って行きたいひとがいるみたいだが、 ぶっちゃけ間違ってるか正しいかなんてのは科学の営みのなかでは可変なので、 今は説明できていないけど正しいかもしれない、なんて主張には意味がないのよ。 ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる