[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋5 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
661: 2022/11/20(日)15:09 ID:U+EhxSyl(7/11) AAS
一部の低学歴のせいで国語スレと化している
662(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/11/20(日)18:15 ID:q2ItwJVs(13/16) AAS
>>638
(引用開始)
>>637 補足
(引用開始)
１）決定番号M0,M1,M2,・・,M99 と書く
２）これ通です。代数学や整数論ではね
３）しかし、sup(M0)が問題になる
確率論の問題のときには
この記法が、人を錯覚させます
(引用終り)
省22
663: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/11/20(日)18:15 ID:q2ItwJVs(14/16) AAS
>>662
つづき
(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。
選択公理は、それ自身もまたその否定もほかの公理からは証明できないものであること、すなわち独立であることが示された（クルト・ゲーデル、ポール・コーエン）が、これは公理的集合論における大きな成果であろう。なお、ZF（ツェルメロ＝フレンケルの公理系）に一般連続体仮説を加えると選択公理を証明できる[注釈 1]。従って、一般連続体仮説と選択公理は何れもZFとは独立だが、前者の方がより強い主張であると言える。ZFに選択公理を加えた公理系をZFCと呼ぶ。
省2
664: 2022/11/20(日)18:35 ID:U+EhxSyl(8/11) AAS
>>662
>”「固定」が選択公理による”
>などと、
>言いそうなのでｗ
お薬飲み忘れちゃダメですよ
665(2): 2022/11/20(日)18:38 ID:U+EhxSyl(9/11) AAS
選択公理により存在保証される完全代表系から一つ取って固定するのは回答者の自由だろｗ
時枝戦略はそうしているから固定を拒否できない。拒否すれば時枝戦略改悪の反則負け。
666: 2022/11/20(日)18:40 ID:U+EhxSyl(10/11) AAS
で、時枝証明の間違い箇所はまだ？
667: 2022/11/20(日)19:01 ID:NNcRY5Gj(12/15) AAS
>>665
1は頭悪いから自分の主張すら正しく正当化できないｗ
選択公理は代表選出関数の存在を主張しているが
その具体的な構成については当然ながら述べていない
一方、箱入り無数目において、
回答者は自分が出来ることだけをやり
「魔法」を使わないと規定するなら
代表選出関数を使えなくなる
つまり、どの列を選ぶかによって
同じ列でも、選ぶか選ばないかで
省7
668: 2022/11/20(日)19:03 ID:NNcRY5Gj(13/15) AAS
1は単に自分の直感に反することが理解できず駄々こねてるだけ
相対論は間違ってる、と喚くバカと同じ
ちなみに1が「相対論は間違ってる」といわないのは
相対論を理解してるからではなく、その逆
理解する気もなく「アインシュタインは神！」と
権威を盲信してるだけの大馬鹿ｗｗｗ
権威を嫌うアインシュタインはそういう馬鹿が大嫌いだろうな
669: 2022/11/20(日)19:08 ID:NNcRY5Gj(14/15) AAS
アインシュタインの特殊相対性理論は、別に難しいアイデアは何もない
ただ、同時は誰が見ても同じ筈という常識を真っ向から否定しているから
前例がまったくない新しい考えである
よく「アインシュタインは絶対静止系を否定した」とか
シッタカでいう馬鹿がいるが実にトンチンカン
もちろん、相対論でも絶対静止系は否定されてるが
そんなもんは既にニュートン力学で否定されてるｗ
相対論は絶対同時すら否定してる点でさらに進歩してる
で、相対論が間違ってると吠えるやつは
だいたいその「絶対同時の否定」が
省3
670: 2022/11/20(日)19:12 ID:NNcRY5Gj(15/15) AAS
>>662
>”「固定」が選択公理による”
>などと、言いそうなので
1が本気でそう思ってるなら、マジで日本語が読めない馬鹿ｗ
100列の固定は、選択公理と関係ないｗ
選択公理は、列からの代表の選出に用いてるだけ
そして、「箱入り無数目」は
その代表元が一意的に決まっていることを前提してるが
それは100列の固定とは関係がない
そんなこともわからん1は、
省2
671(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/11/20(日)20:43 ID:q2ItwJVs(15/16) AAS
>>665
＞選択公理により存在保証される完全代表系から一つ取って固定するのは回答者の自由だろｗ
＞時枝戦略はそうしているから固定を拒否できない。拒否すれば時枝戦略改悪の反則負け。
それ面白いな
１）確かに、「決定番号1だぁ～！」と、神様ならば言うだろうね
決定番号1にできて、その代表があれば、全ての数を箱を開けずに問題列の数を全て当てられる
２）決定番号２にできれば？
それも神だろ
３）決定番号３にできれば？
それも神だろ
省20
672(1): 2022/11/20(日)21:46 ID:U+EhxSyl(11/11) AAS
>>671
>・同値類内の一つの形式的冪級数を選べるか？
何言ってんだこのバカ
同値類（R^N/〜の元）は同値な実数列全体の集合だぞ？
基本中の基本が分かってないな
673(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/11/20(日)23:56 ID:q2ItwJVs(16/16) AAS
>>672
(引用開始)
>・同値類内の一つの形式的冪級数を選べるか？
何言ってんだこのバカ
同値類（R^N/～の元）は同値な実数列全体の集合だぞ？
基本中の基本が分かってないな
(引用終り)
やれやれｗ
柳田伸太郎 名古屋大学（下記より引用）
「P38
省29
674(11): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/11/21(月)00:24 ID:xxkmNSro(1/2) AAS
>>671 補足追加
(引用開始)
・問題の箱の中の数が分かってない
↓
形式的冪級数の係数が不明
・そういう状態で、決定番号ｎ(有限)の多項式になるように
・同値類内の一つの形式的冪級数を選べるか？
・どうやって選ぶのか？
・問題の形式的冪級数について、具体的にその係数を知らないのに・・？
・具体的にその係数を知れば、できるよねｗ
省27
675: 2022/11/21(月)01:10 ID:tpv1tgKr(1/8) AAS
>>673
形式的べき級数についての理論をまったく使ってない時点で形式的べき級数を持ち出す意味無し
無意味な行為はバカの証拠
676: 2022/11/21(月)01:26 ID:tpv1tgKr(2/8) AAS
>>671
>・問題の箱の中の数が分かってない
> ↓
> 形式的冪級数の係数が不明
>・そういう状態で、決定番号ｎ(有限)の多項式になるように
>・同値類内の一つの形式的冪級数を選べるか？
>・どうやって選ぶのか？
>・問題の形式的冪級数について、具体的にその係数を知らないのに・・？
>・具体的にその係数を知れば、できるよねｗ
>・それしか、無いんじゃない？ｗ
省3
677: 2022/11/21(月)01:34 ID:tpv1tgKr(3/8) AAS
>>674
>”まだ知らないこと（未知）”については、ある確率で推測する手段を考えるのが、確率論の基本
>（未知の部分は、普通 確率変数Xi などをあてる）
「未知の部分は確率変数としなければならない」
と書かれた文献を示せ。
言い訳せずに示せ。示せないなら数学板から出ていけ。
678: 2022/11/21(月)01:40 ID:tpv1tgKr(4/8) AAS
>>674
> で、100人バージョン>>540で、
> 決定番号 M0,M1,M2,・・,M99 たちは
> 有限次元の存在であって
> 数学的（あるいは確率論的）には、
> ”無限次元線形空間 vs 有限次元の存在”のところで
> ここ注意して見ないと、
> 気づかないギャップがある（普通はスルーしてしまうような）
じゃ時枝証明のギャップ示して
示せないなら数学板から出て行ってね
679: 2022/11/21(月)01:45 ID:tpv1tgKr(5/8) AAS
任意の実数列の決定番号は自然数である Y/N
680: 2022/11/21(月)06:45 ID:LhjBErof(1/12) AAS
>>674
>念押しの注意だが
1よ、自分が分からないときの対処方法を教えてやるよ
「分かったふりして上から自分の思い込みを書き散らかす」
のは馬鹿のすること
利口なヤツはこういうんだ
「分からないから教えてください」
さあやってみなｗ
上下前次1-新書関写板覧索設栞歴
あと 322 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 3.218s*