[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
187(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)00:03 ID:vBuB/FcU(1/6) AAS
>>176
望月先生が、IUTその4の”species”で、何を言わんとしているのかなー?
下記の「圏論の基礎付け」みたいな、言い訳なのかな〜?(^^;
外部リンク:ja.wikipedia.org
集合の圏
(抜粋)
圏論の基礎付け
省8
188: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)00:04 ID:vBuB/FcU(2/6) AAS
>>187
つづき
同様の方法論の一種に、集合全ての類はグロタンディエック宇宙全体の成す塔 (entire tower) の合併に等しいとするものがある(この合併は真の類でなければならないが、各グロタンディエック宇宙は集合である。実際、それはより大きなグロタンディエック宇宙に属する元になっている)が、これは「集合全体の成す圏」を直接的には扱えない。
それでも、議論に現れる各定理を、十分大きなグロタンディエック宇宙 U に属する元を対象とする圏 SetU の言葉で表して、それらが特定の U の取り方に依存しないことを言えば十分である。圏論の基礎として、このやり方は真の類を直接に意味づけることのできないタルスキ?グロタンディエック集合論(英語版)のような体系とはよく馴染む。
このような場合の主な欠点は、ある定理が SetU では真だが Set の定理としては真でないことが起こり得ることである。
他の解決法やうえで述べた方法の変種も様々に提案されている[2][3][4]。
同じ問題はほかの具体圏、例えば群の圏や位相空間の圏などでも生じる。
省2
189(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)00:08 ID:vBuB/FcU(3/6) AAS
>>187
>望月先生が、IUTその4の”species”で、何を言わんとしているのかなー?
>下記の「圏論の基礎付け」みたいな、言い訳なのかな〜?(^^;
もっと、堂々と
望月圏とかさw
グロタンディエック宇宙じゃなく、望月宇宙とかさ
「ZFCくそくらえ」と言いましょうよ、望月先生!!
197(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)20:37 ID:vBuB/FcU(4/6) AAS
>>195 補足
同じことを
三年半前(2016/07/03)に、ID:f9oaWn8Aさん(=私が”確率論の専門家さん”と呼ぶ人)
が、発言している(下記の通り)
あれから三年半経って、
私スレ主も、同じ結論
当時は時枝先生は「確率論に対してあまり詳しくなかった」に達したのでした!(^^;
省17
199: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)21:13 ID:vBuB/FcU(5/6) AAS
>>198
おつです(^^;
200(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)22:11 ID:vBuB/FcU(6/6) AAS
>>194 補足
(引用開始)
i.i.d. なら、一つの箱の確率計算をすれば良い。それが全てに当てはまる
一つの箱に、コイントスで0,1を入れるなら的中確率1/2
一つの箱に、サイコロ1つで、1〜6の数を入れるなら的中確率1/6
大学の教程では、可算無限個の確率変数を扱う。連続の確率変数も扱う
繰り返すが、99/100なんて出てくる余地なし!!
省8
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.035s