[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
823(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)11:23 ID:Xxyr0Rol(5/11) AAS
>>812
>Akihiko Koga氏の証明では
>集合Aの整列に、Aのべき集合（空集合を除く）の選択関数を使っている
下記だね。見た
これ、>>807-808の Jech, Thomas の証明と類似だね
Jech, Thomas では、”we can do by induction”（超限帰納）と、
”it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A”
という 順序数αによる添え字付け手法を使っているんだ
で、君は ある証明で ある手法が使われていることをもって
証明には、その手法が”必須”だと主張する
省25
829: 01/30(木)11:32 ID:Lfcn9eKQ(2/6) AAS
>>823
> 君は ある証明で ある手法が使われていることをもって
> 証明には、その手法が”必須”だと主張する
> しかし、ある手法が使われていることから、”必須”は言えない
必須なんて誰もいってないけどな
証明で、用いてる、といってるだけだが
君、幻聴が聞こえるの？
837: 01/30(木)11:49 ID:S0uv3c2L(10/25) AAS
>>823
じゃ選択関数f:P(A)-{{}}→Aを使ってない整列定理の証明を示して
できないことを言うもんじゃないよおサルさん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s