[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
148(2): 2024/06/11(火)18:21 ID:+82XMG1Z(11/18) AAS
>>147
こいつ頭おかしいのか？
149: 2024/06/11(火)18:23 ID:5SrpSFfc(6/10) AAS
・箱は無限個ある
・無限個の箱全部ではなく当てたい箱の後から始まる尻尾に当たる箱全部を開ければ代表がわかる
・もし無限個の箱からなる列の決定番号が当てたい箱より前なら、当てたい箱の中身は代表の対応する箇所の項と一致する
この３行が「彼」には理解できず ∀ガーとわけもわからずわめきちらす
150: 2024/06/11(火)18:23 ID:5SrpSFfc(7/10) AAS
>>148 頭悪いのは君 残念だったね
151: 2024/06/11(火)18:26 ID:5SrpSFfc(8/10) AAS
各同値類に対して代表は１つである
したがって同値類の列の取り方で代表が変わることはない
これは代表の定義であるから私にいちゃもんつけられても困る
いちゃもんつけるなら代表というものを定義した人にいってくれ
まあ無駄だけどね
152: 2024/06/11(火)19:06 ID:U3so98oO(4/11) AAS
>>148
頭オカシイのは記事の最初の文すら読めない君だね
「箱がたくさん，可算無限個ある.」
153(1): 2024/06/11(火)19:13 ID:U3so98oO(5/11) AAS
で、いつになったら先頭に∀を持ってくるとカンニングしてることになる理由を答えてくれるんだい？
まさか自分が言ったことも分からないのかい？
154: 2024/06/11(火)19:14 ID:U3so98oO(6/11) AAS
自分が言ったことすら分からないバカに箱入り無数目が分かる訳ないわなｗ
155(1): 2024/06/11(火)19:20 ID:+82XMG1Z(12/18) AAS
>>153
君の主張はそれ以前に先頭に∀はついてないでしょ
そっちのトンデモを直してから来たら？
156: 2024/06/11(火)19:31 ID:U3so98oO(7/11) AAS
>>155
やはり自分で言ったことすら分かってなかったんやな
ダメだこりゃｗ
157(2): 2024/06/11(火)19:38 ID:+82XMG1Z(13/18) AAS
先頭に∀を置く←カンニングを容認した論理
先頭の∀を後ろに移動できない←カンニングしている証拠
後ろに∀を置く←カンニングを禁止する論理
なんでこれがわからないんだ？
意味がわからん
158(1): 2024/06/11(火)19:42 ID:U3so98oO(8/11) AAS
>>157
既に反例が示されてることも分からないの？
159: 2024/06/11(火)19:43 ID:+82XMG1Z(14/18) AAS
>>158
どこに？
160(1): 2024/06/11(火)19:44 ID:U3so98oO(9/11) AAS
>>132
161: 2024/06/11(火)19:46 ID:+82XMG1Z(15/18) AAS
>>160
意味わからん
162(2): 2024/06/11(火)19:47 ID:+82XMG1Z(16/18) AAS
彼は自分が何を言ってるのか理解できているのだろうかと心配になる
163(1): 2024/06/11(火)20:03 ID:5SrpSFfc(9/10) AAS
>>162
君こそ∀が前についたらカンニングとかいうのが「嘘」だと気づこうな 🐒
164(1): 2024/06/11(火)20:04 ID:5SrpSFfc(10/10) AAS
大体当てるべき箱は∀の中に入らん
このこともわからんのは正真正銘の🐎🦌
165: 2024/06/11(火)20:11 ID:+82XMG1Z(17/18) AAS
>>164
だから、それがカンニングしてる証拠だろ
166: 2024/06/11(火)20:12 ID:+82XMG1Z(18/18) AAS
>>163
お前の自称反例は一番後ろに∀をおいてるんですけど、おめめ見えてますか？
167: 2024/06/11(火)20:14 ID:U3so98oO(10/11) AAS
>>162
それが君
その証拠に訳のわからない>>157を書き散らかしている
168: 2024/06/11(火)20:15 ID:U3so98oO(11/11) AAS
先頭に∀を置く←カンニングを容認した論理
先頭の∀を後ろに移動できない←カンニングしている証拠
後ろに∀を置く←カンニングを禁止する論理
↑
なにこれｗ
これでなんか説明したつもりなの？ 頭オカシイの？
169(2): 2024/06/12(水)04:07 ID:M1GZfUZp(1/20) AAS
結局それを理解できる頭がないか、よほど都合が悪いのか…
170: 2024/06/12(水)04:21 ID:HnQbEE+9(1/15) AAS
>>169 嘘を理解したら🐎🦌になる
171(1): 2024/06/12(水)04:25 ID:HnQbEE+9(2/15) AAS
・無限列の項全部ではなく当てたい項の後から始まる尻尾の項を知れば代表がわかる
・もし無限個の項からなる列の決定番号が当てたい項より前なら、当てたい項は代表の対応する項と一致する
・逆に言えば当てたい項が無限列の決定番号の後で、さらにその後から始まる尻尾をとれば当てたい項を当てられる
172: 2024/06/12(水)04:26 ID:HnQbEE+9(3/15) AAS
なんで>>171のような簡単なことがわからん奴が数学板にいるのか？
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) が取り出せるので
省7
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
193: 2024/06/12(水)17:42 ID:H2WjMFc4(8/18) AAS
>>192
もっと強烈なのあるよ
先頭に∀を置く←カンニングを容認した論理
先頭の∀を後ろに移動できない←カンニングしている証拠
後ろに∀を置く←カンニングを禁止する論理
194(1): 2024/06/12(水)18:34 ID:HnQbEE+9(5/15) AAS
>>192
全然おかしくないけど
「任意の無限列sと、自然数nに対して
ある無限列rが存在して
nがd(s)以上なら
sのn番目の項とrのs番目の項が一致する」
rはsの尻尾同値類の代表列
省3
195: 2024/06/12(水)18:36 ID:HnQbEE+9(6/15) AAS
>∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r から
>∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn が証明できる
その通りだが、∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r なんて使ってないし
それだと同じ同値類に属していても異なるrになってしまうから代表にならない
そんな初歩もわからん🐎🦌なのか？中卒？
196: 2024/06/12(水)18:37 ID:HnQbEE+9(7/15) AAS
「同値類の代表」が理解できない🐎🦌に大学の数学は決して理解できない
197(1): 2024/06/12(水)19:02 ID:M1GZfUZp(8/20) AAS
>>194
r=sでいいだろ
バカなの？
198(1): 2024/06/12(水)19:27 ID:M1GZfUZp(9/20) AAS
彼がやってるのは、ようするにr=sにすれば一発で証明できる命題を選択公理をこねくり回して意味不明なやり方で証明してるだけ
199(2): 2024/06/12(水)19:35 ID:HnQbEE+9(8/15) AAS
君がやってるのは、選択公理の代わりに馬鹿命題を前提して
「ほら解けた！ これがエスパー！」と吠え散らかしてるだけｗ
公立中学卒なら最初からそういえよ このIQ70代野郎が
200: 2024/06/12(水)19:36 ID:HnQbEE+9(9/15) AAS
“普通”でも“知的障害”でもない…
日本人の7人に1人、クラスに5人はいる
「IQ70以上85未満」の子どものリアル
《境界知能の生きづらさ》
bunshun.jp/articles/-/65981
201(1): 2024/06/12(水)19:47 ID:H2WjMFc4(9/18) AAS
>>197
よくねーよ
バカなの？
202: 2024/06/12(水)19:48 ID:H2WjMFc4(10/18) AAS
>>198
バカ丸出し
203: 2024/06/12(水)19:49 ID:M1GZfUZp(10/20) AAS
>>199
馬鹿命題を書いた本人が自己紹介してて笑える
204(1): 2024/06/12(水)19:49 ID:M1GZfUZp(11/20) AAS
>>201
なんで？
205: 2024/06/12(水)19:50 ID:H2WjMFc4(11/18) AAS
>>199
馬鹿命題とは？
206: 2024/06/12(水)19:50 ID:HnQbEE+9(10/15) AAS
マジで ID:M1GZfUZp は境界知能かと思えてきた
あんまりいじっちゃかわいそうかな
207: 2024/06/12(水)19:51 ID:HnQbEE+9(11/15) AAS
∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r とかいいだしたあたりから
「この人、もしかして、正真正銘の・・・」
という感じがしてきて、ざわざわしていた
208(1): 2024/06/12(水)19:51 ID:H2WjMFc4(12/18) AAS
>>204
おまえ同値類の代表元知らんのか？
ならROMってろよ 馬鹿自慢して楽しいか？
209(1): 2024/06/12(水)19:54 ID:M1GZfUZp(12/20) AAS
>>208
君の命題の証明には必要ないよ
r=sのときに自明に成り立つ
210: 2024/06/12(水)19:55 ID:H2WjMFc4(13/18) AAS
>>209
やはり知らないのか
馬鹿丸出し
211(1): 2024/06/12(水)19:57 ID:M1GZfUZp(13/20) AAS
彼の主張によると
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
これを証明するのにr=sで自明に成り立つことを使ってはいけないそうだぞ
証明の概念がぶっ壊れてやがる
212: 2024/06/12(水)19:58 ID:M1GZfUZp(14/20) AAS
証明がわからない子は小学校からやり直すべきだと思う
213(1): 2024/06/12(水)20:03 ID:H2WjMFc4(14/18) AAS
>>211
いいから同値類を勉強しなさい
同値類が分からなくて箱入り無数目が分かるはずがない
214(2): 2024/06/12(水)20:05 ID:M1GZfUZp(15/20) AAS
>>213
さっきの命題と何の関係があるの？
r=sとすればよい
かく示された
215: 2024/06/12(水)20:11 ID:HnQbEE+9(12/15) AAS
境界知能君 がんばってー（憐れみ）
216: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/06/12(水)20:17 ID:rDcpWiYY(1/2) AAS
＜繰り返す＞
2chｽﾚ:math (スレ18)
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
省4
217: 2024/06/12(水)20:22 ID:H2WjMFc4(15/18) AAS
>>214
縁なき衆生は度し難し
218(1): 2024/06/12(水)20:23 ID:rDcpWiYY(2/2) AAS
>>214
ID:M1GZfUZpさん、ご苦労さまです
スレ主です
・ここに、数学科で落ちこぼれた人が二人いる
・一人は、サイコパスのおサル>>9-12
・もう一人が、数学板に「箱入り無数目」を最初に持ち込んだ人だが
”「箱入り無数目」成立する”のマインドコントロールが入っている
省2
219: 2024/06/12(水)20:37 ID:HnQbEE+9(13/15) AAS
>>218 元祖境界知能君 囲碁板に行って~（生暖かい助言）
220: 2024/06/12(水)20:38 ID:HnQbEE+9(14/15) AAS
＞ちゃんと勉強して単位を取った者なら分かる
ああ、じゃ線形代数サボって単位落として退学した君にはわかんないな（バッサリ）
221: 2024/06/12(水)21:16 ID:M1GZfUZp(16/20) AAS
∀と∃の順序がわからないのに線形代数の単位取れたの？？？
222: 2024/06/12(水)21:50 ID:H2WjMFc4(16/18) AAS
箱入り無数目が全く分かってないのに順序もクソも無い
223: 2024/06/12(水)21:59 ID:M1GZfUZp(17/20) AAS
r=sにするだけで箱入り無数目は解決したじゃん
馬鹿なのか？
224(1): 2024/06/12(水)22:06 ID:HnQbEE+9(15/15) AAS
f(s)＝sじゃ、１つの同値類に対して１つの代表を選ぶ関数じゃなくなってアウト
225(1): 2024/06/12(水)22:11 ID:M1GZfUZp(18/20) AAS
>>224
なんでアウトなの？
226: 2024/06/12(水)22:29 ID:M1GZfUZp(19/20) AAS
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明でr=sとすればいいというのはアウトらしいぞ
どこの電波数学だよ
227: 2024/06/12(水)23:11 ID:H2WjMFc4(17/18) AAS
>>225
おまえは分からなくてよい
228(1): 2024/06/12(水)23:13 ID:M1GZfUZp(20/20) AAS
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明でr=sとすればいいというのはアウト
電波数学ここに極まれり
上下前次1-新書関写板覧索設栞歴
あと 774 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s