[過去ログ] Inter-universal geometry と ABC予想 22 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
227
(1): 2017/12/24(日)17:20 ID:nQB9rsfE(1/2) AAS
IUTTで「GからXを復元する」するという類いの主張が使われてるけど
なぜGからXを復元する必要があるのか?復元なんてしないで最初からXとGが与えられているものとして議論すればよいのではないか?
というのが大多数の非理解者が感じている疑問点だと思う。
しかもサーベイによると、この主張(考え方)がIUTTにおける証明の本質的な数学的道具っていうんだから、ホントわかわからん。
229
(1): 2017/12/24(日)17:21 ID:nQB9rsfE(2/2) AAS
加えて言うと、IUTTにおいてGrothendieck宇宙を取り換えるという操作をしているようだけど
これは言わば、代数拡大を議論するときに代数閉包を取り換えるという操作をしているようなものであって
これもまたその必要性がまったくわからない。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.030s