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