Inter-universal geometry と ABC予想 (応援スレ) 78 (735ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 78 http://rio2016.5ch.net/test/read.cgi/math/1763108561/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
633: １３２人目の素数さん [] 2025/11/27(木) 12:39:31.68 ID:9VuaL8wc >>630 証明しませんよ nを特定せずしかしそれは個別のnと認識して証明します >>628 はぁ >>629 これはどうかな f:A→A:mono → epi http://rio2016.5ch.net/test/read.cgi/math/1763108561/633
634: １３２人目の素数さん [] 2025/11/27(木) 12:41:06.95 ID:9VuaL8wc >>633 >nを特定せずしかしそれは個別のnと認識して証明します つまり P(n) ----- ∀n P(n) ですね http://rio2016.5ch.net/test/read.cgi/math/1763108561/634
635: １３２人目の素数さん [] 2025/11/27(木) 12:44:38.28 ID:9VuaL8wc >>628 >それウソね。個別に証明なんてしてないよ >実際に証明読んでる？理解できてる？ だから（無駄であろうが）と書いたんだけど S6だけ単独S7だけ単独で証明することができる つまり個別に幾らでも証明することができるわけで 群論の場合 群の公理から証明できることつまり群一般に成立すること許りでなくて モデル自体に付いての性質をテーマとすることも可能だし実際多いと思うね http://rio2016.5ch.net/test/read.cgi/math/1763108561/635
636: １３２人目の素数さん [] 2025/11/27(木) 12:49:51.17 ID:9VuaL8wc >>632 >だと、口の悪い人は IUTを罵倒する。その筆頭が、Scholze氏です 彼が論難してるのはCor 3.12で それはIUT IVじゃなくてIIIなのでは？ http://rio2016.5ch.net/test/read.cgi/math/1763108561/636
727: １３２人目の素数さん [] 2025/11/27(木) 23:32:14.36 ID:9VuaL8wc >>726 彼は意味が通らないところにクレームを出しているだけで反証しているのではないんでは？ いや その >”Simplification” がまさにその反証なのかもね http://rio2016.5ch.net/test/read.cgi/math/1763108561/727
728: １３２人目の素数さん [] 2025/11/27(木) 23:35:01.28 ID:9VuaL8wc >>725 全然そういうことは無くて 数学ではいわゆるNあるいはZあるいはRなどを それぞれ個別の対象として研究に使ってます たとえこれらそれぞれに想定されている公理に 別のモデルがあろうが構いません 数学で共通認識のある集合を素直に使っているだけ http://rio2016.5ch.net/test/read.cgi/math/1763108561/728
729: １３２人目の素数さん [] 2025/11/27(木) 23:37:59.97 ID:9VuaL8wc >>722 みんなできていますよ 誰もがそれを共通認識として使えています それで何の問題もないわけです 微積なら超準解析で別のアプローチができるかも知れませんが 別にそれはそれで面白いアプローチというだけのこと 皆が想定している具体的な実数全体のイメージは揺るがないわけです http://rio2016.5ch.net/test/read.cgi/math/1763108561/729
730: １３２人目の素数さん [] 2025/11/27(木) 23:44:36.81 ID:9VuaL8wc >>724 >それぞれのグロタンディク宇宙をどういう形で指定しているかが重要ですね 適当に2つ取ってるんじゃないかな そしてそれは普通の数学では一般的な指定の仕方です http://rio2016.5ch.net/test/read.cgi/math/1763108561/730
731: １３２人目の素数さん [] 2025/11/27(木) 23:46:13.62 ID:9VuaL8wc >>723 >「いわゆる整数の全体」というのは、正しくは >「どの「整数の全体」のモデルにも存在する、標準的整数の全体」 >のことです。つまり整数であることが証明できる元のこと 群論の場合「いわゆる群の元の全体」ってのは「単位元」のことだったりして 群に含まれていることが証明できる唯一のものですしね http://rio2016.5ch.net/test/read.cgi/math/1763108561/731
732: １３２人目の素数さん [] 2025/11/27(木) 23:55:28.88 ID:9VuaL8wc >>699 これに関しては無限論理というのをどっかで聞いたことがあったので 英語版ウィキペを見てみたら ω-logicというのでホボホボ同じことを展開してるみたい p(0),p(1),…… infer ∀n p(n) を推論規則にするらしいよ http://rio2016.5ch.net/test/read.cgi/math/1763108561/732
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.155s*