Inter-universal geometry と ABC予想 (応援スレ) 71

1 名前：１３２人目の素数さん [2024/04/19(金) 23:25:29.46 ID:CjPwwBkL.net] （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ：Inter-universal geometry と ABC予想 (応援スレ) 70 https://rio2016.5ch.net/test/read.cgi/math/1701399491/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 Inter-universal geometry と ABC予想 (応援スレ) 52 https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 ＜IUT最新文書＞ https://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html 2024年03月24日 望月新一 　・（過去と現在の研究）2024年4月に開催予定のIUGCの研究集会での講演の 　　スライドを公開。https://www.kurims.kyoto-u.ac.jp/~motizuki/IUT%20as%20an%20Anabelian%20Gateway%20(IUGC2024%20version).pdf P8 In this context, it is important to remember that, just like SGA, IUT is formulated entirely in the framework of “ZFCG” (i.e., ZFC + Grothendieck’s axiom on the existence of universes), especially when considering various set-theoretic/foundational subtleties (?) of “gluing” operations in IUT (cf. [EssLgc], §1.5,§3.8,§3.9, as well as [EssLgc],§3.10, especially the discussion of “log-shift adjustment” in (Stp 7)): (引用終り) ＜新展開＞ https://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/ 産経 2024/4/2 宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル　京都大に寄付の意向 同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ、賞金１０万ドル（約１５００万円）の贈呈が発表された https://www.youtube.com/watch?v=Xy4i0rqy4eE IUT理論（宇宙際タイヒミューラー理論）に関する会見 生中継【ZEN大学】 2023/07/07 にライブ配信 宇宙際幾何学センター（Inter-Universal Geometry Center; IUGC, 所長 加藤文元）について https://www3.nhk.or.jp/news/html/20230707/k10014121791000.html NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707 数学の難問「ABC予想」を証明したとする日本の数学者の新たな理論をめぐって、研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました。 ▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル ▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドルを、 それぞれ贈呈するとしています。 https://ahgt.math.cnrs.fr/activities/ Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024 Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz （J. Stixさん、IUT支持側へ） このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！ つづく 331 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 09:58:20.26 ID:IUMhpT/C.net] そして計算量wwwwwwwww 心配せんでも計算量クラスもPじゃボケ〜 ネットにいくらでも資料転がっとるやろ？ あ、意味わかんないんだっけ？ バカって大変だなぁwwwwwwwwwwwwwwwwwwwwwwwwww 332 名前：１３２人目の素数さん [2024/05/05(日) 11:32:00.87 ID:HvNo6+XN.net] >>301-302 >recursiveになるように設計されとる言うてるやろアホ〜wwwww ・recursive, Computable set >>295 の問題は 　原理的な話だから、設計云々関係ないわなｗ （設計で解決できる問題ではないよｗｗ） >そして計算量wwwwwwwww >心配せんでも計算量クラスもPじゃボケ〜 １）まず、証明がない ２）次に、あんたの”クラスP”理論を、IUTに適用してみろ！ 具体にどんな多項式になるの？ｗｗ ３）そもそも、”recursive, Computable set”が保証されていない！！ｗｗｗ 333 名前：１３２人目の素数さん [2024/05/05(日) 12:02:28.00 ID:HvNo6+XN.net] これ、参考になるだろう https://zenn.dev/mineel5/articles/db3e410a05e2d8 zenn /mineel 停止性問題と不完全性定理 2023/08/12 はじめに 巷では「停止性問題は不完全性定理と深いつながりがある」みたいな主張をよく耳にしますが、その具体的な繋がりまで説明されていることは多くありません。 そこで、この記事では停止性問題が具体的にどう不完全性定理に繋がるのか解説しようと思います。 結論を言ってしまうと、「決定不能なRE集合さえあればそこから直ちに第一不完全性定理が導ける」というだけの話であり、ちょうど手頃な具体例に停止性問題があっただけで別に停止性問題である必然性はありません。 なので、私は停止性問題と不完全性定理には本質的なつながりはないと考えております。 もう少し各用語についても説明します。 停止性問題とは、一般にプログラム及びそのプログラムへの入力を受け取ったときにその実行が停止するのか有限時間で判断できるのかという問題です。 結論を言ってしまうと、できません。 停止性問題は決定不能な問題と呼ばれるコンピュータには有限時間で計算できない問題になっております。 また、第一不完全性定理とは、ある条件を満たす一階述語論理は必ず証明も反証もできない論理式を持つという論理学における基本的な定理です。 不完全性定理周辺の話題はメタ数学の極みといった感じで、何かが成り立つと言ったときそれはどの体系において成り立つのか、その条件はどの体系における条件なのか、などを常に気にする必要があります。 すなわち、常に自分の位置を把握しながら全てを相対的に捉える必要があり、これにはとても鍛錬が必要だと感じています。 (かくいう私も不完全性定理を理解できているとはとても言えません) しかし、この記事ではそこまでの難しい話はしないのでそういったメタ数学的な混乱はないかと思われるので安心してください。 それでは以下で詳しく説明していきます。 よろしくお願いします。 334 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 12:33:22.91 ID:IUMhpT/C.net] >>303 参考になぞなるわけないやろ無能w 共通の単語があるかないかしか分からんゴミwww 335 名前：１３２人目の素数さん [2024/05/05(日) 13:04:35.55 ID:fJAZCDdM.net] https://www.ctpost.com/news/article/Wisdom-beyond-his-years-1390299.php 2011年にWill Sawinは17歳でYale を卒業。数学と経済学のdouble major。 ” Monday, at age 17, Sawin will graduate -- with distinction -- from Yale University with a double major in math and economics. ” じゃあ、2024年現在で30歳か。 336 名前：１３２人目の素数さん [2024/05/05(日) 14:27:00.92 ID:WLbxyLlj.net] >>304 >結論を言ってしまうと、「決定不能なRE集合さえあればそこから直ちに第一不完全性定理が導ける」というだけの話であり、ちょうど手頃な具体例に停止性問題があっただけで別に停止性問題である必然性はありません。 　304です ・RE集合を補足します（下記） ・下記では、”複雑性クラス RE（recursively enumerable）”であって、集合ではなくクラスとしていますね　；ｐ） ・あと、下記に再録したように、「定理3：（停止性問題は決定不能）」の証明に、対角線論法が出てきます 　これは、第一不完全性定理と同じスジです (参考) //ja.wikipedia.org/wiki/RE_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96) RE (計算複雑性理論) 計算複雑性理論において、複雑性クラス RE（recursively enumerable）とは、チューリングマシン（Turing machine）で有限時間内に 'yes' という解を得られる決定問題の集合である。逆に解が 'no' であった場合、マシンが停止するかどうかも保証されない。 RE はまた、解が 'yes' であるような問題をチューリングマシンを使ってリストアップ可能な決定問題のクラスでもある。このため 'enumerable'（枚挙可能）と呼ばれる。 解が 'no' の場合に同様の性質となるクラスを Co-RE と呼ぶ。 RE の各要素は帰納的可算集合（recursively enumerable set）である。 他のクラスとの関係 RE は R より厳密に大きいことが知られており、Co-RE とは厳密に等しくないことが知られている。これらには次のような関係がある。 R=RE∩Co-RE つづく 337 名前：１３２人目の素数さん [2024/05/05(日) 14:29:43.99 ID:WLbxyLlj.net] つづき //ja.wikipedia.org/wiki/R_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96) R (計算複雑性理論) 計算複雑性理論において、複雑性クラス R とは、チューリングマシンで解ける決定問題の集合であり、全ての帰納言語の集合に相当する。R はしばしば、「効率的に計算可能な」関数のクラスと言われる（チャーチ＝チューリングのテーゼ）。 任意の決定問題の解法として、その問題のリコグナイザと補問題のリコグナイザを並行して動作させ、どちらかが受容状態になるまで待つ方式を採用可能である。 したがって、このクラスは RE を使って � RE∩coRE と定義できる。 （再録） //zenn.dev/mineel5/articles/db3e410a05e2d8 zenn /mineel 停止性問題と不完全性定理 2023/08/12 目次 はじめに この記事について 停止性問題について チューリングマシンとは 万能チューリングマシン 停止性問題の定義 停止性問題の計算不可能性 半決定可能集合 第一不完全性定理について おわりに 参考文献 参考文献の案内 定理3：（停止性問題は決定不能） 停止性問題K は決定不能である Proof: (Sketch) （ざっくり言うと）このように不用意な自己適用により本来不動点を持たないはずの関数から不動点を得る論法を対角線論法といいます。 ここまでの話は高橋[1]が個人的に一番わかりやすいです。 (引用終り) 以上 338 名前：１３２人目の素数さん [2024/05/05(日) 14:37:46.57 ID:WLbxyLlj.net] >>306 >2011年にWill Sawinは17歳でYale を卒業。数学と経済学のdouble major。 >じゃあ、2024年現在で30歳か。 スゲー 望月さんとのRIMSでの５日間公開タイマン希望 審判員３人つけて、主審１副審２で、どっちに軍配上がるかやってほしい ；ｐ） ・・・って、Will Sawin氏は、IUT肯定派だったりしてね ＾＾） 339 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 14:58:28.05 ID:PeHbDtmU.net] >>308 お前が理解できる数学はねーよw 340 名前：１３２人目の素数さん [2024/05/05(日) 15:33:33.94 ID:WLbxyLlj.net] >>310 計算複雑性、チューリングマシン、第一不完全性定理、対角線論法ね みんな 20世紀から知っている古い話だからね 理解とか他人の心をエスパーされても あんた超能者なの？ってことｗｗ 自分の内心を他人に投影されても・・ ってことですよ 341 名前：１３２人目の素数さん [2024/05/05(日) 16:02:37.60 ID:kUby5rl+.net] >理論の数学的内容は既に多くの数学者によって 　よく理解されており、 具体的に誰が、どのレベルで？ >・理論の原論文のみならず、その延長線上にある 　具体的な計算を纏めた​論文​も、査読を経て世界的 　に有名な数学者たちが編集者を務める学術誌に 　既に出版されており、 自作自演だよね、そもそもPRIMSは水準の高い雑誌ではない。 342 名前：１３２人目の素数さん [2024/05/05(日) 16:03:13.70 ID:kUby5rl+.net] >・また新しい応用を見据えた、理論の3種類の新しい 　ヴァージョンも数名の共同研究者とともに開発中 　であり、​​​ いくらヴァージョン用意したところで、トンデモはトンデモですよね？ ​​>・理論に対して懐疑的であった欧米の数学者も、 　普通に建設的な数学的な議論に応じされすれば、 　理論に対する誤解や疑念は、（19世紀の有名な 　リーマン・ワイエルシュトラスの解析接続を巡る 　論争とよく類似していて）現代数学の観点から 　見れば至って初等的かつ簡単に払拭できるもの 　であり、​​ それができなかったのは初等的でも簡単でもなく、理論提唱者に根本的な飛躍と勘違いがあるからでは？ 343 名前：１３２人目の素数さん [2024/05/05(日) 16:03:42.32 ID:kUby5rl+.net] ​​​​​>・理論に間違いがあると主張する数学者に対して、 　直接的・間接的手段で幾ら連絡を試みても、 　主張されている「間違い」の特定に応じてもらえ 　ない（どころか、メールの返信にも応じてもらえ 　ない）不思議な状況が続いている 批判には耳を貸さず横暴な態度を反省せず、 一方的に脅迫、恫喝めいた長文メールを送りつけても、そりゃ無視するだろ。 もう正気じゃない議論する価値のない人、って認識されてるだけでは？ 344 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 16:04:27.52 ID:fBCTdg1W.net] 1=ID:WLbxyLlj　は問題を取り違えている 命題Pが証明可能か否か　ではなく 命題Pの証明と称されるものPrfが証明担っているか否か　 前者は決定不能だが 後者は決定可能 345 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 16:05:52.43 ID:fBCTdg1W.net] >>315　１字 346 名前：修正 1=ID:WLbxyLlj　は問題を取り違えている 命題Pが証明可能か否か　ではなく 命題Pの証明と称されるものPrfが証明になっているか否か　 前者は決定不能だが 後者は決定可能 [] [ここ壊れてます] 347 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 16:49:43.23 ID:PeHbDtmU.net] セタの知能ではこの２つを区別できない 同じ単語が出てくるものはセタの世界では同じになるwwwwwwwwwwwwwww 348 名前：１３２人目の素数さん [2024/05/05(日) 17:16:29.62 ID:3WXRkfeI.net] 0498 １３２人目の素数さん 2024/05/05(日) 16:43:54.07 応援バンザイコピペ魔のゴミレス ↓ F1 一元体 絶対数学 その類似がIUTだと思えばいいのでは？ 2 ID:WLbxyLlj(4/4) 349 名前：１３２人目の素数さん [2024/05/05(日) 17:24:42.09 ID:uWCt1jQW.net] >>314 Joshiも望月本人及びその周辺にメールしても無視されてるって言ってる >(7) Besides your public comments (mentioned above) on my work, >I have received no email communications from you or from any other >IUT experts even though I have sent copies of all my works on these >topics over the past few years. 350 名前：１３２人目の素数さん [2024/05/05(日) 17:30:29.22 ID:C06X53s0.net] 望月以外の京大RIMSのIUT理解者って本当にIUTを理解していて成立していると思ってるのか？ IUT批判の矢面に立ってるのが望月だけなのってどうなんだろ 望月が急死したあとも本当にIUTは続けられるのか 誰がIUTを本当に信じていて世界と後世の数学者に説明できるんだ 351 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 17:49:19.64 ID:PeHbDtmU.net] 続くわけないやん 352 名前：１３２人目の素数さん [2024/05/05(日) 18:09:43.75 ID:WLbxyLlj.net] >>316 (引用開始) 命題Pが証明可能か否か　ではなく 命題Pの証明と称されるものPrfが証明になっているか否か　 前者は決定不能だが 後者は決定可能 (引用終り) さて、 ”後者は決定可能”の証明は？ｗ 353 名前：１３２人目の素数さん [2024/05/05(日) 18:51:43.23 ID:kUby5rl+.net] Zen大学設立の宣伝に使うために 死肉に無理やり輸血じゃぶじゃぶして まだ生きてるって言い張ってる状態でしょ 354 名前：１３２人目の素数さん [2024/05/05(日) 19:03:36.77 ID:fBCTdg1W.net] >>322 証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能 つまりギャップがある時点で証明ではない 355 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 20:13:33.03 ID:PeHbDtmU.net] おそらくsetaが検索して見つけてきた文章のどこかには必ず出てる話 356 名前：１３２人目の素数さん [2024/05/05(日) 20:26:59.66 ID:HvNo6+XN.net] >>324-325 >証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能 >つまりギャップがある時点で証明ではない １）上記の数学的な証明ないし 　それが既に数学の理論になっていることの 文献の裏付けやいかに！？（自分で探してねｗ）ｗ （まず、証明の構文規則なるものの列挙とその定義がいるよねｗｗ） ２）『証明の構文規則にあてはまっているかどうか』でいえば 　ZFCから作られる集合は、すべてZFCの構文規則に当てはまっているでしょ？ 　じゃあ、なんで不完全性定理がある？ （そもそも、IUTはZFCの外＝ZFCGで、到達不能基数の存在を仮定するという。どうすんの？ｗ） //ja.wikipedia.org/wiki/ZFC%E3%81%8B%E3%82%89%E7%8B%AC%E7%AB%8B%E3%81%AA%E5%91%BD%E9%A1%8C%E3%81%AE%E4%B8%80%E8%A6%A7 ZFCから独立な命題の一覧 本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。 公理的集合論の命題 ・ZFCの無矛盾性 巨大基数公理 ・到達不能基数の存在 その他の分野 ・フビニの定理の拡張[9] ・ある種のディオファントス方程式の解の存在性（ヒルベルトの第10問題）[10] ・群論におけるホワイトヘッドの問題（英語版）(シェラハ、1974年) - A を任意のアーベル群とするとき、Ext1(A, Z) = 0 ならば A は自由アーベル群か？ ・バナッハ環に対するカプランスキー予想：コンパクトハウスドルフ空間X上の複素数値連続関数のなす環C(X)からバナッハ環へのC代数準同型は常に連続であるという予想 357 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 20:58:38.37 ID:PeHbDtmU.net] 検索するしか出来んゴミがこんなどこにでも転がってる話も検索すらできない正真正銘のクズ 358 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 21:02:54.90 ID:PeHbDtmU.net] https://ja.m.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E%E3%81%AE%E9%9A%8E%E5%B1%A4 359 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 21:08:08.72 ID:PeHbDtmU.net] オートマトン言語理論計算論 1 (Information&Computing 3) : J.ホップクロフト, J.ウルマン, 野崎 昭弘: 本. 360 名前：１３２人目の素数さん mailto:sage [2024/05/05(日) 21:12:33.69 ID:PeHbDtmU.net] 帰納的関数と述語 河合出版 361 名前：１３２人目の素数さん [2024/05/05(日) 23:29:55.71 ID:HvNo6+XN.net] ご参考 ”結論:多くのプログラム言語に対して、その言語で書かれたプログラムの停止性は、決定可能ではない” //www.cs.tsukuba.ac.jp/~kam/lecture/plm2017/ 2017年度の『プログラム言語論』亀山幸義筑波大学情報科学 //www.cs.tsukuba.ac.jp/~kam/lecture/plm2017/termination.pdf 講義資料 プログラム言語論亀山幸義筑波大学情報科学類No.4(停止性) 停止性問題 以下の性質を持つプログラムHは存在するか？ ・Hは2引数関数である。 ・H(P,x)はどんな引数P,xに対しても、有限時間で止まり、yesかnoを返す。 ・プログラムPが入力xに対して停止するとき、H(P,x)はyesを返す。 ・プログラムPが入力xに対して停止しない(無限ループする)とき、H(P,x)はnoを返す。このようなHが存在するか、という問題が、停止性問題(Halting Problem)である。 ・この章では、最終的に、「そのようなHは、存在しない」ことが示される。 第2ステップ:Kを使った推論その1 プログラムKに、引数としてK自身を渡すことを考える。 (Case1)もし、K(K)が停止してyesを返したら、 ・Kの定義から、H(K,K)はnoを返す。 ・よって、Hの定義から、プログラムKが入力Kに対して停止しない。 ・よって、K(K)は停止してyesを返し、かつ、停止しない、ということになり、矛盾である。 (Case2)もし、K(K)が無限ループなら、 ・Kの定義から、H(K,K)はyesを返す。 ・よって、Hの定義から、プログラムKが入力Kに対して停止する。 ・よって、K(K)は無限ループかつ、停止する、ということになり、矛盾である。よって矛盾である。 第3ステップ 結論:多くのプログラム言語に対して、その言語で書かれたプログラムの停止性は、決定可能ではない。 付録:Turing機械とプログラム言語 Turing機械と同等の計算能力を持つプログラム言語や計算モデルは、どんなものでも、停止性問題の解となるものは存在しない。 ・(型のない)ラムダ計算の体系帰納的関数の体系 ・(理想化された)C言語で書けるプログラム(理想化された) ・OCaml言語で書けるプログラム(理想化された) ・Scheme/Lisp言語で書けるプログラム(理想化された) ・Java言語で書けるプログラム なお、「Turing機械と同等の計算能力を持つプログラム言語(あるいは計算モデル)」のことをTuringcomplete(チューリングの意味で完全)と呼ぶことがある。 362 名前：１３２人目の素数さん [2024/05/05(日) 23:45:47.49 ID:HvNo6+XN.net] >>328 >//ja.m.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E%E3%81%AE%E9%9A%8E%E5%B1%A4 (引用開始) 形式言語の階層 個々の言語クラスの解説 チョムスキー階層の言語クラスごとに解説する。 タイプ-0内 帰納的可算言語は、部分決定性言語またはチューリング受理性言語とも呼ばれ、対応するオートマトンであるチューリングマシンが受理しない文字列の入力で停止する事が保証されていない言語のクラスである。これを決定性のある、つまりチューリングマシンが常に停止する言語に限定したクラスが帰納言語で、決定性言語またはチューリング決定性言語とも呼ばれる。 これらの計算複雑性はそれぞれ複雑性クラスRとREに対応する。 (引用終り) ありがとね １）いま問題にしているのは、>>331にあるように、 　”結論:多くのプログラム言語に対して、その言語で書かれたプログラムの停止性は、決定可能ではない” 　という状況があって、それは”(型のない)ラムダ計算の体系帰納的関数の体系”であったり 　”(理想化された)C言語で書けるプログラム(理想化された)”であったり 　”Java言語で書けるプログラム”であったりすること ２）このような言語で書かれた証明支援プログラムがあったとして 　現在および未来の ”任意”の数学論文をインプットして、必ず正常に停止するとできるのか？ 　>>331の答えは、No！ ３）勿論、もし”任意の数学論文”→”決定可能の数学論文”に限定すれば、 363 名前：正常に停止するだろう 　でも、それって実質同義反復でしょ [] [ここ壊れてます] 364 名前：１３２人目の素数さん [2024/05/06(月) 06:52:26.70 ID:gASBHPGZ.net] 無理解なままコピペするだけの人工無能によるハルシネーションです 365 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 07:49:07.63 ID:lw/xQ19x.net] やっぱりセタと関わっても時間の無駄やな 366 名前：１３２人目の素数さん [2024/05/06(月) 08:20:35.89 ID:Co8XPBRF.net] ご苦労さまでした 367 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 08:58:24.66 ID:hi35vIbq.net] >>332 >いま問題にしているのは、 >”多くのプログラム言語に対して、 >その言語で書かれたプログラムの停止性は、 >決定可能ではない” そこから間違ってるとか日本語読めないサルでしたか 問題は 「プログラムと称するものが、プログラムの構文規則に従っているか」 あるサブルーチンが名前だけで中身がなかったらNG 期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない そこがわかってない時点でド素人　高校の情報の単位も取れんわ 368 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 09:05:09.19 ID:hi35vIbq.net] >>333　>無理解なままコピペするだけの人工無能によるハルシネーション >>334　>○○と関わっても時間の無駄やな １こと○○は、関西の某中高一貫校の出身らしいが 大学受験では京大に受からず やむなく二番手のショボい大学の工学部に入学 しかもそこの１年の微積と線形代数も全然理解できない有り様 とにかく過去問だけマル暗記して誤魔化したものの 正則行列の性質も知らず、行列式の効率的計算法も知らず 就職先では一切数学をつかわず部下には精神論しか語らない 典型的な昭和男として誤魔化してきた 退職後は数学を理解しようと再勉強するも 今更微積と線形代数からやり直すなどバカバカしいと わかるはずもない難しいテキストばかりチラ見して やっぱり誤魔化し続ける毎日 １の人生は現実を直視せずごまかしつづける虚飾の日々 369 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 09:07:35.80 ID:hi35vIbq.net] １が数学理解したいなら、マセマの大学数学シリーズからはじめる必要あり そもそも文章が正しく読めないので、受験参考書みたいな書き方の本じゃないと無理 370 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 09:16:20.29 ID:lw/xQ19x.net] 議論がどうこういうレベルじゃない まず自分が口ゲンカに勝つ事が絶対的な前提でそのためには数学上完全に証明されてる事実すら受け付けない もはや感情の方が知性より優先してしまっていて人間らしい判断能力を喪失してしまってる ここまで人格の崩壊が進んでたらまともな議論ができる人格を取り戻せないやろな 371 名前：１３２人目の素数さん [2024/05/06(月) 10:07:05.82 ID:Co8XPBRF.net] >>336 >問題は >「プログラムと称するものが、プログラムの構文規則に従っているか」 >あるサブルーチンが名前だけで中身がなかったらNG >期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない ブッハハ バカか １）あるプログラムを作った 　コンパイラすると、文法エラーが出た 　それを手直しして、文法エラーは無くなった ２）それって、プログラム作りの初歩の初歩でしょ 　同様に、それ（文法エラー無し）って 数学の証明の初歩の初歩でしょ アホがなに寝言を言っているのか！ｗｗ 372 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 10:14:11.97 ID:lw/xQ19x.net] >>340 コレなんかそう まともな知性を持っていればこんな言葉が反論になどなっていないのはすぐわかるハズ でも書かずにはいられない、書かなければ負けると無意味なレスを書き散らす 病気 373 名前：１３２人目の素数さん [2024/05/06(月) 10:57:24.45 ID:Co8XPBRF.net] >>341 反論になってるよｗ 再録しておく 　>>340より >問題は >「プログラムと称するものが、プログラムの構文規則に従っているか」 >あるサブルーチンが名前だけで中身がなかったらNG >期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない １）あるプログラムを作った 　コンパイラすると、文法エラーが出た 　それを手直しして、文法エラーは無くなった ２）それって、プログラム作りの初歩の初歩でしょ 　同様に、それ（文法エラー無し）って 数学の証明の初歩の初歩でしょ (引用終り) 以上 374 名前：１３２人目の素数さん [2024/05/06(月) 11:01:26.86 ID:Co8XPBRF.net] ・中学生が、 375 名前：整数問題の証明を書いた ・文法エラーが無かった ・しかし、その証明が正しいどうか？ ・それは、別の問題です アホがなに寝言を言っているのか！ｗｗ [] [ここ壊れてます] 376 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 11:12:53.09 ID:lw/xQ19x.net] 文法=証明のルール 動かない事が現代数学のルールに違反している証 動かないなら終わり 377 名前：１３２人目の素数さん [2024/05/06(月) 11:24:00.01 ID:Co8XPBRF.net] 再録しておく 　>>340より １）あるプログラムを作った 　コンパイラすると、文法エラーが出た 　それを手直しして、文法エラーは無くなった ２）それって、プログラム作りの初歩の初歩でしょ 　同様に、それ（文法エラー無し）って 数学の証明の初歩の初歩でしょ さて、プログラムは動いた アウトプットも何か得られた プログラムを書いた経験がある人には分るだろうが プログラム作りの話は、ここから始るんだよｗｗ 378 名前：１３２人目の素数さん [2024/05/06(月) 11:24:06.16 ID:hi35vIbq.net] 証明の「文法」エラーがないなら正しいけど １　そんな初歩も知らんの？ さっさとABC予想の文法エラーのない証明、示してみ？ 379 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 11:39:14.99 ID:lw/xQ19x.net] 動くプログラムがひとつもないのが問題 もう「そのうち修正される」という言い訳は通じない 380 名前：１３２人目の素数さん [2024/05/06(月) 12:50:54.76 ID:Co8XPBRF.net] >>346-347 １）望月IUT論文 I〜IV プログラムは改良されて、5人の共著論文の プログラムに進化しました ２）さらなる改良、進化も予告されています しばし待て 乞うご期待 (参考) https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96 宇宙際タイヒミュラー理論 2022年7月、楕円曲線の 6 等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの（非明示的な「定数」が現れない）に変更した、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が、東京工業大学が編集する数学論文誌Kodai Mathematical Journalに掲載された[15][16]。 381 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 14:12:52.44 ID:YXoHJsx4.net] その5人論文で元論文のエラーが訂正されたわけでもない それ以外にもiut論文を肯定的に引用した査読論文もない 現時点でiut理論を証明してる“走るプログラム”は世界にひとつも存在しない もう永遠に現れない 382 名前：１３２人目の素数さん [2024/05/06(月) 15:10:48.98 ID:Co8XPBRF.net] >>349 >その5人論文で元論文のエラーが訂正されたわけでもない >それ以外にもiut論文を肯定的に引用した査読論文もない >現時点でiut理論を証明してる“走るプログラム”は世界にひとつも存在しない >もう永遠に現れない １）元論文のエラーが無いとしたら？ 訂正不要でしょ ；ｐ） ２）”iut論文を肯定的に引用した査読論文”はしらんけど、5人論文の方の引用はこれから どんどん出てくるのでは？ 　（そもそも、この5人論文のレビューがまだ出てないが、どんなレビューになるか楽しみですｗ） ３）“走るプログラム”が何を意味するか知らないが、機械による証明検証なら、機械による証明検証が無い論文は山ほどあるぜ ；ｐ） 383 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 15:16:02.57 ID:YXoHJsx4.net] エラーはある 実際エラーがなく誰でも解釈可能なら誰からも引用されないなどという状態にはなりえない もうこのまま引用数0で終わり 例のlean theorem prover見たいに“間違い論文の例”で引用されるかもしれないが 384 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 16:00:32.98 ID:hi35vIbq.net] １は自国自慢のために嘘をいいつづける　病気だな 385 名前：１３２人目の素数さん [2024/05/06(月) 16:25:55.91 ID:Co8XPBRF.net] >>351-352 妄想は、ヨシコさんｗ １）いまどき、論文提出から査読、出版まで数年かかる 　IUTの後継 5人論文（下記）は 2022年だから、これの引用論文が出版されるのは、これからですよ ２）”自国自慢”というが、大谷が実際にホームランを打って活躍しなければ 　自国自慢もクソもない 　望月先生も、5人論文でABC明示公式の特大ホームラン打ちました！！ ヾ ^_^♪ [笑] (参考) https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96 宇宙際タイヒミュラー理論 2022年7月、楕円曲線の 6 等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの（非明示的な「定数」が現れない）に変更した、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が、東京工業大学が編集する数学論文誌Kodai Mathematical Journalに掲載された[15][16]。この結果により、宇宙際タイヒミュラー理論によるフェルマーの最終定理の新たな証明[17]を得たとされる。 [16]^ a b Mochizuki, Shinichi; Fesenko, Ivan; Hoshi, Yuichiro; Minamide, Arata; Porowski, Wojciech (2022-06). “Explicit estimates in inter-universal Teichmüller theory”. Kodai Mathematical Journal 45 (2): 175-236. doi:10.2996/kmj45201. ISSN 0386-5991.(Paid subscription required要購読契約) 386 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 16:50:46.25 ID:YXoHJsx4.net] >>353 何年経ってるか計算すら出来んゴミ 387 名前：１３２人目の素数さん [2024/05/06(月) 17:13:45.64 ID:hi35vIbq.net] ＞5人論文でABC明示公式の特大ホームラン打ちました！！ １は脳をやられてますな 388 名前：１３２人目の素数さん mailto:sage [2024/05/06(月) 17:23:08.19 ID:aBr4mgia.net] カエルのツラにしょんべん 389 名前：１３２人目の素数さん [2024/05/06(月) 19:57:04.73 ID:Co8XPBRF.net] 日本の遠アーベル研究者網（含むIUT） https://ahgt.math.cnrs.fr/members/ Arithmetic & Homotopic Galois Theory IRN Members & Partners RIMS, Kyoto University Benjamin Collas Hoshi Yuichiro Koshikawa Teruhisa Minamide Arata Mochizuki Shinichi Hiroshima University Matsumoto Makoto Iijima Yu Hokkaido University Yasuda Seidai Keio University Ishii Shun Kyoto Institute of Technology Murotani Takahiro Nagoya University Furusho Hidekazu Khalef Yaddaden Osaka University Nakamura Hiroaki Wakabayashi Yasuhiro Sophia University Tsunogai Hiroshi Tokyo Institute of Technology Kato Fumiharu (em.) Yamaguchi Naganori Taguchi Yuichiro Tokyo University of Science Shiraishi Densuke 390 名前：１３２人目の素数さん [2024/05/06(月) 20:11:08.28 ID:Co8XPBRF.net] 東大は？ Toshiyuki Katsura（Tokyo）以下4名が 第１回 IUGCカンファレンスに参加したようだ はたして、ご感想はいかに？　（＾＾ うん？ Mateo Carmona（Istituto Grothendieck）？ イタリア？ https://zen-univ.jp/iugc/activities/events 第１回 IUGCカンファレンス オーガナイザー： 星 裕一郎（京都大学数理解析研究所） 加藤 文元（東京工業大学（名誉教授）） 望月 新一（京都大学数理解析研究所） 日程：2024年4月2日（火）〜 4月5日（金） 開催地：東京都中央区銀座4丁目12-15 歌舞伎座タワー12F ドワンゴセミナールーム [Current list of participants] Toshiyuki Katsura（Tokyo） Kanau Shimada（Tokyo） Yongpan Zou（Tokyo） Shane KELLY（Tokyo） Mateo Carmona（Istituto Grothendieck） https://igrothendieck.org/en/ Istituto Grothendieck ETS Corso Statuto 24 12084 Mondovì CN – Italy 391 名前：１３２人目の素数さん mailto:sage [2024/05/07(火) 06:03:34.83 ID:+8MO0k1Z.net] １　愛国に狂う 392 名前：１３２人目の素数さん [2024/05/07(火) 07:57:30.80 ID:J7MRSS8z.net] 大量ゴミスレ立て攻撃があったが、運営が消したみたいだね 多分立てたやつも、威力業務妨害かなにかで、刑事告発したか、その警告を発したのだろうね 393 名前：１３２人目の素数さん [2024/05/07(火) 08:07:40 ] [ここ壊れてます] 394 名前：.05 ID:VqTUBsPb.net mailto: そこはまだ人力でやっているのだろうね [] [ここ壊れてます] 395 名前：１３２人目の素数さん [2024/05/07(火) 10:18:45.38 ID:J7MRSS8z.net] >>361 これは、御大か 巡回ご苦労さまです >そこはまだ人力でやっているのだろうね そうでしょうね そのうちAIつかって、スレ立てから、防止策ができるかも ；ｐ） 396 名前：１３２人目の素数さん mailto:sage [2024/05/07(火) 10:24:06.50 ID:ciSZnTHv.net] ＞御大 大学教授には卑屈なほどペコペコする劣等生 397 名前：１３２人目の素数さん [2024/05/07(火) 11:30:49.97 ID:KnH2NUrg.net] 御大は、”大学への数学”誌に連載を持つお方です ；ｐ） 398 名前：１３２人目の素数さん mailto:sage [2024/05/07(火) 12:24:06.20 ID:4lq7NSOu.net] そして君は、大学数学で挫折したお方、と 399 名前：１３２人目の素数さん [2024/05/07(火) 13:20:04.89 ID:KnH2NUrg.net] 御大は、知る人ぞ知る世界的数学者で、岡潔多変数関数論の後継者です 400 名前：１３２人目の素数さん mailto:sage [2024/05/07(火) 14:17:27.89 ID:F5+ZZDt9.net] そして君は、名も無き一般人で、一変数関数論も知らん、と 401 名前：１３２人目の素数さん [2024/05/07(火) 14:55:35.86 ID:KnH2NUrg.net] ”１３２人目の素数さん”です ；ｐ） 402 名前：１３２人目の素数さん mailto:sage [2024/05/07(火) 15:42:55.96 ID:e3zlm421.net] つまり７４３（ななしさん） 403 名前：１３２人目の素数さん [2024/05/07(火) 17:39:27.06 ID:KnH2NUrg.net] うまい ザブトン一枚！ 404 名前：１３２人目の素数さん mailto:sage [2024/05/08(水) 05:45:49.38 ID:c0TH2Ddg.net] １はマセマの本からやり直せ 405 名前：１３２人目の素数さん [2024/05/11(土) 13:50:14.10 ID:MgHO2w7B.net] カドカワと日本財団 両方ともxxxx人のxxのxだが いつまで持つかな？ 406 名前：１３２人目の素数さん mailto:sage [2024/05/12(日) 09:35:37.88 ID:4apoyj0z.net] ぽぽっ() 407 名前：１３２人目の素数さん [2024/05/14(火) 08:13:16.41 ID:u9GcJiDt.net] １０万ドル受賞が 朝日のニュースになっていた 408 名前：１３２人目の素数さん [2024/05/14(火) 11:04:21.98 ID:BVplb3KH.net] >>374 先月のニュースとは違うの？ 409 名前：１３２人目の素数さん [2024/05/14(火) 11:06:45.46 ID:3zudoayv.net] ウソで金は稼げても 金で真実は買えない 410 名前：１３２人目の素数さん [2024/05/14(火) 11:31:06.54 ID:u9GcJiDt.net] >>375 石倉記者の解説付き 411 名前：１３２人目の素数さん [2024/05/14(火) 13:19:34.49 ID:MaRtchDo.net] math_jin 情報早い IUTと perfectoid をマージしようというのは、Joshiさんが熱心にやってきました さて、どうなることやら (参考) //twitter.com/math_jin math_jin reposted Benjamin Collas May 12 Atelier de géométrie arithmétique 2024 :: Perfectoid spaces :: July 2024 - Kyoto & Paris For young researchers and in-person only. =>Registration opened; see program below! //ahgt.math.cnrs.fr/activities/ateliers/AGA24-spaces%20perfectoid/ Atelier de Géométrie Arithmétique - 数論幾何学のアトリエ 2024 Spaces and perfectoids towards a perfectoid Siegel modular space July, 2024 (TBC) · Paris & Japan [Bridge] · Org.: M. Ferreira-Filoramo (Sorbonne University), S. Philip (RIMS, Kyoto), N. Takada (Osaka University), N. Yamaguchi (Tokyo Institute of Technology, Tokyo) The notion of a perfectoid space was introduced by Scholze in 2012. It readily had a plethora of strong applications such as in p-adic Hodge theory and the Langlands program. To quote Bhatt in 2014, “The theory of perfectoid spaces is rather young, but already extremely potent: each class of examples discovered so far has led to powerful and deep theorems in arithmetic geomet 412 名前：ry”. The inspiration of perfectoid spaces come from the reunion of a classical result of Fontaine and Wintenberger in Galois theory, the theories of analytic geometry over non-archimedean spaces as given by Huber adic spaces, Berkovich spaces and the rigid-analytic geometry of Tate, and Faltings “almost mathematics” developped by Gaber and Ramero. The goal of the workshop is to provide an introduction to the theory of perfectoid spaces and see it in application with the construction of a Siegel perfectoid space and a Hodge-Tate period map following Scholze. The classical GIT-construction of a fine moduli space for abelian varieties with level structure will be presented. program for a description of talks and a list of references. (deleted an unsolicited ad) [] [ここ壊れてます] 413 名前：１３２人目の素数さん [2024/05/14(火) 16:25:34.84 ID:uYLFrU6m.net] >>377 有害にしかなってないね、石倉記者は、恥を知れと言いたい 414 名前：１３２人目の素数さん [2024/05/14(火) 16:43:04.45 ID:Vvwv97dh.net] >>379　ブン屋は話題になりさえすればなんでもいいんでしょう 415 名前：１３２人目の素数さん [2024/05/14(火) 21:24:57.84 ID:UCf1H1qF.net] >>376 真実にカネはいらないっ！！ 416 名前：１３２人目の素数さん [2024/05/15(水) 06:05:46.39 ID:jnpUU+rE.net] >>381　力むと💩漏れるよ 417 名前：１３２人目の素数さん [2024/05/15(水) 15:21:05.85 ID:fRIY8WnR.net] メモ https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html 星 裕一郎 講演 予定 TBA, 全学共通科目– 現代の数学と数理解析 基礎概念とその諸科学への広がり –,, 京都大学数理解析研究所, 2024.6.7. TBA, 早稲田整数論セミナー, 早稲田大学, 2024.7.19. TBA, Anabelian Geometry and Representations of Fundamental Groups, The Mathematisches Forschungsinstitut Oberwolfach, 2024.9.29-2024.10.4. TBA, 宇宙際タイヒミューラー理論サミット 2025, 京都大学数理解析研究所, 2025.3.17-2025.3.19. 418 名前：１３２人目の素数さん [2024/05/15(水) 20:53:53.76 ID:xDlF5U+D.net] 望月のABCがここまで迷走するのは、日本人の数学者が自分たちのチームを作ることを怠ってきたから。彼らは数学しか見ていない。数学さえあればなんとかなると思ってる。その結果がこのありさま 白人はチーム作りから入る。アングロサクソンはシステム設計がうまいというが、その正体がこれ。 419 名前：１３２人目の素数さん [2024/05/15(水) 20:54:53.16 ID:xDlF5U+D.net] チーム作る発想がない。社会性がないから。 420 名前：１３２人目の素数さん [2024/05/15(水) 23:00:40.43 ID:dABUOeSp.net] 全く逆だろ、取り巻きが徒党組んでゴネ続けて 挙句見識のないバカ記者やバカ成金を取り組んでインチキ情報戦仕掛けてるから いつまでも拗れているように見えるだけで。 (実際はもう破綻している、中身なし、何かに使えるアイデアも皆無、でケリがついてる。) 421 名前：１３２人目の素数さん [2024/05/16(木) 00:37:05.02 ID:7N09fxW8.net] >>386 だから、日本人の数学者はまともな社会や組織やチームを作る能力がない。だから、望月のような状況が存在してきた。 白人にも、おかしな数学者は登場してくる。けれども、彼らはその種の個体をうまく管理できたり、暴走しないような仕組みを作るのが非常に上手である。 それに対して、日本人の数学者はそうでない。 日本人の数学者は白人に自分たちが生きる社会システムを作ってもらわないと、数学者� 422 名前：ﾆして生存することができない。 自分でやろうとすると、望月のような事態が生じる。 この状況は日本人の数学者がまともな数学コミュニティを形成することができないことを表している。 望月は半分白人であるので、今回は特殊な事情であるが、日本人の数学者が社会形成能力に劣るのは事実である。 [] [ここ壊れてます] 423 名前：１３２人目の素数さん [2024/05/16(木) 21:00:26.66 ID:HZLDBmhj.net] >>382 心配するな、よくやらかしてるわぃっ！！ 424 名前：１３２人目の素数さん [2024/05/16(木) 22:46:38.34 ID:YDO4yY2V.net] 「おしりの穴から、こ💩わー」とかいうのは 小林よしのりの「東大一直線」のセリフか 425 名前：１３２人目の素数さん [2024/05/16(木) 22:47:33.03 ID:YDO4yY2V.net] 💩の絵文字ってなんか和むなｗ 426 名前：１３２人目の素数さん [2024/05/19(日) 02:41:57.84 ID:fuSRxzqs.net] >>383 1がIUTの応援サティアンスレで便所の落書き 427 名前：１３２人目の素数さん [2024/05/19(日) 10:35:07.48 ID:t8H07Yw6.net] 暴走する元気があるのは羨ましい 428 名前：１３２人目の素数さん [2024/05/20(月) 01:01:58.70 ID:D0NAxlzs.net] 私はやってない、潔白だ〜♪ by望月尊師 429 名前：１３２人目の素数さん [2024/05/20(月) 15:45:36.81 ID:EtUxmvMT.net] math_jinさん、面白い 引用文献に、IUT論文は無いけど Yasuhiro Wakabayashi [v4] Mon, 26 Apr 2021 か —a proof of Joshi’s conjecture— まだ、査読論文になっていないみたいだね //x.com/math_jin math_jin Daniel Litt May 17 Replying to @littmath (Here the Zzz… refers to “dormant” opers, screenshot from this paper: https://arxiv.org/pdf/1411.1208) https://arxiv.org/abs/1411.1208 A theory of dormant opers on pointed stable curves —a proof of Joshi’s conjecture— 尖った安定曲線上の休眠オペラの理論 ― Joshi の予想の証明 ― (google訳) Yasuhiro Wakabayashi 東工大 [v4] Mon, 26 Apr 2021 Abstract. (google訳) この原稿は、任意の特性とその係数の尖った安定曲線で定義されたオペラの理論の詳細かつ独創的な説明を示します。 特に、これには、ある種の肯定的な特徴を持つオペラである休眠オペラの研究の発展が含まれます。 尖った安定曲線上の休眠オペラ (より一般的には、正特性のオペラ) の理論は、かなり豊かで深いことが証明されており、sl2 オペラの理論を開発し、 p-進タイヒムラー理論を確立するためです。 望月の研究の一部は、後に K. Joshi、C. Pauly、その他の数学者によって適切な滑らかな曲線の場合に拡張されました。 この原稿は、望月、ジョシ、ポーリーの研究を超えて主題を取り上げたオペラ理論の進歩を表しています。 特に、一般的な統一定式化と、尖った安定曲線のファミリー上で定義された主要なバンドルと接続の基本を提供します。 したがって、オペラの概念は対数代数幾何学の文脈で導入されます。 結果の一部は、A. Beilinson と V. Drinfeld によって開発された幾何学的ラングランズ プログラムに関する基礎研究で得られた結果の一般化とみなすことができます。 また、双対性、微分演算子との比較、モジュライ空間のコンパクト化など、(休止中の) 演算子に関するさまざまなプロパティとアサーションについても説明します。 私たちの目標は、Joshi によって推測された、休眠中の sln-oper の一般的な数についての明示的な公式を与えることです。 これを行うには、休止オペラ座のモジュライ空間を詳細に理解し、標数 0 のクォート スキームのグロモフ ウィッテン不変量を計算します。 この公式は、p 進タイヒミュラー理論の研究と、グロモフ-ヴィッテン理論を含む数学の特定の分野との間の相互作用を明らかにします。 430 名前：１３２人目の素数さん [2024/05/21(火) 08:46:37.97 ID:vauIQjbE.net] 幾何学的ラングランズ予想は最近解かれたらしい 431 名前：１３２人目の素数さん [2024/05/21(火) 15:41:27.21 ID:lIT9+VVv.net] >>395 >幾何学的ラングランズ予想は最近解かれたらしい ほう これは御大か 例の解かれたという噂は、本当なんですかね？　（＾＾；

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef