Inter-universal geometry と ABC予想 (応援スレ) 73 (684ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
579(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/12(火)10:29 ID:aPIgSDun(1/9) AAS
>>573-576
ふっふ、ほっほ
分かってないね
１）実数Rの整列において、人は 思いつく限り、想像できる限り、能力の限りの勝手気ままが可能だよ
例えば、区間[0,1)の実数を整列させ、次に区間[1,2)の実数を整列させ、残りはお任せとか
あるいは、自分の知る限りのri∈Rをすきに整列させ、残りはお任せとか
２）この ”勝手気まま”の部分は、人の数学能力による制約であって
省22
580: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/12(火)10:55 ID:aPIgSDun(2/9) AAS
>>579 補足
>素数を 2,3,5,7,11,・・・ と これを可算無限個 全部 列記し整列する能力があれば
そういえば、素数間隔の話があったね（下記）
張益唐に、ジェームズ・メイナード
ジェームズ・メイナードは、2022年にフィールズ賞をゲット
こんなのは、結局は 人類の能力の限界なんだわ
可算無限個の素数をすべて列挙して 素数の集合を確定させる能力があれば
省17
581: 08/12(火)10:56 ID:r/id88M5(8/18) AAS
>>579
君、言葉が通じないの？ 言語障害？ 病院行きなよ
>いかなる屁理屈を並べようと、実数の具体的整列順序を示せなかったのでオチコボレの負けは確定した。
582(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/12(火)11:11 ID:aPIgSDun(3/9) AAS
>>579 訂正
∵ 有理数の集合Qが 構成的でないから、e+π,e-π,eπ を整列に含めるか否かが決まらない！
↓
∵ 実数の集合Rが 構成的でないから、e+π,e-π,eπ をQの整列に含めるか否かが決まらない！
かな ；ｐ）
602: 08/12(火)14:43 ID:+vrdCF+V(11/11) AAS
>>579
＞ふっふ、ほっほ
高卒ホモ ◆yH25M02vWFhP は選択公理と整列定理の同値性が分かってない
任意の集合の空でない部分集合に対してその代表を選ぶ選択関数が存在すれば
その選択関数を使って集合を整列することができる
また任意の集合について整列順序が存在するなら
その整列順序を使って集合の空でない部分集合の最小元を代表元としてとることができる
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s