[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
221(9): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)12:15 ID:YLjNnjPy(8/11) AAS
>>211
＞だいたい…{{}}…はただしくはシングルトンですらない
＞集合ですらないからだｗ
おまえ、数学が分かってないね
シングルトンの後者関数の極限で、ωを定義するってこと
ωを、可算無限シングルトンと名付けるってこと
それは、左右に括弧 { と } とが、可算無限ならんだものと解釈できるということ
それは、下記時枝の可算無限個ある.箱（いまの場合可算無限個の { と } ）と同じ解釈だよ
お前は、数学の定義分かってないな
後者関数の極限が、存在しない？？
笑えるよ
>>157より再録
(参考)
過去スレ20 再録 2chｽﾚ:math
時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
(引用終り)
222(2): 2020/01/02(木)12:22 ID:v54b6Yz+(2/7) AAS
>>221
>>211の
>＞だいたい…{{}}…はただしくはシングルトンですらない
>＞集合ですらないからだｗ
という指摘は正しい。
それは、◆e.a0E5TtKEの集合の表し方が間違っていることを指摘している。
223(2): 2020/01/02(木)12:45 ID:v54b6Yz+(3/7) AAS
>>221
>>211の
>そもそも…{{}}…には一番外側の{}がないから、
>一番外側の{}を外して、中の要素を取り出すことができない
>つ・ま・り、集合ではない
も正しい。集合の書き方は、高校1年で習うようなこと。
◆e.a0E5TtKEの定義はこれに反する。
224(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)13:48 ID:YLjNnjPy(9/11) AAS
>>222-223
数学の 定義と 解釈と
の違いが、分かってない
（>>221ご参照）
それでは、
数学はできないだろう
226: 2020/01/02(木)14:50 ID:lJNP8tAT(14/23) AAS
>>221
>おまえ、数学が分かってないね
数学が分かってないのは、◆e.a0E5TtKE、貴様だ
>シングルトンの後者関数の極限で、ωを定義するってこと
正しく極限をとれば、Zermelo構成でもωは集合として存在するだろう
しかし
>ωを、可算無限シングルトンと名付けるってこと
>それは、左右に括弧 { と } とが、可算無限ならんだものと解釈できるということ
とはならない
ωは極限順序数であって後続順序数ではない
つまりωより小さい最大の順序数である前者ω-1は存在しない
したがってωより小さい順序数（つまり自然数）すべてについて
∈降下列（当然有限長）が存在するようにするには
ωが無限個の自然数を要素としてもつ必要がある
逆にωが無限個の自然数を要素として持てば
それがいかなるものであってもZermelo構成の
順序数としての条件を満たす
>それは・・・●●の可算無限個ある.箱（いまの場合可算無限個の { と } ）と同じ解釈だよ
●●の話はしないが、もし貴様がまだ
「可算無限列には最後の箱がある！」
と言い張るなら、ｊこう言い返すまでだ
「そんなものはねぇよ、ダラズが！！！」
232(1): 2020/01/02(木)16:43 ID:v54b6Yz+(5/7) AAS
>>231
>>221の
>シングルトンの後者関数の極限で、ωを定義するってこと
>ωを、可算無限シングルトンと名付けるってこと
という趣旨に従って>>229を書いた。
◆e.a0E5TtKEの意図に従った「…」は、数列を表すときなどに用いるような、いわゆるどこまでも同じ状態が続くという意味での「…」の解釈になると思われる。
237(1): 2020/01/02(木)17:19 ID:G/YeCJ4m(3/8) AAS
>>221
>シングルトンの後者関数の極限で、ωを定義するってこと
おまえが言ってるのは「lim[n→∞]nは収束する」と同じことだｗ
近所の高校生に教わってこいｗ
238(1): 2020/01/02(木)17:24 ID:G/YeCJ4m(4/8) AAS
>>221
>お前は、数学の定義分かってないな
>後者関数の極限が、存在しない？？
>笑えるよ
おまえ自分で自分を「あほバカ」って言ってる割に自信たっぷりに上から目線だなｗ
口先では謙遜しておきながら実際の行動はまるで逆ｗ
真のサイコパスはおまえｗ
239(1): 2020/01/02(木)17:29 ID:G/YeCJ4m(5/8) AAS
>>221
>時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
まったく的外れな引用
「コーシー」という単語に脊髄反射してるだけｗ アホ過ぎｗ
243(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)21:37 ID:YLjNnjPy(10/11) AAS
>>221 補足
>＞だいたい…{{}}…はただしくはシングルトンですらない
>＞集合ですらないからだｗ
現代数学が分かってないな〜
まず、定義ありきだよ
（下記の渕野先生の不完全性定理の話とか、ZFCGの話を見てごらんｗ（＾＾；）
その定義されたω＝可算無限シングルトン を、どう理解するのか？
それは、極限から定まる性質を見ることだ
あなた方のいうことは、定義されたωを括弧={と }と を使ってどう表現すべきかってことでしょ？
一番外に 括弧= {と }とが、表現に、必要なら
｛ …{{}}… ｝と表現するように、”表現”を定義すれば、良いだけのことだよｗ
(参考：渕野先生)
外部ﾘﾝｸ:researchmap.jp
カントルの精神の継承
無限集合の数学／超数学理論としてのカントルの集合論のその後の発展と，その「数学」へのインパクト
渕野 昌 2018 年 11 月 10 日 (23:10 CET) 版
P14
5 ゲーデルの加速定理と数学の自由性 ? 22世紀の数学としての集合論
P17
本稿の最初に引用した，[Cantor 1883] でのカントルの「数学の自由性」に関す
る言及は，広義の数学という意味で「科学の自由性」と読み替えたときにも，十
分に意義を持つものと思う
ゲーデルの第 1 不完全性定理は，数学の無尽蔵性と解釈することもできる (こ
の解釈に関しては，[渕野 2013],[渕野 2016] 等も参照されたい)．
この考察を超数学で考察することで高次の証明を得
るという， 新しいタイプの数学研究を行なうことで，人間にとって
理解可能な数学の領域を拡張してゆくことが，近未来における
数学の存続のための重要な鍵の一つとなる，ということは十分に
ありうるし，むしろ，それ以外のシナリオはありえないようにも思えるのである．
（参考：ZFCで足りないなら、新たに別の公理を加えたZFCG）
外部ﾘﾝｸ:ja.yourpedia.org
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。
(引用終り)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.050s