[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
556: 06/26(水)00:02 ID:tkh8e6AK(1/13) AAS
え、定義を答えられないのにカンニングがどーとか言ってたの？
558: 06/26(水)00:58 ID:tkh8e6AK(2/13) AAS
え、定義を答えられないのにカンニングがどーとか言ってたの？
560: 06/26(水)02:06 ID:tkh8e6AK(3/13) AAS
頭大丈夫？
セミナーの準備のしかたちゃんと摂取してる？
563(1): 06/26(水)07:04 ID:tkh8e6AK(4/13) AAS
>>561
> カンニングの定義は「中身を見ること」
言葉を言い換えて未定義語を増やしてるだけ
「中身を見ること」の定義は何？
576(1): 06/26(水)16:02 ID:tkh8e6AK(5/13) AAS
>>567
なんで、それだと∀を中に入れられないの？理屈が全然わからん
577: 06/26(水)16:03 ID:tkh8e6AK(6/13) AAS
>>565
日本語の文章をどのように数学の言葉に翻訳したのかという意味で定義を聞いてるんだよ？
バカなのか
578: 06/26(水)16:16 ID:tkh8e6AK(7/13) AAS
>>568
なんでこれ無視するの？
157 １３２人目の素数さん sage 2024/06/11(火) 19:38:07.14 ID:+82XMG1Z
先頭に∀を置く←カンニングを容認した論理
先頭の∀を後ろに移動できない←カンニングしている証拠
後ろに∀を置く←カンニングを禁止する論理
なんでこれがわからないんだ？
意味がわからん
580: 06/26(水)18:52 ID:tkh8e6AK(8/13) AAS
>>579
意味がわからん
無限個箱があると開けた箱と開けてない箱が区別できなくなるの？なんで？
581: 06/26(水)19:06 ID:tkh8e6AK(9/13) AAS
箱が無限にあってその中身を適当に当てるゲームは
∀x∈ℝ^ℕ.∃i∈ℕ.∃y∈ℝ.x(i)=y
と書くしかないって主張なの？
この論理式は証明できるんですけど
583(3): 06/26(水)20:26 ID:tkh8e6AK(10/13) AAS
常識的に考えて
回答者が最初に開ける箱たちA⊂ℕを選ぶ
Aを全部開ける
決定番号を計算して追加で開ける箱たちB⊂ℕと当てる箱の番号i∈ℕを決める
Bを全部開ける
開けた箱から回答aを決める
iを開けて答えを確認する
って手順なんだから、そのまま素直に
∃A.∀x∈ℝ^A.∃B.∃i.∀y∈ℝ^B.∃a.∀z.a=z
を考えるのが普通だろ
省2
585: 06/26(水)21:40 ID:tkh8e6AK(11/13) AAS
>>584
100通りってなんだ？
意味不明なんだが、修正後の論理式を書いてよ
587: 06/26(水)22:09 ID:tkh8e6AK(12/13) AAS
>>586
∃Aに入ってるじゃん
初手なんだからどれ選んでも同じだろ
588: 06/26(水)22:13 ID:tkh8e6AK(13/13) AAS
∃A.∀x∈ℝ^A.∃B.∃i.∀y∈ℝ^B.∃a.∀z.a=z
と
∃A1,...,A100:ℕの100分割.∃A∈{A1,...,A100}.∀x∈ℝ^A.∃B.∃i.∀y∈ℝ^B.∃a.∀z.a=z
とで何か違いがあるの？同値じゃん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.500s*