[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 65 http://rio2016.5ch.net/test/read.cgi/math/1644632425/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
699: １３２人目の素数さん [sage] 2022/04/29(金) 08:12:33.61 ID:VrIdLbpW >>693 >なんか、ワケワカさんが、無闇に突っ込んで自爆していますね ワケワカさん＝90oIbXEw ですね あなたもそうおもいましたか >まず訂正 >無制＝無制限 ああ、2nf0w5TH＝90oIbXEw でしたか つまり自爆をカミングアウト 流石ニッポン カミカゼ特攻ですな http://rio2016.5ch.net/test/read.cgi/math/1644632425/699
700: １３２人目の素数さん [sage] 2022/04/29(金) 08:24:57.73 ID:VrIdLbpW >>693 >さて、念押しですが >条件 p,q を満たすものの集合をそれぞれ P,Q とするとき >条件「pかつq」および「pまたはq」をあらわす図は、 >それぞれ次のようになる。 >・ここで、 >「pかつq」←→P∩Q >「pまたはq」←→P∪Q > と相互に移り合うのです ベン図ですか 小学生ですなあ >（ぐだぐだ∃∀いうやついるけど、カンケーネーｗ） いやいや、２個だから全部書けるけど 無限個あったら全部列挙できないでしょ？ だから任意のiについて Pi⊂P のとき 無限和 ∪i Pi は {x∈P|∃i.x∈Pi} 無限積 ∩i Pi は {x∈P|∀i.x∈Pi} と定義するんですよ そうしないと、集合論を一階述語論理で記載できませんよ 知らなかったんですか？こんなの大学数学の常識ですよ あ、大学行ってない？高校も中退？じゃ、中卒？ じゃあ、述語論理知らんわけですね ∃も∀も読めないわけだ 数学的文盲ですね 論理式も読めないんじゃ 数学書全く読めませんもんね http://rio2016.5ch.net/test/read.cgi/math/1644632425/700
712: １３２人目の素数さん [sage] 2022/04/29(金) 11:06:23.89 ID:VrIdLbpW >>709 >>集合論を一階述語論理で記載できませんよ >良いんじゃね？ 全然良くないけど >そもそも、 >「普通の命題論理では論理和と論理積は > 無限に続くことが許されないので > 自明ではないんですよね」 >は、一階述語論理という しばりないよ ああ、論理の定式化、全く知らない素人さんですね 論理式は有限文字数で記載できないとダメ これ豆な だから「無限個の論理和・論理積」にあたる命題は 述語論理で限量子∃と∀と使って表す これまた豆な で、和積標準形を積和標準形に変換するのは 有限個なら馬鹿力でできるけど 無限個では終わらないから無理 仕方がないので選択公理を設定する 選択公理がなくても集合論としては矛盾しない つまり ∀ｘ∃ｙＰ（ｘ、ｙ） かつ ¬∃ｆ∀ｘＰ（ｘ、ｆ（ｘ）） でも無矛盾 http://rio2016.5ch.net/test/read.cgi/math/1644632425/712
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s