[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
24(2): 2019/12/22(日)00:29:59.09 ID:hH9D3fwr(1) AAS
Ωが次の性質を持つ限りZFCと両立することはできません。
・Fを
x∈F⇔∃x1∋x2∋‥‥∋xn, x1=Ω, xn=x
によって定められる集合とするときFの任意の要素はシングルトンか空集合。
・Ωは有限Zermelo ordinal numberではない。
128: 2019/12/29(日)21:35:50.09 ID:/Zdz9M/3(5/10) AAS
f(z)=z+1はリーマン球面上では放物的変換で
その唯一の不動点は∞
ちなみにω＋１はωとは異なる
つまり、リーマン球面の∞はωではない
132: 2019/12/29(日)22:34:35.09 ID:/Zdz9M/3(7/10) AAS
>>131
＞無限の定義
＞無限とは部分と全体が等しいことである
デデキントは
「A と同数（equinumerous）であるようなA の真部分集合B が存在すること」
を無限の定義とした（デデキント無限）
外部ﾘﾝｸ:ja.wikipedia.org
省5
177: 2020/01/01(水)13:54:07.09 ID:0vvVE7uB(1) AAS
AA省
222(2): 2020/01/02(木)12:22:26.09 ID:v54b6Yz+(2/7) AAS
>>221
>>211の
>＞だいたい…{{}}…はただしくはシングルトンですらない
>＞集合ですらないからだｗ
という指摘は正しい。
それは、◆e.a0E5TtKEの集合の表し方が間違っていることを指摘している。
223(2): 2020/01/02(木)12:45:14.09 ID:v54b6Yz+(3/7) AAS
>>221
>>211の
>そもそも…{{}}…には一番外側の{}がないから、
>一番外側の{}を外して、中の要素を取り出すことができない
>つ・ま・り、集合ではない
も正しい。集合の書き方は、高校1年で習うようなこと。
◆e.a0E5TtKEの定義はこれに反する。
235(1): 2020/01/02(木)16:54:08.09 ID:G/YeCJ4m(1/8) AAS
>>201
>４）こうやって構成した ペアノシステムによるシングルトンのωが、正則性公理に反するはずもない
妄想乙
>Zermeloの後者関数 「0 := {}, suc(a) := {a} 」
>の
>順序位相（英語版）に関する極限点として
>ωが定義される
省2
356: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/26(水)22:52:43.09 ID:k6R9fA73(2/2) AAS
ご苦労さま
859(1): CIA 2020/04/03(金)08:08:23.09 ID:2nZLtvFr(6/12) AAS
>>856
問題文が読めてないのはTT(Tondemo Thread）の君
「さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
省14
910: 2020/07/06(月)00:50:07.09 ID:B0u50akG(1/3) AAS
>>909
まだ分かってないｗ
時枝記事に書かれているのは、100個の箱のいずれかをランダム選択して99個以上のアタリ箱を引く確率。
（「さて， 1〜100 のいずれかをランダムに選ぶ. 」がその証拠）
一方、あるm番目の箱はm-1番目の箱でもm+1番目の箱でもなく、つまり箱が一つ特定されている。
箱を一つ特定しその中身を当てる確率なんて時枝記事には一言も書かれていない、
にもかかわらず「99/100以上」だけ記事から持ってくるからおかしな話になるだけのこと。
省1
924: 2020/07/10(金)08:30:24.09 ID:e3xNYXlE(6/80) AAS
セタは公理図式の読み方も分かってないｗ
例えば分出公理で
｛ｘ∈Ｓ｜Ｐ（ｘ）｝
のＰ（ｘ）はｘが自由変数となる式なら何をいれてもいい
（例えば¬（ｘ∈ｘ））
しかし、セタは何をトチ狂ったか
「公理図式で式を入れるところは公理の式に限る それが公理主義」
省9
958(1): 2020/07/10(金)11:49:47.09 ID:/t+wH2vB(2/2) AAS
>>952
そう。多変数関数論に興味はない。
多変数関数論で新しい成果出すのは難しいから、下手に取り組まない方がいいと思う。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s