Inter-universal geometry と ABC予想 (応援スレ) 73 (668ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
627(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)22:22 ID:w78+kS3p(2/4) AAS
>>626
(引用開始)
>グロタンディークを含む希代の天才数学者たちは、ZFCが狭いと思ったら 自分たちのやりたい数学ができるように ZFCに拡張してきたのです
>それは、当然 無限集合に対する操作であったり 無限の繰り返しであったりしたわけだ
無限回の繰り返しの例を示して。
ちなみに無限級数は無限回の足し算でないことは理解してる？
(引用終り)
省23
628(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)22:24 ID:w78+kS3p(3/4) AAS
>>627 タイポ訂正
すでに、>>610で 「選択公理」と 整列可能定理でしました
↓
すでに、>>610で 「選択公理」と 整列可能定理でしめした
631(1): 08/13(水)23:01 ID:C2xh/shi(6/7) AAS
>>627
>>無限回の繰り返しの例を示して。
>すでに、>>610で 「選択公理」と 整列可能定理でしました
あぁ、やっぱ初歩の初歩から分かってない。
選択公理は「無限回の選択ができること」ではなく「選択関数の存在」を主張している。
だめだこりゃ。
632: 08/13(水)23:29 ID:C2xh/shi(7/7) AAS
>>627
>ついでに、ヒルベルトの無限ホテルを引用しておくよ（『その手順を無限に繰り返せることを示す』）
あぁ、やっぱ勝手読みしてる。
下記引用から分かる通り、筆者は無限回の繰り返しを慎重に回避している。
「よって、この手順を各無限集合（バス）ごとに繰り返すことができる。これを1台ずつ行うには無限のステップ数が必要になるが、事前の計算式を用いることで、手順の中で自分のバスの順番が来た時点で乗客は自分の部屋が何番に「なる」か決定でき、ただちにそこに行くことができるようになる。」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s