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

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

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

---

329: １３２人目の素数さん [] 2025/08/27(水) 08:41:06.25 ID:yteK2WxD >>312 >別になんとかピクチャーはあっても良いが、 >君の場合妄想でピクチャー描くからむしろ害になってる >書かれてることを書かれてる通りに理解せず >勝手読みして妄想する悪癖治さないと >数学は一ミリも習得できないよ まったくその通り 「実数は無限小数だ」とか 「ベクトルは数の有限個の並びだ」とかいう ピクチャーに固執する 「永遠の１８歳」は 大学数学で門前払いされる http://rio2016.5ch.net/test/read.cgi/math/1755784703/329

453: １３２人目の素数さん [] 2025/08/28(木) 17:16:15.25 ID:BOT/TM68 >>448 >コピペ荒らし・ダメ・ゼッタイ それキミのこと ブーメラン 言論の自由はあるから好きなことを書いていい 他人の投稿を減少させるカキコはダメだよ（5chは自由な投稿で成り立つ。それを否定するのはダメだ） なお、ひろゆき名言を貼る ひろゆき氏、名言「それってあなたの感想ですよね」 https://www.sanspo.com/article/20240513-MVSJEG4GAJGYNALSNLHLBTSMBA/ サンスポ ひろゆき氏、名言「それってあなたの感想ですよね」を発した理由 2024/05/13 「それってあなたの感想ですよね」は、ひろゆき氏が２０１５年にテレビ番組に出演した際に生まれた。ある評論家が「インターネットの生配信や動画によって、投稿者がユーザーを巻き込む形で快感を得ている」といった趣旨の発言をし、配信者が犯罪やイジメを助長していると主張。ひろゆき氏は「それってあなたの感想ですよね」とあきれた。 ひろゆき氏は「『それは明らかではなく、あなたの感想ですよね』は、主観を事実のようにテレビで話した人を諌める為に言いました」とその言葉を発したワケを説明。「?事実と感想を分けるべき?という当たり前の論理を否定する方が反知性主義ですよ」と付け加えた。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/453

531: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/30(土) 16:54:17.25 ID:jE3Cs7nW >>522 (引用開始) Aの濃度に関係なく、無限公理を満たせばいい まあ、Aは極限順序数でしょうね でもなんであれ共通集合をとるので、 結局、最小の極限順序数になりますね (引用終り) いや別にそれは否定していない というか、そもそも カントールの無限集合がそれで カントールの無限集合を 公理的に構築しようということだから それは結論なわけで、答えを知っているんだ 問題は、その答えを先取りしては行けないってこと 自然数N＝ω これが 無限集合たちの最小で 全ての無限集合に含まれている それは、結論なわけ だが、結論を先に使うと 公理的な視点では 循環論法で いまは、その結論を使わずに 下記 無限公理の 無限集合Iから自然数を抽出する の如く ∩を使わずに済ます方が 公理による自然数N＝ωの構築として 圧倒的に スマートで美しいってこと https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 無限公理 無限集合Iから自然数を抽出する 他の方法 以下のような他の方法もある。 Φ(x)を「xは帰納的である」という論理式とする。つまり、 Φ(x)=(∅∈x∧∀y(y∈x→(y∪{y}∈x))) とする。おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである。 これを形式的に書くと、次のような集合 Wが一意に存在することを示したい。 ∀x(x∈W↔∀I(Φ(I)→x∈I)) (*) 存在については、無限公理と分出公理を使って証明する。 Iを無限公理によって保証された帰納的集合とする。分出公理を使って集合 W={x∈I:∀J(Φ(J)→x∈J)}を取り出す。つまり WはIの要素のうち、あらゆる帰納的集合に含まれているものを集めてきた集合である。 明らかに(*)を満たす。 以下略 http://rio2016.5ch.net/test/read.cgi/math/1755784703/531

553: １３２人目の素数さん [sage] 2025/08/31(日) 07:06:34.25 ID:yvLlCc7F >>539 ◆yH25M02vWFhP >>”ωが最小の無限集合で、全ての無限集合の共通部分”は分っていることだから >>542 >偶数全体の集合と奇数全体の集合の共通部分は{}であってωではない。 >>547-548 (HNおよび◆yH25M02vWFhP なし) >デデキント無限 の話だね >自然数N=ω には、「A と同数（equinumerous）であるようなA の真部分集合B が存在する」から >”このような場合（等濃真部分集合）を除外して”という条件が入るだろう >無限集合の真部分集合で等濃無限を考え出すと >共通部分∩の議論が ますます 複雑怪奇になるだけ >自分で自分の足を打っているに等しい >>550-551　 (547への返信) > {0,1,2,・・・}∩{ω+0,ω+1,ω+2,・・・}={} (548への返信) >最小の帰納的集合は{}と後者関数から一意に定まり、 >いずれの元を欠いても帰納的集合ではありません。 >すなわち最小の帰納的集合の任意の真部分集合は >帰納的集合ではありません。 ◆yH25M02vWFhP は「無限集合⇔無限公理を満たす集合」と誤解している しかしながら、例えば偶数（奇数でもいいが）の全体は無限集合であるが 無限公理を満たさない　 任意の偶数xについてs(x)は奇数であって偶数でない 任意の奇数xについてs(x)は偶数であって奇数でない >>552で述べているように Aは「無限公理により存在する集合」であって、ただの「無限集合」ではないよ 帰納的集合の中での帰納的部分集合の共通集合は 最小の帰納的集合ωになる それだけのこと でも、 「ωは0から要素を無限回追加することでのみ構成される最初の集合」 という思い込みにとらわれたままの ●違いさんには受け入れられない助言だったかな http://rio2016.5ch.net/test/read.cgi/math/1755784703/553

582: １３２人目の素数さん [sage] 2025/08/31(日) 16:19:41.25 ID:yvLlCc7F >>561 >N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} >で ∩を使うことの正当化には ブーメラン・・・ >>483で肝心の無限個の集合の∪の、 ∀を使った定義を引用せず、 理解もしなかった◆yH25M02vWFhPの凡ミス ◆yH25M02vWFhPは文章読まずにコピペしてるんだね それじゃ数学はちょっともわかる筈ないよ 大学１年の４月からそんななめた態度で生きてるから 万年十八歳の数学童貞野郎なんだよ https://pc1.math.gakushuin.ac.jp/~kawasaki/HTML-isou-nyuumon-enshuu/16isou-nyuumon-text.pdf 「（p10） M1, M2, . . . を，各 i ∈ N に対して，集合 Mi が定まっているものとする。 そのときすべての Mi の共通集合が ∩(i=1〜∞)Mi = {m | ∀i∈N.m ∈ Mi（すべての i に対して m ∈ Mi）} によって定義される。 同様に，すべての Mi の合併集合は ∪(i=1〜∞)Mi = {m | ∃i∈N.m ∈ Mi（ある i に対して m ∈ Mi）} により定義される。」 http://rio2016.5ch.net/test/read.cgi/math/1755784703/582

595: １３２人目の素数さん [sage] 2025/08/31(日) 22:17:40.25 ID:yvLlCc7F >>592 ＞まずは理論を完璧にしてみよう。 ワードサラダ？ ＞というのも数式は暗唱で書かない決まりがあるからだ。 今ここで君が決めた？ http://rio2016.5ch.net/test/read.cgi/math/1755784703/595

602: １３２人目の素数さん [] 2025/08/31(日) 22:58:18.25 ID:ptzEvizv >>601 間違いを指摘してくれる師をアホ呼ばわりする基地外だから君はいつまでもアホのままなんだよ 君はまず己の無知を知ろう　無知の知だね　君は無知の無知 http://rio2016.5ch.net/test/read.cgi/math/1755784703/602

617: １３２人目の素数さん [] 2025/09/01(月) 08:30:00.25 ID:sYNWEl0F >>612 >３）>>566-567 では ”部分集合として 分出公理で取り出す”をせずに 集合積∩を使っている >　この問題点は、集合積∩が その積の各要素に敏感だってことだ >　つまり、その積の要素 全てを確定しないと 集合積∩Aλ が確定しない >　なので、集合積∩を使うのは 賢くないってことだね はい、まったくの言いがかりです。 W={x∈I|∀J(Φ(J)→x∈J)} は任意の集合JについてJが帰納的集合ならばxはJの元であると言っている。 つまり、あなたの言い方で言えば、集合すべて、帰納的集合すべてが確定しないとWは確定しない。 あなたが∩を忌避するのはあなたが∩恐怖症だからというあなたの個人的事情ですよね？　世の中はあなた中心に回ってはいません。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/617

704: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/03(水) 07:54:33.25 ID:Apn5q2tx ふっふ、ほっほ 「ごーまんかましてよかですか?」 「アホな同僚や相手に構うことほど、人生ムダなことはないよね」 by レトリカ・ブログ （学院長 川上貴裕） 百回音読しましょう！ｗ　；ｐ） (参考) https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80 ピクシブ百科事典 ゴーマニズム宣言 『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞 https://note.com/dcrg7mgm/n/n3eeb06fd35d0 アホな同僚や相手に構うことほど、人生ムダなことはないよね。 レトリカ・ブログ （学院長 川上貴裕） 2024年11月2日 どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。 世の中、理不尽なことばかりです。 略す 上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。 でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。 では、こんなアホには、どう対抗すればいいのか。 いえいえ、今日はそんな話ではないのです。 マザーテレサの名言に、 「愛の反対は、憎しみではなく、無関心です。」 という言葉があります。 まさにその通りです。 アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。 略す また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！ http://rio2016.5ch.net/test/read.cgi/math/1755784703/704

713: １３２人目の素数さん [sage] 2025/09/03(水) 15:01:52.25 ID:heCdaCcy と思ったら国産LLMでひやっしーしてるやつがzen大学でIUTと同じ奴らww http://rio2016.5ch.net/test/read.cgi/math/1755784703/713

777: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/06(土) 09:48:35.25 ID:JgP2aXhR >>764-765 >https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(3jikanban).pdf >「屁理屈による二重三重の言い逃れ」とみるか それは、下記 2014年02月で https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html (出張・講演) [15] 宇宙際タイヒミューラー理論への誘（いざな）い　《3時間版》 （京都大学数理解析研究所 2014年02月） だね そして 2012年8月のIUTプレプリ発表後であり 2018年3月、ペーター・ショルツェとの討論の前だ だから、「言い逃れ」は外れで 率直に 自らのアイデアを表明しているとかいすべき 実際 下記 数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月） にあるように、ここのP1 §1 圏のIU幾何(The Inter^Universal Geometry of Categories) §1.1 の二つ目の四角の ”Sheme論(/a!)だけでは不十分。F1上のキカが必要” とある通りだ。つまり、望月氏は F1（1元体）を構想している （なお、§1.2 IUキカによる「解消」(resolution)：一言でいうと、宇宙(universe)の拡大を使ってラベルを貼る。 a1∈{a1,b1} = a2∈{a2,b2} = a3∈{a3,b3} = a4∈・・・ そして aiたち→a, biたち→b と同一視する ＝ quotionを作る などと記す。ここが望月氏の”宇宙(universe)の拡大”の原点のようだ） (参考) 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 宇宙際タイヒミュラー理論 ABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]。 出典 1^ a b “数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）”https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93 一元体 一元体（英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す http://rio2016.5ch.net/test/read.cgi/math/1755784703/777

790: １３２人目の素数さん [] 2025/09/06(土) 15:27:50.25 ID:DLHtgH0o >>786 >数学関連の無限操作も 認めていく方が >21世紀の現代数学として健全な メンタルピクチャーになる >と思います 何言ってんだこいつ >形式的冪級数が 厳然とあって >解析函数のテーラー展開 は、 >形式的冪級数における 収束級数 >として意味を持つ 極限分からん、収束分からん、コーシー列分からん で、スリーアウト食らって落第した奴が なに利口ぶってんの？ >（無限の項を持つ）形式的冪級数は、有限項の多項式で 項を無限に増やしたという理解と >（無限の項を持つ）形式的冪級数から有限項に落とせば、多項式になり形式的冪級数の一部である >これは両立する 君、収束半径って知ってる？ >21世紀の数学徒は、両方の視点を持てば良いと思いますね 20世紀数学で惨敗した◆yH25M02vWFhPは、 21世紀では碁でも打ってなさい >>787 ＞無限回の操作は正当化されない これわからん◆yH25M02vWFhPに 大学の微分積分は初歩から無理 教科書の１ページ目から分からん http://rio2016.5ch.net/test/read.cgi/math/1755784703/790

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.901s*