[過去ログ]
現代数学の系譜 カントル 超限集合論 (1002レス)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
198: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:03:04.28 ID:rpPbPz0q やれやれ 「ハゲネズミ」の由来について、HPのリンク張ろうとしたら NGワードで規制食らってやっと復活したぜw >>161 >ωから始まる∈無限降下列が存在すると言いたいなら、その列の第2項(ωの次の項)を示して下さい >>163 馬鹿曰く >その質問は、哀れな素人さんの無限に関する質問に類似 安達の「最後の自然数は存在しない」という主張のことなら、全く間違ってない >>164 馬鹿曰く >ωが、極限順序数で、位相的に集積点(極限点)であり、任意の近傍が S の点を無限に含む 上記の文で何をいいたいのか? 貴様の{・・{Φ}・・}では、どの自然数nも要素にならんから無意味 >>165 馬鹿、恒例のコピペ (整礎関係 wikipedia) >ω から始まる長さ有限の降鎖列でいくらでも長いものが取れる。 >なんとなれば、任意の正整数 n に対して >ω, n - 1, n - 2, ..., 2, 1 >という鎖は長さ n を持つ。 「長さ有限の降鎖列でいくらでも長いものが取れる。」としか書いてないぞ そこから「長さ無限の降鎖列がとれる」と思うのは正真正銘の馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1570237031/198
199: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:05:28.52 ID:rpPbPz0q >>185 馬鹿の逆質問 >1)下記の、順序数の列 > 0, 1, 2, 3, . . . , ω を認めますか? Y/N >2)もし、Yesの場合 > 0, 1, 2, 3, . . . , ω で、ωの一つ左の順序数は、何ですか? あなた、答えられますか?w >3) もし、Noの場合、現代数学の無限の概念を認めないということですか? Y/N 1)認める 2)存在しない 3)ωの存在を認める 云っとくが 0, 1, 2, 3, . . . , ω は、ただ要素を順番に並べただけ 降鎖列は要素間に必ず∋が入ってる したがって「ω∋」と書いたら その右には必ずある要素を書く必要がある 無限公理のωや ツェルメロの自然数全体の集合ω’={Φ, {Φ}, {{Φ}}, …} なら、任意の自然数を要素に持つ (それぞれ自然数を表す集合は異なるが) しかし、馬鹿が主張している Ω={・・{Φ}・・} では、どの自然数も要素にならん したがって、まず ω∋n - 1∋n - 2, ..., 2∋1 は構成できない また、もし Ω∋Ω’∋Ω’’・・・ と要素がとれたとしても いつまでたっても自然数nには たどり着かんから底抜けw 逆に有限回で自然数にたどり着いたら Ωは自然数だということになるw 相変わらず底抜けの馬鹿っぷりだなwwwwwww http://rio2016.5ch.net/test/read.cgi/math/1570237031/199
200: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:06:50.64 ID:rpPbPz0q >>192 >Ordの元xに対し >ツェルメロ構成によるx番目の順序数をZ(x)として >これを定めるなら、 >Z(0)=0, >Z(x+1)={Z(x)} >としてx<ωまではいいでしょう。 >問題はx=ωのとき、すなわちΩ=Z(ω)の定義です。 >これはどうするんですか? いい質問だ ここで、賢いヤツなら Z(ω)=∪(ω>n)Z(n) とせざるを得ず、したがって(0={}として) Z(ω)={{},{{}},{{{}}},…} とならざるを得ないと観念する 決して{…{}…}なんて形にはならない しかし馬鹿はここで質問に答えない だから自分の誤りに気づけない 「縁なき衆生は度し難し」 http://rio2016.5ch.net/test/read.cgi/math/1570237031/200
201: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:12:33.19 ID:rpPbPz0q >>193 >1)ツェルメロ構成での任意aの後者関数; > suc(a) := {a}による構成は、正則性公理に反しない > たとえ、それで無限上昇列が出来ても、ということは認めますか? Y/N Y >2)ツェルメロ構成での任意aの後者関数;suc(a) := {a}による構成で、 > 無限公理を適用して、自然数nをすべて含む無限集合が出来たとき、 > それはいわゆる自然数Nよりも、余計な元、 > 即ち、超限順序数に属するべき(有限でない)元が > 生成され、含まれていることに同意しますか? Y/N Y >>195 >では、この超限順序数に属するべき(有限でない)元とは、何なのでしょうか? 馬鹿が考えるような{…{}…}ではないけどな >ツェルメロ構成でできる集合は、任意aの後者関数;suc(a) := {a}以外は無いですね 相変わらず底抜けの馬鹿だな、貴様はwwwwwww {}∈X∧(∀x∈X⇒{x}∈X) (Xは空集合を要素とし、xがXの要素なら{x}もXの要素である) という条件を満たすXについて 「yがXの要素なら、yは空集合か y={x}で、Xの要素となるxが存在する」 ∀y.((y∈X⇒y={}∨∃x.({x}=y∧x∈X)) とか思ってるだろ?w そこが馬鹿だというんだよwww 実際には 「Xの空集合でないyで、 Xのいかなる要素xについても {x}=yとならないものが存在する」 ∃y.(y∈X∧¬(y={})∧∀x.(x∈X⇒¬({x}=y)) が成立しても矛盾はない つまり >超限順序数に属するべき(有限でない)元、それは、消去法で、 >超限回の空集合Φに対する後者関数による超限多重集合 {・・{Φ}・・}(ω+アルファ回{}多重) >でなければならない なんてことはいえない 「縁なき衆生は度し難し」 >それはお認めになるんですよね? 認めねぇよ この大馬鹿者めwwwwwww http://rio2016.5ch.net/test/read.cgi/math/1570237031/201
202: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:21:42.49 ID:rpPbPz0q >>201でいってるのは、 {}∈X∧(∀x∈X⇒{x}∈X) を満たす集合が、 空集合でも単一要素の集合でもない集合を 要素としても全然問題ない、ということ 例えばa={{{}},{{{}}}}を要素としてもいい 但し、もしaを要素とするなら{a}も{{a}}も要素とせねばならない そういうこと では、もし {}∈X∧(∀x∈X⇒{x}∈X) かつ ∀y.((y∈X⇒y={}∨∃x.({x}=y∧x∈X)) だったら、Xは、馬鹿のいう {・・{Φ}・・} (無限重) を要素にもつのか? しかし、正則性公理の元ではそれはありそうもない http://rio2016.5ch.net/test/read.cgi/math/1570237031/202
203: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:35:17.30 ID:rpPbPz0q さて、今日の一曲は・・・これだ! https://www.youtube.com/watch?v=eYsqYPWzfrM Emperor 最高だぜ! http://rio2016.5ch.net/test/read.cgi/math/1570237031/203
204: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:49:46.87 ID:rpPbPz0q そして、これも名曲 https://www.youtube.com/watch?v=4mn4hDT-rc4 http://rio2016.5ch.net/test/read.cgi/math/1570237031/204
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s