[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
828: 01/30(木)11:32 ID:Lfcn9eKQ(1/6) AAS
Koga氏の証明の元はおそらくブルバキ数学原論
なぜ、そういいきれるかといえば、
実際にブルバキ数学原論を確認したから
829: 01/30(木)11:32 ID:Lfcn9eKQ(2/6) AAS
>>823
> 君は ある証明で ある手法が使われていることをもって
> 証明には、その手法が”必須”だと主張する
> しかし、ある手法が使われていることから、”必須”は言えない
必須なんて誰もいってないけどな
証明で、用いてる、といってるだけだが
君、幻聴が聞こえるの?
831: 01/30(木)11:36 ID:Lfcn9eKQ(3/6) AAS
>>826
> 関数とは、対応です(現代数学では)
そこ、誰も否定してないけど
で、P(A)-{φ}の要素のうち、A-{aξ|ξ<α}として現れないものは
選択関数の定義域から削っていい、というのはどういう理屈?
君が勝手にそう思い込んでるだけだろ?
832: 01/30(木)11:38 ID:Lfcn9eKQ(4/6) AAS
>>830
> だから 必要な部分
> ”補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ”
> ここだけ つまみ食いして良いんだよ
素人の馬鹿判断
> 美味しいところだけ、つまみ食い
> そうすれば、選択関数の節約になるよ
> 集合Aの濃度の範囲の選択関数に節約できるってことよ
素人の馬鹿判断
834: 01/30(木)11:39 ID:Lfcn9eKQ(5/6) AAS
つまみ食いとか節約とか
しなくていいことをするから自爆する
下手な考え休むに似たり
846: 01/30(木)12:40 ID:Lfcn9eKQ(6/6) AAS
1st ステップ
Aの空でない部分集合からその要素への選択関数fを定義する
2nd ステップ
上述のfを用いて順序数からAの要素への関数aを超限帰納法により定義する
fが先、aが後
fなしにaは定義すらできない
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.032s