[過去ﾛｸﾞ]
大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
大学学部レベル質問スレ 27単位目 http://rio2016.5ch.net/test/read.cgi/math/1718312586/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
329: １３２人目の素数さん [sage] 2024/07/02(火) 21:23:12.24 ID:fVUU8q5M Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん http://rio2016.5ch.net/test/read.cgi/math/1718312586/329
330: １３２人目の素数さん [sage] 2024/07/02(火) 21:35:03.25 ID:sPBBtPN8 >>329 ＞Sx∈Sxならばx∈xで そこが簡単には言えないから>>295-299のようにするってこと。 まあ>>295-299以外にも方法はあるけどね。 http://rio2016.5ch.net/test/read.cgi/math/1718312586/330
331: １３２人目の素数さん [sage] 2024/07/02(火) 21:41:38.29 ID:kdN4jCCa >>329 ＞Sx∈Sxならばx∈xで S(x)∈S(x)とする。x∈x を示したい。 まず、x∪{x}∈x∪{x} である。 x∪{x}∈{x} の場合は、x∪{x}＝x である。 すると、x∈{x}⊂x∪{x}＝x となるので、 x∈x に到達する。 問題は x∪{x}∈x の場合で、 ここから即座に x∈x に到達することはできなくて、 先に他の性質を示しておかなければならない。 だから普通は>>295-299のようにする。 http://rio2016.5ch.net/test/read.cgi/math/1718312586/331
348: １３２人目の素数さん [sage] 2024/07/02(火) 23:35:19.54 ID:sPBBtPN8 ここまでのまとめ。 君：Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前 (>329) 俺：「S(x)∈S(x)ならばx∈x」は簡単には示せない。 実際、「x∈y∈x」から「x∈x」を導出する部分に 大きなギャップがある。(>335) 君：そこはx≦yとx⊂yの同値性を使えばいいじゃん。(>339) 俺：x≦yとx⊂yが同値であることは自明ではなく、証明が必要。 そして、君は証明してない。今この場で証明してよ。(>344) 君：なんでそんなことしなきゃいかんの？(>345) 俺：なんだ、自分では証明する気がないくせに、 横からヤジを飛ばしてただけか。(>346) 君：意味がわからん(>347) http://rio2016.5ch.net/test/read.cgi/math/1718312586/348
363: １３２人目の素数さん [sage] 2024/07/03(水) 00:52:16.03 ID:NJQKt/+9 >>361 君が>>329で書いた ＞ Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん この発言も、正式な証明ではなくて、ただの「アイデア」に過ぎないと。 本当は循環論法の可能性があって、その場合は失敗作になってしまうと。 そして、循環論法が内包されてないことは、君自身でも確認してないと。 そして、「厳密な証明は勝手にやってくれ」と、 こちらに丸投げしている状態だと。 それでＯＫ？ http://rio2016.5ch.net/test/read.cgi/math/1718312586/363
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s