[過去ﾛｸﾞ]
現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net (679ﾚｽ)
現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1499815260/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
394: １３２人目の素数さん [sage] 2017/07/19(水) 06:18:11.90 ID:auPm5n7a >>377 ＞「情報が・・」と時枝の非数学用語に引っ張られるのはだめ。 引っ張ってきたのは>>1 つまりダメなのは>>1 >>1 毎度恒例のオウンゴール ＞現代数学では、デフォルトでZFCだということを忘れているんじゃないかい？ 測度の定義に選択公理は用いてませんよ 逆に非可測集合の構成に選択公理を用いてますね http://rio2016.5ch.net/test/read.cgi/math/1499815260/394
395: １３２人目の素数さん [sage] 2017/07/19(水) 06:21:59.83 ID:auPm5n7a >>390 ＞「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」（現代確率論） 「箱入り無数目」も、「有限部分箱」では予測不能だが？ つまり、「箱入り無数目」の記事こそ現代確率論に沿っている >>1は無限個でも予測できないっ！と絶叫してるのだから 無限個全体の独立性を直接定義できるんだろう？ どうやって定義したんだい？ http://rio2016.5ch.net/test/read.cgi/math/1499815260/395
396: １３２人目の素数さん [sage] 2017/07/19(水) 06:28:59.32 ID:auPm5n7a >>1こそ、もっと、現代集合論を勉強してもらわないと 無限組合せ論と選択公理の関係とか全然知らないだろ ま、いくら検索結果をコピペしても >>1には書いてあることが理解できまいがな http://rio2016.5ch.net/test/read.cgi/math/1499815260/396
404: １３２人目の素数さん [sage] 2017/07/19(水) 09:13:50.35 ID:auPm5n7a >>398 >独立性の数学的定義は、確率の積で与えられる しかしそこから「情報が得られない」は出てこない >分かるように説明するのは難しい ウソは説明できないだろ >いま、ID:yvPp3Fkoさんが、自力で考えていると思う 説明できない言い訳は要らないよ http://rio2016.5ch.net/test/read.cgi/math/1499815260/404
406: １３２人目の素数さん [sage] 2017/07/19(水) 09:27:50.98 ID:auPm5n7a ＞コンパクト性定理（英: Compactness theorem）とは、 ＞一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、 ＞その集合の任意の有限部分集合がモデルを持つことが同値であるという定理 一方でω矛盾するモデルも存在するんだが コピペ馬鹿の>>1は知らんだろう https://ja.wikipedia.org/wiki/%CE%A9%E7%84%A1%E7%9F%9B%E7%9B%BE ω矛盾とは、自然数 n によって定まる論理式 Q(n) が存在して、次を満たすことをいう。 Q(0), Q(1), Q(2), …が全て証明可能であるが、「∃n： ¬Q(n) 」も証明可能である。 無矛盾でもω矛盾してる体系が存在する 「無限族まるごと独立」というのはω無矛盾性に対比できる >>1が云ってるのは「無矛盾ならω無矛盾」といってるようなもの http://rio2016.5ch.net/test/read.cgi/math/1499815260/406
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s