[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
459: 2021/11/22(月)00:35 ID:HIqODhps(1/8) AAS
>>454
>前にも言ったが、超越数πを空集合φから組み立てて、最外カッコを示してみなよ>>444
>出来たら、その判定基準を認めてやる
πを集合表記することに数学的価値は無い。
一方、集合表記可能であることを理解すれば、公理的集合論が現代数学を基礎付けしていることを再確認できる。
πの集合表記を見なければ公理的集合論を認めないとする態度こそ幼稚。数学をあきらめて明日から幼稚園に通うべきレベル。
460: 2021/11/22(月)00:45 ID:HIqODhps(2/8) AAS
>>458
>誤魔化そうとしているな
最外カッコが無くてもよいと謳ってる公理を示せないおまえがな。
一方こちらはπを集合表記可能であることを示している。>>440
実際に集合表記することは別問題。おまえは自分の足で歩いて確かめないと地球が丸いことを信じないのか？それこそ幼稚な態度。
461(3): 2021/11/22(月)00:56 ID:HIqODhps(3/8) AAS
>>458
>誤魔化そうとしているな
そもそも何かの存在を示すのにその例示は必須ではない。
実際、選択公理は選択関数のインスタンスを何等示さずに選択関数の存在を主張している。
そのような抽象思考が数学ってもんだ。インスタンスを見ないと納得できない三歳児には無理。
462: 2021/11/22(月)01:02 ID:HIqODhps(4/8) AAS
もし実際の選択関数を示さないといけないなら時枝戦略成立は示せない。
しかし実際には選択関数が存在していることさえ示せればよい。選択関数がどんな関数かには依存しないから。
三歳児には無理。
463(2): 2021/11/22(月)01:18 ID:HIqODhps(5/8) AAS
>>458
>最外カッコが無いことはないが、具体的に示せない
いや、無い。
何番目か定まらないようなカッコは「有る」とは言わない。>>452
強引に「何番目か定まらない最外カッコが有る」と強弁したところで、その元に最外カッコが無い、つまり集合でない。
これは公理的集合論では認められない。結局ダメ。
464(2): 2021/11/22(月)01:30 ID:HIqODhps(6/8) AAS
>>458
>数学として、そういう無限長の列が必要なんだ
誰も否定してない。
実際数列は無限長の列。
>だから、無限公理で、無限長の列を作った
大間違い。
無限公理が存在を謳ってるのは数列ではなく無限集合。
省11
465: 2021/11/22(月)01:37 ID:HIqODhps(7/8) AAS
バカがアホ発言繰り返す理由が少し分かった。
バカは数列表記に現れる"…"と集合表記に現れる"…"を混同している。
そもそも数列の定義が分かってない。
どんだけ不勉強なんだよ。
てかそんな勉強嫌いなのになんで数学板に住み着いてんの？なんかのコンプレックスの反動？
466: 2021/11/22(月)02:15 ID:HIqODhps(8/8) AAS
数列なんて高校生でも知ってるし数列無しじゃ解析なんて入門すらできない。
解析の基本は極限、極限の基本は数列。文字通り基本中の基本。そこから分かってない。
マジなんで数学板に住み着いてんの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.877s*