[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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)
248(2): 2024/06/14(金)16:54 ID:J56Y0HCG(2/11) AAS
>>247
お前が定理のステートメントを書かずに証明を書いてるから文句言ってるんだよ
エスパーじゃねーんだからお前の脳内にあるステートメントが分かるわけないだろ
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∈ℝ^ℕから始まる論理式を示してるだろ
それはカンニングを容認してるってことじゃねーか
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
確率的な結論ならもっと複雑な論理式になるんだから、ジャンケンの例と同じぐらい精密にそれをちゃんと書けよって言ってんだよ
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
普通の人間ならそんなのすぐできるんだよ
お前が人並みのことを一人でできない馬鹿だから文句言ってんだ
267: 2024/06/14(金)18:26 ID:J56Y0HCG(9/11) AAS
>>265
∃x. ∀y. x=y
は否定が証明できるんだから、攻略法はそもそも存在しねーよ
270(1): 2024/06/14(金)19:55 ID:J56Y0HCG(10/11) AAS
>>268
なんで攻略法があるって主張してる人間が書かないんだよ？こっちほエスパーじゃねーんだぞ
272(1): 2024/06/14(金)20:34 ID:J56Y0HCG(11/11) AAS
論理式が書けないからってムキになるなよカッコ悪いよ
εδあたりで勉強してから手直せよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.769s*