[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
61: １３２人目の素数さん [] 2019/01/14(月) 09:25:36.67 ID:U+rcrUOh(3/42) AAS
>>59
>>箱に入れていいのは実数すなわちRの元です。
>>確率変数なるものはRの元ではありません。
>その件はあとで
スレ主、狼狽してるなｗｗｗ
168: １３２人目の素数さん [sage] 2019/01/14(月) 22:33:28.67 ID:bs/zORq6(1/7) AAS
>>77
＞「ｍに上限がない以上
＞ ｍ’＝m+1として
＞ ｍ’に置き換えれば、それで終わりですよ 」
m のときの有限モデルがそのまま反例になっているなら、
わざわざ m'＝m＋1 に置き換える必要はない
m'＝m＋1 に置き換えたがるということは、
m のときの有限モデルそのままでは反例になってないことを
アホ主自身が認めていることになる
では、m のときの有限モデルが反例にならないとして、
m'＝m＋1 に置き換えれば反例になるのか？
いや、反例にならない。なぜなら、m' のときの有限モデルが
そのまま反例になるなら、m から出発せずに、最初から
m' のときの有限モデルそのものを提示すればいいからだ
189(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/15(火) 08:00:16.67 ID:IoQw/Dy0(1/2) AAS
ペアノの公理は、現代数学大系の中では、ZFC公理系の中に包含されているので
正確には、公理と呼ぶのは間違いだが、歴史的にそういう名称で呼ばれている
（詳しくは、下記 ”Rei Frontier Tech Blog ZFC公理系について：その2”）
で、我々は、すでにZFCの中で、自然数を構成して、それを使っているということを忘れている人がいる
それ、単に後者が存在するというだけのことですよね
それは、任意の自然数ｍを取ったときも同じことが言える
で、さらに言えば、無限集合としての自然数Nは、公理系としては、ペアノの公理だけでは達成できない
無限公理が、無限集合の存在には必要だ
それについては、下記などを読めば、どこにでも書いてある
「ペアノの公理で、有限と無限を区別できる」と、錯覚している人がいるようだね
http://tech-blog.rei-frontier.jp/entry/2017/11/02/102042
Rei Frontier Tech Blog
ZFC公理系について：その1 20171102
(抜粋)
今回皆様にお話するのは、現代数学の土台であり、我々が普段接する数学的対象をつくる素材を提供してくれる、ZFC公理系にまつわるお話です。
・はじめに
・命題と論理式
・外延性公理と集合
・非順序対と合併
・無限公理と無限系譜
・分出公理と共通部分
(引用終り)
http://tech-blog.rei-frontier.jp/entry/2017/11/09/100000
同
ZFC公理系について：その2 20171109
(抜粋)
本記事の目的は、自然数全体の集合Nを定義し、その性質（の一部）を述べることです。
・べき集合の公理、自然数の全体
・ペアノの公理
(引用終り)
http://tech-blog.rei-frontier.jp/entry/2017/11/16/100000
同
ZFC公理系について：その3 20171116
(抜粋)
前前回、前回につづいて、ZFC公理系の残りの公理を紹介していきます。
・写像と選択公理
・順序対、直積
・写像、一般の直積、選択公理
・順序数、ZFC公理系
・順序関係と順序数
・正則性公理
・置換公理
・参考文献
(引用終り)
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
ZF 公理系
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory （ZFC）
306: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/19(土) 09:52:10.67 ID:sK9fzKOh(6/10) AAS
>>302 蛇足
>ZFCの集合論上で、数学を論じる以上、
>集合としての（可算）無限族について、何かを語るためには、
>その集合の要素について、語るしかないのだから
集合の要素は、見ないようにして語りましょう
というのが圏論らしいですがね（詳しくないですが）（＾＾
382: １３２人目の素数さん [] 2019/01/19(土) 20:40:54.67 ID:NWH3th4T(31/31) AAS
a∈{0}, b∈{1,3,5,...}
ならスレ主でも P(a>b)=1/2 が言えないことはわかるだろう。
a∈N, b∈N としたらスレ主を混乱させるだけだぞｗ
389: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/19(土) 23:06:27.67 ID:sK9fzKOh(10/10) AAS
ところで、例の「確率変数が、箱に入れられない」って話し
だれか、解答を教えてあげない？ >>62 重川一郎先生 に書いてあるって話しなんだけど
まあ、 >>62 重川一郎先生でなくとも、どこにでもある
レベルが上がらないから、そろそろ解答を書こうと用意しているんだがね
（>>36）「確率変数については、自得するまで基本的には、教えないことにします」
と書いたけれどね
おれが書くより
サイコちゃんにとっては、その方がためになるだろうと思うから（＾＾
444(1): １３２人目の素数さん [sage] 2019/01/20(日) 12:34:47.67 ID:L1cLJono(27/39) AAS
>>429
>私の学んだ数学はなんでも疑います
ではまず
「独立だから当たりっこない」
というあなたの直感を真っ先に疑いましょう
自分を疑うこと 数学に限らず学問の基本です
スレ主は自分を疑えない幼児のようですね
461: １３２人目の素数さん [sage] 2019/01/20(日) 14:22:29.67 ID:L1cLJono(33/39) AAS
>>457
>数学で人を疑うのは当たり前
疑うには、疑うに足る根拠が必要ですよ
ところで、>>454は読みましたか
どうせ無視したんでしょ？ 馬鹿ですね
どこにチャンスがあるかわからないのに
504(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/21(月) 21:36:54.67 ID:N+Tp28BE(7/8) AAS
>>498-503
で、結局は
（>>480より）
”一度定めたら変更しないことが固定って意味だよ。”
だった
それなら、>>490は「固定」ですね
（>>480より）
”サイコロを使おうが、Πの10進表示を使おうが、乱数生成期を使おうが”
だった
だから、麻雀の牌でも同じですね
念押しするよ
これから、話しを逸らそうとしているようだけど
念押しな
これを、否定するならどうぞ
そこ、突っ込みネタにしますから
564: １３２人目の素数さん [sage] 2019/01/23(水) 11:45:24.67 ID:JF7m6dzy(13/62) AAS
>>561
そもそも「ディーラーの視点」とか言い出す時点で
この人は確率論がわかってないとわかるので
話しあう意義を全く感じない
786: １３２人目の素数さん [sage] 2019/01/25(金) 17:38:12.67 ID:Scwen+9S(16/16) AAS
まあ、間違えたにしては不等号を用いた何か奇妙な論法が途中にあった。
それじゃ、おっちゃんもう寝る。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s