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

---

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

---

742(3): 2018/10/03(水)03:40 ID:V4zt1Npm(5/11) AAS
>>736
俺はIUTTに好意的な人物ではMinhyong Kimに一番期待している
>>549でリンクしたMathOverflowの206はKimによる望月氏のモチベーションを探るものであり、
それにコメントしたDavid Robertsに対してKimはこう答えている
---------------------
Dear Minyong, it has been stated by experts, here on MO and elsewhere, that universes are not necessary for the uses to which EGA/SGA are put.
Indeed Colin McLarty has shown that ZFC is far stronger than is necessary, with the results provable in some higher order version of arithmetic.
省5

---

743: 742 2018/10/03(水)03:46 ID:V4zt1Npm(6/11) AAS
失礼！レス先間違えた（笑）

(誤)549→（正）>>590

何でこんな間違いをしたんだろう？（笑）
549は俺のレスではないからね

---

763: 742 2018/10/03(水)18:37 ID:V4zt1Npm(7/11) AAS
>>752
宇宙際においてはZFCG(or ZFCU、GやUはグロタンディーク宇宙)が前提として使われているようだから
その辺の操作の仕組みがどうなってるのかなという素朴な疑問がある
トポスや遺伝的有限集合の話になってくるのだけどね（この辺は詳しい人に聞いて）
�W・§3を読み返してから�Tから読み返せばスッキリするかもしれないと感じている
ただ、Cor3.12に関しては単純に技術的問題だと思う（IUTTの根幹に関わるが）

---

764: 742 2018/10/03(水)18:53 ID:V4zt1Npm(8/11) AAS
あと、フェセンコは面白すぎるね。クオンタマガジンにまでケチつけてる（笑）
IUTTの8割は遠アーベルで構成されていて、IUTTについては専門家だけが語ればよい？
フェセンコは？山下氏は？ケドラヤらはどうなる？クオンタにはスティックスやKimのような専門家もコメントしているのだが・・・

面白すぎるよ、この人は。IUTT騒動の狂言回しだね

---

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

---

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

---

ぬこの手 ぬこTOP 0.041s