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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

238: １３２人目の素数さん [sage] 2020/05/08(金) 10:38:02 ID:qXGvfbUV

>>235
>しかし基礎論の肝心なとこは本人もだし、何人も読んでたら気づくと思うんだけど。
>そこが致命的とか信じられないな。

ほいよ >>236
あなたも、ここで論陣を張りたければ、まずは事実を確認してくださいね
まずは、望月氏 IUT IVが引用している >>230の”cf., e.g., [Drk], Chapter 1, §3”を見ましょうね
（P85 Bibliography
　[Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974). です）

批判するのは、それからにしてくださいね
私は、[Drk]に何を書いてあるかは知らない
だが、世の中 ”Set Theory”の本など、山ほどある

ある説では、ZFの公理が 8つ また 9つ あるいは、貴方のように式で数えて”無限”（笑える奇説ですが、まあ良いでしょうｗ（＾＾； ）
IUT論文を書くのに、世の中の ”Set Theory”を全部確認する必要なし
本筋とは関係ないですからね

私も、望月先生は、基礎論疎いと思いますよ
でも貴方の指摘は的外れだということは
しっかり事実として確認しておきたい

PS
余談ですが、私見ですが
ZFCとかZFCGとかに拘るのは、それは圏論がアブストラクト・ナンセンスと言われた時代の遺物と思います
”[Drk](1974)”か〜、一目古いな〜という感じがします

いま、21世紀だし、圏論は当たり前なので、「圏論の基礎がZFCGで、グロタンディーク宇宙が存在するかどうかなんてのは 20世紀の議論
むしろ、ZFCGなんて制約を外して、「IUTは正しい」を前提にして、どういう新しい圏論を定義したら IUTがすっきりするか？
なんてことを考えた方が、21世紀には 相応しいのでは？

ド素人ですが、そんな気がする 今日この頃ｗ（＾＾；

http://rio2016.5ch.net/test/read.cgi/math/1588552720/238

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

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

ぬこの手ぬこTOP 0.032s