[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
269
(2): 2023/07/02(日)23:58 ID:jxMwUqB3(1) AAS
圏論を使ったら数学の全知識が千頁の書物の記述に圧縮できるというようなことはまず期待できない。
270: 2023/07/03(月)07:04 ID:f05x76gn(1/2) AAS
>>269
背理法で
「もしそうだったら」
と考えてみよう
271
(3): 2023/07/03(月)07:07 ID:x5daDujY(1/5) AAS
>>269
ありがとうございます
スレ主です
これは謎のプロ数学者さんかな

>圏論を使ったら数学の全知識が千頁の書物の記述に圧縮できるというようなことはまず期待できない

多分、ある分野やある手法に対しての加速定理(下記)を提供する能力が、圏論にはあるのではと思っています
(一階述語のZFC vs 圏論(二階述語)かも)
省25
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s