[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
551: １３２人目の素数さん [] 2025/11/09(日) 07:11:02.89 ID:CA6TFgJW >>538 ＞＞望月論文が理解されないのは ＞＞決定的な瑕疵があるから ＞＞にきまってるやん？ >>539 ＞はずれですよ ”悔しさによる脊髄反射”は🐎🦌のすること 感情を制御できないと・・・死ぬよ ＞その話は、下記・・・を、音読してね ＞・・・は、出てこないよ 音読したけど、何ひとつ、理解できなかった、と 実数の定義、収束の定義、コーシー列の定義、関数の連続性の定義・・・ 音読したけど、何ひとつ、理解できなかった、と どの定義も∀と∃が交互に出てきて AとEがひっくり返ってるのはなんでだ とそこばかり引っかかって先にすすめなかった、と この「ド田舎から大学に入ってつまづいた学生」へのアドバイスは２つ ・述語論理の式の読み方を勉強してね ・定義は証明するものではないので、まずそういう前提だと受け入れてね できない？じゃ、大学はあきらめて、田舎に帰って百姓しながら碁でも打ってね http://rio2016.5ch.net/test/read.cgi/math/1761878205/551
552: １３２人目の素数さん [] 2025/11/09(日) 07:26:52.18 ID:CA6TFgJW >>539 >望月新一の”通常の方法”とは、 >「通常の環・スキーム論の環構造」 >のことで、 >”(Hodge theaterに登場するような） >「抽象的なモノイド等」を扱う” >が望月新一創案のIUTのキモ （注：上記の「先生」とかいうキモ語はフルネームに変換 いかなる学問でも学界では呼び捨てが当然 これを侮蔑とかいう奴は正真正銘の●違い） さて、なんかわかったふうなこといってる素人カラス君 環の定義は知ってる？ モノイドの定義は知ってる？ あきらかに環よりモノイドのほうが制約が少ない そもそも前者は加法と乗法が出てくるが 後者は一つの演算しかでてこないし その演算における逆元は通常存在しない あきらかに環構造のうち乗法だけ見るという意図で モノイドを出してきたと想像されるが 理論の常として一般化すればするほど （つまり公理を弱めれば弱めるほど） 証明できる定理は少なくなる まあ、望月新一の”タイヒミューラー理論”の意図は 「環のうち乗法だけを保存し加法は保存されない写像を考える」 ということなのだろうが、言うは易し、行うは難しで ｘ∈ｘなんてキテレツなアイデアを正当化しようとしてる時点で うまくいってないんだろう キテレツだから間違ってるとはいわないが うまく公理化できてないなら、意味がない それだけのこと わかったかい？ 大学１年のコーシー列と線形独立の定義が理解できなくて ものの見事に落第した素人カラス君 http://rio2016.5ch.net/test/read.cgi/math/1761878205/552
553: １３２人目の素数さん [] 2025/11/09(日) 07:30:30.69 ID:CA6TFgJW >>540 大学１年のコーシー列と線形独立の定義が分からず 1>0.999…とか、正方行列は正則行列とか、 初歩レベルの誤りをドヤ顔で語る素人カラス君 まあ、述語論理の∀と∃の読み方から頑張って勉強して、 （一階）述語論理恐怖症を克服してくれたまえ http://rio2016.5ch.net/test/read.cgi/math/1761878205/553
554: １３２人目の素数さん [] 2025/11/09(日) 07:37:20.32 ID:CA6TFgJW >>535 ＞＞IUT理論の研究ネットワークはありますかね？ ＞＞IUT理論の研究者を育てていかねば ＞＞たとえまともなものであったとしてもいずれ廃れます >>542 ＞いやいや、これで良いのですよ ＞RIMS”次世代幾何学＊＊センター”の予算で ＞AHGTが作られて、ここに フランスの予算も入っている ＞（ENS, FR、それに Lille大, FRも？） ＞IUTを含む ”次世代幾何学”の研究ですよ いい加減なこといって、国から研究費をむしる学界詐欺の典型ですな（嘲） 税金毟られて喜ぶとかカラスはどんだけマゾなんだ（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/554
555: １３２人目の素数さん [] 2025/11/09(日) 07:47:13.54 ID:CA6TFgJW >>543 ＞君は、他人の理解 うんぬんが すきだねぇ〜〜 ＞どうでもいいじゃん、他人の理解など 話し手が、話していることを理解しているかどうかは、最も重要 自分が理解できてないことを話すヤツの話を聞くのは時間の無駄だからね ＞要は、自分がどう理解するかだけよ 自分が理解するために、 理解できている人から話を聞く 理解できてない奴はクソだから焼く 便所の💩の掃除は大事 さて、本題の💩の掃除 ＞私？ 私は、まずは ＞「頑張れ 日本！」 ＞の範囲で理解できればいいのです ＞つぎは、 ＞「日本 チャチャチャ」 ＞です なんでそこでニッポンがでてくるのか分からん 自分が大学１年レベルの数学に負けたから 自分を日本人全体に拡大して、 「オレが負けた現代数学に、日本人の誰かが勝ってくれ」 といいたいのかな？ だったら別に日本人に限定せず、人類全体に拡大しなよ どうせン万年だかン十万年だか辿ればどこの人も共通祖先にたどり着くよ ３０万年という説があるけど、その場合まさに１万世代前の祖先だな これがほんとの万世一系、八紘一宇か？（笑） 神武天皇はカメルーンにいた、ってか？（笑） 人類バンザーイ ●違いモッチーも、天才ショルツェも、遠い遠い親類 人類みな一家 仲良くしような（マジ） http://rio2016.5ch.net/test/read.cgi/math/1761878205/555
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 447 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s