[過去ログ] スレタイ 箱入り無数目を語る部屋19 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
804(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/07/05(金)14:10 ID:VRviJy0g(1/3) AAS
>>799
>命題「任意の実数列は決定番号を持つ」を真と認めるなら、出題列を並べ替えた2列は必ず決定番号d1,d2を持ちます。
>それらがどんな自然数なら勝率1/2に満たないかを聞いてるだけなんですけど。
お答えします
1)決定番号の件は、選択公理を使っている。選択公理で保証されているのは、代表の存在のみで
その存在する代表と問題の列との比較で、決定番号の存在も保証されるが
2)さて、世に存在定理と呼ばれるものは多数ある。高木の存在定理もその一つだ
省24
上下前次1-新書関写板覧索設栞歴
あと 198 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.011s