23/12/13 06:53:43.77 s62ezuyd.net
>>411
>グロタンディーク関連で、”「圏論」をベースに数学原論を書き直すべき”だって
どうぞ、ご随意に
数学原論は数学の本 数理論理学の本ではないから
ちなみに数理論理学の圏論によるアプローチはすでに行われまくってます
まあ、素人さんは全く知らんでしょうがね
あ、ググらんでいいよ 知ってる人はみな知ってるからコピペされても鬱陶しいだけ
23/12/13 06:53:43.77 s62ezuyd.net
>>411
>グロタンディーク関連で、”「圏論」をベースに数学原論を書き直すべき”だって
どうぞ、ご随意に
数学原論は数学の本 数理論理学の本ではないから
ちなみに数理論理学の圏論によるアプローチはすでに行われまくってます
まあ、素人さんは全く知らんでしょうがね
あ、ググらんでいいよ 知ってる人はみな知ってるからコピペされても鬱陶しいだけ