[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
179(6): 04/25(金)16:01 ID:WKh+GaVo(1/7) AAS
ツェルメロの自然数が大好きなおサルへの問題
{},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。
１．ZFにおいてツェルメロの自然数全体の集合Nz:={{},{{}},{{{}}},・・・}が存在する。
２．(Nz,(s:Nz→Nz,s(n)={n}),{})はペアノシステムである（ie.ペアノの公理を満たす）。
３．ツェルメロの自然数は順序数でない。
４．Nzは最小の極限順序数ωと順序同型である。
５．Nz上の帰属関係∈は順序関係でない。
省1
275(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/26(土)23:53 ID:2tFMGt7T(7/8) AAS
>>231 つづき
１）さて、渕野昌先生が、「R.Dedekindの数学の基礎付けと集合論の公理化」で
Dedekindが ”無限（集合）の存在証明”を 試みた 書物の出版を批判している
つまり、現代の目からみれば、無限に関する集合は 「無限公理(無限集合の存在を主張する公理)」で扱うべきもので
つまり、”無限の存在が集合論の他の公理から独立である”ということです（wikipedia 独立性 (数理論理学) もご参照）
２）さて、現代でも基礎論の錯乱者がいます。”無限集合の存在を証明せよ”などと 宣う(>>179)
下記の渕野昌先生を百回音読してほしいです！ｗｗ ；ｐ）
省23
277: 04/27(日)05:13 ID:4nXxfb8w(1/8) AAS
>>275
> 現代でも基礎論の錯乱者がいます。
>”無限集合の存在を証明せよ”などと 宣う(>>179)
また、神戸のド素人が、他人の文章を読み間違って、ニセ赤ペン先生やってるのか（嘲）
179
> 以下を証明せよ。
> １．ZFにおいてツェルメロの自然数全体の集合Nz:={{},{{}},{{{}}},・・・}が存在する。
省12
300(1): 04/27(日)08:45 ID:eF7xVrhs(1/6) AAS
>>275
>１）さて、渕野昌先生が、「R.Dedekindの数学の基礎付けと集合論の公理化」で
> Dedekindが ”無限（集合）の存在証明”を 試みた 書物の出版を批判している
> つまり、現代の目からみれば、無限に関する集合は 「無限公理(無限集合の存在を主張する公理)」で扱うべきもので
> つまり、”無限の存在が集合論の他の公理から独立である”ということです（wikipedia 独立性 (数理論理学) もご参照）
>２）さて、現代でも基礎論の錯乱者がいます。”無限集合の存在を証明せよ”などと 宣う(>>179)
無限公理が存在を主張する集合はNzではない。つまり集合Nzの存在は要証明。
省1
308(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/27(日)19:39 ID:ZZby/myn(2/2) AAS
>>179
(引用開始)
ツェルメロの自然数が大好きなおサルへの問題
{},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。
略
６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。
(引用終り)
省21
320(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/28(月)14:24 ID:heJunuWl(3/4) AAS
>>308 補足
>>179
(引用開始)
ツェルメロの自然数が大好きなおサルへの問題
{},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。
略
６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。
省41
321(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/28(月)15:02 ID:heJunuWl(4/4) AAS
>>319
>間違いを理解できないのではなく認めないのだということが
>理解できないことが
>理解できない
これは御大か
巡回ご苦労様です
いやね おサルさん>>7 石の強弱が分かっていない
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s