[過去ログ] スレタイ 箱入り無数目を語る部屋3 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
207: 2022/09/10(土)16:03 ID:rA2g/YIj(3/3) AAS
「箱入り無数目」では、無限列の無作為抽出などしないのだから
決定番号の分布など考える必要は全くないが、
「箱入り無数目」とは全く関係なく、無限列の無作為抽出をしたとしよう

🐎🦌は
「無作為抽出された列の決定番号は∞にならざるを得ない
 なぜなら、いかなる自然数の決定番号nをとったとしても
 小さすぎるからだ」
といいたいようだが、まさに大学に入れぬ🐵の蒙昧ぶりの典型例だw

1.無限列の無作為抽出は可能である
2.無限列に対する尻尾の同値関係は定義可能であるから同値類も存在する
3.上記2の同値類からの代表元の抽出も選択公理により可能である
4.上記1~3により、無作為抽出された無限列の決定番号は必ず自然数である

4を否定するなら1~3のいずれかを否定せねばならない
1を否定するなら大🐎🦌
2を否定するなら中🐎🦌
3を否定するなら小🐎🦌
さあ、🐎🦌、君はどれかな?w
1-
あと 795 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.093s