[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
215(1): 2021/10/14(木)07:38 ID:mdAX1Bxg(3/18) AAS
>>213
よく、考えてから書け、といわなかったか？ｗ
A graphical "matchstick" representation は、{}の表現とは全く別だぞ
集合論の公理系で、集合として考えたいんなら、最外の{}は必須
そういう根本的なことを、何年も気付かずにいる
それじゃ、大学数学で落ちこぼれても当然だわな
で、{}は貴様には無理だから諦めろ
そのA graphical "matchstick" representationで
ωがいかなる形で表せるか述べてみろ
で、見た目上違ってみえても、同値になる場合が多々あるが
省6
217(4): 2021/10/14(木)08:00 ID:fCifkauW(4/11) AAS
>>215
あのさ、下記の檜山正幸でも読んでみたら？
”ZFC公理的集合論の万能性・普遍性は認めたとしても、だからと言って、何でもZFC公理的集合論のなかでやる必要はありません。つーか、そんなことはしません。自然数論は、集合論とは独立な体系内でやればいいのです。必要があれば、ZFC公理的集合論への埋め込み（翻訳）を作ればいいのです。”
”集合概念が必要な場面では、ZFC公理的集合論が使われているのでしょうか？ -- 使われません。日常的にZFC公理的集合論を使う人なんていない、と言うと言い過ぎだけど、極めて少数です。
我々が日常的に使っている集合論は素朴集合論（naive set theory）です。要するに、直感的でイイカゲンでカジュアルな集合論です。”
おれは、これに大賛成だ
つーか、この”要するに、直感的でイイカゲンでカジュアルな集合論”が使えないと、数学者として”使えない”人になるよ
おサルが、数学科で落ちこぼれになった原因の一つがそれだろうね
外側の{}に拘る議論が、その典型例だよ
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.285s*