[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
199(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)20:28 ID:gsEji7DN(19/21) AAS
>>197
>>この s1,s2,s3 ・・・が
>>f(0),f(1),・・・ に該当するか 否かの保証がないでしょ？ｗ
>保証が必要な理由は？
ふっふ、ほっほ
もし、可算選択公理を仮定せず そこから導かれる可算整列（可能）定理を使わないで
s1,s2,s3 ・・・が f(0),f(1),・・・ に該当する保証がなければ
s1,s2,s3 ・・・が 全てのTを尽くしていることが、厳密に言えない
そうすると、対角線論法で s1,s2,s3 ・・・ 以外の s の存在が言えても
それが s not ∈T でなく s ∈Tの可能性の余地が、残ってしまうのです
省3
200(1): 01/12(日)20:31 ID:F+I6x7M1(21/26) AAS
>>199
>s1,s2,s3 ・・・が 全てのTを尽くしていることが、厳密に言えない
言えなくて良い
f(0),f(1),・・・が尽くしてるから
203(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)22:00 ID:gsEji7DN(20/21) AAS
>>200-202
>>s1,s2,s3 ・・・が 全てのTを尽くしていることが、厳密に言えない
>言えなくて良い
>f(0),f(1),・・・が尽くしてるから
ふっふ、ほっほ
厳密には、『言えなくて良い』が、どこまで許されるのかは
若干の議論の余地があることは認めるけれども・・ｗｗｗ ；ｐ）
>>133から再録
(cf en.wikipedia.org/wiki/Cantor%27s_diagonal_argument)
s1 = (0, 0, 0, 0, 0, 0, 0, ...)
省19
213: 01/13(月)06:35 ID:TxxvswZ2(3/15) AAS
>>199
>もし、可算選択公理を仮定せず そこから導かれる可算整列可能定理を使わないで
>s1,s2,s3 ・・・が f(0),f(1),・・・ に該当する保証がなければ
>対角線論法で s1,s2,s3 ・・・ 以外の s の存在が言えても
>それが s not ∈T でなく s ∈Tの可能性の余地が、残ってしまうのです
残らねえわ 馬鹿
s1,s2,s3 ・・・が 全てのTを尽くしている、という前提から矛盾を導いたのだから
s ∈ Tだったら矛盾するだろが！！！
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.411s*