[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
30(2): 2019/10/05(土)11:55 ID:o3KPqddg(4/8) AAS
>>26
出展もクソも>>18の内容は数学科なら最初の2,3ヶ月目までに絶対習う内容で(順序数は微妙だけど)まさに何にでも載ってるし誰でも知ってる話だけど。
しかし俺が読んだのは確か共立出版の公理的集合論って本だったかな？
あなた掲示板だからある程度はコンセンサスとれてるとして効率的に行こうといってる。
まさにそこは正論なんだけど、だからこそ理学部数学科では自分ではコッチの方がいいかなぁと思いつつもそこは世間一般で通用してる定義を採用する。
しかしもちろんどうしてもそうでないものを採用せざるを得ない場面はあるし、その場合には必ず数学的な定定義を与えてから議論を始めないと数学にならない。
あなたのωを仮にΩと書くなら、このΩは数学の世界では全くコンセンサスは取れてません。
省2
34(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)12:20 ID:JrhjRl4x(15/46) AAS
>>30
どうも、ありがとう
>しかし俺が読んだのは確か共立出版の公理的集合論って本だったかな？
あなたは、なかなか誠実な人ですね
よく分かりました
>あなたのωを仮にΩと書くなら、このΩは数学の世界では全くコンセンサスは取れてません。
>論理式を用いて正確に定義してください。
省11
35(1): 2019/10/05(土)12:23 ID:kZwmbLNI(15/44) AAS
>>30
＞あなたのω（{{…{}…}}（{}の多重無限））を仮にΩと書くなら、
＞このΩは数学の世界では全くコンセンサスは取れてません。
少なくとも、ZFCにおける集合ではないですね
◆e.a0E5TtKE氏は{{…{}…}}（{}の多重無限）を
別の記号であらわすことを拒否したので、
我々が決めましょう Ωとあらわすことでもいいですか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s