[過去ログ] 現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
719(5): 現代数学の系譜11 ガロア理論を読む 2016/08/11(木)18:32 ID:AONA9sxo(34/47) AAS
>>718
選択公理で、弱い選択公理(可算選択公理)がある
そして、決定性公理+可算選択公理で、論理を組み立てることは可能だ
(>>190に書いたが、「決定性公理から弱い形の選択公理(可算選択公理)が導か」れるとあるよ)
だから、時枝問題で、本質を変えずに
>>32で、「箱がたくさん,可算無限個ある.箱それぞれに,私が”有理数”を入れる.」とすれば
決定性公理+可算選択公理で、非加算公理を回避することはできる
そして、実数から”有理数”に落としても、確率99/100辺りのロジックは変わらないだろう?
言いたいことはそういうこと
720(1): 現代数学の系譜11 ガロア理論を読む 2016/08/11(木)18:34 ID:AONA9sxo(35/47) AAS
>>719 訂正
非加算公理を回避することはできる
↓
非可算集合を回避することはできる
723(1): 2016/08/11(木)18:51 ID:j8ttIyO2(10/15) AAS
>>719
> だから、時枝問題で、本質を変えずに
> >>32で、「箱がたくさん,可算無限個ある.箱それぞれに,私が”有理数”を入れる.」とすれば
> 決定性公理+可算選択公理で、非加算公理を回避することはできる
ああなるほど、Q^Nが可算だと言いたいわけねw
779(2): 現代数学の系譜11 ガロア理論を読む 2016/08/13(土)15:29 ID:OzAMei2D(6/18) AAS
>>778 つづき
<最初にお詫びです。>>719で
「箱がたくさん,可算無限個ある.箱それぞれに,私が”有理数”を入れる.」とすれば
↓
「箱がたくさん,可算無限個ある.箱それぞれに,私が”自然数”を入れる.」とすれば
に簡略化再変更します。(実数から”自然数”に落としても、確率99/100辺りのロジックは変わらないだろうから)>
(ここらは、>>770のTさんの発想に似ているが)
1.さて、従属選択公理はまだ十分理解できていないので、可算選択公理を採用します。
2.まず、話を簡単にするために、Q^N/〜→X^N/〜 such that X={0,1,・・・9} とします。要するに、10進数のコーシー列にモデルを縮小します。
(〜の同値類は、時枝記事>>34-35による。)
省7
788(1): 2016/08/13(土)16:12 ID:Y3ugUdZc(1/7) AAS
>>779-784
>>699で、下記の如く突拍子もない持論を口走り
>だから、可測非可測は必ずしも本質ではないと思う
>公理の選び方に依存するから
>>719で、下記の如く持論に対する裏付けを行った。
>だから、時枝問題で、本質を変えずに
>「箱がたくさん,可算無限個ある.箱それぞれに,私が”有理数”を入れる.」とすれば
>決定性公理+可算選択公理で、非加算公理を回避することはできる
>そして、実数から”有理数”に落としても、確率99/100辺りのロジックは変わらないだろう?
>言いたいことはそういうこと
省3
801: 2016/08/13(土)20:34 ID:Y3ugUdZc(7/7) AAS
中身が理解できてたら>>719みたいなアホなことを平気で書いてこんわなw
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.865s*