[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
2(4): １３２人目の素数さん [sage] 2019/12/20(金) 23:31:34.02 ID:ZaXFXilg(2/2) AAS
まあ、カッカとせずに、のんびりやりましょう（＾＾
あと、関連事項は、>>1のスレから適宜写してくることにしましょう（＾＾
なお、私は
『おっさんずラブ』ならぬ、おっさんずゼミは・・ (゜ロ゜;
おっさんずゼミ＝「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」、それやる気ないです
おれは、そんな趣味ないよｗ（＾＾；
好きなときに好きなことを書かせてもらいます
５CH数学板は、遊びです
https://ja.wikipedia.org/wiki/%E3%81%8A%E3%81%A3%E3%81%95%E3%82%93%E3%81%9A%E3%83%A9%E3%83%96
おっさんずラブ
(抜粋)
『おっさんずラブ』は、2016年からテレビ朝日系列において放送されているテレビドラマシリーズである。同年12月31日（30日深夜）に『年の瀬 変愛ドラマ第3夜』として単発放送された[1][注釈 1]後、「土曜ナイトドラマ」枠で2018年に第1シリーズ[2]、2019年に第2シリーズが放送予定である。
(引用終り)
172(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/01/01(水) 11:31:00.87 ID:G5rtMfGn(14/22) AAS
>>166 補足
１．このZermeloの可算無限シングルトンの議論は、
数代前のガロアスレを起点として（随分前なので探すを省略するがご容赦）
哀れな素人さんのスレに飛び火して、数スレを消費し
哀れな素人さんの「他のスレでやってくれ」と言う要請（「基礎スレがないからそれを立てよう」という要請もあって）
この初代スレ、「現代数学の系譜 カントル 超限集合論」 2chｽﾚ:math
が立った
２．もともと、ガロアスレのときから、おサルとの論争が発端でね
その継続なんだ
３．議論に参加するのは勝ってだが、一応経緯は、上記の通りだよ
私は、基本的にはおサル以外の相手をするつもりない
（＝おっさんずゼミ やる気無い >>2に書いた通り。また、おサルの相手も適当にやります。あしからず ｗ（＾＾； ）
以上
181: １３２人目の素数さん [] 2020/01/01(水) 16:54:43.34 ID:E03EXCHH(2/10) AAS
>>157
◆e.a0E5TtKE 2020年二番めのトンデモ発言
>・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）ができる
・・・{{{Φ}}}・・・ をよく見よう
一番外側の｛｝がないね
つ・ま・り、集合ではないんだな
（正則性公理を満たさないという指摘に対する
対応の結果がこれなら完全な自爆行為だな）
>>158
>極限で定義したと言っている
◆e.a0E5TtKEのナイーブな直感だろ
でもその直感、間違ってるから
>>164
◆e.a0E5TtKE 2020年二番めのトンデモ発言（続）
>番号 ∪a
>0:=Φ
>1:={Φ} {0}
>2:={{Φ}} {0,1}
> ・
> ・
>n:={・・{Φ}・・} {0,1・・n-1}
> ・
> ・
> ↓（極限 lim n→∞ ）
>
>ω:=・・・{Φ}・・・ {0,1・・n-1・・}（＝：N（自然数）*)）
Φの外の{}と自然数を対応付けたといいたいようだが
そういう動物レベルのナイーブ直感じゃ
全然数学にはならないんだな 間違ってるから
>>170
>私の書いていることの殆どは、典拠が付いているはず
典拠になってないけど
君、検索した文章、全然読めてないね
それじゃ数学は無理
>冷静になれよ
君こそ冷静になったら？
こんな初歩的な間違いにいつまで気づけないのは
人間としてまったく恥ずかしいよ
183(3): １３２人目の素数さん [] 2020/01/01(水) 16:56:53.42 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のシングルトンが生成される
>フォン・ノイマン宇宙に存在する、超限回繰り返しよるω＝Nに対しては
>→：（→は、一番右のΦを残すように不要の{}とΦを除く操作）
>という集合操作、それは”超限回”の操作に属するだろうが
>それを認めれば、ノイマン構成の集合からZermelo構成の集合が導かれる
ノイマン構成の自然数nの「一番右のΦ」はどの要素の中にある？
自然数n-1の要素の中だよな？
◆e.a0E5TtKEの言い分では
「ωの一番右の要素中の一番右のΦを残すように
不要の{}とΦを除く操作を実施すれば
Zermeloのシングルトンωが生成される」
となるが、実は致命的な欠陥がある
ωには「一番右の要素」が存在しない！
（つまりωは後続順序数ではない！）
したがって◆e.a0E5TtKEのナイーブな直感による
「アルゴリズム」は、ノイマンのωの中の
ありもしない「一番右の要素」を探しにいったまま
永遠に戻ってこない
>（勿論、極限として理解する方が分り易いのですが）
正しく極限をとればシングルトンにならないことは明らか
Zermelo構成の順序数がシングルトンになるのは
後続順序数であるときそのときに限る
極限順序数の場合にはZermelo構成の順序数は
無限集合にならざるを得ない
(「自分未満の任意の数への∈降下列が存在する」
という性質を満たすとして）
262: １３２人目の素数さん [] 2020/01/03(金) 11:38:52.85 ID:glmNLmg1(4/11) AAS
>>253
>今問題になっているのは
>1,2‥の上極限としてどのような集合をあてがうべきなのか
その通り
>今は、あなたの主張である
>Zermelo流ではωにあてがわれる集合Ωとしては
>Ω自身も、その元も、そのまた元も、‥
>どこまで行ってもsingletonしか現れないものがあてがわれる。
>その存在を認めてもZFCの公理となんら矛盾しない。
>が問題になっているのだから。
その通り
まずΩがsingletonだというだけで
極限順序数であることと矛盾する
Ωの唯一つの要素がΩの前者になってしまうから
Ωの前者、さらにその前者・・・と遡れると
当然正則性公理と矛盾するが、すでに
前者が存在するだけで矛盾する
要するにΩが存在するとしても
その要素は唯一ではない
さらにいえば有限個でもない
なぜなら要素中の最大値が存在すれば
それがΩの前者になってしまうから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s