[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
227: １３２人目の素数さん [sage] 2025/11/04(火) 19:14:11.44 ID:9vx0mQPF お前みたいなアホ躍らせるためだけのゴミだよ 踊っとけやカス http://rio2016.5ch.net/test/read.cgi/math/1761878205/227
228: １３２人目の素数さん [sage] 2025/11/04(火) 19:15:01.74 ID:9vx0mQPF マンマと踊らされて数学界に迷惑だけかけてるゴミ とっとと消えろ能無し http://rio2016.5ch.net/test/read.cgi/math/1761878205/228
229: １３２人目の素数さん [sage] 2025/11/04(火) 19:53:39.30 ID:TnfMdeNA >>135 お前は死ね http://rio2016.5ch.net/test/read.cgi/math/1761878205/229
230: １３２人目の素数さん [sage] 2025/11/04(火) 19:54:15.29 ID:TnfMdeNA >>138 おめでたいクズ とっとと中国に帰れよ http://rio2016.5ch.net/test/read.cgi/math/1761878205/230
231: １３２人目の素数さん [] 2025/11/04(火) 20:08:01.24 ID:F7ByEl9r ,.,.,.,.,.,.,.,.,__ ,,;f::::::::::::::::::::::ヽ i::::::::/'"￣￣ヾi |:::::::| ノ ::.::: ヽ| |r-==（◎);（◎) ( ヽ /( ,_､)ヽ} ヽ.. ｨｪｴｦ; ＼＿＿_ ! ／ ￣￣ ＼ | | | | | | | | |⌒＼| |／⌒| | | | | | | ＼ （ ） ／ | | |＼＿__人＿___／| | | | ヾ;;;;| | | ,lﾉl| 人i ﾌﾞﾊﾞﾁｭｳ!! ノ:;;,ﾋ=-;､ (~´;;;;;;;ﾞ'‐;;;） ,i`（;;;ﾞ'―---‐'ヾ ヽ;;';ｰ--―-､'';;;;;ﾞ） / :::::::＼ （ :::::::;;;;;;;）＿ ＼＿――￣￣::::::::::＼ ﾉ￣ ::::::::::::::::::::::） ﾉ￣ ::::::::::::::::::::::） （ ::::::::::::::;;;;;;;;;;;;人 ／￣―――――￣￣::::::::＼ （ :::::::::::::::::::::::::::::::::） ＼＿＿::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;;;ノ http://rio2016.5ch.net/test/read.cgi/math/1761878205/231
232: １３２人目の素数さん [] 2025/11/04(火) 20:08:08.49 ID:F7ByEl9r ,.,.,.,.,.,.,.,.,__ ,,;f::::::::::::::::::::::ヽ i::::::::/'"￣￣ヾi |:::::::| ノ ::.::: ヽ| |r-==（◎);（◎) ( ヽ /( ,_､)ヽ} ヽ.. ｨｪｴｦ; ＼＿＿_ ! ／ ￣￣ ＼ | | | | | | | | |⌒＼| |／⌒| | | | | | | ＼ （ ） ／ | | |＼＿__人＿___／| | | | ヾ;;;;| | | ,lﾉl| 人i ﾌﾞﾊﾞﾁｭｳ!! ノ:;;,ﾋ=-;､ (~´;;;;;;;ﾞ'‐;;;） ,i`（;;;ﾞ'―---‐'ヾ ヽ;;';ｰ--―-､'';;;;;ﾞ） / :::::::＼ （ :::::::;;;;;;;）＿ ＼＿――￣￣::::::::::＼ ﾉ￣ ::::::::::::::::::::::） ﾉ￣ ::::::::::::::::::::::） （ ::::::::::::::;;;;;;;;;;;;人 ／￣―――――￣￣::::::::＼ （ :::::::::::::::::::::::::::::::::） ＼＿＿::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;;;ノ http://rio2016.5ch.net/test/read.cgi/math/1761878205/232
233: １３２人目の素数さん [] 2025/11/04(火) 20:08:17.34 ID:F7ByEl9r ,.,.,.,.,.,.,.,.,__ ,,;f::::::::::::::::::::::ヽ i::::::::/'"￣￣ヾi |:::::::| ノ ::.::: ヽ| |r-==（◎);（◎) ( ヽ /( ,_､)ヽ} ヽ.. ｨｪｴｦ; ＼＿＿_ ! ／ ￣￣ ＼ | | | | | | | | |⌒＼| |／⌒| | | | | | | ＼ （ ） ／ | | |＼＿__人＿___／| | | | ヾ;;;;| | | ,lﾉl| 人i ﾌﾞﾊﾞﾁｭｳ!! ノ:;;,ﾋ=-;､ (~´;;;;;;;ﾞ'‐;;;） ,i`（;;;ﾞ'―---‐'ヾ ヽ;;';ｰ--―-､'';;;;;ﾞ） / :::::::＼ （ :::::::;;;;;;;）＿ ＼＿――￣￣::::::::::＼ ﾉ￣ ::::::::::::::::::::::） ﾉ￣ ::::::::::::::::::::::） （ ::::::::::::::;;;;;;;;;;;;人 ／￣―――――￣￣::::::::＼ （ :::::::::::::::::::::::::::::::::） ＼＿＿::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;;;ノ http://rio2016.5ch.net/test/read.cgi/math/1761878205/233
234: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/04(火) 20:40:30.37 ID:yzUd5nV9 スレ主です どうもです （＾＾； >>225 >>死狂幻調教大師S.A.D.@月と六ベンツさん >この人はセタと呼ばれている人の別アカなの？ ”セタと呼ばれている人”が 誰なのか？ 正確には知らない だが、数学以外のものを持ち出して 自分たちの劣勢を糊塗しようという態度を見ると こいつら 数学的に終わったな と思うよ で、おれと”死狂幻調教大師S.A.D.@月と六ベンツ”氏は別人だよ >>116-117 >つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず >あなたがそう信じているというだけですね 君が真っ先にやるべきことは、下記の 数学セミナー 2025年3月号の 池上大祐「集合論の雑学――無限についてのおはなし フェルマーの最終定理はZFCの下で証明できるか？／ グロタンディーク宇宙と到達不可能基数」 を 読んで 内容を確認することだ 君は、オチコボレさんのつれか？ >>15に 『オチコボレ サイコパスおサルの 連れの 落ちコボレさん が、もう一匹います。 「箱入り無数目 (あほ二人の”アナグマの姿焼き"Part3ｗ)」の連れです https://rio2016.5ch.net/test/read.cgi/math/1736907570/』 と書いておいたけどねｗ 実際、寂れたとはいえ 5chはROMさんも多い 数学セミナー 2025年3月号 なら、大学の図書館に出入りできる人なら 簡単に読めるだろうさ 数学セミナー 2025年3月号の池上大祐について 書いたのは もう何回目だろうか？ 5回目くらいかな その間 君みたいなアホな 突っ込みは無かったなｗ (参考)>>100より再録 https://www.nippyo.co.jp/shop/magazine/9438.html 数学セミナー 2025年3月号 集合論の雑学――無限についてのおはなし フェルマーの最終定理はZFCの下で証明できるか？／ グロタンディーク宇宙と到達不可能基数 ……池上大祐 60 http://rio2016.5ch.net/test/read.cgi/math/1761878205/234
235: １３２人目の素数さん [] 2025/11/04(火) 20:52:43.89 ID:54iK+QXE >>234 >君が真っ先にやるべきことは、下記の >数学セミナー 2025年3月号の >池上大祐「集合論の雑学――無限についてのおはなし >フェルマーの最終定理はZFCの下で証明できるか？／ >グロタンディーク宇宙と到達不可能基数」 >を 読んで 内容を確認することだ あなは確認してないんですね つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず あなたがそう信じているというだけです あなたはいつものように 何が書かれているかを理解しようとせず 自分に都合のよいように解釈しているに過ぎません http://rio2016.5ch.net/test/read.cgi/math/1761878205/235
236: １３２人目の素数さん [] 2025/11/04(火) 20:56:06.03 ID:54iK+QXE >>234 >”セタと呼ばれている人”が 誰なのか？ >正確には知らない あなたのことです http://rio2016.5ch.net/test/read.cgi/math/1761878205/236
237: １３２人目の素数さん [sage] 2025/11/04(火) 20:59:22.22 ID:9vx0mQPF >>234 その池上先生の記事も読み間違って意味取れてないんだよ落ちこぼれ どこまで能無しやねん役立たずwww お前何ができるんやゴミwww http://rio2016.5ch.net/test/read.cgi/math/1761878205/237
238: １３２人目の素数さん [sage] 2025/11/04(火) 21:05:56.64 ID:9vx0mQPF そもそもFLTの証明にGalos表現上のFunctor Categoryまで使われてたとしても(そこまですら使われてないが)当然ℂGal(ℚ̅/ℚ)-module がskeletally smallだからuniverseなんぞ持ち出すまでもないわ なんもわからんくせに知ったかすんなゴミ お前の持ってる数学上の知識で俺に勝てるもんなんか何一つないわゴミ http://rio2016.5ch.net/test/read.cgi/math/1761878205/238
239: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/04(火) 21:26:03.89 ID:yzUd5nV9 >>233 前スレの連投も含めて 運営に 君のアク禁依頼を出したので 首を洗って待て http://rio2016.5ch.net/test/read.cgi/math/1761878205/239
240: １３２人目の素数さん [] 2025/11/04(火) 21:52:04.27 ID:F7ByEl9r >>239 ＿＿＿＿ .／, - ､, - ､ ￣ ヽ ./-┤ ｡|｡ |――-､ ヽ | ヽ｀- ○- ´ ／ ヽ | | - | ― | | | ´ | ｀ヽ . | |ヽ ∩ 人｀､ _ | ＿.- ´ | .| ＼ | ⌒ヽ ／ ＼ ￣￣￣ ノノ ＼ | |´ |￣―--―― ´ヽ ＿ ／⌒＼ ＼_ _/-―――.| （ Ｔ ） ｀l Τ（ ） ￣ | ￣ } | ＼＿／ | ､--― ￣| / ＦＵＣＫ ＹＯＵ http://rio2016.5ch.net/test/read.cgi/math/1761878205/240
241: Генеалогія сучаснай [] 2025/11/04(火) 22:04:08.33 ID:5VZBp+29 Я прасіў забараніць доступ адміністратара, у тым ліку ў некалькіх паведамленнях у папярэдняй тэме, таму, калі ласка, набярыцеся цярпення. http://rio2016.5ch.net/test/read.cgi/math/1761878205/241
242: １３２人目の素数さん [] 2025/11/04(火) 22:06:59.35 ID:54iK+QXE >>234 >もう何回目だろうか？ 5回目くらいかな >その間 君みたいなアホな 突っ込みは無かったなｗ ツッコミがない＝間違っていない ですか？ 公理を削除する＝公理の否定 みたいな誤解ですよそれ http://rio2016.5ch.net/test/read.cgi/math/1761878205/242
243: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/04(火) 22:18:08.99 ID:yzUd5nV9 >>235-238 ふっふ、ほっほ 一句”不勉強 オチコボレのさばる 便所板”（字余り） 不勉強、言い訳だけは、いちょまえ オチコボレ、言い訳だけは、一流だ （追加） >つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず 数学セミナー 2025年3月号 池上大祐 を、書棚の肥やしの中から引っ張り出してきた （＾＾ 池上大祐の書いている趣旨は 1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した 代数幾何の理論（圏論）が使われていた 2）彼は、文献[3]を挙げて 『代数幾何の基礎理論についての基本文献（の一部）であるSGAで行われている議論は、（可算ではないグロタンディーク宇宙の存在を仮定せずに）ZFCあるいはそれよりも弱い集合論の公理系で展開できる』 とColin McLartyは 主張していると説く 3）しかし、池上大祐氏は 彼自身は フェルマーの最終定理の証明を精査する知識がないので「わかりません」が私の回答だという （文献[3]：Colin McLarty,The Large structures of Grothendiek founded on finite-order arithmetic. Rev.Symb.Log.13(2020)no.2,296-325） さて、まとめると ・ワイルズのフェルマーの最終定理は、グロタンディーク宇宙を仮定していて SGAなどの代数幾何の理論が使われている （だが、SGAが全てではない） ・文献[3]の主張が正しいと仮定して、SGAの全てが グロタンディーク宇宙の仮定なしで言えたとしても では、ワイルズの証明のSGA以外の部分がどうなるのか？ それは 文献[3]の射程がどこまでかだ ・池上大祐氏の回答 ：（2025年3月号時点において）「わからない」は、いまだ有効だってことだ■ （ワイルズの証明は グロタンディーク宇宙の仮定ありで SGA以外の部分も含んでいるのだから） http://rio2016.5ch.net/test/read.cgi/math/1761878205/243
244: １３２人目の素数さん [] 2025/11/04(火) 22:44:19.64 ID:54iK+QXE >>243 その通り 彼は「分からない」としています >1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した > 代数幾何の理論（圏論）が使われていた 正確には 「グロタンディークが展開した代数幾何の基礎理論（スキーム論ですかね）を用いるため、宇宙の公理、とくに、可算でないグロタンディーク宇宙の存在を仮定していることになります」 ですが スキームを使う上でグロタンディーク宇宙が必要ということではないのでは？ あれば対象を集合に「制限して」集合論的な困難を回避できるかも知れませんが なくてもそれは回避できるとのことですよ グロタンディークがグロタン宇宙を前提にスキーム論を展開した ことを スキーム論にはグロタン宇宙が必要 と誤解していますね http://rio2016.5ch.net/test/read.cgi/math/1761878205/244
245: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/04(火) 23:22:58.53 ID:yzUd5nV9 >>243 補足 検索してみると (google検索)： Colin McLarty,The Large structures of Grothendiek founded on finite-order arithmetic. Rev.Symb.Log で、結果は下記 ＜検索結果＞ The large structures of Grothendieck founded on finite ... arXiv https://arxiv.org › math このページを訳す C McLarty 著 · 2011 · 被引用数: 14 — We formalize the practical insight by founding the theorems of EGA and SGA, plus derived categories, at the level of finite order arithmetic. 含まれない: Rev. Symbol. the large structures of grothendieck founded on finite order ... ResearchGate https://www.researchgate.net › 277... このページを訳す 2025/08/09 — Abstract. THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE ORDER ARITHMETIC - COLIN MCLARTY. ResearchGate Logo ... large structure ... Colin Mclarty, The large structures of grothendieck founded ... PhilPapers https://philpapers.org › MCLTLS このページを訳す C Mclarty 著 · 2020 · 被引用数: 14 — We reduce the gap by founding all the theorems of Grothendieck's SGA, plus derived categories, at the level of Finite-Order Arithmetic, far below ZFC. This is ... 含まれない: Symbol. | 必須にする: Symbol. the large structures of grothendieck founded on finite-order ... Semantic Scholar https://www.semanticscholar.org › ... このページを訳す Abstract The large-structure tools of cohomology including toposes and derived categories stay close to arithmetic in practice, yet published foundations ... 含まれない: Rev. Symbol. Reverse mathematics of (co)homology? MathOverflow https://mathoverflow.net › questions このページを訳す 2010/01/17 — @hm2020: One was published as McLarty, Colin, The large structures of Grothendieck founded on finite-order arithmetic. Rev. Symb. Log. 13 ... 回答 3 件 ベストアンサー: I don't have Hartshorne, so I can't address the specifics of this case. However, there is ... つづく http://rio2016.5ch.net/test/read.cgi/math/1761878205/245
246: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/04(火) 23:23:17.67 ID:yzUd5nV9 つづき arXiv:1102.1773v4 [math.LO] 30 Apr 2014 arXiv https://arxiv.org › pdf PDF C McLarty 著 · 2011 · 被引用数: 14 — This paper removes the objection by proving the large structure theorems at the logical level of finite order arithmetic. Finite order ... 含まれない: Symbol. Logo The Review of Symbolic Logic: Volume 13 Cambridge University Press & Assessment https://www.cambridge.org › journals このページを訳す ASL Core logo black. Published on behalf of Association of Symbolic ... THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC · COLIN MCLARTY. A Finite Order Arithmetic Foundation for Cohomology Case Western Reserve University https://artscimedia.case.edu › Derived_functor PDF C MCLARTY 著 · 被引用数: 7 — Grothendieck pre-empted many set theoretic issues in cohomology by positing a universe: “a set 'large enough' that the habitual operations of set theory do. 含まれない: founded Symbol. Logo How strong a set theory is necessary for practical purposes ... MathOverflow https://mathoverflow.net › questions このページを訳す 2020/05/14 — Colin McLarty has looked into this. The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 ... 回答 1 件 ベストアンサー: Colin McLarty has looked into this The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) ... つづく http://rio2016.5ch.net/test/read.cgi/math/1761878205/246
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 756 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s