TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
【万年】黒木玄を語ろう【助教】 その2
分からない問題はここに書いてね453
現代数学の系譜11 ガロア理論を読む23
【数学者】低業績で教授・准教授になった人 Part.2
【速報】円周率と自然対数の底を足すと超越数になることが証明された【数学】
分からない問題はここに書いてね445
全数学の中で最も感動的で美しい定理
面白い問題おしえて～な 27問目
現代数学の系譜 カントル 超限集合論2
背理法不要論ってどうなん？
- 544 ：
- >>542-543
>ただ、それだけのこと。免罪符もクソもない。
それ、
全く同意なんだけど（＾＾
前スレ覚えてる？
前スレ56 https://rio2016.2ch.sc/test/read.cgi/math/1544924705/652
(引用開始)
652 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/30(日) 08:46:23.26 ID:A4Yw8jtX [4/8]
(抜粋)
細かいけど
昨日の選択公理の確認（>>621）でやったので、念押ししておくが
・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
正確な表記ではないが、マンガ風に図解すれば、こうだと
・つまり、上位互換で、選択公理（フルバージョン）は、適用できる集合は連続無限集合でも、あるいは連続無限より上位の濃度の無限集合でも適用可
（もちろん、下位の可算無限集合および有限集合にも適用できる。選択公理の定義の通り、適用できる集合に制限無し！ ）
・可算選択公理は、可算無限以下の集合にのみ適用できる
・選択公理の有限集合版は、公理というよりむしろ原理とか定理という方が良いかもしれないが
（補足、>>622 尾畑先生テキスト：
「Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11)
が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り
返すことで有限列の存在が数学的帰納法で証明される」ご参照
あるいは、>>625 Axiom of choice Restriction to finite sets をご参照 ）
(引用終り)
（選択公理の細かい話しは、過去スレ56をご参照）
さて、
命題：仮定A＋B＋C→結論D
対偶：￢D→￢（A＋B＋C）
A：選択公理
B：ある無限集合から代表が取れる
C：確率計算可能
D：時枝記事が成立
とする
で、
ピエロちゃんの主張：￢D→￢(A+B) だ～～！と （これ、初期に何度も繰り返し主張してたでしょ？（＾＾； ）
（言葉で言えば、「選択公理を使って、無限集合から、代表を選ぶことができるのは当たり前。それを否定するのはおかしい！！」と）
私の主張：選択公理は免罪符か？ ”￢C”をまじめに議論してないでしょ？と
QED
理論計算機数学のスレ
0.99999……は１ではない その２
コラッツ予想がとけたらいいな
雑談はここにかけ！【54】
0.999...は1じゃないことを数学的に厳密に証明したったｗｗｗｗ パゲェヤァああｗｗ
【新海誠】君の名は。
不等式への招待 第10章
ホモトピー,ホモロジー,ホモロジー代数コホモロジー
志村逝く
【数学Ⅲ】山口大学理学部数理科学科【850点】
--------------------
今ちゃんの「実は…」part5
リーバイス501はなぜ廃れたのか 2
中小私鉄の車両の動向全般について Part.3
Gメン'75 Part.14
SEX MACHINEGUNS (183)
ME2種 part4
オークの黄金マスク
キングコング西野亮廣をひたすら褒めまくるスレ
【総合】パズル&ドラゴンズ6427【パズドラ】
AXNミステリー 2019/06/30
【バーチャルYoutuber】にじさんじ有ンチスレ14234【次スレどこやー😭】
【プリン,ガロウ好き】獣コミュニティ155ロコ【ボトムはちぶさんれん,かんくろー】
モンハン3tri購入を迷っています
ノンケの射精はホモが管理する。異論は認めん。
カーデザインを語るスレ 1代目
「サブカル初心者はこれは見とけ」というアイテム
ジャスティス・リーグ JUSTICE LEAGUE: DCフィルムズユニバース DCFU 59
【方法募】ゲーム会社「へ」商談をかけたい
最低最悪悪質ゴミカウンセラー・心理士を晒すスレ
社会人になっても通用しそうな棋士
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
