[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
271(3): 2023/07/03(月)07:07 ID:x5daDujY(1/5) AAS
>>269
ありがとうございます
スレ主です
これは謎のプロ数学者さんかな
＞圏論を使ったら数学の全知識が千頁の書物の記述に圧縮できるというようなことはまず期待できない
多分、ある分野やある手法に対しての加速定理（下記）を提供する能力が、圏論にはあるのではと思っています
（一階述語のZFC vs 圏論（二階述語）かも）
省25
272(1): 2023/07/03(月)07:09 ID:x5daDujY(2/5) AAS
>>271
つづき
形式的体系に関する加速定理
理論
T とその拡大理論
S について
「T において証明可能な論理式で S においてはより簡単に証明できるものが存在する」
省9
273(1): 2023/07/03(月)07:28 ID:x5daDujY(3/5) AAS
>>271
>（一階述語のZFC vs 圏論（二階述語）かも）
追加参考
外部ﾘﾝｸ:researchmap.jp
荒武 永史
外部ﾘﾝｸ:researchmap.jp
講演・口頭発表等
省16
275(1): 2023/07/03(月)08:24 ID:x5daDujY(4/5) AAS
>>274
ありがとう
∞カテゴリーかな
詳しくないので、下記でも
外部ﾘﾝｸ:infinitytopos.wordpress.com
はじまりはKan拡張全ての概念はKan拡張である
∞カテゴリー
省1
302(2): 2023/07/03(月)21:42 ID:x5daDujY(5/5) AAS
>>289
スレ主です
みんな おっちゃんのことを
悪く言わないでくれ
おっちゃんは、精神安定剤を飲んでいるんだ
よろしくお願いします。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s