[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
508(1): １３２人目の素数さん [] 2019/02/10(日) 18:36:37.65 ID:O9UzgKhM(14/17) AAS
>>506
＞この定理が不成立だとすれば、選択公理が成り立たない？
はい。
＞確かに、基礎論で、選択公理と等価な命題はいくつかあるが
＞時枝記事がそうだったのか！？
＞おれには初耳だったね（＾＾；
スレ主は p⇒q と p⇔q の区別が付かないようでｗ
509(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/02/10(日) 19:33:00.35 ID:6AF3LOKJ(4/13) AAS
>>508
これは、High level peopleさん、良いフォローだよ
>＞この定理が不成立だとすれば、選択公理が成り立たない？
>はい。
>＞確かに、基礎論で、選択公理と等価な命題はいくつかあるが
>＞時枝記事がそうだったのか！？
>＞おれには初耳だったね（＾＾；
>スレ主は p⇒q と p⇔q の区別が付かないようでｗ
言っていることが、一心同体
数学で言えば、双対か
というくらい一致しているので、笑えるが
（>>506より）
>この定理が不成立だとすれば、選択公理が成り立たない？
(引用終り)
まあ、言いたかったのは
１．公理系ZFCは標準だろ？ PCに例えれば、デフォルトだと。ZFC以外なら、宣言しておかないと、まずい
２．で、公理系ZFC上でふつう数学は理論体系が出来ている
３．時枝記事も、その理論体系の中の連鎖の命題の一つにすぎない
４．時枝は当然、いくつかの仮定のもとで、成り立っている
つまり、例えばこんな感じだな
仮定命題：選択公理、仮定１、仮定２、・・・、仮定ｎ、”ピエロは正気”
↓
結論命題：時枝の確率計算成立
で、対偶で、
¬結論命題：時枝の確率計算は不成立
↓
¬仮定命題：選択公理の¬
を主張するピエロ
おれ：一番怪しいのは、”ピエロは正気”だろ？ ：ｐ）ｗ
ちゃんちゃん（＾＾；
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s