[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
91: 2019/12/27(金)17:00 ID:k/2lG7oM(1/4) AAS
>>81
闇雲に検索してるね
>ゲーデルの構成可能集合
これは関係ない
>極限順序数
これもフォン・ノイマン構成に関する記述なので
ツェルメロ構成とは関係ない
>>82
>宇宙
まったく関係ない
>集合論
…{{}}…は集合ですらない
したがって
「シングルトン」（唯一の元を持つ集合）
とはいえない
{{},{{}},{{{}}},…}
なら、ツェルメロ構成のωを表す集合
として正当化できる
（ただその場合、ツェルメロ構成による順序数を
「より小さい順序数への有限∈降下列を有するもの」
として定義しなおしたほうがいい）
>>83
>圏論
…{{}}…を圏論で正当化できると思うのは妄想だろう
そもそも…{{}}…とかいうナイーブなアイデアを捨てればいい
ナイーブでありつづけることは馬鹿の極み
92: 2019/12/27(金)17:12 ID:k/2lG7oM(2/4) AAS
>>85
>公理による自然数〜超限順序〜実数などの公理的構成
>カントールの集合論は自然数〜実数ありきで始まった
>適切な後者関数ならば、その極限は存在する
も・し・か・し・て
「可算順序数は全部実数！」
とか馬鹿丸出しなこと言わんだろうね？
そもそも任意の実数列が収束するわけではない
実数全体はコンパクトではないから
まさに０．１，２，３，・・・という列は収束しない！
も・し・か・し・て
「確かに実数や複素数としては収束しない
しかし！拡大実数がある！リーマン球面がある！」
とかこれまた馬鹿丸出しなこと言わんだろうね？
実数や複素数の一点コンパクト化では誤魔化せないぞ！
ωはツェルメロ構成でも存在する
しかし、それはシングルトンではない
なぜなら、ωには前者が存在せず、
ωより小さいいかなる順序数ｎ（＝自然数）も
n<m<ωとなる順序数ｍ（＝自然数）を持つから
これが数学における真理だ
>>88
>20世紀はじめ1901〜1920年代の議論を
>このスレで繰り返す必要はないでしょ
また口から出まかせで適当な年号言ってるな
馬鹿は自分の間違いに気づけず
いつまでもだらしなく言い訳する
大変みっともない
93: 2019/12/27(金)17:17 ID:k/2lG7oM(3/4) AAS
>>90
＞Zermelo順序数でも何でもない謎の何か
馬鹿がZermeloのωだ！といってる
…{{}}…は最も外側の{}が存在しないから
集合ではないな
ついでにいうと、外側の{}をつけると
ωの前者が存在してしまい、極限順序数でなくなるから誤り
95: 2019/12/27(金)18:44 ID:k/2lG7oM(4/4) AAS
>>94
馬鹿とはそういうもんだ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.040s