23/12/15 17:32:32.48 NkEr3tnM.net
>>518-520
ご苦労様です
>>現代数学では、圏論を使う方がすっきりしている場合が多い
> 集合のかわりに圏を使う方が一般化できるというなら、そうすればいいが
> そういうことは「集合」や「圏」を理解した人がいうことで
> どっちも理解できてない素人がそんなことを口にしても笑われるだけである
１）笑える。だいたい私が言っていることは、誰かの受け売りで、どっかに書いてあることだよ
圏論については、「圏論の歩き方」（下記）に似たことが書いてあった気がする
因みに、「圏論の歩き方」は結構気楽に読めるので、初心者にはおすすめです
２）”素人がそんなことを口にしても”と突っかかってくるがｗ
真理は、それをいう人には依存しないという論理を忘れているので笑える
レスバトルで勝ちたいというスケベー根性丸見えだよ
３）まあ、2023年の大学の数学勉強では、圏論いると思う
というか、早く馴れた方が良いだろう
>>・現代の直観主義論理ではラッセルパラドックスは、克服されている（当然ですが）
> これは完全にウソ
笑える
「現代の直観主義論理ではラッセルパラドックスは、克服されていない」？
せいぜい グロタンディーク宇宙 the framework of “ZFCG”で間に合うんじゃね？ （下記IUTに書いてあるとおり）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck universe
The concept of a Grothendieck universe can also be defined in a topos.[1]
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(MFO-RIMS23%20Oberwolfach%20Report).pdf
Inter-universal Teichm¨uller Theory as an Anabelian Gateway to Diophantine Geometry and Analytic Number Theory 29 September, 2023
Shinichi Mochizuki
P5
IUT is formulated entirely in the framework of “ZFCG” (i.e., ZFC, plus Grothendieck’s axiom on the existence of universes),
URLﾘﾝｸ(www.)アマゾン
圏論の歩き方 Tankobon Hardcover – September 9, 2015 日本評論社
書評
しゅん
5.0 out of 5 stars この一冊では完成しない
圏論をしっかり学びたい人にはお勧めしないが、圏論の雰囲気を知ってこれから飛び込んでみる人には良いのかもしれない