Inter-universal geometryとABC予想(シン応援スレ) 92

前スレ：Inter-universal geometryとABC予想(シン応援スレ) 91
https://rio2016.5ch.io/test/read.cgi/math/1777882286/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

（2030 ICM 日本開催に向け 力をためようということか）
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts

https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops

＜2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですｗ （＾＾； ＞
＜IUT最新文書＞
・News – Ivan Fesenko https://ivanfesenko.org/?page_id=80
・望月新一＠数理研 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理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://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 theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
つづく

テンプレ入りです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！

テンプレ入りです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾

テンプレ入りです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

これもテンプレ入りかな？
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
>　を考えた故事をしらないんだね
>　”Rは無限集合ですから”って デカルト先生に言ってあげようｗ

テンプレ入りです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
>　完備であることの証明はできない

>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾
もテンプレ入りで

テンプレ入りかな？
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）

テンプレ入りです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？

ヤンボーマーボー
天気予報

２８℃
晴れのちくもり

>>56
>天かす入りです
これ使わせて貰おっと

２８℃
晴れのちくもり

>>81
しゃーないな、特別だぞw

２２℃
くもり

天カス入りです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている

ウマそうやねw

バカチョンw
👇
IUT理論の形式化検証 一縷の緊張も心配も見えない （すでに）勝者の余裕ある姿😁

IUTgtrってマスチョンの別垢？w

朝鮮の人が名前に「哲」「敏」「仁」「貞」「正」などというの漢字を好むのは何故にですか？

２３℃
くもり

>>88
おまえはしぬがよゐ。

よゐこは早く寝ようw

ﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟｱｧｯｰｰｰﾝ!!!
ー(>>89)(>>90)ー∴∵

ﾊﾟｱｧｯ-ﾝｯ!!!
ー(>>88)ー・

ジュニーザピンボール

|
|≡333（遁走）

都合悪くなって流しにきたか
ドワンゴ在日w

>>101の慚鬼の穢念で時空が歪んでるな‥

つまんねー知的障害ジジイだな
まあIUT代表って感じが出てていいね

>>105
早く４ね世界の嫌われ者🐭獄凶惨盗漢jin認知戦工作野郎

>>106
精神分裂朝鮮人ワラタ

>>107
おまえ差別用語書き込み常習犯過ぎるよな
通報しとこうか？
てめえの場合は被害を受けてる側が開示請求一発で通るからな

Why would someone seek to formalize a proof they don't understand?

深圳指数
+２．５３％

>>108
脅迫された

>>106
脅迫こえええ

>>113
匿名で連日連日特定の人の名誉を毀損し続けてやがる卑怯者がなんて？

しかも根拠も無く出自決めつけ＆特定民族に対する侮蔑用語連呼とか、もうね。
こっちもテメエを決めつけて懲らしめてやったけどな！

てめえのくせに被害者面すんな！
気持ち悪いんだよ！（無慈悲）

責任を果たさない者が自由を主張したがる世の常。

ブーメランしてる人がいるね

ショルツがSSだとか言ってた人たち居たね
そういえば

きも

>>121
自分が理解できないことを「下らない」の一言で済ませられる人乙w

>>122
ん？「自分が理解できないこと」とは？
君の警察主義権威主義独善を嫌ってることを
「君が理解されない」と思うのはあまりにも唯我独尊
誰も君を理解しようとはしないんだよ
嫌われるか好かれるかだけ

意味不明
ニワカのオレオレエセ人生訓ww
そういやIUTファンって中身ゼロの自己啓発系多いよね

しかもIUT擁護ファンってめっちゃダブルスタンダードばかり
数スレ見るだけで矛盾やブーメラン
論理性が著しく欠如してるからこそIUTファンなんかね

尊師本人が他責主義のダブスタおじさんだからな

尊師本人が他責主義のダブスタおじさんだからな

オコチャマ

ベン図は集合が4つのときは同じ楕円で線対称に描け、5つのときは楕円て回転させれば一致するように描けるらしい。
詳しく調べもしないで批判できるのは、何チャマなのだろうか？
ポッチャマ

楕円て→楕円で

>>128
論破されて遠吠えっすかw

いずれにせよクダラン

素数のときに回転して一致する図が描けることが分からない人乙w

角川歴彦（ＫＡＤＯＫＡＷＡ元会長）、夏野剛を提訴wwwwwwwwwwwwwwwwwwwwwwwww [398059782]
https://greta.5ch.io/test/read.cgi/poverty/1781578379/

>>133
クダランからどうでもいいんですよ

くだらなくないことを力説してもムダ

分からないことを下らないと言い切れる精神は、下らないとは言えないか？

>>137
それを考える価値がないからね

私の感覚では分からないことは沈黙するのが妥当という認識だな。IUT然り

考える力がないのはまた違う。

>>129
描いて

>>139
君の規範は聞き飽きたね

ノイマンみたいなやり取りを貴方が出来るのなら、下らないとどうぞ言って下さいw
逸話を知らなければ調べたらどう？

>>143
ホラまた勝手に他人に強制する
下らない人格

描くのメンドイから調べてくれ。
調べるのが面倒なら、この話は終わり。

他人のネタを主観で評価する人格は、下らなくないのか。

>>145
ならないのと同じで
君が嘘つきなだけ

主観じゃないと言うのなら、根拠を出さないとねぇw
今のところ根拠がゼロに等しいよね。

>>146
嘘ネタではねクダランとしか言えまい

>>148
はぁ
君の規範では
言った者に挙証責任はないわけだね
クダラン

2000年くらいに話が進んだって言ったでしょ？

>>151
君が言っただけね

他人に強制はするわ
自分には甘甘だわ
ほんと
クダラン人格

Branko Grunbaum って人が5つの楕円のベン図を考案したらしい。
具体的な人名を出せば十分でしょ。

自分に激甘な人乙www
自分ルールで5chを生きる人。

>>154
全然？
人にやらせようとするだけで何もしない人乙

>>155
きみが５ｃｈでは異常だと自覚した方がイイよ

とりあえず、あなたは具体的な根拠を何ひとつ挙げず、主観で語っている。
とても数学徒とは思えない所業の数々www

異常が正常で、正常が異常ね、了解。

>>158
根拠って
下らない話だってこと？
それ私の感覚なんだけど
誰に証明することでもないんだがね

>>158,159
君は何か「正統」があるだろうあるべきだと思ってるだけ
５ｃｈでは異常だね

まあ、俺は具体的な根拠は出したから。
数学徒らしいのはこっちってことw

異端の人乙w

>>162
根拠はこれだと嘘を書いただけではどうしようもないね君
>>163
君は「正統」の立場に立ちたいだけの下らない人格

>>162
では具体的に5個と7個と11個ででベン図を描いてよ

具体的な人名まで出して、根拠じゃないことはないだろうw
俺は正当だとは思っちゃいないが、あなたは異端だと思うよw

>>166
無いね
具体的に5，7，11で図を描いてよ

あのさぁ、なんで調べないかね？
調べても出てこないのなら話は分かるがね…。

それが描けたら次は13と17と19で描いて
下らないことがだんだん分かってくるかもよ

5は普通に出る。星形のやつ。
7,11はおそらくメンドイ。

>>168
君の規範では
挙証責任は君には無いってことだね