Inter-universal geometry と ABC予想 34
■ このスレッドは過去ログ倉庫に格納されています
IU幾何やABC予想に関する会話のサロン として使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 33 https://rio2016.5ch....cgi/math/1539459427/ 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 って、どういうこと? 紛らわしいとか目くらましという意味なのであれば、 間違っているというのとは根本的に意味合いが違うの で、即無価値ということにはならないと思う。 なんかどうやっても間違ってるか正しいかという机上の議論に持って行きたいひとがいるみたいだが、 ぶっちゃけ間違ってるか正しいかなんてのは科学の営みのなかでは可変なので、 今は説明できていないけど正しいかもしれない、なんて主張には意味がないのよ。 >>644 数学の場合は証明できたかできてないかが全てでしょうね 現時点では数学界の中でIUTは正しいとは認められてはいない もちろん望月論文が間違っているというわけでないし 修正が必要だとしても修正不可と言ってるわけでもない 今の時点で誰かが別の方法か一部IUT使っても ABC証明すればその人の功績になるでしょう そうなっても望月IUTが無価値だと必ずしもならない 望月IUTが無価値と判断される未来も可能性としてはありうる >>645 全然違う。 科学の営みというのは結論を言ったかどうかではなく、 なぜそう思うのかを説明すること。 「地球は丸い」なんてのを単発でいきなり言い出してもそれは科学的主張ではない。 IUTはこの点で後者なのだからその時点で無価値。 >>646 「地球は丸い」とか物理の例は当てはまらないので まあ「全然違う」のは確かだな ショルツたちのレポートが言ってるのもそのことだよね。 検証する対象を構成してないから数学として無意味、と。 RIMSは国際共同なんたらになって、予算ゲットしたらしいね。iutさましまだな。 >>631 非可換性の解消っていうのは正確には「非可換性の問題の解消」だと思いますよ その辺の考え方もホッジ理論に関係しているけど >>640 超弦理論は単位がある物理体系の理論で 厳密な証明が必要な数学理論ではない。 ADS/CFT. 量子重力理論.量子的もつれ、 、 も同様に物理理論だな。 ディラック作用素の指数「定理」は超対称性 量子力学において経路積分を使い2つの方法 で計算すれば 導出される。 が、これは数学の証明ではないし 物理のアノマリーの計算だ。 どの分野にもトンチンカン 混同 邪念 病を患った奴がいるもの Y田さんが阪大の人なら、まあ一応Gさんの近い研究者だからな しかし、そうやって納得した人間がいる割にはなかなか通らないな。プロジェクト的にも 来年に通る可能性が高いのは間違いないが >>652 アノマリーか、確かにそうだね(笑) 最終節で“mutation-history”とか“observables”なんて散々書いているからね 結局、最終節直前まで集合論や圏論を偽装していたわけだ 本当は最終節でのIU形式主義と種の言語が底流に流れてた ロバーツもIUTT発表直後にMOでKimとこんなやり取りをしていた(だいぶ前にもコピペしたんだけどね。反応なしだった) ----------------- Dear Minyong, it has been stated by experts, here on MO and elsewhere, that universes are not necessary for the uses to which EGA/SGA are put. Indeed Colin McLarty has shown that ZFC is far stronger than is necessary, with the results provable in some higher order version of arithmetic. As far as the interuniversal aspect of IUTT goes, I expect it to have a topos-theoretic interpretation. This to my mind makes switching between models of set theory cleaner i.e. functorial. -David Roberts Sep 9 '12 at 1:27 ----------------- ちなみに“topos(topoi)”という語はIUTTではわずか1回しか出てこない 最終節を整備して冒頭に置き、それから宇宙際幾何学を展開するしかないだろうね ただ、それがもはや数学と呼べるものかどうかは分からないが・・・ >>652 だからIUTを超弦理論の厳密な数学的証明の為のツールとして使えるかもって 期待してるんじゃないかなという話 >>642 ブンゲンの動画がショルツのレポートを公開してるページに追加されてて笑ったわ 逃げられんねこれは >>640 はちげーと思うなあw 単にマルチバースを横断するタイヒミュラー理論は何かCFTや経路積分に凄くフィットしそうってだけじゃないの でも、一般的にストリングの人間がIUTに好意的って事実はないと思うんだが >>639 俺のID変わってるかもしれんが…… あー確かに、そうした話がほんとだとしたらIASに呼ばれないのは変だね フェセンコは何年か前に京大で講演してたのを覚えてるわ | || i/ ヽ、 ノ | | | || i/ \ / .| | .| || i/ ヽ、 ノ | | .| || i/ \ / .| | (S|| | (●) (●) | .(S|| | (●) (●) | .(S|| | (●) (●) | (S|| | (●) (●) | | || | .ノ )| .| || | .ノ )| .| || | .ノ )| | || | .ノ )| | || |ヽ、_ 〜'_/| | | || |ヽ、_ 〜'_/| | .| || |ヽ、_ 〜'_/| |. .| || |ヽ、_ 〜'_/| | ┏┓ ┏┳┓ / / ヽ ./ / ヽ ┏┓ ┏━┓ ┏┛┗┓┗┻┛ ,i / // / i i l ヽ ,i / // / i i l ヽ ┏┛┗━┳┓ ┃ ┃ ┗┓┏╋━━┓ | // / l | | | | ト、 | | // / l | | | | ト、 | ┗┓┏━┫┃ ┃ ┃ ┃┃┗━━┛ | || i/ \ / .| | | || i/ ヽ、 ノ | | ┏┛┗━┻┫ ┃ ┃ ┃┃┏┓ (S|| | (●) (●) | .(S|| | (●) (●) | ┃ ┏━┓┃ ┗━┛ ┃┃┃┗━┓ | || | .ノ )| .| || | .ノ )| ┃┃┃┏┛┃ ┏━┓ ┗┛┗━━┛ | || |ヽ、_ 〜'_/| | | || |ヽ、_ 〜'_/| | ┗━┛┗━┛ ┗━┛ >>660 小栗先生もIUTに好意的だという話を聞いたことがありますが もちろん超弦の皆がIUTに好意的という事実はないでしょうね なのでこの話はもう終わりにします 安否情報が少し前に更新されてる ここ見てくれてるのかな 横からスマンが大栗氏の件ね。前にも貼り付けたことがあるけどまた貼っておく (もう記事は削除されているけど2012年10月03日の朝日の記事から) --------------------- 数理研助教授を経て、米カリフォルニア工科大で物理と数学の教授をしている大栗博司さんは、 同僚が「モチヅキの何年も前の論文から勉強しないと」と話すのを聞いた。 「アイデアが美しいのは一致した見方。解けていれば、数学だけでなく、 物理などほかの科学の考え方にもインパクトを与えそうだ」と話す。 --------------------- 「解けていれば」との条件付きだが(笑) ちなみにチェコのIUTT狂信者に自己紹介したコメントを削除されたあげくブロックされたdcomplex氏は、 たぶんUrs Schreiber氏だろうね。ロバーツと共にフェセンコにイチャモンつけられた人 チェコの狂信者はdcomplex氏がチェコに戻っていることを嘲笑うかのようなコメントをしていたな 完全にブーメランなんだが。フェセンコといいコイツといいこのスレの下劣な狂信者といい、 自分のカキコが完全にブーメランになっていることに全く気付かない >>629 日本の数学や物理には秀才ばかりで尖った人間が少ないからな。お勉強ができるだけじゃ駄目 ホラ吹きじゃまずいが、大言壮語は構わないんだ別に。今は結構やり方次第で行ける環境にある 衰退してるので、逆にチャンスがある Ellenbergのブログの部分は一部流し読みしてから長い間見てなかったけど、 Taoはこの時点では殆ど意味的に読んでない印象があるね これは擁護とかではなくて、red herringというのは「よくわかんないけどそうなんじゃないの?」 みたいなノリで言ってるに過ぎないので大したコメントではない 一応注目するべきは、最近のも合わせたRobertsの見解だと思うけど、問題としては「本当に圏論・集合論にとって 新しいアイデアなのか?」ということだろう ていうか、読んでなくて>>449 を完全に無視してましたw 全部違いますが、ガロア理論については別に大体それでもいいんじゃないですかね まずはS_nやA_nがどうとかではなくて、感覚的にどんな考え方をするのか知っていれば いい 高校で方程式を解いたり因数分解する延長にある。ただガロア理論の教科書は普通書名に「体」という 語を使ってますからね。それは重要ですよ 全然関係ないけど、前にQのガロア群の問題がここに書かれた時にすぐ元ネタがわかったのは事実で、 普段使ってる奴の例題がそれだったんですねw 類体論については、まずガロア理論とセットでp進体と商集合の感覚を掴むのが重要で、その上で実際に見たら そのうち正解はわかるでしょう モチーフの解答は単純だが哲学的なものなので、相当なアレじゃないとわからないでしょう どっかの海外ブログで非可換性が不要なんじゃないのみたいなコメントしてる奴ありましたっけ? さっきから探してるんだけどわからない。勘違いか? >>669 そのブログでのタオとロバーツの視点はかなり違うので、分けてみます(超訳w) 【タオさん】 ABC予想は第2節で証明されている(とされている)。集合論とモデル理論的なものは最終節で述べられただけで、 これらはABC予想の証明に関してはあまり関係ないものだけど、今後の宇宙際幾何学の発展に関係するものなんじゃないの? でも、この(望月の)集合論とモデル理論はグロタンディークの集合論の非保存的な性質の問題を 何らかの形で議論の余地のあるものにしそうだ ※結論:仰る通り、あまり大したこと言ってませんw ……と見せかけて既に懸念を表明している 【ロバーツさん】 この複雑怪奇な集合論的言説は人を惑わすようなもんだ!それはもっちーが該当分野の圏論的アプローチに精通してないせいだ おそらくこの圏論的アプローチ君たちはもっちーに見出されることを待ち望んでいるよっ ※ロバーツは直後のMOでも望月に注文を付けつつも好意的だった。 しかし、最近追加したPDFの補遺では望月が進歩していない(圏論に精通していない)と見ているように思われる >>670 いやいや、無視して結構ですよ。テキトーに書いたものなんで(笑) >>671 私もそれは知りませんが、星の入門では彼なりの分かり易い設定からΘリンクとと対数リンクを可換にしたくて、 「非可換性の帰結を回避」、「非可換性の問題の解消」するために対数リンクの無限列を導入していると解説している これを可換と呼ぶにふさわしいかどうかは分からない(描けないから少なくとも可換図式とは呼べないね) 望月ははっきりと「非可換(!)な2次元的な図式」と書いているんだけどね とりあえずここは数学板であって哲学板じゃないし、abc予想は哲学じゃないんで、 哲学云々言ってるやつは哲学板にスレ立てて引っ越してくれんかね。 いちいちスレ違いの長文読み飛ばすのめんどくさいんだよね。 明晰な証明が書いてある ニュートンのプリンキピアは 自然哲学の数学的諸原理 だからね。 ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる