現代数学の系譜 工学物理雑談 古典ガロア理論も読む60at MATH現代数学の系譜 工学物理雑談 古典ガロア理論も読む60 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト550:１３２人目の素数さん 19/02/10 18:36:37.65 O9UzgKhM.net >>506 ＞この定理が不成立だとすれば、選択公理が成り立たない？ はい。 ＞確かに、基礎論で、選択公理と等価な命題はいくつかあるが ＞時枝記事がそうだったのか！？ ＞おれには初耳だったね（＾＾； スレ主は p⇒q と p⇔q の区別が付かないようでｗ 551:現代数学の系譜 雑談 古典ガロア理論も読む 19/02/10 19:33:00.35 6AF3LOKJ.net >>508 これは、High level peopleさん、良いフォローだよ >＞この定理が不成立だとすれば、選択公理が成り立たない？ >はい。 >＞確かに、基礎論で、選択公理と等価な命題はいくつかあるが >＞時枝記事がそうだったのか！？ >＞おれには初耳だったね（＾＾； >スレ主は p⇒q と p⇔q の区別が付かないようでｗ 言っていることが、一心同体 数学で言えば、双対か というくらい一致しているので、笑えるが （>>506より） >この定理が不成立だとすれば、選択公理が成り立たない？ (引用終り) まあ、言いたかったのは １．公理系ZFCは標準だろ？ PCに例えれば、デフォルトだと。ZFC以外なら、宣言しておかないと、まずい ２．で、公理系ZFC上でふつう数学は理論体系が出来ている ３．時枝記事も、その理論体系の中の連鎖の命題の一つにすぎない ４．時枝は当然、いくつかの仮定のもとで、成り立っている つまり、例えばこんな感じだな 仮定命題：選択公理、仮定１、仮定２、・・・、仮定ｎ、”ピエロは正気” ↓ 結論命題：時枝の確率計算成立 で、対偶で、 ￢結論命題：時枝の確率計算は不成立 ↓ ￢仮定命題：選択公理の￢ を主張するピエロ おれ：一番怪しいのは、”ピエロは正気”だろ？ ：ｐ）ｗ ちゃんちゃん（＾＾； 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch