[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
569(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/15(日)14:22 ID:lv2xCBEK(6/12) AAS
>>564-565
(引用開始)
>3）下記の 筑波大 Akito Tsuboi 先生は、下記 数理論理学IIでは
> ここは、少し技巧的な記述をしています
∀xφ(x)はまさに「任意A」だろ。
共通部分を用いた定義と本質的な違いは無いから君は>>564に回答できない。バカだねえ。
(引用終り)
省23
570: 06/15(日)14:29 ID:Eap/oGjV(6/13) AAS
>>569
>筑波大 坪井明人 先生に、たてつくか？ｗ
どうやったらそんなアホな誤読ができるの？
君、アホだね
571(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/15(日)15:45 ID:lv2xCBEK(7/12) AAS
>>564
(引用開始)
>2）で、wikipediaの記載は こうだとしても・・
> 任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります
どう突っ込むと？
(引用終り)
ふっふ、ほっほ
省32
578(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/15(日)21:38 ID:lv2xCBEK(9/12) AAS
>>573
>>ここに Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである
>まずここが間違い。
>任意に選んだものとは「いずれか一つ」であって「全て」ではない。
ふっふ、ほっほ 下記を百回音読してね
（余談ながら、"∀"は英語で all もあり anyでもある）
外部ﾘﾝｸ:manabitimes.jp
省26
582: 06/15(日)22:34 ID:Eap/oGjV(10/13) AAS
>>578
>無限公理が主張する集合は、有限集合でない＝真の無限集合 の”存在”を保証するのだが
>その集合（下記ではA）の性質は一切規定されていない。
はい、大間違い。
無限公理：∃A({}∈A∧∀x∈A(x∪{x}∈A))
の通り、空集合を元として持ち、任意の元xに対してx∪{x}も元として持つ集合と規定されている。
君、論理式読めないの？
省6
625(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/18(水)10:35 ID:1ZjEJMOG(1/4) AAS
>>621-624
ふっふ、ほっほ
(引用開始)
>>∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
>>はAの部分集合族の共通部分。範囲の明示なんて要らないよｗ
オチコボレ君はなんで範囲の明示が要らないかチンプンカンプンなんだろうね。
添字付けられた集合族ではないからそもそも範囲という概念が無いんだよｗ
省36
628(1): 06/18(水)12:06 ID:Qh/3AgjL(3/7) AAS
>>625
>ところが、そもそも”無限集合”の概念が確立されていない
>（”旅の途中”では 無限集合族などを無造作に使うべきではない）
今度は無限公理を否定する気かい？
>対して、>>571 Extracting the natural numbers from the infinite set 外部ﾘﾝｸ:en.wikipedia.org
>や、>>569 筑波大 坪井明人 PDF P9 が やっていることは
>無限公理で保証されたNを含む無限集合の部分集合として
省15
727(9): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/28(土)10:32 ID:Om34p0pv(2/2) AAS
>>726
>”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”
この式は、下記のペアノの公理 自然数の集合論的構成 の式だが
上記の通り、∩のIterated binary operation の意味が不明確（この説明を求められると詰まるだろう）
なので、∩を使わない 別の工夫がある（下記）
例えば en.wikipedia Axiom of infinity, Extracting the natural numbers from the infinite set, Alternative method
あるいは fr.wikipedia Axiome de l'infini
省20
852(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/10(木)07:08 ID:J4CWtGen(1/3) AAS
>>848-851
ふっふ、ほっほ
もう詰んだのか？ｗ ；ｐ）
>>727より再録
>”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”
この式は、下記（ja.ipedia）のペアノの公理 自然数の集合論的構成 の式だが
上記の通り、∩のIterated binary operation の意味が不明確（この説明を求められると詰まるだろう）
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s