Inter-universal geometry と ABC予想 (応援スレ) 77

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

37: 現代数学の系譜雑談 ◆yH25M02vWFhP 11/01(土)22:07:23.78 ID:i+EantH6(9/13) AAS
"ネーターF1スキームに対する絶対ゼータ関数の絶対Euler積表示"
外部ﾘﾝｸ:www.math.sci.hokudai.ac.jp
数学総合若手研究集会INDEX
外部ﾘﾝｸ[pdf]:www.math.sci.hokudai.ac.jp
第16回数学総合若手研究集会数学の交叉点アブストラクト集
冨田拓希慶應義塾大学大学院理工学研究科基礎理工学専攻
捩れなしネーターF1スキームに対する絶対ゼータ関数の絶対積表示

外部ﾘﾝｸ[pdf]:www.math.sci.hokudai.ac.jp
捩れなしネーターF1スキームに対する絶対ゼータ関数の絶対Euler積表示
慶應義塾大学大学院理工学研究科基礎理工学専攻
省5

71: 11/03(月)16:28:42.78 ID:u7vdmd1+(4/14) AAS
>>64
>>学習は記憶ではない
>>カラスの世田は必死に公式を記憶して大学入試を突破したのだろうが
>>そのやり方が間違っていたから大学数学が全く理解できずに落第した
>真逆だよ
>数学に王道なしを真に受けて廃人になりかけた
>わんこらさん(京大数学科)の実例がある

わんこらはそもそも論理を理解することの意味が分かってなかった

>杉浦先生を弁護しておくが、
>「解析入門1」を書店でチラ見したが、
省23

156: 死狂幻調教大師S.A.D.@月と六ベンツ 11/04(火)12:02:54.78 ID:VAh4PF21(11/33) AAS
あまねく女性が救済されてもお前らまだ甘い。

210: 死狂幻調教大師S.A.D.@月と六ベンツ 11/04(火)13:30:57.78 ID:VAh4PF21(23/33) AAS
相手の運命線を絶つより助力すること。

222(1): 死狂幻調教大師S.A.D.@月と六ベンツ 11/04(火)13:55:36.78 ID:VAh4PF21(33/33) AAS
教授へ問　バグるっていうのはどういうことが身を持って示せ。高尚なバグと下品なバグを比較しながら。

251: 現代数学の系譜雑談 ◆yH25M02vWFhP 11/05(水)10:22:12.78 ID:K/Lr81ky(3/12) AAS
>>249 追加
(google訳)（一部手直し）
＜AI による概要＞
コリン・マクラーティの論文「有限階算術に基づくグロタンディークの大規模構造」は、2020年の記号論理学のレビュー、グロタンディークスタイルの代数幾何学の複雑なツール、例えばトポスや導来カテゴリなどは、そのような基礎付けに通常使用される強力なZFC集合論ではなく、はるかに弱い有限階算術体系の上に成り立つと主張している。この研究は、これらの強力な「大規模構造」ツールが確立されるには、はるかに弱い論理的強度しか必要とせず、特定の集合のトポスがすでにこのレベルの強度を必要としていることを示すことで、基礎的なギャップを埋めることを目指しています。
・中心的な議論:マクラーティは、グロタンディークの幾何学計算手法( EGA ) とボワマリー関数セミネール( SGA ) の定理が、derived categoriesとともに、有限階数の算術を使用して形式的に根拠づけられることを示しています。
・最も弱い基盤:この論文では、無限集合の単一の基本トポスでもすでにこのくらい強力であるため、有限階数算術はこれらのツールにとって最も弱い基盤であるとしています。
・集合論への示唆：この発見は、これらの大規模構造の無矛盾性を証明するために、有限階数算術よりも強いZFCの完全な強さを必要としないことを意味する。本研究は、有限階数算術と同等の証明論的強さを持つ公理によってこれらの構造の基礎を確立できることを示しており、有限階数算術はツェルメロ集合論（Z）によって無矛盾性が証明されている。
・実践的な洞察:この研究は、コホモロジーのツールは理論的には大規模な構造を必要とするものの、実際の応用では算術に近いことが多いという実践的な洞察を形式化しています。
・出版の詳細：この論文はReview of Symbolic Logic（第13巻、第2号、2020年）にdoi：10.1017/s1755020319000340で出版され、arXivでは論文1102.1773として見つけることができます。

288: 11/05(水)19:44:03.78 ID:3HT78/hG(11/19) AAS
南モンゴル人権情報センター htt
外部ﾘﾝｸ:share.google

331: 11/06(木)08:20:02.78 ID:PuQ4Gk5G(2/3) AAS
>>329
>XがYを●●するのは、YがYを●●するときそのときに限る
P={(X,Y)|XがYを●●する}
Q={(X,Y)|YがYを●●する}
P⊂Q ⇔ P-Q=φ
￢(P⊂Q) ⇔ P-Q≠φ
∃X∀Y:YがYを●●しないときでもXがYを●●することがある
Y=X
XがXを●●しないときでもXがXを●●することがある
人

338(1): 11/06(木)09:18:54.78 ID:0JXWfEhS(3/5) AAS
>>337
中国に帰化したロシア人はどれくらいいるだろうか

435(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/07(金)17:52:04.78 ID:yoeUrdl8(11/13) AAS
>>430
>>１）ショルツエ自身が、”radical simplifications”やってますと自白しているｗ
>どこで自白したのですか？
>そしてそれはどういう意味のことであるかをあなたは理解しているのですね？

ふっふ、ほっほ

　>>411より再録
“Why ABC is still a conjecture” [外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de]
P4
”2.1.Glossary: IUTT-terminology and how we may think of these objects.
　This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
省17

482: 11/08(土)09:44:58.78 ID:elho9SB9(1) AAS
ネットサーフィンで単語拾い上げてるだけの作業を調査とかwww
セタみたいなアホのイタリア版やろwwwww

601(1): 11/09(日)11:49:33.78 ID:wauc0h2b(13/42) AAS
>>596
>まあ、「日本国」とかいう「反社会的勢力」がこのあたりを縄張りにして
>カタギの衆からみかじめ料をとってるけどな　ほんと迷惑（笑）
じゃあおまえの大好きな中国様にでも帰化しろよｗ

>そこの組長は、代々「天皇」とかいう中二病的肩書を襲名してるらしい
>２６００年以上とかいってるけどそんなわけない
>天皇は７世紀ごろの唐の君主の称号だから（笑）
>せいぜい１３００年くらいの歴史しかない
ほとんどの日本人は神話と史実を混同してないだろ
古事記、日本書記に天皇の記述があることからせいぜいじゃなく少なくとも１３００年な
省7

676: 11/09(日)18:47:41.78 ID:CA6TFgJW(46/64) AAS
>>668
＞ある一人が全人類を支配下に置かない限り不可能。そしてそれは不可能。
　それって君の妄想だよな（笑）
外部ﾘﾝｸ:dic.pixiv.net

836: 11/13(木)08:02:22.78 ID:WQzCu6h8(3/6) AAS
問わず語りを待っている

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

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

ぬこの手ぬこTOP 0.048s