[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
174: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)11:33 ID:G5rtMfGn(16/22) AAS
>>172 タイポ訂正
3.議論に参加するのは勝ってだが、一応経緯は、上記の通りだよ
↓
3.議論に参加するのは勝手だが、一応経緯は、上記の通りだよ
175(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)12:50 ID:G5rtMfGn(17/22) AAS
>>169 追加
(引用開始)
私はあなたのいうおサルさんではありませんが、私もあなたのいうΩはZFCに反すると思ってます。
もちろん私は私なりに数学を懸命に勉強してきたつもりではありますが、間違いをすることもあるので絶対にないとは断言しませんが、
やはりあなたのいうΩは正則性の公理に反しています。
(引用終り)
ここ、初学者も見ているだろうから(^^
下記をば
「正則性公理
以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。
省20
176(9): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)13:11 ID:G5rtMfGn(18/22) AAS
>>175 追加
(抜粋)
・V=WF
ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 」
とあるから、「正則性の公理に反しています」は、ムリゲーじゃない?
特に、”超限回繰り返して”って書かれているからね
(引用終り)
まず
外部リンク:ja.wikipedia.org
自然数
省30
177: 2020/01/01(水)13:54 ID:0vvVE7uB(1) AAS
AA省
178: 2020/01/01(水)15:22 ID:VmKAwE3Z(1/2) AAS
AA省
179: 2020/01/01(水)15:31 ID:VmKAwE3Z(2/2) AAS
AA省
180: 2020/01/01(水)16:53 ID:E03EXCHH(1/10) AAS
>>154
◆e.a0E5TtKEは正月早々トンデモ全開だなw
◆e.a0E5TtKE 2020年初トンデモ発言
>x→f(x)→f(f(x))→f(f(f(x)))→・・・→ω→f(ω)→f(f(ω))・・・
>Φ→{Φ}→{{Φ}}→{{{Φ}}}→・・・→ω→{ω}→{{ω}}・・・
「→ω」がトンデモの始まりだな
ナイーブな直感の誤りに気づけず
暴走して崖から飛び出し転落死
若気の至りってやつだな・・・
省15
181: 2020/01/01(水)16:54 ID:E03EXCHH(2/10) AAS
>>157
◆e.a0E5TtKE 2020年二番めのトンデモ発言
>・・・{{{Φ}}}・・・ (=可算無限重シングルトン)ができる
・・・{{{Φ}}}・・・ をよく見よう
一番外側の{}がないね
つ・ま・り、集合ではないんだな
(正則性公理を満たさないという指摘に対する
対応の結果がこれなら完全な自爆行為だな)
>>158
>極限で定義したと言っている
省28
182: 2020/01/01(水)16:56 ID:E03EXCHH(3/10) AAS
>>175
◆e.a0E5TtKE 2020年三番目のトンデモ発言
>・V=WF
>ここで、Vはフォン・ノイマン宇宙を指し、
>WFは0に冪集合の演算を有限回、
>あるいは超限回繰り返して得られる集合全体のクラスを指す。
>とあるから、「正則性の公理に反しています」は、ムリゲーじゃない?
>特に、”超限回繰り返して”って書かれているからね
じゃ、聞くけど
V_0={}
省18
183(3): 2020/01/01(水)16:56 ID:E03EXCHH(4/10) AAS
>>176
◆e.a0E5TtKE 2020年四番目のトンデモ発言
(これが初トンデモ発言同様一番ヒドイ間違い)
>0 :=Φ
>1 := suc(0) = {0} = {Φ}
>2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}(→は、一番右のΦを残すように不要の{}とΦを除く操作)
>3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}(同上)
>ノイマン構成の集合に対応して
>→:(→は、一番右のΦを残すように不要の{}とΦを除く操作)
>という集合操作を行うと、Zermeloのシングルトンが生成される
省25
184: 2020/01/01(水)16:57 ID:E03EXCHH(5/10) AAS
問題
アレフ1(最初の非可算順序数)を
Zermelo構成で実現した場合
その濃度はいくらか
(可算で抑えられるかそれとも非可算か)
185: 2020/01/01(水)19:43 ID:+c5cYldv(1) AAS
ちょっと目を離してたらキチガイ白痴が正月から暴れてて草
186(1): 2020/01/01(水)20:45 ID:peO/29Z+(1/4) AAS
>>175
"超限回繰り返す" というのは超限帰納法を用いるという意味です。
超限帰納法が理解できていないあなたに理解するのは無理ですよ。
187(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)20:50 ID:G5rtMfGn(19/22) AAS
>>186
だから?
どうした?
188(2): 2020/01/01(水)20:54 ID:peO/29Z+(2/4) AAS
>>187
あなたがムリゲーといったのでムリゲーやってんのはあなたの方だと指摘したまで。
超限帰納法も勉強しないで公理的集合論について語るなんておこがましいにもほどがある。
189: 2020/01/01(水)21:20 ID:E03EXCHH(6/10) AAS
>>188
>勉強しないで…語るなんておこがましいにもほどがある。
◆e.a0E5TtKEは
「俺様の直感は完璧」
と自惚れる傲岸不遜な直感至上主義者だから
(自己愛性人格障害者ともいうが)
190(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)21:42 ID:G5rtMfGn(20/22) AAS
>>188
>あなたがムリゲーといったのでムリゲーやってんのはあなたの方だと指摘したまで。
>超限帰納法も勉強しないで公理的集合論について語るなんておこがましいにもほどがある。
笑えるわ
「あなたがムリゲーといったので」
だったら
「ムリゲーでない」ことを
自分が、貴方のお勉強した(お得意の?w)”超限帰納法”で証明すればぁ〜?
お互い、相手を
「ムリゲー」と言い合いしてもさ
省4
191(4): 2020/01/01(水)21:57 ID:peO/29Z+(3/4) AAS
>>190
既に証明してレスしましたよね?
でもあなたは論理式読めないし読むつもりもないんでしたよね?
基本あなたのスタイルとしては証明は読まないし読めるようになりたいとも思わないんでしたよね?
ココでセミナーまがいの事するつもりもないと。
でも反論はすると。
理解みできてないのに何を根拠に反論してるんですか?
192: 2020/01/01(水)22:04 ID:E03EXCHH(7/10) AAS
>>191
◆e.a0E5TtKEはただ直感するだけの白痴だからな
だから平気でωが極限順序数であることに真っ向から反する
>>176のような「アルゴリズム」を口にする
(これが不可能であることは>>183に書いたが
要するにNeumannのωに最も右の(つまり最大の)要素が存在しないから)
間違った直感には犬の糞ほどの価値もないw
193: 2020/01/01(水)22:04 ID:E03EXCHH(8/10) AAS
>>191
◆e.a0E5TtKEはただ直感するだけの白痴だからな
だから平気でωが極限順序数であることに真っ向から反する
>>176のような「アルゴリズム」を口にする
(これが不可能であることは>>183に書いたが
要するにNeumannのωに最も右の(つまり最大の)要素が存在しないから)
間違った直感には犬の糞ほどの価値もないw
上下前次1-新書関写板覧索設栞歴
あと 809 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.018s