[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
14: 2019/05/30(木)20:47:14.77 ID:d8dGlzI7(1/6) AAS
ガラパゴス現象だな
55: 2019/05/31(金)23:45:19.77 ID:wWRHz6Es(1/2) AAS
ついていけない...(--;)
437: 2019/06/11(火)22:01:08.77 ID:99vrtxyh(1) AAS
>>423
それ自力では見つけてないし証明もしてないだろww
これがJIN?
453(1): 2019/06/12(水)22:24:38.77 ID:7OhAMq45(3/3) AAS
>>440
個人的には、宇宙の取り換えについての記述がバズワードに近いレベルで誤魔化されてる印象を受けます
尤も考えてみたらわからないことはありません。Anabelioidの理論にヒントがあるのですが、
問題なのは当時のSSにもそれが理解されているのか怪しい事です
例えば、その宇宙の理論がモデル理論から見て注意を惹く内容なのかといえば疑わしい
ある種の遠アーベル幾何学的な群のスイッチとかいうのは一応具体的なものなんで、これを双曲と非双曲、
双有理と非双有理、ネーター環と非ネーター環みたいに明確で大きい対象の区別の話とラベルにまつわる文脈で
ごちゃ混ぜにしているように見えるのが不可解です。勿論関連性はあるんですが、はっきり宇宙の議論を
やったら否定されるという後ろめたさがあるのか、と邪推せざるをえない
充満多重同型が本当に必要なのかという点は、それもa matter of tasteだと思います
省3
630: 2019/06/23(日)21:11:34.77 ID:NPqZngTv(2/2) AAS
１週間もしないうちにアンチの勉強不足が〜とかいいだすからな
どうせバカBの講演アニメでも「正しいかどうかは重要じゃない！新しいパワーが必要なんだーっっっッッッｯｯｯ！」とか主人公キャラクターが叫んで拍手喝采狙いなんだろよ
635(2): 2019/06/24(月)00:28:04.77 ID:f3PZH7LT(1/2) AAS
これはポストモダンの方に言うわけでは全くないんだけど、（つまりその他）抽象化に関する反応を見ても、
何が難しいのかわかってる人いないと思うんだよね
情報が消えるって、相対化されて具体的な対象は主題ではなくなるってだけの話なんだよ。当たり前だよね
一旦具体性が消える代わりにより高いレベルで統合されるのが抽象化の重要な性質だ
これは白馬非馬という話とは似てるようでかなり違うんだよ。望月氏も、IUTは個々のスキームよりも
それらを記述するパターンが重要だと言っている。明示的アルゴリズムってのも、
何でそういう話が出てくるのかというと、まさに抽象化の結果なんだよね
情報工学ならオブジェクト部分がスキームで、遠アーベル幾何学はそのプログラミング部分みたいなものだ
特に、アルゴリズムとループ構造については「言語」についての深い洞察が確かに働いているアイデアと言える
言い換えれば、宇宙際性の議論を理解するにはある種の（論理的な）言語理論を必要とする
省1
687(1): 2019/06/25(火)13:19:54.77 ID:W+0GnpwA(1) AAS
>>686
>>11です
738: 2019/06/27(木)13:16:17.77 ID:PGHt5RK7(2/4) AAS
もっちーはガロアにはなれないんだね…
本人が知ったら鬱になりそうw
885: 2019/06/30(日)20:16:28.77 ID:l/tsCoo3(4/5) AAS
↑は、IUTの進展についての話ね
強硬アクセプトするか、引き延ばして関係者の不満が溜まり遂に問題になるかのどちらかっていう茨の二択
982: 2019/07/05(金)23:22:17.77 ID:K9VxBE6D(2/3) AAS
>>980
スレ立て、乙です
998: 2019/07/06(土)21:37:42.77 ID:VjsFe2sY(2/3) AAS
↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です
つまり単なる印象で具体的なエビデンスの話ではない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.736s*