[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
436(4): 2021/11/21(日)10:08 ID:fskC7CH9(10/17)調 AAS
>>433 補足の補足の補足
>じゃ、円周率πの「最外カッコ」は どこ？ とか言い出したら、
>高等数学は一歩も進まなくなるよ
円周率πなんか、まだまし（πを表す級数の公式でも使えば、なんとかなる）
(0,1)の間の名も無い超越数 r∈R を考える
名無し超越数 rにおいて、これを空集合φから 具体的に書いて
「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
早く、「最外カッコ」とか
子供の思考から脱却しないと、数学科では落ちこぼれるぜ
440(2): 2021/11/21(日)11:00 ID:ZtueUz+V(10/15)調 AAS
>>436
>(0,1)の間の名も無い超越数 r∈R を考える
ω+1、円周率と来て今度は超越数かｗ
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
どゆこと？ｗ
ノイマンの無限集合ωには最外カッコちゃんと付いてますけど？ｗ
そもそも最外カッコが無ければ集合たり得ません。中学からやり直してください。
超越数は実数
実数は有理数列を用いて構成される
有理数は二つの整数の順序対を用いて定義される
整数は自然数とその加法逆元
有理数列は自然数から有理数への関数
関数は関係を用いて定義される
関係は直積集合を用いて定義される
直積集合は順序対を用いて定義される
順序対は対の公理から出発して定義される
はい、どこにも集合として最外カッコが要らないなんて話は出てきませんが？
で
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
はどゆこと？
441: 2021/11/21(日)11:11 ID:+LwTeuHH(7/11)調 AAS
>>434
>図形もZFC中で集合として構成できるよ、抽象的にね
いや、完全に具体的だろ
>例えば、ユークリッド平面があって、これは(ｘ、ｙ) ｜ｘ、ｙ∈R
>単位円ならば、ｘ^2+ｙ^2＝1 を満たす(ｘ、ｙ)からなる集合だ
これのどこが抽象的なんだ。この🐎🦌ｗ
で、SET Aのカッコ記法では、空集合は{}という図形になるが
この図形の集合は、空集合ではない
つまり、SET Aがやってることはただのお絵描きであって
本来の順序数の定義から完全に逸脱してる
そもそも、定義による基礎づけの意味が
SET Aには全然わかってない
なぜならSET Aは人間ではなく直感だけで生きる「獣」だからｗ
ヒャッハーｗ
>>436
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
いや、
もしかして、デデキントやカントールによる実数の定義は
「全く無意味な議論」だといいたがってる？
そりゃ大🐎🦌野郎の中卒SET Aにとっては
全く理解できないから無意味だろうけどな
そもそもおめぇの存在自体が全く無意味なんだよ
一遍死んでみるか？この🐷野郎ｗ
443(1): 2021/11/21(日)11:17 ID:ZtueUz+V(11/15)調 AAS
>>436
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
もう「なんか知らんけど超越数とか出せば煙に巻けるだろうと思いました」って正直に言いなよ
君がバカなのはもうバレてるから装わなくていいよ
444(6): 2021/11/21(日)13:44 ID:fskC7CH9(11/17)調 AAS
>>442-443
なんだ、子供が二人か？
(再録)
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
ZFC公理系で、集合を構築していくのに、空集合φから出発して、複雑な集合を作る
ここまでは良いよね
簡単な有限集合の場合には、φからの「最外カッコ」の有無が、有効な判定法かもしれない
しかし、複雑な集合ほど、φからの「最外カッコ」の有無という判定法は通用しない
まして、無限集合になれば、φからの「最外カッコ」の有無という判定法は通用しない（πとか超越数の例はそれ>>436）
それって、当然じゃね？
その端的な例が、
ノイマン構成で、N（＝ω）＝{0,1,2,・・n・・}で、カッコ{}を外すと、0,1,2,・・n・・と最大値を持たない状態になる>>419
という話で
この最大値を持たない状態を認めるならば
多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω>>419
で
fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω となる
ここに、「最外カッコ」は、{}ωで明白に存在するよ
だから、「最外カッコ」判定ならば、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ωはセーフ>>419
{}ωを外す
･･{{･･{{{}0}1}2･･}n-1}n･･ となる
これは、最大値を持たない状態（個々の要素は有限で列の長さは無限）になるけど、
それはカッコ{}ｎが全自然数を走るゆえの必然でしょ
この存在を、必死に否定しようとするけど
それ、無理だよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s