[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
173(1): 2024/06/12(水)04:30 ID:HnQbEE+9(4/15) AAS
無限列の尻尾同値類の代表がとれることを「カンニング」というなら
そもそも選択公理が「カンニング」を許容していることになる
つまり「カンニング」がいかんという主張は
選択公理がいかんという主張となる
174(2): 2024/06/12(水)06:17 ID:M1GZfUZp(2/20) AAS
>>173
∀を先頭に置きっぱなのがカンニングだって言ってんだよ
記憶力ダチョウかよ
175(1): 2024/06/12(水)07:52 ID:YeZ0frGk(1) AAS
>>174
具体的に
「箱入り無数目」記事で書かれていることを君が述語論理式で記述した上で、
何が∀で束縛されるのか
そしてそれによって具体的にどこでカンニング、すなわち当てる箱の開封、が発生するのか
を示されたい
176(1): 2024/06/12(水)07:57 ID:K+PhOrBu(1/3) AAS
>>2
>いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.
>いま
> D >= d(s^k)
>を仮定しよう.この仮定が正しい確率は99/100，
（中略）
>仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
>(代表)列r のD番目の実数rDを見て，
>「第k列のD番目の箱に入った実数はs^k(D)＝rD」
>と賭ければ，めでたく確率99/100で勝てる.
省4
177: 2024/06/12(水)08:00 ID:H2WjMFc4(1/18) AAS
>>169
結局それを説明できる頭がないか、よほど都合が悪いのか…
178: 2024/06/12(水)08:01 ID:K+PhOrBu(2/3) AAS
>>176
もし、D+1番目以降のnでrn₌s^k(n)である場合
D+1>=d(s^k)だろうとわかるが
D>=d(s^k)かどうかはわからない
という点に注意せよ
179: 2024/06/12(水)08:03 ID:H2WjMFc4(2/18) AAS
>>174
∀を先頭に置きっぱだとなぜカンニングとなるのか説明しろって言ってんだよ
記憶力ダチョウかよ
180: 2024/06/12(水)08:08 ID:H2WjMFc4(3/18) AAS
>>175
先頭に∀を置く←カンニングを容認した論理
先頭の∀を後ろに移動できない←カンニングしている証拠
後ろに∀を置く←カンニングを禁止する論理
などとほざくアホには無理です
181(1): 2024/06/12(水)08:10 ID:K+PhOrBu(3/3) AAS
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn₌rn
というのは、決定番号の定義から言えることなので、カンニングもクソもない
そして同値類の代表をとる定義を満たす関数rが存在する、というのも
選択公理からいえることなので、これまたカンニングもクソもない
100個の無限列の100個の決定番号それぞれに対して
自分の決定番号dと自分以外の決定番号Dの最大値の間の不等式
d＞D
を満たす列はたかだか1つしかない これまたカンニングもクソもない
182: 2024/06/12(水)08:15 ID:H2WjMFc4(4/18) AAS
Q. ∀を先頭に置きっぱだとカンニングとなる理由を説明せよ
A. 先頭に∀を置く←カンニングを容認した論理
これで答えた気になってるって頭ダチョウかよｗ
183: 2024/06/12(水)16:23 ID:M1GZfUZp(3/20) AAS
>>181
見ての通り∀と∃の順序に無頓着だろ
εδからやり直せよ
184(2): 2024/06/12(水)16:32 ID:M1GZfUZp(4/20) AAS
∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r
わいはもっと強い主張を証明できたし、選択公理なんてでてこねーぞ
185: 2024/06/12(水)16:36 ID:G1xaRby0(1/2) AAS
基本的にはs(無限列)からr(同値類の代表である無限列)への関数だから∀∃の順でよい
ただsから頭を落として別の頭に挿げ替えても同じrが得られるのが重要
だから当てるべき箱を開ける必要がない
尻尾の同値関係からやり直せよ🐎🦌
186: 2024/06/12(水)16:37 ID:G1xaRby0(2/2) AAS
>>184
>∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r
君、全然分かってないね 中卒？
187(1): 2024/06/12(水)16:49 ID:M1GZfUZp(5/20) AAS
∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r
から
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
が証明できることすら分かってないのかよ
188: 2024/06/12(水)17:28 ID:H2WjMFc4(5/18) AAS
>>184
それ、君のおつむと同じでぜんぜん強くないんだが
189: 2024/06/12(水)17:29 ID:H2WjMFc4(6/18) AAS
>>187
ぜんぜん分かってなくて草
190: 2024/06/12(水)17:31 ID:H2WjMFc4(7/18) AAS
∀を先頭に置きっぱだとなぜカンニングとなるのか説明まだですか？
191: 2024/06/12(水)17:34 ID:M1GZfUZp(6/20) AAS
論理式がまともに書けないやつに分かるわけないだろ
口からクソ垂れる前にεδからやり直して来いよ
192(2): 2024/06/12(水)17:35 ID:M1GZfUZp(7/20) AAS
お前らこれ見てみろよ
噴飯ものだろ
＞∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn₌rn
上下前次1-新書関写板覧索設栞歴
あと 810 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s