Inter-universal geometry と ABC予想 (応援スレ) 74 (882ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
37(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:24:22.07 ID:KYsCHIBD(4/17) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
素朴集合論
形式論理を用いて定義される公理的集合論とは異なり、素朴集合論は非形式的に自然言語で定義される。離散数学で馴染み深い数学的集合の側面（たとえば、 ベン図やブール代数に関する記号の取り扱い）を説明するものであり、現代の数学における集合論の概念を日常的に扱うのに十分なものである[4]。
集合は数学において非常に重要である。現代の形式的な扱いでは、ほとんどの数学的対象（数、関係、関数など）は集合の観点から定義される。素朴集合論は多くの目的に十分であると同時に、より形式的な取り扱いへの足がかりとしても有効である。
方法
「素朴集合論」という意味での素朴論は、形式化されていない理論、つまり、自然言語を使用して集合と集合の操作を述べる理論である。かつ (and)、または (or)、もし〜ならば (if ... then)、〜でない (not)、 ある〜に対して(for some)、すべての〜に対して (for every) は、通常の数学と同様に扱われる。便利であるため、素朴集合論とその形式主義は、集合論自体のより形式的な設定を含め、より高度な数学でも用いられている。
省11
217: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:33:57.07 ID:5aeR4Epj(10/50) AAS
信じるも信じないもスレ主さんに聞いてみたら。
235: 08/26(火)11:29:40.07 ID:sjghOPGA(1) AAS
>>231
>やれやれ、「メンタルピクチャーや“big picture”」が幼いな。
日本語の文章が幼稚だな 文章読めない書けない三歳児だからピクチャーを求めるわけだ
＞ここは、中高一貫生も来る可能性があるので、赤ペン先生をしておく
中高一貫校落ちた公立高校卒の君が、赤ペン先生できるわけないだろ
＞無限基数は極限順序数であり
＞極限順序数は、「後続順序数でない順序数」である。
省18
291: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)17:34:46.07 ID:5aeR4Epj(41/50) AAS
集合をただの集落と障害者の集合と見るかで違ってくる。後者の場合集合を否定できないね。
319(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/27(水)07:28:23.07 ID:6Zc3kOJS(1/5) AAS
>>315 補足
>外部ﾘﾝｸ:manabitimes.jp
>高校数学の美しい物語
>リーマン球面と無限遠点 2022/07/21
>リーマン球面とは，複素平面 C に無限遠点 ∞ を追加したものである
さて>>306より
”日常の数学の下に素朴集合論があり、その下に 公理的集合論がある
省19
391(1): 08/27(水)14:43:47.07 ID:r21l7Tcr(21/32) AAS
>>390
>そもそも人をバカにしたい動機だけで書いた
だからそれが被害妄想だって言ってんの
いいかげん分かれよバカ
562: 08/31(日)09:55:45.07 ID:ptzEvizv(2/26) AAS
オチコボレくん、何も言い返せずコピペでお茶濁すの巻
656(1): 09/01(月)18:42:58.07 ID:sYNWEl0F(13/13) AAS
>>651
>繰り返し無限に取る
そんなアホなこと言ってると中高一貫生に笑われますよ
714(1): 09/03(水)15:23:34.07 ID:agC+Jzfj(4/4) AAS
>>712
なんかグダグダ言ってるけど
>形式的冪級数は無限回操作の産物ではない
に対して反論したつもり？ そうなら無限回操作を具体的に示して
837(1): 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:33:41.07 ID:bTpJAS/P(21/33) AAS
文系に負うところか大きいと反省なさい。世界が。
851: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:38:20.07 ID:bTpJAS/P(28/33) AAS
サラリーマンじゃそれがないしさ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.004s*