[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
685(1): 2021/02/18(木)16:32:55.64 ID:NzeyxT1l(6/7) AAS
デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないって説明してるということだろう
>>683
つまり現時点ではCor 3.12は証明されておらずCorではなく予想だが、この会議で証明する予定ということ？
716(1): 2021/02/19(金)13:43:53.64 ID:eUBy2XOT(4/80) AAS
ラムゼー理論は、グラフを扱うが、coalgebra の等価性などを考える際にも、同じく深くグラフを扱う。
似たようなことを思い込みの上でやるのと、
しっかり証明機械に忠実に動かすのとでは、
1*2*3 = 1+2+3
という等式だけを、掛け算の例として、
何も知らない小学生に教えるようなものだ。
873(2): 2021/02/19(金)22:09:49.64 ID:eUBy2XOT(65/80) AAS
>>869
加藤ごとき信じている点で終わっている。
やつがIUT の何を一体説明したと言うんだ？
お前は信者にすぎない。
ホモロジーの知識があれば、∞圏は理解できる。やつの言葉など宗教勧誘以外の何者でもない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.097s*