[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
227: 11/04(火)19:14 ID:9vx0mQPF(1/4) AAS
お前みたいなアホ躍らせるためだけのゴミだよ
踊っとけやカス
228: 11/04(火)19:15 ID:9vx0mQPF(2/4) AAS
マンマと踊らされて数学界に迷惑だけかけてるゴミ
とっとと消えろ能無し
229: 11/04(火)19:53 ID:TnfMdeNA(1/2) AAS
>>135
お前は死ね
230: 11/04(火)19:54 ID:TnfMdeNA(2/2) AAS
>>138
おめでたいクズ
とっとと中国に帰れよ
231: 11/04(火)20:08 ID:F7ByEl9r(1/4) AAS
AA省
232: 11/04(火)20:08 ID:F7ByEl9r(2/4) AAS
AA省
233(1): 11/04(火)20:08 ID:F7ByEl9r(3/4) AAS
AA省
234(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)20:40 ID:yzUd5nV9(4/9) AAS
スレ主です どうもです　（＾＾；
>>225
>>死狂幻調教大師S.A.D.@月と六ベンツさん
>この人はセタと呼ばれている人の別アカなの？

”セタと呼ばれている人”が 誰なのか？
正確には知らない　
だが、数学以外のものを持ち出して
自分たちの劣勢を糊塗しようという態度を見ると
こいつら 数学的に終わったな
と思うよ
省27
235(1): 11/04(火)20:52 ID:54iK+QXE(1/4) AAS
>>234
>君が真っ先にやるべきことは、下記の
>数学セミナー 　2025年3月号の
>池上大祐「集合論の雑学――無限についてのおはなし
>フェルマーの最終定理はZFCの下で証明できるか？／
>グロタンディーク宇宙と到達不可能基数」
>を 読んで 内容を確認することだ
あなは確認してないんですね
つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
あなたがそう信じているというだけです
省3
236(1): 11/04(火)20:56 ID:54iK+QXE(2/4) AAS
>>234
>”セタと呼ばれている人”が 誰なのか？
>正確には知らない　
あなたのことです
237(1): 11/04(火)20:59 ID:9vx0mQPF(3/4) AAS
>>234
その池上先生の記事も読み間違って意味取れてないんだよ落ちこぼれ
どこまで能無しやねん役立たずwww
お前何ができるんやゴミwww
238(1): 11/04(火)21:05 ID:9vx0mQPF(4/4) AAS
そもそもFLTの証明にGalos表現上のFunctor Categoryまで使われてたとしても(そこまですら使われてないが)当然ℂGal(ℚ̅/ℚ)-module がskeletally smallだからuniverseなんぞ持ち出すまでもないわ
なんもわからんくせに知ったかすんなゴミ
お前の持ってる数学上の知識で俺に勝てるもんなんか何一つないわゴミ
239(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)21:26 ID:yzUd5nV9(5/9) AAS
>>233
前スレの連投も含めて
運営に 君のアク禁依頼を出したので
首を洗って待て
240: 11/04(火)21:52 ID:F7ByEl9r(4/4) AAS
AA省
241: Генеалогія сучаснай 11/04(火)22:04 ID:5VZBp+29(1) AAS
Я прасіў забараніць доступ адміністратара,
у тым ліку ў некалькіх паведамленнях у папярэдняй тэме,
таму, калі ласка, набярыцеся цярпення.
242: 11/04(火)22:06 ID:54iK+QXE(3/4) AAS
>>234
>もう何回目だろうか？ 5回目くらいかな
>その間 君みたいなアホな 突っ込みは無かったなｗ
ツッコミがない＝間違っていない
ですか？
公理を削除する＝公理の否定
みたいな誤解ですよそれ
243(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)22:18 ID:yzUd5nV9(6/9) AAS
>>235-238
ふっふ、ほっほ

一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）

>つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず

数学セミナー 　2025年3月号 池上大祐
を、書棚の肥やしの中から引っ張り出してきた　（＾＾

池上大祐の書いている趣旨は
1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した
省13
244: 11/04(火)22:44 ID:54iK+QXE(4/4) AAS
>>243
その通り
彼は「分からない」としています
>1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した
>　代数幾何の理論（圏論）が使われていた
正確には
「グロタンディークが展開した代数幾何の基礎理論（スキーム論ですかね）を用いるため、宇宙の公理、とくに、可算でないグロタンディーク宇宙の存在を仮定していることになります」
ですが
スキームを使う上でグロタンディーク宇宙が必要ということではないのでは？
あれば対象を集合に「制限して」集合論的な困難を回避できるかも知れませんが
省5
245(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)23:22 ID:yzUd5nV9(7/9) AAS
>>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
外部ﾘﾝｸ: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.
省27
246: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)23:23 ID:yzUd5nV9(8/9) AAS
つづき

arXiv:1102.1773v4 [math.LO] 30 Apr 2014
arXiv
外部ﾘﾝｸ: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
外部ﾘﾝｸ:www.cambridge.org›journals
省17
上下前次1-新書関写板覧索設栞歴
あと 756 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s