Inter-universal geometry と ABC予想 (応援スレ) 71at MATHInter-universal geometry と ABC予想 (応援スレ) 71 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト950:.96 ID:pQpyg/3d.net 951:１３２人目の素数さん 24/07/18 21:51:32.51 6TnMYaWs.net 自分で垂れ流してるコピペにはっきり書かれるのに その事実自体理解できないのかよ 952:１３２人目の素数さん 24/07/18 22:38:50.21 6TnMYaWs.net >>866 >Recall that a (Grothendieck) universe V is a set satisfying the following axioms ほらほら、望月だって(Grothendieck) universeはsetだって言ってるぞwww 953:１３２人目の素数さん 24/07/19 00:12:13.07 QEQOiMBx.net >>866 > 私も、宇宙の数学の話は”天文学者”ｗではないので 詳しくないが ；ｐ） また自殺発言を >>870 > いまどき、普通は"宇宙"は、使わない > 使う人は、"強制法"で使うくらい(圏論の土俵としてのグロタンディーク宇宙はあるが) だからさぁ、自殺発言するなっての 954:１３２人目の素数さん 24/07/19 10:13:53.35 dBPg3FNz.net >>873-875 >>Recall that a (Grothendieck) universe V is a set satisfying the following axioms >ほらほら、望月だって(Grothendieck) universeはsetだって言ってるぞwww ふっふ、ほっほ だから、IUTで ”INTER-UNIVERSAL”の” universe”が問題で １）IUTで、”universe” が "Grothendieck universe"のことならば 最初から ”INTER-UNIVERSAL” ↓ ”INTER-Grothendieck UNIVERSAL” としておけばよかったね ２）さて、話を戻すと 21世紀の現在、数学の用語”universe”は、基礎論で使われていて 特に強制法で使われることは、すでに述べた（>>866-869） さらに、望月氏は用語universeについて、2012年の初稿と2020年の最終稿とで変化していることも 上記で述べた ３）21世紀の基礎論のuniverseは、必ずしも集合ではない というか、強制法のuniverseは、ある公理系が作る集合全体を意味する 典型例が、ZFCの作るノイマン宇宙V、ゲーデルの構成可能集合のユニヴァース（下記） それに、ソロヴェイ (1970)が 実数の集合のルベーグ可測性について論じた ZFに特殊条件を付与した宇宙>>870 などがある この流れで、ZFCGの作る宇宙が考えられ、それを仮にGrothendieck大宇宙と名付けよう （対比で、従来のGrothendieck universeは、Grothendieck小宇宙とすれば、分かり易いだろう） ４）要するに、Grothendieck小宇宙は集合です。が、Grothendieck大宇宙は、集合ではない！！ 繰り返すが、2012年の初稿段階では、望月氏自身に用語”universe"について、21世紀の用語”universe”とのずれがあり かなりの混乱を引き起こしたのは事実（宇宙と宇宙をつなぐ数学とかね） が、2020年の最終稿では、世間の用語 ”universe"に合わせる形で、収拾をはかっている なお、繰り返すが、上記は 『論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ない』 (参考) www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/sakai1.pdf ゲーデルの構成可能集合のユニヴァースＩ集合論のモデル 酒井拓史神戸大学 2019年数学基礎論サマースクール 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch