[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
531: １３２人目の素数さん [sage] 2025/11/08(土) 19:46:09.96 ID:2oa8cE4b まぁ肯定も否定も何もiutがどういう数学基礎論に基づいているかすら誰にも説明できない。この世界に誕生すらしていないしもう誕生することもない。望月先生のアイデアとしてこのまま消えていくのみ http://rio2016.5ch.net/test/read.cgi/math/1761878205/531
532: １３２人目の素数さん [] 2025/11/08(土) 20:02:06.42 ID:ZuSEB9pS IUTは望月のポエム 数学と思うから論争になる ポエムだから論争は野暮 http://rio2016.5ch.net/test/read.cgi/math/1761878205/532
533: １３２人目の素数さん [] 2025/11/08(土) 20:04:24.37 ID:3nB+TfKS >>256 池上大輔氏 曰く 「現在知られている集合論の手法（※）では ZFCのモデルMから、新しいZFCのモデルNを構成して MとNの間で一階算術の命題の真偽を変えることはできない もしリーマン予想がZFCの下で証明も反証もできないとして そのことを現在の集合論の手法で検証することはできない」 望月新一は、 「通常の方法ではABC予想は証明できないから、IUTを考えた」 というが まず、 「通常の方法ではABC予想が証明できない」 （具体的には例えばZFCでABC予想が偽となるモデルの存在） という主張の証明がなされてない、次に 「IUTによるABC予想の証明」 （具体的にはIUTの公理（？）を満たすモデルが存在し かつそのような任意のZFCモデルでABC予想が真となること） もなされていない。 特にIUTの公理を満たすモデルの存在が示せていないことは致命的である （ここで求められているのは絶対的な存在ではなく 例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する という相対的な存在証明） http://rio2016.5ch.net/test/read.cgi/math/1761878205/533
534: １３２人目の素数さん [] 2025/11/08(土) 20:09:06.27 ID:3nB+TfKS ヒルベルトの第10問題の否定的解決の系として、 ZFCでは解の非存在が証明できないような不定方程式が存在する ここであえて「解の非存在」と書いたのは 解が存在すれば、具体的にそれを示せば証明となるからである 解の非存在が証明できない、というのは、具体的には 「標準モデルでは解が存在しないが、 解が存在するような超準モデルが存在する」 ということである。 超準モデルによる解は当然超準的自然数であって 標準的自然数（つまりどのモデルにも存在する自然数）ではない http://rio2016.5ch.net/test/read.cgi/math/1761878205/534
535: １３２人目の素数さん [] 2025/11/08(土) 20:12:37.93 ID:hP1E8Bup >>526 これはIUT理論の研究ネットワークではないのですね >例えば、下記が、遠アーベルの研究ネットワークで 遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう しかしIUT理論の研究ネットワークはありますかね？ ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが https://www.youtube.com/watch?v=8vLQIAgFapk 「ZMC（ZEN Mathematics Center; ZEN数学センター）」になったのは より広い分野（数論幾何なかんずく遠アーベル幾何）を対象にすることにしたと 好意的に捉えることも出来ましょうが IUT理論の研究者を育てていかねば たとえまともなものであったとしてもいずれ廃れます （100年後に復活するか知れませんけど） http://rio2016.5ch.net/test/read.cgi/math/1761878205/535
536: １３２人目の素数さん [] 2025/11/08(土) 20:15:56.49 ID:3nB+TfKS 無限公理のない集合論における無限集合というのは、いわば超準的集合であって 任意のモデルで存在するような標準的集合ではない 無限公理を設定することで、そのような超準的集合が 任意のモデルで存在するような標準的集合になる 公理の設定でモデルが限定されるが、 任意のモデルで存在する標準的集合は増えることになる しかし、どれだけ公理を設定しても 一階述語論理をベースとし さらに人間が証明可能な体系とする場合には モデルを唯一にすることはできない 要するに集合を標準的集合だけに限定することはできない それがゲーデルの不完全性定理で示されたことである http://rio2016.5ch.net/test/read.cgi/math/1761878205/536
537: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 23:03:48.68 ID:P9qVEF++ >>529 (引用開始) >ここのメンバーは、別にIUTを否定してはいない >多分、手放しの全面肯定でない人もいるかも その分野の専門家で理解ができているなら 全面肯定せねばならないはずです それをしないのは 結局誰も分かってないのでは？ と疑われても仕方ないでしょうに (引用終り) まあ、難しい理論における証明とは、そういうものだとしかいえない 例えば、下記”O–Takegoshi L2 extension”定理について Yum-Tong Siu 先生が、最初「この論文間違っているんじゃね？」と 騒いだとか 御大が言われていましたね 要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです 真に 画期的な理論とは 得てしてそういうものです 例えば、下記”Geometric Langlands correspondence” 1,000 pagesで、"so complex that almost no one can explain it" "very hard, almost impossible" by Drinfeld.[9]” とあります 21世紀の数学は そういう傾向がある ；ｐ） (参考) https://en.wikipedia.org/wiki/Ohsawa%E2%80%93Takegoshi_L2_extension_theorem O–Takegoshi L2 extension theorem https://en.wikipedia.org/wiki/Yum-Tong_Siu Yum-Tong Siu (Chinese: 蕭蔭堂; born May 6, 1943) is a Chinese mathematician. He is the William Elwood Byerly Professor of Mathematics at Harvard University. https://en.wikipedia.org/wiki/Geometric_Langlands_correspondence Geometric Langlands correspondence Status A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8] The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it". Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9] http://rio2016.5ch.net/test/read.cgi/math/1761878205/537
538: １３２人目の素数さん [sage] 2025/11/08(土) 23:33:53.84 ID:P62wnBwD まだわからんのかねぇこの無能は 望月論文が理解されないのは決定的な瑕疵があるからにきまってるやん？いつになったら理解できんの？高木レベルやなこの無能 http://rio2016.5ch.net/test/read.cgi/math/1761878205/538
539: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 23:36:37.67 ID:P9qVEF++ >>533 はずれですよ >望月新一は、 >「通常の方法ではABC予想は証明できないから、IUTを考えた」 その話は、下記の ”§1.Hodge-Arakelov 理論的動機付け” ”§3.対数・テータ格子” を、音読してね ZFCは、出てこないよ さて https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html 望月 出張・講演 [17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月） https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(2015-02).pdf §1.Hodge-Arakelov 理論的動機付け §3.対数・テータ格子 Ｐ11 Θ-Link: 注:(Hodge theaterに登場するような） 「抽象的なモノイド等」 を扱うようにしないと、log-、Θ-linkのような（通常の環・スキーム論の環構造 に対する）「壁＝障壁」を定義することすらできない！ (引用終り) ここに、 望月先生の”通常の方法”とは、上記「通常の環・スキーム論の環構造」 のこと で、”(Hodge theaterに登場するような） 「抽象的なモノイド等」を扱う”が 望月先生創案のIUTのキモです！ （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1761878205/539
540: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 23:38:57.89 ID:P9qVEF++ >>538 ヒキコモリ数学基礎論くんか いつも、きみは、キバッテいるねぇ〜！ｗｗｗ ；ｐ） まあ、頑張ってくれｗ http://rio2016.5ch.net/test/read.cgi/math/1761878205/540
541: １３２人目の素数さん [] 2025/11/08(土) 23:43:38.60 ID:hP1E8Bup >>537 また話をすり替えてますね >要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです >真に 画期的な理論とは 得てしてそういうものです IUTに関しては 理解できている人達なんでしょう？君の話では>>517 >”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち） その分野の専門家で理解ができているなら 全面肯定せねばならないはずです それをしないのは 結局誰も分かってないのでは？ と疑われても仕方ないでしょうに http://rio2016.5ch.net/test/read.cgi/math/1761878205/541
542: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 23:54:33.06 ID:P9qVEF++ >>535 (引用開始) これはIUT理論の研究ネットワークではないのですね >例えば、下記が、遠アーベルの研究ネットワークで 遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう しかしIUT理論の研究ネットワークはありますかね？ ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが (引用終り) いやいや、これで良いのですよ つまり、下記のRIMS ”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）” の予算で AHGT：https://ahgt.math.cnrs.fr/activities/ が作られて、ここに フランスの予算も入っている（ENS, FR、それに Lille大, FRも？） IUTを含む ”次世代幾何学”の研究ですよ https://ja.wikipedia.org/wiki/%E4%BA%AC%E9%83%BD%E5%A4%A7%E5%AD%A6%E6%95%B0%E7%90%86%E8%A7%A3%E6%9E%90%E7%A0%94%E7%A9%B6%E6%89%80 京都大学数理解析研究所（英: Research Institute for Mathematical Sciences） 年表 2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]） 脚注 3^ a b c d e f 数理解析研究所 2019 - RIMS, Kyoto university https://www.kurims.kyoto-u.ac.jp/~kenkyubu/gaiyou/2019.pdf 9^ 研究所紹介｜京都大学数理解析研究所 2022年8月10日閲覧 https://www.kurims.kyoto-u.ac.jp/ja/about-01.html http://rio2016.5ch.net/test/read.cgi/math/1761878205/542
543: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/09(日) 00:00:34.20 ID:QrKJGO9s >>541 >IUTに関しては >理解できている人達なんでしょう？君の話では>>517 ふっふ、ほっほ 数学オチコボレのエスパー登場か 君は、他人の理解 うんぬんが すきだねぇ〜〜ｗｗｗ どうでもいいじゃん、他人の理解など 要は、自分がどう理解するかだけよ 私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ つぎは、「日本 チャチャチャ」です まあ、慌てず じっくり 見てなさいよ ｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1761878205/543
544: １３２人目の素数さん [] 2025/11/09(日) 00:11:30.02 ID:P3lbYVWX >>542 つまり 「次世代幾何学」の名前で評判芳しくないIUTを隠蔽しているようなものでしょうか 上手い方法ですね しかしその中でIUT理論の研究は進んでいるんでしょうか？>>461 >日本人数学者でも大半はabc予想解決を受け入れてないわけ >証明になってないと判断してるわけ >嘘だと思うならここ数年の間にarxivに載ったabc関連の論文を見てみな >abc予想が解決したことになってないだろ という現状で進めるのではどんどん評判落とすことになりましょう http://rio2016.5ch.net/test/read.cgi/math/1761878205/544
545: １３２人目の素数さん [] 2025/11/09(日) 00:15:41.35 ID:P3lbYVWX >>543 >私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ それは初めて知りました 数学という国と関係の薄い学問でそう考える人なのですね >君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ 理解して居れば曖昧にはしないからですよ IUT理論を強力に後押ししないのは理解して居ないからかも知れません あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど http://rio2016.5ch.net/test/read.cgi/math/1761878205/545
546: １３２人目の素数さん [] 2025/11/09(日) 00:17:40.38 ID:P3lbYVWX >>543 >数学オチコボレのエスパー登場か といいますかあなたの受け売りですよ？>>517 >”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち） その分野の専門家で理解ができているなら 全面肯定せねばならないはずです http://rio2016.5ch.net/test/read.cgi/math/1761878205/546
547: １３２人目の素数さん [] 2025/11/09(日) 00:21:08.34 ID:P3lbYVWX >>543 >まあ、慌てず >じっくり 見てなさいよ ｗｗｗ どちらかと言えば 贔屓の引き倒しになりかねないのでは？ 兎にも角にもABC予想が予想ではなく定理として認められるのはまだまだ先になりそうですけれど http://rio2016.5ch.net/test/read.cgi/math/1761878205/547
548: １３２人目の素数さん [] 2025/11/09(日) 02:06:54.64 ID:ajsip/xV 島国には島国の良さがある。なぜ大陸でなければならぬのか。ボールペン一本を買うためにデパートの中をウロウロさせるようなOSをなぜ有りがたがるのか。ボールペンは文具店に直行すれば、すぐ買える。まあ、そういうことだよ、坊やたち。 日本は日本の独自性を生かすことで人類への貢献ができる。 足りぬ足りぬは、工夫が足りぬw 戦時中の日本人に学ぼう。 ついでに トロン万歳！ リニア万歳！ 天皇陛下万歳！ http://rio2016.5ch.net/test/read.cgi/math/1761878205/548
549: １３２人目の素数さん [] 2025/11/09(日) 05:49:07.21 ID:drNebvvD トロンと坂村健の嘘 https://ikedanobuo.livedoor.biz/archives/51292050.html http://rio2016.5ch.net/test/read.cgi/math/1761878205/549
550: １３２人目の素数さん [] 2025/11/09(日) 07:03:54.96 ID:CA6TFgJW >>537 まあ、大学初年級レベルでも 初めて出会う定義・公理に基づく証明とは、 そういうものだな 例えば、「箱入り無数目」定理について ここの常連素人が、最初 「この記事間違っているんじゃね？」 と 騒いだとか 選択公理が分からなかったんだな 要するに、数学理論の定義・公理は だれもが瞬時に理解できるとは言えない 真に新しい事柄とは 得てしてそういうもの 大学の数学はそういう傾向がある http://rio2016.5ch.net/test/read.cgi/math/1761878205/550
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 452 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s