[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
132(2): 06/11(火)16:06 ID:S9+mn8pb(2/2) AAS
例えば
∀ｍ，ｎ∈Ｎ．¬（（ｍ＞ｎ）∧（ｍ＜ｎ））
というために、別に２つの箱の中の自然数を公開する必要は全くない
133(1): 06/11(火)16:12 ID:+82XMG1Z(4/18) AAS
>>131
だから、絶対にカンニングが起きないように論理的に縛れよ
お前の主張は一様連続であることのステートメントは、∃ε∀xではなくて∀x∃εでεがxに依存してない場合を言うなんて言ってるようなもんだ
134(1): 06/11(火)16:17 ID:+82XMG1Z(5/18) AAS
>>132
それなんの関係があるの？
135(1): 06/11(火)16:24 ID:U3so98oO(2/11) AAS
>>133
なんで先頭に∀を持ってくることでカンニングしてることになるの？
136(1): 06/11(火)16:43 ID:+82XMG1Z(6/18) AAS
>>135
なんでそれがわからないのかがほんと不思議なんだけど
137: 06/11(火)17:09 ID:U3so98oO(3/11) AAS
>>136
君は分かってるんだ 説明できないのに
138(1): 06/11(火)17:10 ID:JWDfvoYg(1/3) AAS
>>134
大いに関係ある
つまり、2列が2列とも他の列よりも大きな決定番号を持つことがない という定理によって
2列の中で箱入り無数目の予測が成功する確率が少なくとも1つ存在する、と言えるから
したがって
>だから、絶対にカンニングが起きないように論理的に縛れよ
は論理を知らぬ🐎🦌の戯言
139(1): 06/11(火)17:13 ID:JWDfvoYg(2/3) AAS
＞なんでそれがわからないのかがほんと不思議なんだけど
なんで無限列すべてを知らなくても同値類の代表元がとれるのか
君にわからないのかがほんと不思議なんだけど
もし🐒でなく人間だとしたら、だけど
140: 06/11(火)17:15 ID:JWDfvoYg(3/3) AAS
∀ｍ，ｎ∈Ｎ．¬（（ｍ＞ｎ）∧（ｍ＜ｎ））
の証明は基本的に背理法である つまり
∃ｍ、ｎ∈Ｎ．（（ｍ＞ｎ）∧（ｍ＜ｎ））
から矛盾を導くことで示される
141(2): 06/11(火)17:16 ID:+82XMG1Z(7/18) AAS
>>139
それ今の話と何の関係があるの？
142: 06/11(火)17:20 ID:/kyQ9Kf9(1/2) AAS
>>141
>>138を見よ
143(1): 06/11(火)17:24 ID:/kyQ9Kf9(2/2) AAS
>>141
ああ、139へのレスか
君は論理式も書かずに、当てるべき箱が∀でくくられると妄想し
だから当てるべき箱を開けることなしに同値類の代表元は得られないと決めつけてるが
そんなことは全然なく、どこから先の尻尾でも必ず同値類の代表元は得られるし
それは必ず同じ値であるから、カンニングなどないと断言できる
わからないのは君がまったく考えてないから 考えることなしに数学は決して理解できない
144: 06/11(火)17:35 ID:+82XMG1Z(8/18) AAS
>>143
ようするに、∀が先頭についてることすら認識できてないってこと？？？
145(2): 06/11(火)17:39 ID:+82XMG1Z(9/18) AAS
彼の主張は、攻略法があるというのは
例えば箱が1個の場合だと
∀x∃y. x=y
の形の命題を示せばいいってこと
146: 06/11(火)17:40 ID:+82XMG1Z(10/18) AAS
普通に考えておかしいのだが、彼は先頭に∀をつけてることすら認識できてない
147(1): 06/11(火)18:19 ID:5SrpSFfc(5/10) AAS
>>145
>箱が1個の場合だと
そんな場合は存在しない かならず無限個ある
148(2): 06/11(火)18:21 ID:+82XMG1Z(11/18) AAS
>>147
こいつ頭おかしいのか？
149: 06/11(火)18:23 ID:5SrpSFfc(6/10) AAS
・箱は無限個ある
・無限個の箱全部ではなく当てたい箱の後から始まる尻尾に当たる箱全部を開ければ代表がわかる
・もし無限個の箱からなる列の決定番号が当てたい箱より前なら、当てたい箱の中身は代表の対応する箇所の項と一致する
この３行が「彼」には理解できず ∀ガーとわけもわからずわめきちらす
150: 06/11(火)18:23 ID:5SrpSFfc(7/10) AAS
>>148 頭悪いのは君 残念だったね
151: 06/11(火)18:26 ID:5SrpSFfc(8/10) AAS
各同値類に対して代表は１つである
したがって同値類の列の取り方で代表が変わることはない
これは代表の定義であるから私にいちゃもんつけられても困る
いちゃもんつけるなら代表というものを定義した人にいってくれ
まあ無駄だけどね
上下前次1-新書関写板覧索設栞歴
あと 851 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s