Inter-universal geometry と ABC予想 (応援スレ) 73 (775ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

1: １３２人目の素数さん [] 2025/07/20(日) 17:27:32.00 ID:JxJPBISF （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ：Inter-universal geometry と ABC予想 (応援スレ) 72 https://rio2016.5ch.net/test/read.cgi/math/1721915133/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 Inter-universal geometry と ABC予想 (応援スレ) 52 ://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 ＜IUT最新文書＞ https://www.kurims.kyoto-u.ac.jp/~motizuki/ 望月新一＠数理研 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 宇宙際タイヒミュラー理論 ＜新展開＞ ・2025年5月、中国の若手数学者の周中鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した 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 ・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/ ://www.sankei.com/article/20240402

-WNUUSYIAO5PRVNCBQSEEUETGMU/ 産経 2024/4/2 宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル 同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ ://www3.nhk.or.jp/news/html/20230707/k10014121791000.html NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707 研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました ▽新たな発展を含む論文を毎年選び、

最大で賞金10万ドル ▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル ://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支持側へ） ://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf “ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theo

ry or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023” このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！ つづく http://rio2016.5ch.net/test/read.cgi/math/1753000052/1

746: １３２人目の素数さん [] 2025/08/17(日) 18:18:18.52 ID:ri9WPA52 >>742 >全ての無限級数を否定するのは オチコボレのみ いつ誰が無限級数を否定したの？ また勝手読みかい？ http://rio2016.5ch.net/test/read.cgi/math/1753000052/746

747: １３２人目の素数さん [] 2025/08/17(日) 18:21:21.10 ID:ri9WPA52 >>742 >>f(x)=e^(-x) が無限回微分できると仮定し、無限回微分した関数をg(x)と書く。 >そういう雑な思考をしているから 数学科のオチコボレさんになる 仮定するのは雑なんだ じゃあ学界に論文出しなよ　背理法は雑だから使えないと http://rio2016.5ch.net/test/read.cgi/math/1753000052/747

748: １３２人目の素数さん [] 2025/08/17(日) 18:25:19.27 ID:ri9WPA52 >>742 >このテーラー展開 は、無限級数である（項は無限でなければならない（有限ではありませんｗｗｗ））■ 無限級数は無限項の和ではありません。有限項の和の列の極限です。 って何回言わせんの？　言葉が通じないの？　また言語障害？ http://rio2016.5ch.net/test/read.cgi/math/1753000052/748

749: １３２人目の素数さん [] 2025/08/17(日) 18:35:53.38 ID:ri9WPA52 >>742 >まあ、オチコボレは テレンスタオの“big picture”、謎の数学者氏「絵を描くように」、ポアンカレ＆渕野昌 のいう 数学的直観 >が欠落している 君は勉強不足だよｗ　；ｐ） 「無限回微分可能という語は実は無限回微分可能ではなく任意有限回微分可能を意味する。」について大間違いしたのごまかそうとして鼻息荒いね君 勉強不足で間違ったの認めるの？　シレっとごまかさないでね http://rio2016.5ch.net/test/read.cgi/math/1753000052/749

750: １３２人目の素数さん [] 2025/08/17(日) 18:41:13.49 ID:ri9WPA52 >>742 で、君、発狂してぎゃーぎゃー喚くのは勝手だけど、結局、無限回の操作の例を一つも示せなかったんだけど、それはどうなの？ 間違いと認めるの？　ごまかさないでね http://rio2016.5ch.net/test/read.cgi/math/1753000052/750

751: １３２人目の素数さん [] 2025/08/17(日) 18:46:56.10 ID:ri9WPA52 >>743 >これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ） ん？　自己紹介ですか？　だって間違ってる（てかいつも間違いだらけ）のは君だよね？ 逆に君が私の間違いを指摘できたことはただの一回も無いんだが？ http://rio2016.5ch.net/test/read.cgi/math/1753000052/751

752: １３２人目の素数さん [] 2025/08/17(日) 18:52:09.85 ID:ri9WPA52 >まあ、オチコボレは テレンスタオの“big picture”、謎の数学者氏「絵を描くように」、ポアンカレ＆渕野昌 のいう 数学的直観 >が欠落している 君は勉強不足だよｗ　；ｐ） 口を開けば間違いだらけのオチコボレがなんか言ってますね http://rio2016.5ch.net/test/read.cgi/math/1753000052/752

753: １３２人目の素数さん [] 2025/08/17(日) 18:55:23.24 ID:ri9WPA52 >>744 >それを読んで 君のいうことの検証をするからｗｗｗ 集合積∩も分からないパープリンに何が検証できると？ http://rio2016.5ch.net/test/read.cgi/math/1753000052/753

754: １３２人目の素数さん [] 2025/08/17(日) 18:57:54.67 ID:33yZ2vv2 >>742 >By Terence Tao >There’s more to mathematics than rigour and proofs July 2016 (1) >3.The “post-rigorous” stage, in which one has grown comfortable >with all the rigorous foundations of one’s chosen field, （以下略） 「数学には厳密性と証明以上のものがある」というタオのポストの コピペなわけだが、タオはバカが勘違いしないようにはっきり 「“post-rigorous”ステージとは、自分が選んだ分野の厳格な 基礎すべてに慣れてきた

段階です」って書き始めてるわな 人工無能はパターンマッチングのコピペだけで内容は読んでないからな http://rio2016.5ch.net/test/read.cgi/math/1753000052/754

755: １３２人目の素数さん [] 2025/08/17(日) 19:01:25.18 ID:ri9WPA52 オチコボレ君、発狂すんのは勝手だけど、「無限回の操作は well-defined でない」を認めるのかちゃんと答えてね シレっとごまかさないでね　君いつもごまかすじゃん http://rio2016.5ch.net/test/read.cgi/math/1753000052/755

756: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 19:54:18.42 ID:TyT53DUJ >>739 追加 https://www.math.mi.i.nagoya-u.ac.jp/~kihara/ Takayuki Kihara, Associate Professor (Curriculum Vitae) Department of Mathematical Informatics Graduate School of Informatics Nagoya University, Japan https://www.math.mi.i.nagoya-u.ac.jp/~kihara/wakate2019.html 数学基礎論若手の会 2019 講演リストおよびスライド 荒武 永史 (京都大学): トポス理論と圏論的論理学への誘い https://www.math.mi.i.nagoya-u.ac.jp/~kihara/wor

kshop/wakate/aratake.pdf トポス理論と圏論的論理学への誘い 荒武永史 京都大学大学院理学研究科 2019 年12月6日 数学基礎論若手の会2019in岡崎 Contents Toposes as Mathematical Universes 圏論的論理学と分類トポス 1 トポス理論入門：Grothendieckトポスと初等トポス ・Grothendieck トポス ・初等トポス 2 Toposes as Mathematical Universes ・トポスにおける一階論理の解釈 ・Kripke-Joyal 意味論とSheaf Semantics 3 圏論的論理学と分類トポス ・函手的意味論 ・一階理論の分類トポス ロジック的な視点からは、トポスには主に2つの側面があ

る ▶ Toposes as Mathematical Universes ▶ “トポスの中で”数学的構造を考えられる ▶ 集合論や型理論の圏論的解釈を与えられる ▶ Toposes as Theories ▶ 理論とトポスが“対応する”（理論の分類トポス） ▶ 理論のモデルは分類トポスからの函手と見なせる 同じトポスを様々な視点から調べられるのが最大の特徴！ http://rio2016.5ch.net/test/read.cgi/math/1753000052/756

757: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 20:09:13.67 ID:TyT53DUJ >>747-748 >>このテーラー展開 は、無限級数である（項は無限でなければならない（有限ではありませんｗｗｗ））■ >無限級数は無限項の和ではありません。有限項の和の列の極限です。 ふっふ、ほっほ 背理法を使っているのは、おれだよ オレオレオレ！ｗ さて 　>>742より 指数関数 g(x)=e^(x)のテーラー展開 e^(x)=Σ n=0〜∞ 1/n! x^n もし、これが有限和だとすると 複素指数函数公式 https://ja.wikipedia.org/wiki/%E8%A4%87

%E7%B4%A0%E6%8C%87%E6%95%B0%E5%87%BD%E6%95%B0 z = x + yi（x, y は実数）（i は虚数単位）に対して、 exp(x+iy)=e^x(cos y + isin y) [2][3] が成立しなくなる それはまずいよねｗ　；ｐ） よって 背理法により 指数関数 g(x)=e^(x)のテーラー展開 は 無限項の和■ｗｗ　；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1753000052/757

758: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 20:19:36.02 ID:TyT53DUJ >>747-748 補足 >>このテーラー展開 は、無限級数である（項は無限でなければならない（有限ではありませんｗｗｗ））■ >無限級数は無限項の和ではありません。有限項の和の列の極限です。 こいつ ”無限級数は無限項の和”を、必死で否定しようとしているよ そんな考えだから 数学科でオチコボレになるんじゃね？ ”無限級数は有限項の和ではない”だろ■ｗ　；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1753000052/758

759: １３２人目の素数さん [] 2025/08/17(日) 20:38:52.62 ID:ri9WPA52 >>757 >テーラー展開 は無限項の和■ｗｗ　；ｐ） はい、大間違いです。 テイラー展開は無限級数であり、無限級数は有限部分和列の極限であって無限項の和ではない。 無限級数は無限項の和とか言ってたら高校生に笑われるぞｗ てか既に何度も教えてあげてるんだけど、君、言葉が通じないの？　言語障害は病気だから病院行けよ https://ja.wikipedia.org/wiki/%E3%83%86%E3%82%A4%E3%83%A9%E3%83%BC%E5%B1%95%E9%96%8B 数学においてテイラー級数（テイラーきゅうすう

、英: Taylor series）は、関数のある一点での導関数の値から計算される項の無限和として関数を表したものである。そのような級数を得ることをテイラー展開（テイラーてんかい）という。 https://ja.wikipedia.org/wiki/%E7%B7%8F%E5%92%8C 有限和の場合を拡張して、可算無限個の元の列 x1,x2, … に対しても総和を定義することができる。これを特に無限和 (infinite sum)、無限級数 (infinite series) あるいは単に級数（きゅうすう、series）と呼ぶ。総和と同様に、部分和をとる操作を行う。しかし、この操作は、元が有限個である場合と違って有限

回で終了しない。ここで、部分和 si の極限を級数の値とする（ただし、チェザロ和などのように値の算出法が異なる総和法も存在する）。部分和の列 si が収束または発散することを以って、級数は収束 (converge) あるいは発散 (diverge) するという。与えられた列から作られる級数が収束するとき、その級数の値をもとの列の和と呼ぶ。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/759

760: １３２人目の素数さん [] 2025/08/17(日) 20:48:07.14 ID:ri9WPA52 >>758 >こいつ >”無限級数は無限項の和”を、必死で否定しようとしているよ そりゃ否定するやろ、間違いなんだから >そんな考えだから 数学科でオチコボレになるんじゃね？ >”無限級数は有限項の和ではない”だろ■ｗ　；ｐ） 誰が有限項の和と言った？　言葉が通じないの？　言語障害？ 何度も何度も何度も何度も言ってるが、無限級数は有限部分和列の極限。無限項の和でも有限項の和でもない。 だから病院行けと言っとるのに頑固だね君も。言語障害は

病院行かなきゃ治らんぞ。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/760

761: １３２人目の素数さん [] 2025/08/17(日) 20:52:05.91 ID:ri9WPA52 オチコボレ君さあ、君、高校生に笑われるようなことを繰り返し言ってるんだけど自覚あるかい？ まあ自覚無いからアホ晒し続けるんだろうけどなｗ http://rio2016.5ch.net/test/read.cgi/math/1753000052/761

762: １３２人目の素数さん [] 2025/08/17(日) 20:55:59.58 ID:ri9WPA52 オチコボレ君、近所に高校生おらんの？ 教えてもらえよ　無限級数って何ですか？って　有限部分和列の極限って教えてくれるぞ　無限項の和とか言ったら笑われるぞ http://rio2016.5ch.net/test/read.cgi/math/1753000052/762

763: １３２人目の素数さん [] 2025/08/17(日) 21:02:11.76 ID:ri9WPA52 てかさ 仮に無限項の和だとしたら、ある項から先がすべて０であるような特殊な無限級数以外、どこまで足しても値が確定しないのに、どうやって計算すんだよｗ 根本的にバカだね君　そりゃ落ちこぼれるわ http://rio2016.5ch.net/test/read.cgi/math/1753000052/763

764: １３２人目の素数さん [] 2025/08/17(日) 21:14:23.24 ID:ri9WPA52 今日も口を開けば間違いだらけのオチコボレ君 いいかげん数学板から去れば？　居ても無駄だよ　言語障害を治さないと数学どうこう以前だから http://rio2016.5ch.net/test/read.cgi/math/1753000052/764

765: １３２人目の素数さん [sage] 2025/08/17(日) 21:18:18.50 ID:g6zMoUaF >>744 お前人間として必要な機能が完全に壊れてるわ http://rio2016.5ch.net/test/read.cgi/math/1753000052/765

766: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/18(月) 00:01:40.96 ID:8aDEijVq 日本語数学の地の文はまだレベルが低い人が多いな。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/766

767: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/18(月) 11:50:01.36 ID:8aDEijVq スレ主さんのように手早く読めるほうが美文。ほかは筋が通らず苦戦の跡が見られる。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/767

768: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/18(月) 11:51:41.78 ID:8aDEijVq 日本語で数学の戦略を練る意味を考えた方が良い。役に立つものであるに越したことはない。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/768

769: １３２人目の素数さん [sage] 2025/08/18(月) 14:02:35.51 ID:Dtpskvro こいつらもう戻れないんだろうなと思うと爆笑する っていうかこいつらが税金抜いてんのがなあ、、 http://rio2016.5ch.net/test/read.cgi/math/1753000052/769

770: １３２人目の素数さん [sage] 2025/08/18(月) 14:02:45.43 ID:Dtpskvro 私費でやれよ http://rio2016.5ch.net/test/read.cgi/math/1753000052/770

771: １３２人目の素数さん [sage] 2025/08/18(月) 14:45:06.80 ID:NRTT2lqv IUTも万博も民間ロケットも税金使う必要無し http://rio2016.5ch.net/test/read.cgi/math/1753000052/771

772: １３２人目の素数さん [] 2025/08/18(月) 15:11:07.29 ID:kpyn+6QM 「相乗の公理」というのが過ごそう http://rio2016.5ch.net/test/read.cgi/math/1753000052/772

773: １３２人目の素数さん [] 2025/08/18(月) 17:28:18.84 ID:UkND8yRN >>767-768 死狂幻調教大師S.A.D.@月と六ベンツ さん ありがとうございます 今後ともよろしくお願いいたします >>769-772 みなさま、ご苦労様です ところで、下記のように 話は IUTを包含した もっと大きな Arithmetic & Homotopic Galois Theory IRN フランスと日本の共同の研究 Seminars of the Network に発展していることを 認識願いますね 要するに お金はフランスからも出ていますよ (参考) https://ahgt.math.cnrs.fr/activities/ Arithmetic & Homotopic

Galois Theory IRN Seminars of the Network ・RIMS Number Theory / Arithmetic Geometry Seminar (local) 日 ・Lille Arithmetic and Topology Seminars 仏 ・Osaka Number theory Seminar 日 ・TIT Arithmetic and Geometry Seminar 日 ・Sorbonne-X ``Variétés Rationnelles'' Seminar 仏 ・Sorbonne Paris Nord ``Géométrie Arithmétique et Motivique'' Seminar 仏 ・ENS DMA ``Raconte-moi...'' Algebra and Geometry Seminar 仏 http://rio2016.5ch.net/test/read.cgi/math/1753000052/773

774: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/18(月) 17:55:26.23 ID:UkND8yRN >>765 >お前人間として必要な機能が完全に壊れてるわ ヒキコモリの基礎論くんに マジレスするのも 大人げないが まあ 日本では 言論の自由は 君にもあり ですからｗ ；ｐ） >>763 >仮に無限項の和だとしたら、ある項から先がすべて０であるような特殊な無限級数以外、どこまで足しても値が確定しないのに、どうやって計算すんだよｗ 妄想出まくりじゃんｗ 君みたいな チンケな考えは リーマンはしていなかったんじゃね？ｗ というのは、下

記のリーマンゼータ関数は ζ(s):=?n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ で、リーマンは きっと 無限項の和 だと 素直に考えていたんじゃないかね？ｗｗ ；ｐ） 下記の リーマンゼータ関数 を 百回音読してねｗ なお、君のいう 無限級数で収束を考えることと 無限級数が無限項の和であることは 矛盾しない というか、もし 有限項の和であるならば 収束とか 問題にならないよｗｗ (参考) https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E3%82%BC%E3%83%BC%E3%82%BF%E9%96%A2%E6%95%B0 リーマンゼータ関数 リー

マンゼータ関数は、s を複素数、n を自然数とするとき、 ζ(s):=?n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ で定義される関数 ζ のことをいう。上記の級数は s の実部が 1 より真に大きい複素数のとき，すなわち Re s > 1 のときに収束する（なお s = 1 のとき調和級数となり発散する）が、解析接続によって s = 1 を一位の極とし、それ以外のすべての複素数において正則な有理型関数となる。 解析接続 ゼータ関数の表示と関数等式 ゼータ関数と素数計数関数 この公式は、リーマンの素数公式、あるいは明示公式 (explicit formula)

などと呼ばれている ゼータ関数の零点の分布に関する未解決問題であるリーマン予想は、素数公式の近似精度に関連している。この予想は純粋数学における最も重要な未解決問題であると考える数学者は多い http://rio2016.5ch.net/test/read.cgi/math/1753000052/774

775: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/18(月) 17:59:55.93 ID:UkND8yRN >>774 文字化け訂正 (２か所) ζ(s):=馬=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ 　↓ ζ(s):=Σ n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ ζ(s):=馬=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ 　↓ ζ(s):=Σ n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ http://rio2016.5ch.net/test/read.cgi/math/1753000052/775

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.013s