[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
203(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)22:00 ID:gsEji7DN(20/21) AAS
>>200-202
>>s1,s2,s3 ・・・が 全てのTを尽くしていることが、厳密に言えない
>言えなくて良い
>f(0),f(1),・・・が尽くしてるから
ふっふ、ほっほ
厳密には、『言えなくて良い』が、どこまで許されるのかは
若干の議論の余地があることは認めるけれども・・ｗｗｗ ；ｐ）
省22
204: 01/12(日)22:29 ID:F+I6x7M1(24/26) AAS
>>203
>厳密には、『言えなくて良い』が、どこまで許されるのかは
>若干の議論の余地があることは認めるけれども・・ｗｗｗ ；ｐ）
大間違い
全単射が存在するという仮定なんだからまったく議論の余地無し
>もし それが証明として成り立っているとしても、その議論は 分りにくいだろうし
可算整列可能定理という謎定理を持ち出すことこそ分かりにくいし、もっと問題なのは前提が増えてしまうこと、つまり分かりにくいだけじゃなくそもそも間違い。
省2
206(1): 01/12(日)22:45 ID:F+I6x7M1(26/26) AAS
>>203
>Tの元の並び方は任意でよい
を認める？ Y/N
Nなら具体的並び方を示して
Yなら余計な前提（＝謎定理）を持ち込む必要は無いと思わない？ 思わないならその必要な理由を示して
208(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)00:01 ID:xSRlEtRO(1/17) AAS
>>146 補足
(引用開始)
(参考)
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
(引用終り)
この整列可能定理の系を思いついたので、書いておく
省14
216(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)07:53 ID:xSRlEtRO(2/17) AAS
ふっふ、ほっほ
ご苦労さまです
>>209
>>・答え N
>大間違い
>Tの元を余すことなく並べたことが否定されればよいので、並べ方は任意でよい
並べ方に、自由度があることは認めるが
省22
227: 01/13(月)12:11 ID:2LyGh2G/(4/10) AAS
>>216
>並べ方に、自由度があることは認めるが
>しかし、完全な任意ではない！
完全に任意
>そのことを、>>207で示した！！ｗ
示せてないことを>>226で示した
>この主張は、>>203に例示のように 対角線論法で冒頭
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s