[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 26 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
867(1): 2018/05/02(水)18:38 ID:1tlEMDgY(1/22) AAS
キチガイは極論に走るな
IUTTは意味論的には不可能ではない。特に当初問題になったのはZFCとの整合性だけだったし
その論点自体は合っている
一番の論点は絶対遠アーベル幾何学と宇宙際性が矛盾しないかどうか
Scholzeは正直に難しい、不明な点があると言っただけで間違いだとは断言していない
でも、今の怪しい空気感は面白いからどうでもいいや
868(2): 2018/05/02(水)18:43 ID:1tlEMDgY(2/22) AAS
望月の立場は「絶対遠アーベル幾何学で行けるところまで行ったらZFC的に宇宙際幾何学に
なってしまった」というもので、彼は元々そこだけが気になっていたはず
多分100%自信があったわけでもない
ところが、自分の思惑より更に手前の所で他の数学者が立ち止まっているという感じだな
870: 2018/05/02(水)19:54 ID:1tlEMDgY(3/22) AAS
後で書きますけど、やや適当に答えますよ
誰にとっても(私にとっても)難しい話だし、疲れてるし、責任も取れませんし
872: 2018/05/02(水)20:08 ID:1tlEMDgY(4/22) AAS
余談だが、IUTTが数学の流れに影響を及ぼすかどうか、というのは問い方が不十分
「IUTTは数学史的な観点で無視できない出来事か？」という意味なら確実にyesに賭ける
それは内容的な関連性を踏まえたらわかることで、ラングランズに限った話ではない
つまり直接影響を及ぼすかは何とも言えないが、極めて重要な流れに位置する理論になる
873(1): 2018/05/02(水)20:09 ID:1tlEMDgY(5/22) AAS
>>871
意味はな。形式的な厳密さは保証しない。とりあえずIUTTにどんなイメージがある？
878: 2018/05/02(水)20:28 ID:1tlEMDgY(6/22) AAS
>>876
違う、もっと内容的なイメージ
それによっては俺はんなこと聞いてねーよみたいになると嫌だし
880: 2018/05/02(水)20:45 ID:1tlEMDgY(7/22) AAS
そこまでやってるなら>>869の問題は大体わかっているのでは？
IUTTが意味論的に可能かどうかは「特定の環論での対象を抽象化できるか」どうかによる
FrobenioidとAnabelioidでは既にその設定を行っているし
モデル理論的な意味での意味論つまり構造的な条件は問題がない
分解対象としてはスキームがある
更にモノイドがあり、絶対ガロア群かつトポス対象としての基本群があり、抽象位相群がある
全てはその素材で構成されるのだから、理論自体が不可能ということはない
881: 2018/05/02(水)20:54 ID:1tlEMDgY(8/22) AAS
強いて言えばトポスのガロア圏が通常のスキームのガロア群を圏論的に一般化しているように
基本群の扱いも同じようにしているわけだ
発想はstackと同じで、点集合値より圏値を先に考えている
つまり一番抽象的なガロア圏にあわせて遠アーベル幾何学を抽象化している
その際に基礎体としてF_1を想定しているから環論を越えても成り立つ
だから構造的には問題ない
884: 2018/05/02(水)21:06 ID:1tlEMDgY(9/22) AAS
整合性というのは簡単に言えば、そこまで環論を越えて抽象化した設定であっても、
いやむしろ越えているからこそ、ZFCで考えるなら本来は一緒に考えないような
宇宙スケールの形式系(環)を認識しなければならない
統一できるかわからないものを統一したかのように書くわけにはいかないから
ラベル替えできるできないだのの宇宙際問題は要するに、様々なuniversalな異質な環の間で
Inter-universalな真理を書けるのかどうかという問題に尽きる
885: 2018/05/02(水)21:08 ID:1tlEMDgY(10/22) AAS
>>882
ああ、言いがかりのあんたか
読んだってのは嘘では？だってそこまで読んだなら「数学的に」十分読んだはずだよね
886: 2018/05/02(水)21:11 ID:1tlEMDgY(11/22) AAS
で、具体的にどういう書き方を求めてるの？
俺のさっきの質問をはぐらかしたのは明らかだから、はなから論文など読んでない
あんたが冷やかしたんだと理解するよ
887: 2018/05/02(水)21:18 ID:1tlEMDgY(12/22) AAS
「数学的に」自分がどの程度理解してるのか言わずに逃げるとか酷いなw
どうせ読んでないんだから当たり前だが
889: 2018/05/02(水)21:22 ID:1tlEMDgY(13/22) AAS
>>888
ID変えていつもそれやってるよなお前。馬鹿じゃないの？
連想ゲームでも何でもないんだが
892: 2018/05/02(水)21:26 ID:1tlEMDgY(14/22) AAS
要するに俺が調子に乗ってるように見えて気にくわないから言いがかりつけて
鼻をへし折ってやりたいだけって感じだな
893: 2018/05/02(水)21:28 ID:1tlEMDgY(15/22) AAS
>>891
何で誠実さを装うんだ？仮にあんたの話を信じるとして、
具体的に何が疑問なわけ？多分答えられないだろう
あと、端末使って複数IDなんて誰でもできるよ？
895: 2018/05/02(水)21:33 ID:1tlEMDgY(16/22) AAS
>>869と>>879は明らかに矛盾してるのわからないの？
しかも自分は全く「数学」の話なんかしてないじゃん
したいなら逃げないでしてみなよ
896: 2018/05/02(水)21:36 ID:1tlEMDgY(17/22) AAS
「IUTTは何の問題もない」と感じたのに、「意味論的には問題ない」という点に
疑問を感じるはずがない。完全に数学なんか読んでない奴の冷やかし
897: 2018/05/02(水)21:42 ID:1tlEMDgY(18/22) AAS
数学が形式的であることを悪用する奴って本当にタチが悪いな
「〜ってどういう意味？」みたいな質問攻めしたら最終的に自然言語を使うか定義見ろ、としか言えない
それを利用して、質問に解答できないお前は言葉遊びだとレッテルを貼る
こんなことしてたら誰も寄りつかねーよ
898: 2018/05/02(水)21:58 ID:1tlEMDgY(19/22) AAS
>>891
仮に言い分を信じるなら数学的かどうかより、あなたの直観力の問題ですよ
特に「特定の環論より抽象的な対象」という表現から引っ掛かるなら尚更の話
別に色々言ってるが怒ってはいない。やっぱ5chだなあって感じ
901: 2018/05/02(水)22:34 ID:1tlEMDgY(20/22) AAS
年齢的に死ぬだろうな
904: 2018/05/02(水)23:56 ID:1tlEMDgY(21/22) AAS
しかし「他人に語らせて自分からは何も言わず貶して逃げるアホ」が多いな
色々考えて同一人物の可能性も高いが
ここたまに見てるが、話が成立してるの見たことがないから、やっぱり噂話で十分の場所だな
905: 2018/05/02(水)23:57 ID:1tlEMDgY(22/22) AAS
>>903
発狂も何も明らかにおかしいのは絡んできてる奴らだからな
お前も擁護とか馬鹿な言い方してる時点で立ち位置がわかるし
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s