[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
299(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/27(日)08:21 ID:ZZby/myn(1/2) AAS
>>284
(引用開始)
>自分で見つけることと人が見つけたことを理解するのは
>そのくらい難しさが違うのである
発見されるまではそこに「なかった」わけだからね
(引用終り)
巡回ありがとうございます
省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
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s