[過去ログ]
現代数学の系譜 カントル 超限集合論2 (1002レス)
現代数学の系譜 カントル 超限集合論2 http://rio2016.5ch.net/test/read.cgi/math/1576852086/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
91: 132人目の素数さん [] 2019/12/27(金) 17:00:25.66 ID:k/2lG7oM >>81 闇雲に検索してるね >ゲーデルの構成可能集合 これは関係ない >極限順序数 これもフォン・ノイマン構成に関する記述なので ツェルメロ構成とは関係ない >>82 >宇宙 まったく関係ない >集合論 …{{}}…は集合ですらない したがって 「シングルトン」(唯一の元を持つ集合) とはいえない {{},{{}},{{{}}},…} なら、ツェルメロ構成のωを表す集合 として正当化できる (ただその場合、ツェルメロ構成による順序数を 「より小さい順序数への有限∈降下列を有するもの」 として定義しなおしたほうがいい) >>83 >圏論 …{{}}…を圏論で正当化できると思うのは妄想だろう そもそも…{{}}…とかいうナイーブなアイデアを捨てればいい ナイーブでありつづけることは馬鹿の極み http://rio2016.5ch.net/test/read.cgi/math/1576852086/91
92: 132人目の素数さん [] 2019/12/27(金) 17:12:44.96 ID:k/2lG7oM >>85 >公理による自然数〜超限順序〜実数などの公理的構成 >カントールの集合論は自然数〜実数ありきで始まった >適切な後者関数ならば、その極限は存在する も・し・か・し・て 「可算順序数は全部実数!」 とか馬鹿丸出しなこと言わんだろうね? そもそも任意の実数列が収束するわけではない 実数全体はコンパクトではないから まさに0.1,2,3,・・・という列は収束しない! も・し・か・し・て 「確かに実数や複素数としては収束しない しかし!拡大実数がある!リーマン球面がある!」 とかこれまた馬鹿丸出しなこと言わんだろうね? 実数や複素数の一点コンパクト化では誤魔化せないぞ! ωはツェルメロ構成でも存在する しかし、それはシングルトンではない なぜなら、ωには前者が存在せず、 ωより小さいいかなる順序数n(=自然数)も n<m<ωとなる順序数m(=自然数)を持つから これが数学における真理だ >>88 >20世紀はじめ1901〜1920年代の議論を >このスレで繰り返す必要はないでしょ また口から出まかせで適当な年号言ってるな 馬鹿は自分の間違いに気づけず いつまでもだらしなく言い訳する 大変みっともない http://rio2016.5ch.net/test/read.cgi/math/1576852086/92
93: 132人目の素数さん [] 2019/12/27(金) 17:17:47.91 ID:k/2lG7oM >>90 >Zermelo順序数でも何でもない謎の何か 馬鹿がZermeloのωだ!といってる …{{}}…は最も外側の{}が存在しないから 集合ではないな ついでにいうと、外側の{}をつけると ωの前者が存在してしまい、極限順序数でなくなるから誤り http://rio2016.5ch.net/test/read.cgi/math/1576852086/93
95: 132人目の素数さん [] 2019/12/27(金) 18:44:11.37 ID:k/2lG7oM >>94 馬鹿とはそういうもんだ http://rio2016.5ch.net/test/read.cgi/math/1576852086/95
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.262s*