20/04/19 19:10:54 ijGx7lvx.net
>>697
>Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
>A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
>数学基礎論的・論理学的に非自明な操作をしているとは
>山下は (少なくとも現時点では) 思っていません.
"非自明な"とか、関係ない説明だよね。質問者の"非自明” or "自明”の定義を
回答者の山下氏自身が、まず定義説明しないと
「数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.」
って、どういう意味だ？ 意味分かって引用しているか？
分かっているというなら、その意味解説してみろｗ（＾＾；
>>699
>Q2. じゃあ, 宇宙を取り替えるってどういう意味？
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
それならば、「宇宙」ではなく
inter-ring で良いんじゃない？
>厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
>数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
説明になってない
「1 つの Grothendieck 宇宙の中で考えて」？ Grothendieck 宇宙が 2つ3つあるのか？
>その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
なら、inter-scheme logic が素直だろ？
>>701
>グロタンディーク宇宙だろ 山下剛もそう書いてるけど
上記の通り、 Grothendieck 宇宙が 2つ3つあるのか？
Grothendieck 宇宙は、1つだろ？ 同型を除いて一意かもしれないがね