[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
265: 2020/01/03(金)12:05:36.52 ID:glmNLmg1(7/11) AAS
>>256
>極限 lim n→∞ xnが、その属する集合の外に出たことをもって
>「正則性公理に反する」などと、噴飯ものの議論でしかないのです
全く見当違い
無限重シングルトン{・・・{}・・・｝だといったから
定義次第では正則性公理に反すると指摘されたまで
最外側の{}がない・・・{}・・・ならそもそも集合でない
「Zermeloの自然数ｎがみなシングルトンだから
ωもシングルトンにならなくてはならない！」
とイキるのがナイーブ、つまり馬鹿だと云っている
ナイーブな直感の絶対化は人を愚かにする
483(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/13(金)08:03:17.52 ID:nz3HyF4S(2/5) AAS
>>476 補足
(引用開始)
で、例えば 十六元数は、「その全体はしばしば S で表される」らしい（下記）
時枝にならい 十六元数の可算無限長の数列を作ります
時枝理論を適用して、十六元数列 S：S1,S2,・・Si,・・ で、数列のしっぽの同値類を、実数Rと同様に作り、代表からSiを確率1-εで的中できま〜す！
（時枝理論が正しければねぇ〜ｗｗ（＾＾； ）
(引用終り)
１）可算長の十六元数列 S：S1,S2,・・Si,・・ で、数列のしっぽの同値類を、実数Rの列と同様に作ります
２）そうすると、数列の しっぽの部分のみ実数という同値類が考えられます
S'：S1,S2,・・Si,・・,rj,rj+1,・・ とします （rj,rj+1などは実数。S1,S2などは実数ではない十六元数です）
３）この同値類の代表として 上記S'を選べば、しっぽの部分が実数でも、代表を使う数当ての候補 Sdに 十六元数が出てくる可能性ありです
４）そうすると、明らかに、十六元数の数列を使うことは、おかしいと分かる
つまり、出題が実数列なら、それを十六元数の数列として扱うことは、不適切です。実数列の同値類を使うべき
５）同じことが、>>466のコイントス {0,1}を、実数Rの数列として扱うことについても言える
つまり、DR Pruss氏が、mathoverflowの回答で指摘しているように
（>>465より）
コイントス（＝coin flips）で、Ω={0,1}^Nなのに、実数の数列の同値類と代表なら、”guess π”とかなって
それって、”Intuitively this seems a really dumb strategy. ”じゃんということ（下記）
６）結局、実数の「数列のしっぽの同値類と代表と決定番号から、ある箱Xiの数を確率1-εで的中できる」理論なんて時枝記事は、おかしいと分かる
QED
（＾＾；
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
十六元数
外部ﾘﾝｸ:mathoverflow.net
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
DR Pruss氏
(抜粋)
If not, then guess π. (Yes, I realize that π not∈{0,1}.)
Intuitively this seems a really dumb strategy.
576: 2020/03/21(土)20:46:05.52 ID:XWnhFsyt(6/6) AAS
>>574
Sの意味は知りません
ちなみにSの数は複数個
>確証ないよね
大阪大学卒かどうかは知りませんが
工学部卒は本当だろうと思いました
数学科卒なら正規部分群の定義を間違うことはありませんから
689: 2020/03/27(金)09:27:00.52 ID:asHKGG7T(6/35) AAS
日高、イナ、酒浸り、哀れな素人、Mara Papiyas等の
分かりやすいＨＮが好ましい
730: That's done 2020/03/27(金)17:22:21.52 ID:asHKGG7T(33/35) AAS
>>723
>>724
「ある箱の数当て」ではないよ
「当たる箱の選出」だよ
箱の中身は定数だからiidなんて無用
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s