[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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とすればいいというのはアウト
電波数学ここに極まれり
229: 2024/06/12(水)23:16 ID:H2WjMFc4(18/18) AAS
>>228
よかったね
230: 2024/06/13(木)08:53 ID:9Ef1shUv(1/2) AAS
f(s)=sという関数では何も情報が得られない
箱入り無数目では、無限列のある箇所から先の尻尾の情報から、無限列全体の情報を得ようとする
このときf(s)=sという関数だと、尻尾に適当な頭をつけた偽無限列そのものの情報しか得られない
無限列から尻尾同値類の代表を返す関数の場合、
仮に尻尾が決定番号（無限列と代表が一致する尻尾の先頭）よりも後ろだったら
関数の適用により、決定番号〜尻尾の先頭の直前の情報が得られる
そこがポイント
省2
231(2): 2024/06/13(木)16:49 ID:0N/Uftjc(1/5) AAS
r=sで証明できてるのに何言ってんだこいつ
232: 2024/06/13(木)17:10 ID:32iuQTgG(1/4) AAS
>>231
君は分からなくていいよ
233(1): 2024/06/13(木)17:11 ID:9Ef1shUv(2/2) AAS
>>231 できてないよ 君が選択公理による無限列の尻尾同値類の代表を返す関数を理解できないのをごまかしてるだけ
234(1): 2024/06/13(木)17:30 ID:0N/Uftjc(2/5) AAS
>>233
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
235(1): 2024/06/13(木)17:53 ID:32iuQTgG(2/4) AAS
>>234
一生言ってなさい
縁なき衆生は度し難し
236(1): 2024/06/13(木)18:27 ID:0N/Uftjc(3/5) AAS
>>235
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
237(1): 2024/06/13(木)18:59 ID:32iuQTgG(3/4) AAS
>>236
一生言ってなさい
縁なき衆生は度し難し
238(1): 2024/06/13(木)19:09 ID:0N/Uftjc(4/5) AAS
>>237
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
239(1): 2024/06/13(木)19:35 ID:32iuQTgG(4/4) AAS
>>238
一生言ってなさい
縁なき衆生は度し難し
240: 2024/06/13(木)19:44 ID:0N/Uftjc(5/5) AAS
>>239
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
241(1): 2024/06/14(金)05:56 ID:7r1vwZVg(1/11) AAS
>∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
>の証明の話してるんだよ？
ただ上記を満たせばいいと思った境界知能君へ
満たすべきは、正しくはこれだから
∃f∀s1,s2∈R^N.s1~s2⇒s1~f(s1)＆s2~f(s2)＆f(s1)＝f(s2)
ここで
s1~s2⇔∃d∈N.∀n.(n>＝d)⇒s1(n)=s2(n)
242(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/06/14(金)07:28 ID:6A8p+Dyj(1/3) AAS
＜繰り返す＞
2chｽﾚ:math (スレ18)
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
省4
243: 2024/06/14(金)07:41 ID:CGMOaeKS(1) AAS
>>242
>・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
>大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
確率論は「箱入り無数目の箱は確率変数として扱わなければならない」なんてことを強制しない
ちゃんと勉強して理解した者なら誰でもわかる
わからないのは大学の確率論を
・履修しなかったか
省13
244: 2024/06/14(金)07:48 ID:aKckKf/J(1) AAS
∃f∈(R^N→R^N)∀s1,s2∈R^N.s1~s2⇒s1~f(s1)＆s2~f(s2)＆f(s1)＝f(s2)
つまり
「実数の無限列から実数の無限列へのある写像fが存在して
任意の実数の無限列s1,s2が尻尾同値であるならば
そのfの像はそれぞれ元のs1,s2と尻尾同値であり
さらに実は同じ無限列である」
（つまりfは実数の無限列の尻尾同値類から実数の無限列への単射である）
省2
245(1): 2024/06/14(金)16:13 ID:J56Y0HCG(1/11) AAS
>>241
結局、攻略法があるっていうのを論理式で書いたら何になると思って証明やってるの？
それはこれでほんとにあってるの？
> 満たすべきは、正しくはこれだから
> ∃f∀s1,s2∈R^N.s1~s2⇒s1~f(s1)＆s2~f(s2)＆f(s1)＝f(s2)
> ここで
> s1~s2⇔∃d∈N.∀n.(n>＝d)⇒s1(n)=s2(n)
246(1): 2024/06/14(金)16:43 ID:7r1vwZVg(2/11) AAS
以前書いてあった筈だけどな
日本語で書くから論理式になおしてごらん
１．尻尾同値類から無限列への単射となる写像がある
２．無限列から自然数への関数で、その自然数から先の位置で代表と尻尾が一致するものがある
３．２の関数によって１００個の無限列に対して１００個の決定番号が存在する
４．１００列から１列選び、他の９９列を全部開けて決定番号を求め、その最大値をDとして
選んだ１列のD番目の箱は開けずに、D+1番目以降の箱を開けて代表列をもとめ
省4
247(1): 2024/06/14(金)16:46 ID:kwvQBQfb(1/8) AAS
>>245
1から10まで教えてもらおうとするんだな君は
少しは自分で考えたら？君の脳みそは何のためにある？
248(2): 2024/06/14(金)16:54 ID:J56Y0HCG(2/11) AAS
>>247
お前が定理のステートメントを書かずに証明を書いてるから文句言ってるんだよ
エスパーじゃねーんだからお前の脳内にあるステートメントが分かるわけないだろ
249(2): 2024/06/14(金)17:23 ID:7r1vwZVg(3/11) AAS
>>246の１~４がステートメント
４の証明
D<＝dとなる列が２列以上あるとすると
ｄ１＜ｄ２ かつ ｄ２＜ｄ１ となる自然数ｄ１，ｄ２が存在することが示せる
しかしながらこれは自然数の全順序に反するので そのような２数は存在しない
250: 2024/06/14(金)17:24 ID:7r1vwZVg(4/11) AAS
１は選択公理から存在が示せる
２は１から示せる
３は２から示せる
だから全部証明できてる
境界知能君が論理分かってないから証明が理解できないだけ
251: 2024/06/14(金)17:28 ID:7k+tHALa(1) AAS
>>248
カンニングという発想がどこから出たのか知らないが、
箱入り無数目のすべての登場人物は
1)：出題者、2)：箱の中の実数を当てる解答者、
3)：箱入り無数目の記事を読む人達(いわゆる第三者)
であり、この1)、2)、3)に限られる
この状況下で、君が分類される3)の第三者は
省2
252: 2024/06/14(金)17:37 ID:7r1vwZVg(5/11) AAS
100列siについて(di,Di)という自然数の組が対応する
diはsiの決定番号で、Diはsi以外の決定番号の最大値
そしてdi>Diとなるsiは2列以上存在しない
注
>>249の正誤表
誤 D<＝dとなる列が２列以上あるとすると
正 D<dとなる列が２列以上あるとすると
253(1): 2024/06/14(金)17:43 ID:kwvQBQfb(2/8) AAS
>>248
エスパー？脳内？なにを言ってるんだ君は
必要なことはすべて記事に書かれてるぞ なぜ読もうとしない？
スプーンで口に運んでくれないとミルクも飲まない赤ん坊かね？君は
254: 2024/06/14(金)17:46 ID:J56Y0HCG(3/11) AAS
>>249
これのどこが箱入り無数目に攻略法があるってステートメントなんだよ
例えば後出しジャンケンに必勝法がある
を示したかったら対応する論理式は
「∀先手の手x. ∃後手の手y. yはxに勝つ」
にするだろ
お前の脳内にある、これの箱入り無数目バージョンをちゃんと見せろって言ってんだよ
255(1): 2024/06/14(金)17:49 ID:J56Y0HCG(4/11) AAS
>>253
記事では∀r∈ℝ^ℕから始まる論理式を示してるだろ
それはカンニングを容認してるってことじゃねーか
256(1): 2024/06/14(金)17:55 ID:7r1vwZVg(6/11) AAS
＞必勝法
確率99/100で勝てる、が
なぜ、必勝（＝確率1で勝てる）に化けるんだ
境界知能君は文章も正しく読めないのか
それじゃ数学は無理だぞ
257(1): 2024/06/14(金)17:57 ID:7r1vwZVg(7/11) AAS
>>255
＞記事では∀r∈ℝ^ℕから始まる論理式を示してるだろ
いいや
幻でも見たんじゃないか？ 境界知能君
（完）
258: 2024/06/14(金)18:02 ID:7r1vwZVg(8/11) AAS
まあ、箱入り無数目では
列１を選べばD1番目の箱を当てる
列２を選べばD2番目の箱を当てる
・・・
列100を選べばD100番目の箱を当てる
としている
そして上記１００通りの場合について
省3
259(1): 2024/06/14(金)18:07 ID:J56Y0HCG(5/11) AAS
>>257
記事をまともに読めてないのはお前のほうじゃねーか
260(1): 2024/06/14(金)18:09 ID:J56Y0HCG(6/11) AAS
>>256
確率的な結論ならもっと複雑な論理式になるんだから、ジャンケンの例と同じぐらい精密にそれをちゃんと書けよって言ってんだよ
261(1): 2024/06/14(金)18:12 ID:kwvQBQfb(3/8) AAS
>>259
じゃあまともに読んだ君に聞くけど
筆者の主張、すなわち「確率1-εで勝つ戦略が存在する」は正しいか？
YESかNOで答えられたし
262(1): 2024/06/14(金)18:15 ID:kwvQBQfb(4/8) AAS
>>260
なんで命令してんの？君は何様だい？
そんなに精密な論理式が欲しいなら自分で書いたらどうだい？
263(1): 2024/06/14(金)18:17 ID:J56Y0HCG(7/11) AAS
>>261
だから、それを論理式で書けって言ってんだよ
問題は個人の認識ではなくて論理式が成り立つかどうかだろ
264(2): 2024/06/14(金)18:19 ID:J56Y0HCG(8/11) AAS
>>262
普通の人間ならそんなのすぐできるんだよ
お前が人並みのことを一人でできない馬鹿だから文句言ってんだ
265(1): 2024/06/14(金)18:19 ID:7r1vwZVg(9/11) AAS
＞＞263
君が書けよ 君が理解したいんだろ？ｗ
266: 2024/06/14(金)18:20 ID:7r1vwZVg(10/11) AAS
>>264
じゃできない君は普通じゃない境界知能ってことね
267: 2024/06/14(金)18:26 ID:J56Y0HCG(9/11) AAS
>>265
∃x. ∀y. x=y
は否定が証明できるんだから、攻略法はそもそも存在しねーよ
268(1): 2024/06/14(金)19:26 ID:kwvQBQfb(5/8) AAS
>>263
だから、それを自分で書けって言ってんだよ
おまえ何様だよ
269: 2024/06/14(金)19:28 ID:kwvQBQfb(6/8) AAS
>>264
じゃおまえは普通未満ってことやなｗ
白状乙ｗ
270(1): 2024/06/14(金)19:55 ID:J56Y0HCG(10/11) AAS
>>268
なんで攻略法があるって主張してる人間が書かないんだよ？こっちほエスパーじゃねーんだぞ
271: 2024/06/14(金)20:09 ID:kwvQBQfb(7/8) AAS
>>270
エスパー？脳内？なにを言ってるんだ君は
必要なことはすべて記事に書かれてるぞ なぜ読もうとしない？
スプーンで口に運んでくれないとミルクも飲まない赤ん坊かね？君は
272(1): 2024/06/14(金)20:34 ID:J56Y0HCG(11/11) AAS
論理式が書けないからってムキになるなよカッコ悪いよ
εδあたりで勉強してから手直せよ
273: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/06/14(金)20:42 ID:6A8p+Dyj(2/3) AAS
＜繰り返す＞
2chｽﾚ:math (スレ18)
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
省4
274: 2024/06/14(金)20:44 ID:6A8p+Dyj(3/3) AAS
数学科オチコボレさんが、二人いる
どうしようもない二人だ
まともに相手しないように
どうしようもない二人だから
275: 2024/06/14(金)21:05 ID:7r1vwZVg(11/11) AAS
数学オチコボレが、二人いる
ID:6A8p+Dyj と ID:J56Y0HCG
決して相手するな
境界知能に数学は理解できない
（完）
276: 2024/06/14(金)23:00 ID:kwvQBQfb(8/8) AAS
>>272
自分に言い聞かせてんのかな？
277(2): 2024/06/15(土)05:46 ID:PxBgtSwu(1/7) AAS
【総括】
１．箱入り無数目の箱を確率変数と考える必要がある、というのは素人の妄想
２．当てるべき箱をこっそり開けている、というのも証明が理解できぬ素人の妄想
中卒レベルの二匹のエテ公は○○処分な
278(1): 2024/06/15(土)06:06 ID:YqrIuHX3(1/3) AAS
線形代数は
素人に理解できない数学ではない
279: 2024/06/15(土)06:10 ID:PxBgtSwu(2/7) AAS
>>278
然り
しかし、理解すれば素人を脱する
理解してないうちは素人のまま
280: 2024/06/15(土)06:27 ID:YqrIuHX3(2/3) AAS
>>277．
>箱入り無数目の箱を確率変数と考える必要がある、というのは素人の妄想
確率変数のとり方には自由度がある、というのは？
281(1): 2024/06/15(土)06:43 ID:LGZ38LcV(1/5) AAS
>>277
じゃあ開けてない箱の∀は内側に移動させろよ
282(1): 2024/06/15(土)06:52 ID:PxBgtSwu(3/7) AAS
>>281
＞開けてない箱の∀は
もともとそんなものないが
論理式書けてないの？境界知能２
283(1): 2024/06/15(土)06:55 ID:PxBgtSwu(4/7) AAS
＞確率変数のとり方には自由度がある、というのは？
もちろん、どういう問題を考えるのも自由である
そして箱入り無数目は「箱を確率変数と考える」問題ではなかったということ
ついでにいうと「箱を確率変数と考える」問題で
記事の戦略を実施したときの成功確率は
計算不能であって「０」ではない
そこでも、境界知能１は間違ってる
上下前次1-新書関写板覧索設栞歴
あと 719 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s