19/01/14 07:54:56.74 4a+lb34j.net
>>44
>＞ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
>はっきりと「本記事の目的は，確率99%で勝てそうな戦略を供することにある」と書いているｗ
そうですね
はっきり、
「確率99%で勝てそうな戦略」と書かれています
もし定理なら
「確率99%で勝てる戦略」ですね
「確率99%で勝てそうな戦略」と、ぼかして書いてあるから
時枝先生の記事の後半の
過去スレ20 ｽﾚﾘﾝｸ(math板:542番)
542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W [1/3]
時枝氏の主な主張は次の２つだろうだろう
1. 確率論を測度論をベースに展開する必要が無い
2. 無限族の独立性の定義は微妙
(引用終り)
に、つながるんですよね
52:１３２人目の素数さん
19/01/14 08:03:50.23 eZdhxLjS.net
>>45
＞この二つの発言は、撤回しますよね？
私の発言ではないので撤回し様がありませんが、仮に私の発言だったとしても撤回しません。
＞「Xnのランダムな値」でもよい
とは言ったが、
＞確率変数 X_1,X_2,… を入れる
とは言っていない。
違いが理解できませんか？箱に入れていいのは実数すなわちRの元です。
確率変数なるものはRの元ではありません。
いくら工学バカでもこれは酷い。
53:１３２人目の素数さん
19/01/14 08:12:53.72 eZdhxLjS.net
>>47
確率事象の自然言語表現として「～しそうな」はまったく自然であり、どこにも
曖昧な点はありません。よって定理でないと言う指摘は当たりません。
そもそも定理であるか否かは数学の問題であり、日本語表現が適切か否かは国語
の問題です。問題のレベルがまったく違います。議論に値しません。
54:１３２人目の素数さん
19/01/14 08:16:19.97 G7ThmQg7.net
時枝記事を読んでみたけど、確かに箱の中に入れるのは実数で
「確率変数」とは書いてないね。
確率変数の独立性の話は付け足しの部分で言及されてるけど。
定数と変数の区別が付かないのはおっちゃんと一緒だなぁ
55:１３２人目の素数さん
19/01/14 08:23:10.32 eZdhxLjS.net
>>46
＞ペアノの公理は、構成した反例にも適用可ですよ
有限列には最終第m項が存在します。ペアノの公理を満たすなら
＞2. 任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
の要件により、第m+1項も存在しなくてはならず、第m項が最終項との前提と矛盾します。
いくら工学バカでもこれは酷い。
56:１３２人目の素数さん
19/01/14 08:30:39.58 G7ThmQg7.net
おっちゃん論法
無理数αに対して|α-p/q|<1/q^2 をみたす有理数p/qは無限に存在する（ディリクレの定理）
ε=1/q とおけば、|α-p/q|<ε/q εは区間(0,1]で任意。（ただし、p/qは変数。）
ところがいつの間にかp/qを定数として、εは区間(0,1]で任意と錯覚したから
α=p/q すなわち無理数=有理数という結論が導かれてしまった。
57:１３２人目の素数さん
19/01/14 08:30:49.65 G7ThmQg7.net
おっちゃん論法
無理数αに対して|α-p/q|<1/q^2 をみたす有理数p/qは無限に存在する（ディリクレの定理）
ε=1/q とおけば、|α-p/q|<ε/q εは区間(0,1]で任意。（ただし、p/qは変数。）
ところがいつの間にかp/qを定数として、εは区間(0,1]で任意と錯覚したから
α=p/q すなわち無理数=有理数という結論が導かれてしまった。
58:１３２人目の素数さん
19/01/14 08:32:17.54 G7ThmQg7.net
なぜか重複（笑） スマソ
59:１３２人目の素数さん
19/01/14 08:40:01.81 G7ThmQg7.net
任意とするためには、正確にはε=1/q^δ, (0<δ≦1)で
なおかつp/qは変数とする必要があるな。スレ汚しスマソ。
60:１３２人目の素数さん
19/01/14 08:56:37.21 U+rcrUOh.net
>>45
>「Xnのランダムな値」
確率変数の正確な定義（Ω→E）に照らせば
XnはΩの元であり、ランダムな値はEの元だね
つまり
「確率変数 Ｘ：Ω→Ｅは、
標本空間（起こりうることがらの集まり）Ω の元に
数 E を対応させる可測関数である」
を撤回する必要はない
Xnとかいう箱のみが確率変数とか
Xnとかいう箱の中身のみが確率変数とかいう
スレ主の「オレ様解釈」が否定されるだけ
スレ主は勉強キライだから定義を決して確認しない
悪いクセだから即刻改めるべし
61:１３２人目の素数さん
19/01/14 08:58:56.05 U+rcrUOh.net
>>46
>ペアノの公理は、構成した反例にも適用可ですよ
ウソをつくとはやっぱスレ主はサイコパスだな
>まあ、細かい話しは、>>45の確認の後でしますよ
どうせできないから全然期待しませんよ
さっさと首掻き切って死んでくれないかな？サル
62:１３２人目の素数さん
19/01/14 09:01:49.64 jLMc0Y2/.net
スレ主はホントどうしようもないなあ
馬鹿なのにマウントだけは取りたがってる
63:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 09:21:30.88 4a+lb34j.net
>>48
>＞この二つの発言は、撤回しますよね？
>私の発言ではないので撤回し様がありませんが、仮に私の発言だったとしても撤回しません。
なるほど
貴方は、ピエロではないと
通常人ですね（サイコでなく）
>＞確率変数 X_1,X_2,… を入れる
>とは言っていない。
>違いが理解できませんか？箱に入れていいのは実数すなわちRの元です。
>確率変数なるものはRの元ではありません。
その件はあとで
64:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 09:22:58.58 4a+lb34j.net
>>49
>曖昧な点はありません。よって定理でないと言う指摘は当たりません。
時枝先生の記事の後半の
過去スレ20 ｽﾚﾘﾝｸ(math板:542番)
542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W [1/3]
時枝氏の主な主張は次の２つだろうだろう
1. 確率論を測度論をベースに展開する必要が無い
2. 無限族の独立性の定義は微妙
(引用終り)
については、どうお考えですか？
65:１３２人目の素数さん
19/01/14 09:25:36.67 U+rcrUOh.net
>>59
>>箱に入れていいのは実数すなわちRの元です。
>>確率変数なるものはRの元ではありません。
>その件はあとで
スレ主、狼狽してるなｗｗｗ
66:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 09:27:42.79 4a+lb34j.net
>>48-58
ノーヒントじゃ、らちがあかないな
では、ヒント
下記の京大 数学教室 重川一郎先生のPDF 確率論基礎を見てください
大学レベルの確率論基礎です（高校数学Bだけではだめですよ）
おっと、Wikipediaだけじゃ、だめですよ（どっかで聞いたセリフだな（＾＾； ）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
重川一郎のホームページ 京都大学大学院理学研究科数学教室
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート
以上よろしく
67:１３２人目の素数さん
19/01/14 09:29:45.99 U+rcrUOh.net
>>60
>1. 確率論を測度論をベースに展開する必要が無い
正しくは
「時枝問題の確率計算を、R^Nの測度をベースに展開する必要がない」
時枝問題の確率計算は｛１、･･･、100｝の測度に基づいているので、
測度論に基づいていないわけではない
>2. 無限族の独立性の定義は微妙
「微妙」という曖昧な言葉で誤魔化すのは馬鹿の証拠
「無限族の独立性の定義」は独立性に対する
ナイーブな直感を裏切る現象を引き起こす」
と明確に書くべし
68:１３２人目の素数さん
19/01/14 09:33:00.83 U+rcrUOh.net
>>62
pdfのp8の定義なら、wikiと大して変わらんが
お前、リンク先の文章、ちゃんと読んでる？
読まずにリンクして自爆すんなよｗ
69:１３２人目の素数さん
19/01/14 09:34:28.90 U+rcrUOh.net
スレ主自身全然理解できてない確率論の話で誤魔化す前に
「ペアノの公理は、構成した反例にも適用可」
が口から出まかせのホラだと認めた方がいいぞ
サイコパススレ主ｗ
70:１３２人目の素数さん
19/01/14 09:43:50.36 U+rcrUOh.net
>>58
>（スレ主は）馬鹿なのにマウントだけは取りたがってる
正しくは
「スレ主は馬鹿だからマウントだけを取りたがってる」
実生活では負けばかりだからせめて掲示板では勝ちたいんでしょうが・・・
数学板じゃ絶対無理だな 他所にいけ サルｗ
71:１３２人目の素数さん
19/01/14 09:46:03.55 eZdhxLjS.net
スレ主は論点を記事後半に持っていこう持っていこうとしてるが、
記事後半で何が語られていようと、数当てゲームとその解法には何の影響も無い。
なぜなら数当てゲームとその解法は記事前半だけで完全なので。
まずは解法成立を認めなさい。記事後半の話がしたければその後で思う存分やればいい。
72:１３２人目の素数さん
19/01/14 09:46:13.99 U+rcrUOh.net
>>51
>有限列には最終第m項が存在します。ペアノの公理を満たすなら
>2. 任意の自然数 a にはその後者 (successor)、suc(a) が存在する
>（suc(a) は a + 1 の "意味"）。
>の要件により、第m+1項も存在しなくてはならず、
>第m項が最終項との前提と矛盾します。
>いくら工学バカでもこれは酷い。
スレ主はサイコパスだから見え透いた嘘を平気でつけます
変質者、それがスレ主の正体ｗ
73:１３２人目の素数さん
19/01/14 09:49:07.49 U+rcrUOh.net
>>67
＞スレ主は論点を記事後半に持っていこう持っていこうとしてるが
（中略）
＞数当てゲームとその解法は記事前半だけで完全
スレ主が読めたのは後半だけなんでしょう
前半はおサルのスレ主には複雑すぎてチンプンカンプンｗ
この時点で、スレ主には時枝記事について語る資格が全くない
簡単な数学の記事すら読解できないサルは数学板に来るなよ シッシッ！
74:１３２人目の素数さん
19/01/14 10:00:15.82 U+rcrUOh.net
スレ主は「ペアノの公理」すら知らず、
真っ向から矛盾する有限モデルを
「反例」とかいって臆面もなく提示した
恥辱から今更目をそらしたがっているｗ
スレ主が「確率論！」と喚き散らす理由は上記
しかしスレ主が測度すら満足に理解できてないのは
正規部分群の件でも明らか
どうせ自分で読んでも分からない他人の文章コピペするだけだし
ここにはそんなコケ脅かしに引っ掛かるバカはいないよ
75:１３２人目の素数さん
19/01/14 10:46:06.93 uyIinkLY.net
おっちゃんです。
>>50
>定数と変数の区別が付かないのはおっちゃんと一緒だなぁ
変数には定数を代入出来るが定数には変数を代入出来ない。
このことから、これら2つは異なる。
76:１３２人目の素数さん
19/01/14 10:53:58.20 uyIinkLY.net
>>52-55
ID:G7ThmQg7 私のことを書いてご苦労。
77:１３２人目の素数さん
19/01/14 11:18:22.54 jLMc0Y2/.net
>>66
すんまそんw
スレ主は
「ネットがあるから学校で勉強しなくてもググればなんとかなる」
なんてことは決してないことを示してくれる反面教師
基礎的なことの理解がいかに大事か
理解した上で検索すれば知見が広がる
78:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 12:26:47.50 gnrFyKcq.net
>>64
>pdfのp8の定義なら、wikiと大して変わらんが
予想通りの反応ですね
ハマリですよ
大学の確率論に対する無知露呈
京都大学なら、「確率論基礎」は、不可ですね。
ヒント２：もっと深く読みましょう
79:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 12:39:30.63 gnrFyKcq.net
>>63
>測度論に基づいていないわけではない
過去スレ47 ｽﾚﾘﾝｸ(math板:21番)
数学セミナー201511月号P37 時枝記事原文
(抜粋)
R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結
80:果R^N →R^N/～ の切断は非可測になる. 選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う. (引用終わり) ということで、この時枝原文に基づく限り、時枝記事の「ふしぎな戦略は」、”非可測集合を経由” なので、現代数学の標準的なコルモゴロフ流確率論の外ですよね ”測度論に基づいていないわけではない”には、証明が必要ですよ（数学としての） >「微妙」という曖昧な言葉で誤魔化すのは馬鹿の証拠 過去スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/22 数学セミナー201511月号P37 時枝記事原文 (抜粋) ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい (引用終わり) ですけどね。 ”「微妙」という曖昧な言葉で誤魔化すのは馬鹿の証拠”か（＾＾
81:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 12:41:33.77 gnrFyKcq.net
>>67
>記事後半で何が語られていようと、数当てゲームとその解法には何の影響も無い。
>なぜなら数当てゲームとその解法は記事前半だけで完全なので。
はい、>>75ね
82:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 12:50:36.57 gnrFyKcq.net
>>68
>>の要件により、第m+1項も存在しなくてはならず、
>>第m項が最終項との前提と矛盾します。
ｍに上限がない以上
ｍ’＝m+1として
ｍ’に置き換えれば、それで終わりですよ
プログラム言語なら
m＝m+1と書けますけどね
これで、プログラムの終わり方を指定しなければ、無限ループでプログラムは動きます
メモリーオーバーのエラーメッセージが出るかもしれませんがね
C言語なら
ｍ＋＋でしょうかね
まあ、C++さんがお詳しいでしょうが（＾＾
URLﾘﾝｸ(webkaru.net)
C言語入門
（前置・後置）インクリメント演算子, ++
83:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 12:51:28.94 gnrFyKcq.net
>>71-72
おっちゃん、どうも、スレ主です。
レスありがとう
84:１３２人目の素数さん
19/01/14 13:04:19.53 eZdhxLjS.net
>>74
確率論の話題に引っ張り込もう引っ張り込もうとしても無駄。
時枝解法で用いる確率は「100個から特定の1個を選ばない確率」に過ぎない。
まずは解法成立を認めなさい。確率論の話がしたいならその後で思う存分どうぞ。
85:１３２人目の素数さん
19/01/14 13:21:09.76 eZdhxLjS.net
>>75
＞ということで、この時枝原文に基づく限り、時枝記事の「ふしぎな戦略は」、”非可測集合を経由”
＞なので、現代数学の標準的なコルモゴロフ流確率論の外ですよね
大外れ。
戦略は非可測集合を使っていても、戦略が用いる確率は非可測集合を使っていない。
反論するなら
「100個の自然数（重複可）から無作為に選択した1個が単独最大値である確率はたかだか1/100」
これどこに非可測集合を使っているのか具体的に答えて下さい。
86:１３２人目の素数さん
19/01/14 13:23:54.78 eZdhxLjS.net
>>76
はい、>>80ね
87:１３２人目の素数さん
19/01/14 13:34:31.29 eZdhxLjS.net
>>77
＞ｍに上限がない以上
＞ｍ’＝m+1として
＞ｍ’に置き換えれば、それで終わりですよ
誰かこのポエムを数学の言葉に翻訳プリーズｗ
88:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 13:52:02.09 gnrFyKcq.net
>>79
>時枝解法で用いる確率は「100個から特定の1個を選ばない確率」に過ぎない。
>まずは解法成立を認めなさい。確率論の話がしたいならその後で思う存分どうぞ。
確率論の前に、数学なんですけど？
”時枝解法で用いる確率は「100個から特定の1個を選ばない確率」に過ぎない。”の証明がないんですが？
時枝解法で用いる確率の定義は？
「100個から特定の1個を選ばない確率」の定義は？
89:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 13:57:14.22 gnrFyKcq.net
>>80
>戦略は非可測集合を使っていても、戦略が用いる確率は非可測集合を使っていない。
証明が無いんですけどね？
時枝先生原文（>>75）「非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.」
これで、「お手つき， と片付けるのは，面白くないように思う」は、証明が無いからでしょ？
証明があれば、「～と片付けるのは，面白くないように思う」などと、意味不明な陳述をする必要もない
90:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 13:59:35.57 gnrFyKcq.net
>>82
コンピュータプログラムは、経験なしですかね？
まあ、C++さんの出番かな（＾＾；
91:１３２人目の素数さん
19/01/14 14:02:34.39 eZdhxLjS.net
>>83
＞”時枝解法で用いる確率は「100個から特定の1個を選ばない確率」に過ぎない。”の証明がないんですが？
記事を読んでくださいｗ
＞時枝解法で用いる確率の定義は？
記事を読んでくださいｗ
＞「100個から特定の1個を選ばない確率」の定義は？
100枚のカードから1枚のババを引かない確率と言っても同じことです。
それでもわからなければ近所の小学生にでも教えてもらったらいかがでしょう？
92:１３２人目の素数さん
19/01/14 14:04:59.81 eZdhxLjS.net
>>84
＞証明が無いんですけどね？
では
「100個の自然数（重複可）から無作為に選択した1個が単独最大値である確率はたかだか1/100」
これのどこに非可測集合を使っているのか具体的に答えて下さい。
93:１３２人目の素数さん
19/01/14 14:29:30.93 eZdhxLjS.net
>>84
＞時枝先生原文（>>75）「非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.」
この文における
・非可測集合とはどの集合を指しているでしょう？
・「経由する」とはどういうことでしょう？
・経由するとどうしてお手つきなのでしょう？
以上を正確に答えられたら、次に進んであげます。
これら議論の前提があなた自身の中で整理できていなければ議論を進める意味はありません。
94:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 14:35:13.88 gnrFyKcq.net
>>86-88
それは、全部
数学として
証明する人が
考えることです
非可測集合についての測度論を
根本から構築して
全てを定義して
時枝の加算無限長数列のしっぽの同値類の非可測集合を、確率計算で扱えるように
そのうえで、
数学としての確率計算がはじめて可能になります
95:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 14:41:13.84 gnrFyKcq.net
>>82
例え話
オイラー先生： いま
1+1/(2^2)+1/(3^2)+・・・+1/(m^2)
この級数を計算しているんだ
どうも、(π^2)/6 になりそうだ
こども：その式だと、m+1項がないですね
オイラー先生：簡単なことよ
1+1/(2^2)+1/(3^2)+・・・+1/(m^2)+1/((m+1)^2)
とすれば良い
以上
96:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 14:44:04.00 gnrFyKcq.net
>>89 タイポ訂正（＾＾；
非可測集合についての測度論を
↓
非可測集合についての確率論を
（＾＾
97:１３２人目の素数さん
19/01/14 14:50:33.33 U+rcrUOh.net
>>77
>ｍに上限がない以上
>ｍ’＝m+1として
>ｍ’に置き換えれば、それで終わりですよ
ギャハハハハハハ！！！
スレ主ってマジで正真正銘の白痴だったんだな
ｍをｍ＋１に置き換えても、
末端ｍが、末端ｍ＋１になっただけ
ペアノの公理に反していることに変わりない
いやー、それにしても工学部ってこんな白痴でも入れるんだなｗｗｗ
98:１３２人目の素数さん
19/01/14 14:53:29.74 U+rcrUOh.net
>>83
>”時枝解法で用いる確率は
>「100個から特定の1個を選ばない確率」に過ぎない。”
>の証明がないんですが？
100個でも何個でも、他より大きな数はたかだか1個しかない
2個以上あると言い張るなら、その例を出してごらんｗｗｗ
白痴が反例を出せないことが証明ｗｗｗ
99:１３２人目の素数さん
19/01/14 14:55:47.75 U+rcrUOh.net
>>85
>コンピュータプログラムは、経験なしですかね？
m=m+1でペアノの公理に従ったと思う白痴
ギャハハハハハハ！！！
反例の値を一つ繰り上げただけじゃないか
この白痴野郎ｗｗｗ
100:１３２人目の素数さん
19/01/14 14:55:48.86 eZdhxLjS.net
>>89
＞非可測集合についての測度論を
＞根本から構築して
＞全てを定義して
＞時枝の加算無限長数列のしっぽの同値類の非可測集合を、確率計算で扱えるように
どうぞおやりなさいな
時枝解法で用いる確率が非可測集合を使っていないことを理解できている我々には不要ですけど
101:１３２人目の素数さん
19/01/14 14:59:48.45 U+rcrUOh.net
>>89
>非可測集合についての測度論を 根本から構築して
不可能、かつ、不必要
>全てを定義して
「全て」とはなにかな 白痴君ｗｗｗ
>時枝の可算無限長数列のしっぽの同値類の非可測集合を、
>確率計算で扱えるように
不必要
100個の対象から、高々1個のハズレを選ばない確率が求まればいい
ハズレが高々1個なのは、ハズレは他より大きな数だけで、それが高々１個だから
つまり非可測集合は全く使わずに確率計算が可能
ま、白痴には死んでも分からんだろうね 死ねば？
102:１３２人目の素数さん
19/01/14 15:04:48.71 eZdhxLjS.net
>>89
＞それは、全部
＞数学として
＞証明する人が
＞考えることです
時枝記事が時枝解法の証明ですので記事を読んでください
103:１３２人目の素数さん
19/01/14 15:10:18.76 U+rcrUOh.net
>>90
ペアノ：
「ｍが自然数なら
1+1/(2^2)+1/(3^2)+・・・+1/(m^2) も
1+1/(2^2)+1/(3^2)+・・・+1/(m^2)+1/((m+1)^2) も
どっちもπ＾2/6ではないですね
ちなみにどちらも有理数の有限和だから有理数です」
オイラー：
「ぐぬぬぬぬ・・・」
104:１３２人目の素数さん
19/01/14 15:14:02.13 eZdhxLjS.net
>>98
わろたｗ
105:１３２人目の素数さん
19/01/14 15:23:43.56 eZdhxLjS.net
反例の値を一つ繰り上げ、ホッと胸をなでおろすスレ主
しかしそこにも終端があるので、また繰り上げなければならなかった
そうして永久に自ら作った有限列地獄に捕らわれ続けるスレ主だったとさ
ちゃんちゃん
106:１３２人目の素数さん
19/01/14 16:02:55.76 jLMc0Y2/.net
ペアノの公理のおかげでこのスレ（今はまだ58）も永遠に続くぞ
よかったなスレ主www
107:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 16:04:59.66 gnrFyKcq.net
>>92
>末端ｍが、末端ｍ＋１になっただけ
>ペアノの公理に反していることに変わりない
”ペアノの公理に反している”
108:？ 具体的に 下記の何番目、あるいは何番目と何番目の組み合わせですかね？ 因みに、ｍは任意の自然数（正整数）ですよ https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理は以下の様に定義される。 1.自然数 0 が存在する。 2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 3.0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。 4.異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。 5.0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 5番目の公理は、数学的帰納法の原理である。 (引用終わり)
109:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 16:06:16.56 gnrFyKcq.net
>>93
反例だせだせ病かい？
反例がなければ、おれさま証明は完璧だ～！（＾＾
110:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 16:06:43.59 gnrFyKcq.net
>>94
＞反例の値を一つ繰り上げただけじゃないか
反例は一つで良い
111:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 16:07:44.57 gnrFyKcq.net
>>95
＞どうぞおやりなさいな
＞時枝解法で用いる確率が非可測集合を使っていないことを理解できている我々には不要ですけど
理解と証明は、数学では異なります
自分が理解したから、証明不要とはなりませんよ
112:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 16:09:12.68 gnrFyKcq.net
>>96
へー
数学で理論構築が不要だと
そう公言しますかね～（＾＾
いやはや（＾＾；
113:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 16:12:35.43 gnrFyKcq.net
>>100
＞反例の値を一つ繰り上げ、ホッと胸をなでおろすスレ主
反例は一つで良い
>しかしそこにも終端があるので、また繰り上げなければならなかった
それがなにか？
反例構成はそれで十分でしょ？
どんな、決定番号の100個に組みに対しても
有限モデルが最低一つは（本当は一つではないが）
構成できる
と
そういう主張ですよ
114:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 16:16:06.10 gnrFyKcq.net
>>101
まあ、暫く続くでしょうね
サイコパスがいる限りね
でもヒント２（>>74）がまだ解けないようですね
まあ、京都大学なら「確率論基礎」（>>62重川一郎先生）の単位は貰えませんね（＾＾
時枝を論じる最低限（大学レベルの確率論の習得）に達していない
どうも、それだけははっきりしましたね（＾＾
115:１３２人目の素数さん
19/01/14 16:17:35.16 eZdhxLjS.net
>>107
＞反例は一つで良い
その通り、一つで良い
しかし一つも無いｗ
116:１３２人目の素数さん
19/01/14 16:20:04.56 eZdhxLjS.net
>>105
＞自分が理解したから、証明不要とはなりませんよ
記事が証明なので記事をよんでは？
117:１３２人目の素数さん
19/01/14 16:28:47.78 eZdhxLjS.net
>>107
＞反例構成はそれで十分でしょ？
時枝解法への反例を示したいなら、数当てができない数列を提示して下さいね。
有限列が反例？ ご冗談でしょ っぷ
118:１３２人目の素数さん
19/01/14 16:30:31.64 U+rcrUOh.net
>>102
>”ペアノの公理に反している”？
ええ、
{1,･･･,m}はmが
「2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する
（suc(a) は a + 1 の "意味"）。」
に反してます (m+1が含まれてない)
で、上記の集合にm+1を追加しても今度はm+2が含まれていないのでやはり
「2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する
（suc(a) は a + 1 の "意味"）。」
に反してます
>因みに、ｍは任意の自然数（正整数）ですよ
いかなるmであっても、{1,･･･,m}にはm+1が含まれません
小学生でもわかることですが、サルのスレ主には
どうしても理解できないようですね？ 白痴？
119:１３２人目の素数さん
19/01/14 16:32:14.95 U+rcrUOh.net
>>106
＞数学で理論構築が不要だと
スレ主が考えるような理論の構築は不要です
100個から1個選ぶだけの、小学生にも分かる理論だけで十分ですｗ
120:１３２人目の素数さん
19/01/14 16:34:53.16 U+rcrUOh.net
>>107
>どんな、決定番号の100個に組みに対しても
>有限モデルが最低一つは（本当は一つではないが）構成できる
有限モデルじゃ、いくら無数にあっても無駄ですよ
ペアノの公理に反する限り、終端のｍが存在しますから
終端のｍが決定番号の場合、ｍ＋１以降の箱が開けられませんから
時枝問題の前提に合致せず、却下されます
121:１３２人目の素数さん
19/01/14 16:35:12.06 eZdhxLjS.net
数当てができない数列も提示できない
時枝解法の誤り箇所も提示できない
なのに不成立は認めてくれ？
何を寝言言ってるんですかね、このボケ老人は
122:１３２人目の素数さん
19/01/14 16:38:41.46 U+rcrUOh.net
>>108
>京都大学なら「確率論基礎」（>>62重川一郎先生）の単位は貰えませんね（＾＾
その京都大学の重川先生とやらに
「時枝記事が間違ってることの証明」
を直接教わったら如何ですか？ｗｗｗ
まあ、門前払いを食らうと思いますがね
ペアノの公理も知らないとか、
数学界じゃ人間扱いされませんからｗｗｗ
P.S.
>もっと深く読みましょう
時枝記事も読めない白痴のスレ主が何ほざいてんだｗｗｗｗｗｗｗ
123:１３２人目の素数さん
19/01/14 16:42:26.79 U+rcrUOh.net
>>109
>>反例は一つで良い
>その通り、一つで良い
>しかし一つも無いｗ
その通り
必要な反例は、時枝記事の戦略が必ず実行できる無限列の場合
時枝記事の戦略が実行できない状況がある
有限列の場合なんかいくら示したって無意味
124:１３２人目の素数さん
19/01/14 16:50:15.87 U+rcrUOh.net
スレ主は何かといえば「確率論」というが、それではスレ主の
「無限列でも箱の中身当ての確率は上がらない」
という主張が、確率論で計算できるかといえばできない
無限個の箱を開けて箱の中身が分かったとしてその確率はいくつだ？０だろうｗ
そこからさらに１個開けて箱の中身が分かったところでその確率はやっぱり０だ
０/０をどうやって計算するつもりだ？教えてもらおうかｗ
125:１３２人目の素数さん
19/01/14 17:03:46.04 uyIinkLY.net
このスレは、時枝記事でペアノの公理を満たしそうだなw
それじゃ、おっちゃんもう寝る。
126:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 17:29:55.66 4a+lb34j.net
>>119
>このスレは、時枝記事でペアノの公理を満たしそうだなw
おっちゃん、どうも、スレ主です。
うまい
ザブトン１枚
おっちゃん、やるね～（＾＾
127:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 17:31:49.91 4a+lb34j.net
>>109
無限、有限関係ないですよ
都合の悪い反例を、単に無限有限だけで排除することは、数学ではできません
無限有限をどう区別するかは、証明する側の仕事ですよ
128:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 17:38:08.90 4a+lb34j.net
>>110
時枝自身が、記事の中で、証明不十分と書いています
つまり、前半は、Peter Winkler氏との茶のみ話がてら耳にした”ふしぎな戦略”の話を紹介している
そうして、後半で、この”ふしぎな戦略”に対する時枝先生自身の見解を述べています
問題を指摘しているのは下記２点
１．非可測集合を使った確率計算を行っていること
２．確率変数の無限族の扱いについて、”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される”について、持論を展開されている
129:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 17:39:50.53 4a+lb34j.net
>>111
はい>>121
130:１３２人目の素数さん
19/01/14 17:40:57.57 U+rcrUOh.net
>>121
>無限、有限関係ないですよ
白痴は時枝の記事が全然読めてない
選んだ列について、他の列の決定番号の最大値の次の箱以降を開けるのだから、
有限列ではありえないことが人間様なら即座に分かる
分からないのは人間失格のサル
>都合の悪い反例
「都合が悪い」と思うのが誤り
無限列であることを前提して書いていることに対して
その前提を否定する反例を出す奴が白痴
そんな身勝手なことこそ、数学ではできません
>無限有限をどう区別するかは、証明する側の仕事ですよ
だから証明した時枝氏が区別している
一読者の貴様が文句つけるのが間違ってる
131:１３２人目の素数さん
19/01/14 17:43:54.73 U+rcrUOh.net
>>122
>時枝自身が、記事の中で、証明不十分と書いています
書いていません
非可測集合を用いていることは、証明不十分を意味しません
確率変数の無限族についても、現状の定義に関する感想を述べたにすぎない
132:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 17:45:54.21 4a+lb34j.net
>>112
>1,･･･,m}はmが
>に反してます (m+1が含まれてない)
だから、それ有限モデルで反例を”一つ,”追加すれば良いだけですよ
{1,･･･,m,m+1}にすればね
>で、上記の集合にm+1を追加しても今度はm+2が含まれていないのでやはり
>「2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する
>（suc(a) は a + 1 の "意味"）。」
え？
{1,･･･,m,m+1,m+2}にすればいいだけしょ？
言っている意味がわからない（＾＾；
133:１３２人目の素数さん
19/01/14 17:46:17.25 U+rcrUOh.net
白痴が有限列に固執するのは、無限列が自分にとって都合が悪いからｗ
無限列では「決定番号の分布」がうまく計算できないからだろう
工学馬鹿はナイーブな計算に固執し、それがうまくいかないとブチ切れる畜生
134:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 17:47:28.77 4a+lb34j.net
>>113
>100個から1個選ぶだけの、小学生にも分かる理論だけで十分ですｗ
そうですよ
有限モデルだって
あなたが提示する任意の100個の決定番号から、一つを選びますよ
全て同じですよ
135:１３２人目の素数さん
19/01/14 17:48:02.58 klwf
136:xGR5.net
137:１３２人目の素数さん
19/01/14 17:49:31.75 U+rcrUOh.net
>それ有限モデルで反例を”一つ,”追加すれば良いだけですよ
>{1,･･･,m,m+1}にすればね
馬鹿？
その反例ではm+1がペアノの公理に反するだろ
>え？
>{1,･･･,m,m+1,m+2}にすればいいだけしょ？
ホント馬鹿？
その反例ではm+2がペアノの公理に反するだろ
>言っている意味がわからない（＾＾；
わからないのはお前が白痴だからだろ
いくら貴様が数を追加した有限モデルをもってきても
どれもこれもペアノの公理に反する元が存在するから無意味
こんな基本的なことが分からないサルは数学板に書き込むなよ！
138:１３２人目の素数さん
19/01/14 17:51:53.88 U+rcrUOh.net
>>128
>有限モデルだって あなたが提示する任意の100個の決定番号から、一つを選びますよ
有限モデルでは、列の終端の位置の決定番号の場合に、
それ以降の箱が存在しないから開けられない
し・か・し、無限モデルではそんな状況は存在しない
列の終端がそもそも存在しないから
こんな基本的なことも分からない白痴が時枝記事に難癖つけてんじゃねえよｗ
サルはサル山に帰れ！！！
139:１３２人目の素数さん
19/01/14 17:54:33.04 U+rcrUOh.net
>>129
そうですね
スレ主という名のゴミを焼き尽くすため
私も炎に焼かれて灰になる覚悟です
140:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 17:54:33.45 4a+lb34j.net
>>114
>有限モデルじゃ、いくら無数にあっても無駄ですよ
>ペアノの公理に反する限り、終端のｍが存在しますから
だから、なぜ無限なら確率計算ができるのか？
そこに疑義があるんだよと
非可測集合を経由するからだろうと、時枝先生は書いています
ですが、いまだ非可測集合をまっとうに扱う確率論がない
時枝先生は、彼の記事中で
「非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.」
までは書かれました
しかし、いまだ非可測集合をきちんと扱う確率論はありません
141:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:00:14.38 4a+lb34j.net
>>115
>数当てができない数列も提示できない
提示しました。有限モデルをね
>時枝解法の誤り箇所も提示できない
時枝先生自身が、記事中で書かれていますよ(>>133ご参照)
>なのに不成立は認めてくれ？
じゃ、ちゃんと、時枝先生が記事中で書いている不備を埋めたらどうですか？
重川先生も読めない、京大「確率論基礎」の単位落とすレベルじゃねー、説得力ないわな
何を寝言言ってるんですかね、ピエロちゃんは
142:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:03:34.88 4a+lb34j.net
>>116
はい>>30、どうぞこれ実行して下さい
京都大学「確率論基礎」（>>62重川一郎先生）読めませんと
自分の恩師に泣きついてください
そして、スレ主を懲らしめて下さいと、ついでに頼んでこいよ、落ちこぼれ
143:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:05:00.37 4a+lb34j.net
>>116
>>もっと深く読みましょう
読めないんですね ップ ｗ （＾＾
144:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:05:30.37 4a+lb34j.net
>>117
>有限列の場合なんかいくら示したって無意味
証明がない
145:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:08:10.74 4a+lb34j.net
>>118
>そこからさらに１個開けて箱の中身が分かったところでその確率はやっぱり０だ
>０/０をどうやって計算するつもりだ？教えてもらおうかｗ
言っている意味が分らないが
大学レベルの確率論を修得できていない人間と
大学レベルの確率論の議論をするのは、
至難だということは良く分かった
146:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:10:26.86 4a+lb34j.net
>>127>>130>>131
はい、>>138
147:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:11:15.20 4a+lb34j.net
>>132
焼かれる前に、重川先生読んでね
ヒント２まで出したんだからね
148:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 18:14:14.84 4a+lb34j.net
>>129
>ゴミ同士
ゴミ同士か
私については正しいですよ
で相手も、
私はゴミだと思います（重川先生よめないから）
でも、厳密には証明されていませんから、どうでしょうね
私は、彼ら、ほぼゴミとしておきますね
149:１３２人目の素数さん
19/01/14 18:27:42.82 U+rcrUOh.net
>>133
>なぜ無限なら確率計算ができるのか？
時枝記事の戦略が常に実行可能だから
>そこに疑義があるんだよと
何の疑義もありませんよ
>非可測集合を経由するからだろうと、時枝先生は書いています
決定番号の分布に固執するのが間違ってます
別の方法で計算できるからです
>ですが、いまだ非可測集合をまっとうに扱う確率論がない
この場合、別に非可測集合を扱う必要はありません
100個から1個を選ぶ最も簡単な確率モデルで計算できますから
150:１３２人目の素数さん
19/01/14 18:30:47.82 U+rcrUOh.net
>>134
時枝記事は無限列に対するものなので
有限列では�
151:ﾅきない、といっても無意味です また決定番号の分布が非可測関数であることは、 時枝記事の戦略成功の確率計算の不可能性を 示すものではありません ウソだと思うなら京都大学の重川先生にでも 直接聞いてごらんなさいｗｗｗｗｗｗｗ
152:１３２人目の素数さん
19/01/14 18:33:21.18 U+rcrUOh.net
>>135
京都大学「確率論基礎」（>>62重川一郎先生）が
読めてないのは貴方ですよ スレ主君
時枝記事の確率計算は、サイコロの目と同レベルの
実に簡単なものです どの大学の数学科の先生も
否定しようがありませんから
153:１３２人目の素数さん
19/01/14 18:34:46.57 U+rcrUOh.net
>>136
＞読めないんですね
正規部分群の定義すら正しく読み取れないスレ主に
測度の定義なんか逆立ちしても理解できませんよｗ
154:１３２人目の素数さん
19/01/14 18:35:48.25 U+rcrUOh.net
>>137
＞証明がない
時枝記事は証明です スレ主が理解したがらないだけ
155:１３２人目の素数さん
19/01/14 18:38:57.73 U+rcrUOh.net
>>138
>>０/０をどうやって計算するつもりだ？教えてもらおうかｗ
>言っている意味が分らないが
それは独立性を理解してない証拠
高校の確率からやり直しましょうｗ
156:１３２人目の素数さん
19/01/14 18:40:27.95 U+rcrUOh.net
>>139
群論の初歩（正規部分群）も理解できない貴方に
測度論なんて理解できませんよ
工学馬鹿にルベーグ積分なんて宝の持ち腐れｗ
157:１３２人目の素数さん
19/01/14 18:42:08.22 U+rcrUOh.net
>>140
正規部分群の定義も正しく読めない貴方が
確率論のテキストをまともに読めるわけないでしょう
どうせ的外れな誤解してるに決まってる
ヒントからして見当違いな臭いがプンプンするｗ
158:１３２人目の素数さん
19/01/14 18:43:31.99 U+rcrUOh.net
>>141
>ゴミ同士か
>私については正しいですよ
じゃ、今すぐここから消えてください
数学板は工学馬鹿のゴミが来るところではありません
159:１３２人目の素数さん
19/01/14 18:44:14.13 U+rcrUOh.net
再掲
>>133
>なぜ無限なら確率計算ができるのか？
時枝記事の戦略が常に実行可能だから
>そこに疑義があるんだよと
何の疑義もありませんよ
>非可測集合を経由するからだろうと、時枝先生は書いています
決定番号の分布に固執するのが間違ってます
別の方法で計算できるからです
>ですが、いまだ非可測集合をまっとうに扱う確率論がない
この場合、別に非可測集合を扱う必要はありません
100個から1個を選ぶ最も簡単な確率モデルで計算できますから
160:１３２人目の素数さん
19/01/14 18:52:57.65 U+rcrUOh.net
スレ主、今日の爆笑発言
>>77
「ｍに上限がない以上
ｍ’＝m+1として
ｍ’に置き換えれば、それで終わりですよ 」
こんな白痴でも入れる工学部のある大学ってどこだろ？
絶対、国公立じゃないなｗ
161:１３２人目の素数さん
19/01/14 20:05:01.47 eZdhxLjS.net
>>122
＞１．非可測集合を使った確率計算を行っていること
具体的にどの集合？
162:１３２人目の素数さん
19/01/14 20:07:36.87 U+rcrUOh.net
>>122
＞１．非可測集合を使った確率計算を行っていること
これは全くのウソだな
スレ主は平気でウソつくサイコパス野郎
死ねよ ゴキブリ
163:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 20:25:39.72 4a+lb34j.net
>>144
>京都大学「確率論基礎」（>>62重川一郎先生）が
>読めてないのは貴方ですよ スレ主君
確率論基礎 京都大学数学教室 重川一郎先生
確率変数分りませんか？ 読めませんか？
大学の確率論に対する無知露呈
京都大学なら、「確率論基礎」の単位取得は、不可ですね。
一体どこの数学科を出たのでしょうね～？ もぐりかもね（＾＾
ヒント３：
降参しませんか？
ワビを入れたら教えてあげますよ （＾＾；
（参考）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
重川一郎のホームページ 京都大学大学院理学研究科数学教室
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート
164:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 20:35:58.95 4a+lb34j.net
>>153-154
非可測集合を使った確率計算を行っていることは、
時枝先生がご自身の記事の後半で分析されていますよ
まあ、重川先生「確率論基礎」も読めないんじゃ、理解は無理かな
165:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 20:38:30.70 4a+lb34j.net
まあ、重川先生「確率論基礎」も読めないんじゃ、理解は無理かな
時枝先生の記事の前半のPeter Winkler氏との茶のみ話
と
後半の時枝先生の本当に言いたい記事の主張との関係
それが分るはずもない
だから、前半と後半は無関係とか
トンチンカン
まあ、どうしようもない
議論していても、幼稚すぎて面白くもなんともない
166:１３２人目の素数さん
19/01/14 20:45:15.36 eZdhxLjS.net
>>121
「数当てゲームにおいて、どのような実数列が出題されても確率99/100で勝てる」
の反例は「それができない実数列」です。
どうぞそのような実数列を示して下さい。
167:１３２人目の素数さん
19/01/14 20:52:17.26 U+rcrUOh.net
>>155
正規部分群も分からんアホが何ほざいてんだ
おまえが降参してここから消えろや サル！
168:１３２人目の素数さん
19/01/14 20:53:38.41 U+rcrUOh.net
>>156
後半の文章は、非可測集合の作り方と同じといってるだけで
確率計算に用いてるとは言ってない ウソつくなや サイコパス野郎
169:１３２人目の素数さん
19/01/14 20:54:12.04 eZdhxLjS.net
>>126
時枝記事の数当てゲームの対象は実数列です。
＞箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる
対象を実数列以外にした瞬間に別の話となります。
なので反例を示したいなら実数列を示して下さい。
170:１３２人目の素数さん
19/01/14 20:55:56.76 U+rcrUOh.net
>>157
正規部分群も理解できないスレ主に
重川ナニガシの「確率論基礎」が
読めるわけないだろｗ
＞前半と後半は無関係
後半は、戦略について述べてない
後半ばかり読むスレ主こそトンチンカン
ま、文章読めない池沼のサルじゃ仕方ないかｗ
171:１３２人目の素数さん
19/01/14 21:05:48.31 eZdhxLjS.net
>>133
＞だから、なぜ無限なら確率計算ができるのか？
＞そこに疑義があるんだよと
＞非可測集合を経由するからだろうと、時枝先生は書いています
＞ですが、いまだ非可測集合をまっとうに扱う確率論がない
スレ主は具体的にどの集合が問題だと言ってるの？
172:１３２人目の素数さん
19/01/14 21:11:44.03 eZdhxLjS.net
>>137
＞>有限列の場合なんかいくら示したって無意味
＞証明がない
記事の以下の部分を読めませんか？
＞箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる
173:１３２人目の素数さん
19/01/14 21:16:06.71 jLMc0Y2/.net
スレ主は自分じゃ何が問題かすらわかってないまま上から目線で書くだけ
174:１３２人目の素数さん
19/01/14 21:20:02.79 eZdhxLjS.net
>>156
＞非可測集合を使った確率計算を行っていることは、
＞時枝先生がご自身の記事の後半で分析されていますよ
時枝解法を否定しているのは時枝先生ではなくあなたです。
だからあなたに聞いているのです。
あなたどの集合を問題視しているのですか？
175:１３２人目の素数さん
19/01/14 21:26:32.70 eZdhxLjS.net
>>157
＞だから、前半と後半は無関係とか
＞トンチンカン
いつ誰が「前半と後半は無関係」と言いましたか？
得意のコピペでレスを引用して下さい。
176:１３２人目の素数さん
19/01/14 22:33:28.67 bs/zORq6.net
>>77
＞「ｍに上限がない以上
＞ ｍ’＝m+1として
＞ ｍ’に置き換えれば、それで終わりですよ 」
m のときの有限モデルがそのまま反例になっているなら、
わざわざ m'＝m＋1 に置き換える必要はない
m'＝m＋1 に置き換えたがるということは、
m のときの有限モデルそのままでは反例になってないことを
アホ主自身が認めていることになる
では、m のときの有限モデルが反例にならないとして、
m'＝m＋1 に置き換えれば反例になるのか？
いや、反例にならない。なぜなら、m' のときの有限モデルが
そのまま反例になるなら、m から出発せずに、最初から
m' のときの有限モデルそのものを提示すればいいからだ
177:１３２人目の素数さん
19/01/14 22:37:26.69 bs/zORq6.net
まとめると、
m＝1のときの有限モデルでは反例にならない
m＝2のときの有限モデルでは反例にならない
m＝3のときの有限モデルでは反例にならない
：
：
m＝kのときの有限モデルでは反例にならない
m＝k＋1のときの有限モデルでは反例にならない
m＝k＋2のときの有限モデルでは反例にならない
：
：
となるので、どの有限値のmに対しても、そのときの有限モデルでは反例にならない
178:１３２人目の素数さん
19/01/14 22:47:02.92 bs/zORq6.net
では、m'＝m＋1 に置き換えることで、アホ主は何を示したつもりになっているのか？
実はアホ主は、固定されたmに対する特定の有限モデルそのものには注目していない
アホ主は、m＝1,2,3,…に対応する有限モデルの「系列全体」に注目しているのであり、
その系列において m→∞ という "極限" を考えることで、時枝記事の反例が出来上がると
漠然とイメージしている
言うまでもなく、このイメージは意味不明であり、時枝記事の反例にはならない
また、m→∞ の "極限" という幻想に未だに囚われているところも呆れ返る
179:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 22:56:39.89 4a+lb34j.net
>>158-169
確率変数分りませんか？ 読めませんか？
「確率論基礎」 京都大学数学教室 重川一郎先生が
大学の確率論に対する無知露呈
京都大学なら、「確率論基礎」の単位取得は、不可ですね。
一体どこの数学科を出たのでしょうね～？ もぐりかもね（＾＾
じゃ、確率論基礎 京都大学数学教室 重川一郎先生読んで
確率変数について、分ったら書いてくださいね
子供みたいな議論を繰返しても仕方が無いので
私は抜けます
どうぞ、時枝のスレでも立ててください
私は参加しませんので、よろしくね
私は、自分のペース（コピペ）に戻りますので悪しからず
コピペが多いとか、文句がある方、どうぞ自分達の時枝スレを立ててください
（参考）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
重川一郎のホームページ 京都大学大学院理学研究科数学教室
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート
180:１３２人目の素数さん
19/01/14 22:57:00.89 bs/zORq6.net
仮に m→∞ の "極限" を考えたいなら、「確率空間の系列」の極限を扱うことになるので、
極限として得られる確率空間が本当に確率空間になっているのか証明する必要があるし、
その確率空間が本当に時枝記事の反例になっているのかも確かめる必要がある
m のときの有限モデルを (Ω_m, σ_m, P_m) として、
"極限" として得られる確率空間を(Ω, σ, P)とする
どの有限値のmに対しても、確率空間(Ω_m, σ_m, P_m)は時枝
181:記事の反例にならないので、 反例になる可能性があるのは(Ω, σ, P)しかない よって、アホ主は以下の問題を全てクリアしなければならない ・ Ωはどのような集合か明示せよ ・ σはどのようなσ集合体か明示せよ ・ Pはどのような確率測度か明示せよ ・ そもそもm→∞の "極限" には概収束や確率収束など色々な種類があるが、 どの意味の極限を考えているのか明示せよ ・ (Ω, σ, P)が実際に反例になっていることを証明せよ
182:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 22:57:35.99 4a+lb34j.net
まあ、ネットじゃ、相手がどれくらいのレベルか分らんよね
ピエロちゃんも、出会いから、デタラメをわめき散らして、
「こいつレベル低いな」と思っていたけど、これほどまでとはね
まあ、これでは時枝記事は読めないよね。理解できないよね。議論できないよね
183:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 22:57:59.29 4a+lb34j.net
「確率変数は箱に入れられない」か
「確率論基礎」 京都大学数学教室 重川一郎先生 に書いてあると教えても読めない
”ヒント２：もっと深く読みましょう”と、教えても分らない
どうしようもないよね
184:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 22:59:05.47 4a+lb34j.net
>>171
まあ、もともとテンプレで、
下記のようにうたっていますのでね（＾＾；
（>>1より）「後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳です」
（>>2より）「“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。」
（>>7より）「ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）」
（>>12より）「どこの馬の骨ともしれん連中との、数学ディベートもどきより URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾；」
185:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/14 22:59:26.40 4a+lb34j.net
じゃ
186:１３２人目の素数さん
19/01/14 23:03:34.18 bs/zORq6.net
ところで、どのような "極限" を考えるにせよ、
それがマトモな "極限" である限り、Ωは明らかに無限集合である
つまり、時枝記事の反例になる(Ω, σ, P)においては、
Ωが無限集合になるしかないので、有限モデルを考えること自体がナンセンスである
では、なぜ有限モデルを考えていたのか？
そもそも、有限モデルを持ち出したのはアホ主である
その理由は、無限集合では都合が悪いから、という短絡的な理由である
要するに、有限モデルを考えることに正当な理由などなく、
単にアホ主にとって都合が悪いからという短絡的な理由で
有限モデルが持ち出されたにすぎない
そして、有限モデル(Ω_m, σ_m, P_m)では反例にならず、
結局はΩが無限集合でなければ反例の候補になり得ないのだった
つまり、アホ主の目論見は最初の一歩目から崩壊している
187:１３２人目の素数さん
19/01/14 23:11:52.72 bs/zORq6.net
仮に有限モデル(Ω_m, σ_m, P_m)から出発するにしても、
結局は m→∞ の "極限" を取った(Ω, σ, P)でなければ
反例の候補になりえないのだから、つまりは>>172のような
ウルサイ問題を全てクリアしなければならず、
反例を提示する手間が全く軽減されていないし、
むしろ問題が無意味に複雑化されているだけである
無論、そこにアホ主の戦略がある
つまり、>>172のようなウルサイ問題を全て棚に上げて、
(Ω, σ, P)を直視することから逃げて、
(Ω_m, σ_m, P_m)の系列だけに注目することにして、
「この系列で m'＝m＋1 に置き換えればよい」
と漠然とイメージするだけで時枝記事への反論が
成立するだろうという暴論に出ているのがアホ主である
ただの詭弁としか言いようがない。頭が腐っている
188:１３２人目の素数さん
19/01/14 23:19:45.01 bs/zORq6.net
再掲するが、有限モデル(Ω_m, σ_m, P_m)では反例にならないので、
反例の「候補」になり得るのは、m→∞ の "極限" を取った(Ω, σ, P)しかない。
なので、(Ω_m, σ_m, P_m)の系列そのものをいくら眺めても、時枝記事の反例にはならない
(Ω, σ, P)を直視する以外に、反例への道筋はない
(Ω, σ, P)を直視したくないからこそ有限モデル(Ω_m, σ_m, P_m)を
持ち出していたアホ主だが、結局は(Ω, σ, P)を直視する以外に選択肢はないのだ
そして、(Ω, σ, P)が実際に反例になるというのなら、
アホ主は>>172のウルサイ問題を全てクリアしなければならない
「この系列で m'＝m＋1 に置き換えればよい」などという暴論は成立しない
アホ主は>>172のウルサイ問題を全てクリアしなければならない
189:１３２人目の素数さん
19/01/14 23:55:23.23 eZdhxLjS.net
>>171
逃亡宣言乙ｗ
逃亡先は数学板以外にしてね 数学板でまた嘘八百垂れ流されると迷惑なので
190:１３２人目の素数さん
19/01/14 23:58:17.53 eZdhxLjS.net
>>173
捨て台詞乙ｗ
さっさと逃亡して下さい。但し数学板以外へｗ
191:１３２人目の素数さん
19/01/15 00:02:37.71 UXQgqgyz.net
>>174
箱に何を入れて良いかのルールは時枝記事が規定しており、まったく意味不明。
まあこれまで散々意味不明なことを口走って来たスレ主だから今更驚かないけどね っぷ
192:１３２人目の素数さん
19/01/15 00:11:18.43 UXQgqgyz.net
スレ主は自分がわかってなくても相手がフォローしてくれるだろうとの打算で議論を
ふっかけてくる。そしてそういう心理をこちらに読み取られていないと信じている。
馬鹿丸出しｗ
193:１３２人目の素数さん
19/01/15 07:10:11.06 gFamkfTH.net
>>170
>(スレ主は）m＝1,2,3,…に対応する有限モデルの「系列」において
> m→∞ という "極限" を考えることで、時枝記事の反例が出来上がる
>と 漠然とイメージしている
できませんよ。どの系列の要素も有限モデルだし
系列をつくっただけでは極限なんてできませんから
反例にもなんにもなりゃしません
>言うまでもなく、このイメージは意味不明であり、
>時枝記事の反例にはならない
>また、m→∞ の "極限" という幻想に
>未だに囚われているところも呆れ返る
要するに有限しか考えられない有限馬鹿なんでしょう スレ主はｗ
194:１３２人目の素数さん
19/01/15 07:13:49.82 gFamkfTH.net
>>171
＞子供みたいな議論を繰返しても仕方が無いので私は抜けます
スレ主 ついに敗北宣言！！！
195:１３２人目の素数さん
19/01/15 07:16:05.15 gFamkfTH.net
>>173-176
ディベート？
スレ主は何勘違いしてんだ？
これはディベートではない
スレ主の誤りを読者全員が正す教育的指導
そして、スレ主は弁解できずに逃亡ｗｗｗ
196:１３２人目の素数さん
19/01/15 07:19:00.35 gFamkfTH.net
>>183
スレヌシは重川ナニガシの「確率論基礎」の内容を
我々から教わりたいのか？
残念だが、時枝記事の理解には全く必要ないので
上記の文書の内容には決して立ち入らない
興味があるならスレ主が勝手に読めばいい
ま、正規部分群も理解できないスレ主には
測度のなんたるかを理解することは不可能だろうｗ
197:１３２人目の素数さん
19/01/15 07:22:28.43 gFamkfTH.net
時枝記事でΩをR^Nとして考えても無意味
なぜなら決定番号の分布R^N→Nが非可測だから
で、上記が非可測だから確率が計算できない、という主張も無意味
なぜなら時枝戦略の確率は100個から1個選ぶという
単純極まりない確率モデルで計算可能だから
スレ主は死んだ！！！
198:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/15 08:00:16.67 IoQw/Dy0.net
ペアノの公理は、現代数学大系の中では、ZFC公理系の中に包含されているので
正確には、公理と呼ぶのは間違いだが、歴史的にそういう名称で呼ばれている
（詳しくは、下記 ”Rei Frontier Tech Blog ZFC公理系について：その2”）
で、我々は、すでにZFCの中で、自然数を構成して、それを使っているということを忘れている人がいる
それ、単に後者が存在するというだけのことですよね
それは、任意の自然数ｍを取ったときも同じことが言える
で、さらに言えば、無限集合としての自然数Nは、公理系としては、ペアノの公理だけでは達成できない
無限公理が、無限集合の存在には必要だ
それについては、下記などを読めば、どこにでも書いてある
「ペアノの公理で、有限と無限を区別できる」と、錯覚している人がいるようだね
URLﾘﾝｸ(tech-blog.rei-frontier.jp)
Rei Frontier Tech Blog
ZFC公理系について：その1 20171102
(抜粋)
今回皆様にお話するのは、現代数学の土台であり、我々が普段接する数学的対象をつくる素材を提供してくれる、ZFC公理系にまつわるお話です。
・はじめに
・命題と論理式
・外延性公理と集合
・非順序対と合併
・無限公理と無限系譜
・分出公理と共通部分
(引用終り)
URLﾘﾝｸ(tech-blog.rei-frontier.jp)
同
ZFC公理系について：その2 20171109
(抜粋)
本記事の目的は、自然数全体の集合Nを定義し、その性質（の一部）を述べることです。
・べき集合の公理、自然数の全体
・ペアノの公理
(引用終り)
URLﾘﾝｸ(tech-blog.rei-frontier.jp)
同
ZFC公理系について：その3 20171116
(抜粋)
前前回、前回につづいて、ZFC公理系の残りの公理を紹介していきます。
・写像と選択公理
・順序対、直積
・写像、一般の直積、選択公理
・順序数、ZFC公理系
・順序関係と順序数
・正則性公理
・置換公理
・参考文献
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
ZF 公理系
URLﾘﾝｸ(en.wikipedia.org) （ZFC）
199:１３２人目の素数さん
19/01/15 08:45:33.74 UXQgqgyz.net
>>189
＞それ、単に後者が存在するというだけのことですよね
やはり何も分かってなかったｗ
200:１３２人目の素数さん
19/01/15 08:49:55.72 UXQgqgyz.net
出た！いつもの「～を読めばわかる」←本人が読んでないｗ
201:１３２人目の素数さん
19/01/15 10:44:37.08 Xjgp+EBt.net
余談だが、アホ主の「m'＝m＋1 に置き換えればよい」という詭弁は、
「NからRへの全単射は存在する」という詭弁にとてもよく似ている
まずは、そのような全単射が存在しないことを見ておこう
f：N→R が全単射だったとすると、対角線論法により、
あるx∈Rに対して、f(n)＝xを満たすn∈Nは存在しないことが言える
これはfが全単射であることに矛盾する
よって、NからRへの全単射は存在しない
202:１３２人目の素数さん
19/01/15 10:48:13.23 Xjgp+EBt.net
数学的にはこれで終わりだが、詭弁論者は次のように主張する
「g(1)＝x, g(n)＝f(n－1) (n≧2) として新しく g：N→R を作ればよい」
つまり、f のままでは f(n)＝x を満たす n∈N が存在しないので、
後出しで f を g に差し替えることで、g(n)＝x を満たす n∈N を作り出すという方針である
こうすると、詭弁論者にとっては、「xでは矛盾しないのでセーフ」ということになるらしい
203:１３２人目の素数さん
19/01/15 10:52:29.93 Xjgp+EBt.net
この詭弁には3つのツッコミどころがある
まず最初のツッコミどころは、f から g に差し替えなければならない時点で、
f が全単射になってないことを認めているのと同じだということである
もし f が完全に全単射ならば、差し替える必要などない
次のツッコミどころは、g に差し替えたところで、
差し替える前の f は依然として全単射になってないことである
我々はその f が全単射でないことを以って「矛盾」と言っているのに、
そこを棚に上げて「gに差し替えれば矛盾しない」と言い張ったところで、
f に関する矛盾が解消されるわけではない
もう1つのツッコミどころは、差し替えた後の g もまた全単射になってないところだ
もし g が全単射なら、対角線論法により、やはり矛盾する
204:１３２人目の素数さん
19/01/15 10:56:12.35 Xjgp+EBt.net
ところが、詭弁論者はこのようには捉えない
fがダメならgに差し替えればよい
gもダメなら別のhに差し替えればよい
このように差し替えを繰り返すことで、矛盾が 常 に 回 避 で き る
と、詭弁論者はこのように捉える
では、最終的にどのような写像がNからRへの全単射になるのか？
そのような全単射は存在しない
なぜなら、最終的に何らかの F：N→R が全単射になったなら、
やはり対角線論法で矛盾するからだ
しかし、詭弁論者は「Fもダメなら別のGに差し替えればよい」と主張するｗ
205:１３２人目の素数さん
19/01/15 11:02:58.98 Xjgp+EBt.net
つまり、詭弁論者が言うところの全単射とは、今現在も差し替えが続く
f,g,h,…の系列を1つの写像として捉えた曖昧な対象のことを指すのであり、
一言で表せば、
「決して完成せず差し替えが続く動的な写像もどき」
が、詭弁論者にとっての、NからRへの全単射ということになる
つまり、そもそも写像の概念からして間違っている
206:１３２人目の素数さん
2019/01/1
207:5(火) 11:07:06.86 ID:Xjgp+EBt.net
208:１３２人目の素数さん
19/01/15 11:10:24.41 Xjgp+EBt.net
まず最初のツッコミどころは、m'＝m＋1 に差し替えなければならない時点で、
m のときの有限モデル(Ω_m,σ_m,P_m)が反例になってないことを認めているのと
同じだということである
もし m のときの(Ω_m,σ_m,P_m)が完全に反例ならば、差し替える必要などない
次のツッコミどころは、m'＝m＋1 に差し替えたところで、
差し替える前の m での有限モデル(Ω_m,σ_m,P_m)は依然として反例になってないことである
我々はその m に対する(Ω_m,σ_m,P_m)が反例になってないことを指摘しているのに、
そこを棚に上げて「m'＝m＋1 に差し替えればセーフ」と言い張ったところで、
m に対する(Ω_m,σ_m,P_m)が反例になってないという問題が解消されるわけではない
もう1つのツッコミどころは、差し替えた後の m'＝m＋1 もまた反例になってないところだ
209:１３２人目の素数さん
19/01/15 11:14:31.55 Xjgp+EBt.net
ところが、アホ主はこのようには捉えない
mがダメならm'＝m＋1に差し替えればよい
m'もダメならm''＝m＋2に差し替えればよい
このように差し替えを繰り返すことで、反例になってないという問題が 常 に 回 避 で き る
と、アホ主はこのように捉える
では、最終的にどのような確率空間が時枝記事の反例になるのか？
m→∞ の "極限" としての確率空間(Ω,σ,P)を考えない限り、反例の候補は決して現れない
なぜなら、どの m に対する有限モデル(Ω_m,σ_m,P_m)も時枝記事の反例ではないからだ
210:１３２人目の素数さん
19/01/15 11:17:43.70 Xjgp+EBt.net
極限である(Ω,σ,P)を考える場合は、>>172のウルサイ問題を
全てクリアしなければならないが、アホ主はそれをしていない
また、今までの書き込みを見ると、そもそも(Ω,σ,P)を想定しているわけではないことが伺える
211:１３２人目の素数さん
19/01/15 11:25:18.16 Xjgp+EBt.net
しかし、もし極限を考えてないなら、アホ主の主張は
「NからRへの全単射は存在する」という詭弁と完全に一致する
この場合、アホ主が言うところの反例とは、
今現在も差し替えが続く (Ω_m,σ_m,P_m) (m＝1,2,3,…) の系列を
1つの確率空間として捉えた曖昧な対象のことを指すのであり、一言で表せば、
「決して完成せず差し替えが続く動的な確率空間もどき」
が、アホ主にとっての反例ということになる
おそらく、アホ主が想定している反例はこちらであろう
つまり、そもそも確率空間の概念からして間違っているわけだ
212:１３２人目の素数さん
19/01/15 11:34:38.66 Xjgp+EBt.net
結局、極限を考える、考えないのどちらにしても、アホ主は時枝記事の反例が構成できてない
対象を数学的にきちんと記述せずに漠然と捉えているから、こういう間違いが起きる
感覚的には、数年前の「数列の連結」とかいうill-definedなトンデモ概念の再来にも見える
コピペばかりで自分の頭で考えることをせず、何かを考えたつもりになっていても
実際には対象を漠然と捉えているだけで何も考えることができていない
だから、いつまでたってもこの手の間違いが後を絶たない
そんな腐った脳味噌で、しかも「時枝は間違っている」という結論ありきだから、
「数列の連結」やら「動的な確率空間もどき」やらのトンデモ概念が
次から次へと生み出される
213:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/15 14:37:20.13 mTkr94n/.net
多項式環と形式的冪級数環を考えよう
（数学的には、後の引用ご参照）
時枝記事に合わせると、
箱が有限なら、多項式の係数a1,a2,・・・an に当たる
箱が無限個なら、それは形式的冪級数における、係数a1,a2,・・・an,・・・
と対応する。
ｎ次多項式（有限モデル）で時枝類似の同値類を考える
係数a1,a2,・・・anで
明らかに、同値類はanで決まる。
同値類の代表F(x)=a1+a2x^2+a3x^3+・・・+an-1x^(n-1)+anx^n
に対し
ある式 F'(x)=a1'+a2'x^2+a3'x^3+・・・+an-1'x^(n-1)+anx^n
において、もしランダムにF(x)と F'(x)とを選んだと考える
その係数が、整数であっても、有理数であっても、実数であっても
an-1 ＝ an-1'となる確率は０（ゼロ）だろう
よって、決定番号が、ｋ （ 1 <= k <= n-1 (つまりｎ以外)）となる確率は０（ゼロ）だ
（ k番目からn-1番目までの全ての係数が一致する確率は、０（ゼロ）だということ）
さて、形式的冪級数環（無限モデル）において上記同様（それは時枝記事と同じ）に、同値類を考える
上記の多項式環の場合と同様に、同値類はan n→∞ で決まる
よって、決定番号が、ｋ （ 1 <= k < ∞ ）となる確率は０（ゼロ）だ
（ k番目から無限の彼方のシッポまでの全ての係数が一致する確率は、０（ゼロ）だということ）
なお、確率が０（ゼロ）と、それが実現できないこととは異なることを注意しておく
例えば、代表F(x)=a1+a2x+a3x^3+・・・+an-1x^(n-1)+anx^n
に対し
ある式 F'(x)=a1'+a2x^2+a3x^3+・・・+an-1x^(n-1)+anx^n
のように、決定番号を２にしようと、人為的に奇跡を構成すれば、実現可能だから
形式的冪級数環においても同様である
これを、時枝記事について考えるに
有限モデルに相当する、多項式環内での次数ｎが�
214:蛯ｫい多項式の同値類では、 それより小さい決定番号 ｋ （ 1 <= k <= n-1 の確率は、０（ゼロ） 同様に、（時枝記事に相当する）無限モデルの形式的冪級数環においても同じく ｋ （ 1 <= k < ∞ ）となる確率は０（ゼロ） つまりは、Ω＝{1,2,・・・,100}などは、 「起こりえない奇跡の中の確率計算をしているのに等しい」ということ 以上 つづく
215:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/15 14:39:59.33 mTkr94n/.net
>>203
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
多項式環
URLﾘﾝｸ(www.f-denshi.com)
ときわ台学
URLﾘﾝｸ(www.f-denshi.com)
ときわ台学 The 講義
(抜粋)
４ 多項式環
［多項式］
可換環R 上の多項式 r とは，係数と呼ばれる ｒ1，r2，・・・rrn ∈ R と不定元 x を用いて，
r ＝ r0＋r1x＋r2x2＋・・・＋rnxn ，n ∈ 整数 （＝ r0＋r1・x＋r2・x2＋・・・＋rrn・xn ）
の形で表せるものを多項式いう。
(引用終わり)
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, ...) を A の元として、
Σ _{n=0}^{∞}a_{n}X^{n}=a_{0}+a_{1}X+a_{2}X^{2}+・・・
の形をしたものである。ある m が存在して n ? m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
(引用終わり)
URLﾘﾝｸ(pisan-dub.jp)
整数論事始 総目次
URLﾘﾝｸ(pisan-dub.jp)
3.2 一変数多項式と形式的冪級数 著者:梅谷 武 更新:2013-06-17
(抜粋)
?この可換環の元の列で0でない元が無限にあるものを形式的冪級数、0でない元が有限のものを多項式、多項式の中で特0でない元が1個しかないものを単項式といいます。
(引用終わり)
URLﾘﾝｸ(mathematics-pdf.com)
PDF形式の数学ノート よしいず
URLﾘﾝｸ(mathematics-pdf.com)
形式的冪級数(144KB, 11/01/26)
(抜粋)
?この可換環Rの係数列の集合から成る可換環をR上の形式的冪級数環といいます。特に0でない元が有限個だけの係数列から成る部分集合を考えると、これは加法と乗法に関して閉じていますので形式的冪級数環の部分環になっていますが、これをR上の多項式環といいます。
(引用終わり)
つづく
216:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/15 14:40:34.15 mTkr94n/.net
>>204
つづき
（たとえ話）
男(Pie)：いま、確率を計算しているんだ
友人：どんな確率計算だい？
男(Pie)：乃木坂の生田絵梨花、齋藤飛鳥、白石麻衣の３人のうち、だれの手紙が一番早く自分に届くかの確率計算さ
友人：ファンレターでも出したのかい？ その返事か？
男(Pie)：いや、夢に出てきてね。３人が手紙を俺に出すと言っていたんだ～
友人：それが、現実化する確率は０（ゼロ）だよ
男(Pie)：いや、Ω＝{1,2,3}だ。だって３人だもの。齋藤飛鳥からの手紙が最初に来る確率は1/3だ～！ これを否定するなら選択公理が否定される。ペアノも否定されるよ！（＾＾
友人：絶句
いやはや、妄想もここまで来れば立派ですね（＾＾；
ちゃんちゃん、お後がよろしいようで
URLﾘﾝｸ(ja.wikipedia.org)
乃木坂46
以上
217:１３２人目の素数さん
19/01/15 18:39:05.73 gFamkfTH.net
>>189
>無限集合としての自然数Nは、
>公理系としては、ペアノの公理だけでは達成できない
>無限公理が、無限集合の存在には必要だ
無限公理を一度でも見たことがあるなら
「ペアノの公理を満たす自然数全てを
要素としてもつ集合が存在する」
という形になってるとわかるｗ
無限公理
「以下の条件を満たす集合ωが存在する
｛｝（＝０）はωの要素
ｘがωの要素なら、ｘ∪｛ｘ｝（＝suc(x)）はωの要素」
上記のωには末端（つまりsuc(x)が存在しないｘ）は存在しない
一方、スレ主の有限モデルは{1,・・・,m}だから、
どんなmを選んでも、suc(m)は要素でないｗ
無限モデルはω＝{0,・・・｝であって終端の要素はない！
>「ペアノの公理で、有限と無限を区別できる」
>と、錯覚している人がいるようだね
無限公理の形を見れば、ペアノの公理が基になってるとわかる
つまり、これで有限と無限が区別されている
無限公理のない集合論のモデルの中には
無限集合が存在しないものがある
つまり、
｛｝は集合である (空集合の公理からいえる）
ｘが集合なら、ｘ∪｛ｘ｝（＝suc(x)）は集合である
（和集合の公理からいえる）
というだけで、集合ωが存在しないモデルがある
スレ主の「有限モデルの世界」はまさにそのようなものだ
218:１３２人目の素数さん
19/01/15 18:40:02.98 gFamkfTH.net
>>192-202
同様のやり取りを別の掲示板で目撃しました
一方は「非可算無限は存在しない」と主張する方でした
ところで、Ω＝無限列の場合の(Ω,σ,P)を考えても
結局決定番号への関数が非可測なので
意味がない、というのが率直な感想
ただ、これをいうと、スレ主が
「だから、確率は求まらない」
とわめくのが目に見えてる
ただ、スレ主は
「無限列でも有限列同様、偶然以上の確率ではあたらない」
といってるのだから、時枝記事の方法でもそうなることを
計算して見せなければならない
つまり上記の発言はやっぱりスレ主の自爆ｗ
219:１３２人目の素数さん
19/01/15 18:40:49.73 gFamkfTH.net
>>203
>無限モデルの形式的冪級数環においても同じく
>ｋ （ 1 <= k < ∞ ）となる確率は０（ゼロ）
これ、アウトねｗ
というのは、決定番号が何であれ自然数の値をとる確率は１だから
一方決定番号は可算個だから、可算加法性を満たすなら
どの自然数についても確率０なら、総和も０とせねばならない
しかし、それは同値関係の定義に反するから矛盾
つまり「非可測なので確率は求まらない」とするのが正しい
（現に非可測集合の非可測性の証明は
上記のような方法で行われている）
>つまりは、Ω＝{1,2,・・・,100}などは、
>「起こりえない奇跡の中の確率計算をしているのに等しい」
全くの誤り
いかなる無限列も、自分の同値類の代表元とは同値である
したがって、ある自然数ｎが存在して、そこから先の尻尾が一致する
つまり、決定番号が何であれ自然数の値をとる確率は１
したがって、Ω＝{1,2,・・・,100}は
「確実に起こり得る状況の中の確率計算」
である。
ザ・ン・ネ・ン・デ・シ・タ
220:１３２人目の素数さん
19/01/15 21:06:34.94 UXQgqgyz.net
スレ主さあ
ちょっとは勉強してから書き込めや
221:１３２人目の素数さん
19/01/15 22:44:10.97 Xjgp+EBt.net
特定の固定されたmに対する有限モデル(Ω_m,σ_m,P_m)が
そのまま時枝記事の反例になるなら、そのmの具体例を提示すれば終わる話。
「m＝1000と置けば反例になる」みたいにね
それができず、「m'＝m＋1に差し替えればいい」などとほざいている時点で、
固定されたmに対する(Ω_m,σ_m,P_m)では反例になってないことを認めてるのと同じ
222:１３２人目の素数さん
19/01/15 22:48:27.38 Xjgp+EBt.net
「mには上限がないので」
という前置きがアホ主の詭弁の出発点。
mには上限がないから何？そこから何がしたい？
→ mには上限がないから、m を 動 か し た い ん だ ろ ？
じゃあ、mを動かしてどうする？
(Ω_m,σ_m,P_m)においてmを動かしたとき、それで何がしたい？
どのmに対する(Ω_m,σ_m,P_m)も時枝記事の反例ではないのに、
反例でない確率空間ばかりを動かして何がしたい？
→ mを動かすことで動き続けるようになった動的な (Ω_m,σ_m,P_m) の系列を、
1 つ の 確 率 空 間 と し て 捉 え た い ん だ ろ ？
223:１３２人目の素数さん
19/01/15 22:51:06.35 UXQgqgyz.net
しかも差し替えたものも反例になってないｗ
結局極限を取らないと反例にはなり得ない。
しかし極限を取ったものが反例であるか否かまったく示していない。
つまりスレ主は有限モデルを使って何一つ示していない。ゼロ点。
224:１３２人目の素数さん
19/01/15 22:52:27.72 Xjgp+EBt.net
つまり、アホ主が言ってる「反例」とは、>>201の
＞今現在も差し替えが続く (Ω_m,σ_m,P_m) (m＝1,2,3,…) の系列を
＞1つの確率空間として捉えた曖昧な対象のことを指すのであり、一言で表せば、
＞
＞「決して完成せず差し替えが続く動的な確率空間もどき」
＞
＞が、アホ主にとっての反例ということになる
これそのもの。しかし、これでは確率空間の概念からして間違ってるし、
構造的にも「NからRへの全単射は存在する」という詭弁と完全に同じ
だから反例になってない
225:１３２人目の素数さん
19/01/15 22:55:09.77 Xjgp+EBt.net
自然数mに対応する何らかの有限な対象 A_m があったときに、
(昔からそうだったが)アホ主はしきりに
「mには上限がないので」
と前置きして m を 動 か し た が る
じゃあ、mを動かして何がしたいのかと言えば、mを動かすことで動き続けるようになった
「動的なA_m」の系列を、1 つ の 対 象 と し て 捉 え た が る のである
系列 {A_m}_{m≧1} を「列が1つある」として捉えるのではなく、列の各要素を同一視するがごとく、
あくまでも 1 つ の "A_*" ら し き ナ ニ カ と し て 捉 え た が る のである
226:１３２人目の素数さん
19/01/15 22:59:40.33 Xjgp+EBt.net
こうすると、A_* (という漠然とした対象)について、
「mのときのA_mの性質」がmに関して際限なく全て使用可能となって都合がよく、
かつ、その実体は(動き続ける)何らかの m に対する A_m にすぎないので、
A_m の「有限性」も扱えて都合がよい、という寸法である
言うまでもなく、このような芸当は数学的には不可能
(少なくとも、アホ主が望むような形では不可能)
なぜなら、そのような芸当は「NからRへの全単射は存在する」という詭弁と
全く同じ性質のものだからだ
227:１３２人目の素数さん
19/01/15 23:02:11.41 UXQgqgyz.net
差し替えればいいとスレ主は云う。
だったら反例になるまでひたすら差し替え続け続けなさい。
その間は書き込み禁止。
228:１３２人目の素数さん
19/01/15 23:04:38.53 Xjgp+EBt.net
そういう芸当が可能である「かもしれない」一筋の希望があるとすれば、
そのような芸当が可能であることを数学的に厳密に証明することである
つまり、
「A_* という漠然とした対象を数学的にきちんと記述する」
ということである
しかし、対象を漠然と捉えて曖昧にしか考えることができない腐った脳味噌のアホ主には、
そのような証明行為そのものが不可能であり、かつ、だからこそ、
A_* のようなありもしない幻想に縋って間違いを繰り返すのである
229:１３２人目の素数さん
19/01/15 23:07:01.59 8MIU/kLL.net
これが工学バカの限界か...
230:１３２人目の素数さん
19/01/15 23:10:51.00 Xjgp+EBt.net
似たような話として「NからRへの全単射は存在する」という詭弁を既に書いたが、
より素朴な例としては「0.999…≠1」という詭弁がある。この例では、
A_m ＝ 0.999…9 (9がm個並ぶ)
A_* ＝ 0.999…
が適用される。詭弁論者にとっての「0.999…」とは、
数学的に定義される「0.999…」とは意味が違っており、
>>214-215 で書いた A_* のような漠然とした対象が「0.999…」となる
一言で表せば、詭弁論者にとっての 0.999… とは、
「有限小数 0.999…9 が、今も9の個数を更新し続けて動的に動き続ける無限小数モドキ」
というものである
231:１３２人目の素数さん
19/01/15 23:17:24.66 Xjgp+EBt.net
この場合、A_* (という漠然とした対象)は少なくとも固定された有限小数ではないので、
A_* のことを「0.999…」で表すのは不自然なことではない
そして、A_* の実態は(動き続ける)何らかの m に対する A_m にすぎず、
A_m の桁数の有限性により A_m≠1 が成り立つことから、
A_*≠1 つまり 0.999…≠1 が成り立つ、という寸法である
つまり、詭弁論者の都合に合わせて、A_* のことを無限性がある対象(0.999…)として扱ったり
有限性のある対象(0.999…≠1)として扱ったりと、実に都合よく切り替えができるのである
例のごとく、そのような意味での漠然とした A_* を厳密に定義するのは不可能である
少なくとも、順序体としての実数と整合性があるように定義するのは不可能である
232:１３２人目の素数さん
19/01/15 23:26:54.80 Xjgp+EBt.net
「NからRへの全単射は存在する」
「0.999…≠1」
「アホ主の有限モデル」
で見てきたような A_* という漠然とした対象は、
要するにトンデモに共通する思考回路と言える
トンデモはしきりに m を動かしたがり、動かしたときの A_m を
1つの A_* という漠然とした対象として捉えたがる傾向がある、というわけだ
なお、このような症状の治療法は知らない
バカにつける薬はないからな
233:１３２人目の素数さん
19/01/15 23:28:24.53 UXQgqgyz.net
以前このスレに哀れな素人というトンデモ君がいて、無限小数は存在しないと主張していた。
スレ主は彼と同じ香りがするｗ
234:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/15 23:59:33.37 IoQw/Dy0.net
>>203-204
多項式環を使ったのは、意図があってね（＾＾
多項式環の元の多項式の次数ｎは、ペアノの公理を満たす
環なので、積和で閉じている
ｎ次多項式に対して、１次の多項式の積を作れば、n+1次式になる
よって、ベクトル空間として、多項式環の次元は可算無限になる（下記）
だから、多項式環によって構成された反例を、ペアノの公理をもって、これを排除することはできないのだった
なお、当然ながら、多項式の次数ｎは、全ての自然数を尽くす
URLﾘﾝｸ(ja.wikipedia.org)
ベクトル空間
多項式環 F[x]（上述）の次元は可算無限（基底の一つは 1, x, x^2, … で与えられる）
235:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/16 00:02:21.95 NJXoCtB6.net
>>223
なお、デデキント-ペアノの公理系と無限公理の歴史的なことは、下記の渕野先生に詳しい
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
R. Dedekind の数学の基礎付けと集合論の公理化 (数学史の研究)
神戸大学大学院・システム情報学研究科渕野昌(Sakae Fuchino) * 数理解析研究所講究録 第 1739 巻 2011 年
(抜粋)
R. Dedekind は，19 世紀的視点からの数学の基礎付けという枠組の中で大きな
貢献をはたした．しかも，彼のこの仕事は，19 世紀的な数学の1 つの頂点を形
作っただけでなく，20 世紀前半における数学の基礎付けの研究の先駆ともなっ
た，という意味において，彼の時代からの未来に対して開かれたものでもあっ
た，と言える．
このベースの上で，現在では，デデキント-ペアノの公理系と呼ばれている
自然数の体系の満たすべき基本性質が成
り立つことを示し(特に完全帰納法や再帰法が成り立つことを厳密に示している) ,
3 無限の存在証明
この事情が，[3] の第3 版(1911) の前書きで
略
と書きながらも，晩年のDedekind が，無限の存在証明([3] の66.) の残った
ままのテキストをこの再版に回してしまったことの背景だったのではないだろ
うか．
ただし，Dedekind の名誉のために付け加えておくと，1911 年の時点では，
無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研
究者たちすら，まだ完全には把握しきれていなかった可能性がある．
Zermelo の公理の命題の間の独立性についての，より踏み込
んだ議論は，Fraenkel の1922 年の論文[7] までなされていないように思えるか
らである．
Dedekind が無限公理を要請として付け加えることの必要性
が見えなかったことの理由は，彼の手のうちにあった数学技法がそれに必要とな
る成熟に達していなかった，ということであるより，「論理」としての集合(論),
あるいはDedekind の言うところのSysteme の理論に彼が想定した，あるべき
状況と，数学的“真実” とのずれによるものであった，と解釈すべきことであ
るように思える．
(引用終り)