Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
91(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:44 ID:KYsCHIBD(15/17) AAS
>>37 補足
(引用開始)
外部ﾘﾝｸ:ja.wikipedia.org
素朴集合論
形式論理を用いて定義される公理的集合論とは異なり、素朴集合論は非形式的に自然言語で定義される
方法
「素朴集合論」という意味での素朴論は、形式化されていない理論、つまり、自然言語を使用して集合と集合の操作を述べる理論である
省34
95(1): 08/24(日)00:05 ID:rTm6xTpy(1/11) AAS
>>91
>日常の殆どの数学の場面が、自然言語を使用して 述べられる
殆どじゃダメだね
だって君一番肝心な
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
が読めずに発狂してたじゃん
98(1): 08/24(日)01:27 ID:rTm6xTpy(3/11) AAS
>>91
>３）さて、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
> 例えば、下記の「箱入り無数目」”可算無限個ある箱に 実数を入れる”など
自然言語と無限操作は関係無い。
「可算無限個ある箱に任意に実数を入れる」のどこにもひと箱ずつとは書かれていない。書かれていないことが見えるのは病気。
上記「」内は ∀s∈R^N を意味しており、無限操作を考える必要はまったく無い。
>要するに、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくあるってことよｗ ；ｐ）
省2
103: 08/24(日)08:01 ID:jDvM1F2N(2/11) AAS
◆yH25M02vWFhP のトンデモ数学用語
「無限操作」
>>91 ◆yH25M02vWFhP
>無限集合を 自然言語で扱う以上、無限操作を考えることは当然ありだ
>（極限？ およびじゃない）
>要するに、
>日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
省28
133(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/24(日)22:45 ID:+A9mxT/6(9/9) AAS
>>130
>高校生に無限級数は無限回の足し算ですって言ってみな？ 鼻で笑われるから
>>96より
(引用開始)
「可算無限個ある箱に任意に実数を入れる」のどこにもひと箱ずつとは書かれていない。書かれていないことが見えるのは病気。
上記「」内は ∀s∈R^N を意味しており、無限操作を考える必要はまったく無い。
(引用終り)
省28
558(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)09:06 ID:lylF2dxQ(2/10) AAS
>>91 戻る
(引用開始)
３）さて、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
例えば、下記の「箱入り無数目」”可算無限個ある箱に 実数を入れる”など
無限集合を 自然言語で扱う以上、無限操作を考えることは当然ありだ （極限？ およびじゃない）
要するに、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくあるってことよ
(引用終り)
省25
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s