- 1 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 14:44:03.63 ID:BePOAppZ.net]
- 前スレ 現代数学の系譜 古典ガロア理論を読む37
rio2016.2ch.net/test/read.cgi/math/1501561433/
小学レベルとバカプロ固定、High level people、サイコパス お断り！High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
旧スレが512KBオーバーで、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
- 152 名前：１３２人目の素数さん [2017/08/12(土) 19:01:42.73 ID:mG58xZ3a.net]
- >>135
「箱入り無数目」は命題Cが成り立てばいい
タワケはおまえだ 貴様は巨大ド田舎の名古屋人か？ｗ
- 153 名前：１３２人目の素数さん [2017/08/12(土) 19:03:38.97 ID:mG58xZ3a.net]
- >>137
Ａじゃ勝てない だからＣを書いた
おまえ頭悪いなｗ
- 154 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 19:04:32.88 ID:c0G+kQuI.net]
- >>139
お前はまた定義域の問題を蒸し返したいのか？
命題Bは測度論で99/100を示せない
それともまた無定義の確率を持ち出すのか？
だかれスレ主と同レベルと言ってるんだよタワケ
- 155 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 19:07:00.86 ID:c0G+kQuI.net]
- >>140
> Aじゃ勝てない だからＣを書いた
面白いことを言い出すなおまえ！
お前とスレ主以外、命題Aは自明だと思ってるぞ。
おまえ、スレ主と本当に同レベルじゃねえか！！（笑）
- 156 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 19:13:41.64 ID:c0G+kQuI.net]
- このスレには確かにピエロが2人いた
あとはピエロ同士、未来永劫喧々諤々やってくれ
- 157 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 19:19:30.31 ID:c0G+kQuI.net]
- 俺が解せないのは>>18を書いた男が命題Aの不成立を示唆したことだ。
各s_i∈R^Nが確定している>>18の図は命題A成立の説明としては十分だ。
当たり外れが命題Cに帰着することも決定番号を用いた議論により自明。
- 158 名前：１３２人目の素数さん [2017/08/12(土) 19:38:12.49 ID:tPNHfbxo.net]
- 示唆とかどうでもいい
不成立と思うなら証明すればいい
やるやる詐欺のスレ主じゃあるまいし
- 159 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 19:44:43.49 ID:c0G+kQuI.net]
- >>145
> 不成立と思うなら証明すればいい
は？
命題Bが測度論で示せないことがまだ分かってないの？ []- [ここ壊れてます]
- 161 名前：１３２人目の素数さん [2017/08/12(土) 19:53:00.82 ID:tPNHfbxo.net]
- >>146
What the heck are you talking about?
＞俺が解せないのは>>18を書いた男が命題Aの不成立を示唆したことだ。
- 162 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 19:56:13.91 ID:c0G+kQuI.net]
- >>147
> 不成立と思うなら証明すればいい
ああ、命題BじゃなくAのことね。
つまり>>18はお前じゃないってことか。
わりい早とちりしたわ。
よく分かんないだけど、
お前は命題Aの成立を認めてるの？
yes/no?
- 163 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 20:25:46.58 ID:DFaP6Vgv.net]
-
avcast123.becfield.com/archives/19040.html
エロエロボディｗｗｗｗｗｗｗｗｗｗｗ
- 164 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 20:29:07.61 ID:c0G+kQuI.net]
- >>145
> 示唆とかどうでもいい
> 不成立と思うなら証明すればいい
> やるやる詐欺のスレ主じゃあるまいし
⇓補完
一行目:
（>>140で命題Aの不成立を）示唆（したかどうか）とかどうでもいい
二行目:
（命題Aが）不成立と思うなら証明すればいい
三行目:
やるやる詐欺のスレ主じゃあるまいし
（）でお前の文を補完したつもり。
さてお前は誰に対して証明すればいい、と言っているのだ？
命題Aの不成立を主張、もしくは示唆しているのはお前とスレ主しかいないので、
やるやる詐欺師以外に不成立を証明する立場にいるのはお前だけなんだが。
そうではなく、もしお前が命題Aの成立を支持しているのであれば、
>>140
> Aじゃ勝てない だからＣを書いた
は意味が通らないな。
Aは正しいがそれをスレ主に分からせることは出来ないという意味か？
そうだとしても、命題Cはそもそもスレ主との争点ではないので問題設定としては無意味だろ。
奴は決定番号∞理論と有限列論法がよりどころなんだから、
いきなり100個の自然数を持ち出しても話が通じないだろう。
- 165 名前：１３２人目の素数さん [2017/08/12(土) 20:44:35.33 ID:tPNHfbxo.net]
- >>148
Don't put such a stupid query to me. The proposition A is definitely true.
- 166 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 20:47:13.85 ID:c0G+kQuI.net]
- >>151
へえ。
じゃあ>>140はどういうつもりで書いたの？
英語書くの時間かかるみたいだから日本語でどうぞ。
- 167 名前：１３２人目の素数さん [2017/08/12(土) 20:53:12.56 ID:tPNHfbxo.net]
- >>150
Jeez, calm down. You are misunderstanding totally. Can you see, huh?
- 168 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 20:54:26.66 ID:c0G+kQuI.net]
- >>153
煽ってるだけで何も言ってないに等しいな
- 169 名前：１３２人目の素数さん [2017/08/12(土) 20:57:40.80 ID:tPNHfbxo.net]
- >>152
What the heck are you talking about?
Hey pal, do you know who I am?
- 170 名前：１３２人目の素数さん [2017/08/12(土) 21:00:21.04 ID:tPNHfbxo.net]
- >>154
I don't get it at all. You need some help.
- 171 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:01:44.94 ID:c0G+kQuI.net]
- >>155-156
おまえさん、お前の>>140の真意を解釈しようと努力してる俺に
こんな煽りコメントしかできないなら、もうオワリだわ
スレ主だってお前と話したかないだろうよ
数学板のクズはお前だよ。消えな。
- 172 名前：１３２人目の素数さん [2017/08/12(土) 21:05:16.18 ID:mG58xZ3a.net]
- >>150
99/100（一般的には(n-1)/n)を
ダイレクトに表すなら命題Cしかない
>命題Cはそもそもスレ主との争点ではない
では命題Aも同様に争点たりえないだろう
>奴は決定番号∞理論と有限列論法がよりどころ
だとすればそもそもACも(n-1)/nも全然関係なくなるだろうな
ただ>>1は数学のスの字も知らん馬鹿だから全く無意識だろうが
>>1がこれから述べる証明とやらは、ものの見事に
ペアノの自然数の定義、そして集合論の無限公理
を否定するだろう（予言）
- 173 名前：１３２人目の素数さん [2017/08/12(土) 21:07:06.77 ID:tPNHfbxo.net]
- >>157
Can't you see the Identifier?
Who the hell are you talking with?
- 174 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:12:17.90 ID:WVjsIUQl.net]
- 横槍だけど
ID:mG58xZ3a と ID:tPNHfbxo は別人でしょ。
- 175 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:12:39.37 ID:c0G+kQuI.net]
- >>159
おうなんだなんだ。
お前に用はないよ。すまんね。
>>158
> 99/100（一般的には(n-1)/n)を
> ダイレクトに表すなら命題Cしかない
ダイレクトの解釈が分からんが、命題Aが示せないと思ってるならスレ主と一緒のレベルになっちゃうよ。
- 176 名前：１３２人目の素数さん [2017/08/12(土) 21:17:09.40 ID:tPNHfbxo.net]
- >>161
God damn you. If I were a usual guy, I would resent as hell. Can you grasp that, huh?
- 177 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:17:47.84 ID:WVjsIUQl.net]
- fixするとかしないとか言ってるけど、時枝記事の設定はどっちになると
あなたは思ってるの？ 記事と同じ設定じゃなきゃ意味ないでしょ。
記事では「どっちの設定とも読める」ってことですか？
- 178 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:17:48.41 ID:c0G+kQuI.net]
- >>158
> >命題Cはそもそもスレ主との争点ではない
> では命題Aも同様に争点たりえないだろう
うーん君の考えることはわからんね。
命題Cは誰も争ってない。
スレ主にとって争点があるとしたら、命題AがCの確率に帰着するかどうか、だろ。
- 179 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:19:38.38 ID:c0G+kQuI.net]
- >>163
敢えて言えば、どっちとも読めるとおもうよ。
だ か ら どちらの命題A, Bを議論するんですか？と問うてるの。
- 180 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:25:35.45 ID:c0G+kQuI.net]
- >>162
ネイティブじゃない感がアリアリと出てるけど。
よく恥ずかしくないね。
- 181 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 21:26:59.54 ID:c0G+kQuI.net]
- 英文で書いてくる意味が全く分からん。
しかもきたねー言葉で文法すら間違ってる。
なにがしたいのやら。
- 182 名前：１３２人目の素数さん [2017/08/12(土) 21:30:12.21 ID:tPNHfbxo.net]
- >>167
＞文法すら間違ってる
Can you show that concretely? I guess you can't.
- 183 名前：１３２人目の素数さん [2017/08/12(土) 21:31:20.72 ID:mG58xZ3a.net]
- >>164
おやおや、君は>>158で
＞奴は決定番号∞理論と有限列論法がよりどころ
といったから、君のいう命題Aも>>1にとっては無意味
と理解していると思ったんだがな
ま、>>1が証明を書けばわかるさ
- 184 名前：１３２人目の素数さん [2017/08/12(土) 21:39:40.41 ID:tPNHfbxo.net]
- That motherfucker couldn't at all. I thought so.
- 185 名前：１３２人目の素数さん [2017/08/12(土) 21:48:20.08 ID:tPNHfbxo.net]
- I recommend you to shut your big mouth, Mr Donkey.
- 186 名前：１３２人目の素数さん [2017/08/12(土) 21:52:58.15 ID:tPNHfbxo.net]
- So then, good bye Mr Donkey. Never hope see ya.
- 187 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 22:01:45.32 ID:xwd7McI/.net]
- >>168
間違いが見つからないって白状しちゃったね（笑）
よくあるうっかりミスだよ。日本人がよくやるミス。
俺もよくやるから心配するな。
俺もお前も日本人ってこった
- 188 名前：１３２人目の素数さん [2017/08/12(土) 22:23:43.02 ID:tPNHfbxo.net]
- >>173
Fuck off!
- 189 名前：１３２人目の素数さん mailto:sage [2017/08/12(土) 23:23:00.80 ID:xwd7McI/.net]
- >>169
> おやおや、君は>>158で
> ＞奴は決定番号∞理論と有限列論法がよりどころ
> といったから、君のいう命題Aも>>1にとっては無意味
> と理解していると思ったんだがな
ちょっと意味が分からないな。
オレの考えをきちんと述べておこう。
[1]
与えられたr0∈R^NとHart氏のmod100の
手法を用いて100列のs_i∈R^Nを作る。
（100列はこの方法で作るものとする）
[2]
選択公理を仮定すれば、d：R^N→Nによって
100列のs_iは100個の決定番号d_iに移される。
[3]
100列中1列をランダムで選ぶとすれば、
唯一の最大値Max{d_1,d_2,...,d_100}を選ばない確率は99/100以上である。
ここで注意すべきは、命題Aではr0∈R^Nが確率的に変化するものではなく確定しているということ。
別の捉え方をすれば、標本空間がR^N×{1,2,...,100}ではなく{r0}×{1,2,...,100}であるということ。
（{r0}を標本空間に乗せる必要はないが対比のためここではそうした。）
このとき100個のs_iは確定している。d_iも然り。
『100個が確定しているがゆえに命題Aは有限の確率空間の問題（命題C）に帰着する』（※）
（もし※が分からないのなら、rがR^Nから測度μで
確率的に選ばれるとしたときに生じる非可測性の問題について
もう一度説明することになる。今のあなた�
- 190 名前：ﾉは不要だと信じる）
以上[1]～[3]が命題Aの主張。
命題Aは選択公理を仮定すれば成立する。
命題Aの確率は選択公理を仮定することにより命題Cの確率を考えることに帰着するが、
命題Cはそれ単独で自明であり、少なくともこのスレで命題Cに異を唱えた人間はいないと思う。
しかし、
■決定番号が自然数にならない（決定番号∞理論）
がもし真であれば命題Aは命題Cに帰着しない。あるいは
■命題AとBの取り違え
により「非可測だから99/100は非自明」と言ってくる可能性もある。
（これは命題Bを考えているなら正しい）
スレ主と決着すべき争点はここであり、単独の命題Cではない。 [] - [ここ壊れてます]
- 191 名前：１３２人目の素数さん [2017/08/13(日) 00:48:18.85 ID:RAsnrf+s.net]
- >>163 >>165
＞「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
＞どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
＞もちろんでたらめだって構わない.そして箱をみな閉じる.
⇒この時点で出題者はある一つの s∈R^N を fix した
＞今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
＞どの箱を閉じたまま残すかはあなたが決めうる.
＞勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
＞勝つ戦略はあるでしょうか?
⇒回答者が当てるのは上記 s のある一つの項
俺バカだから教えて？ A以外に解釈のしようがあるの？
- 192 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 01:08:20.37 ID:XXu84ofo.net]
- >>176
いやいや、貴方は正しく読めていると思うよ。
しかし記事の後半を読んでほしい。
各箱の独立性を議論している。
これは各箱に収まるr∈R^Nがfixされておらず、
確率事象と考えないことには話が通らない。
測度論が全てではないというコメントも
命題AではなくBを考えているように見える。
意図したものかは分からないが、このように命題A, Bを混同させるような記事になっている。
ちなみに俺はこの混同は意図的であると見る。
つまり命題A（記事の前半）が成り立つなら命題Bも成り立つと考えるのが自然であり、
そうであれば命題Bを成立させる測度論以外の確率論が必要である。
そういう話の流れだと解釈している。
- 193 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/13(日) 06:10:56.69 ID:iUI9S5R1.net]
- >>175-177
１．高校数学の質問スレで、「1文字固定法」（下記）というのが出ていた
２．「・・最後に固定を解除して・・」と出てくるけど？
３．”fix ”しっぱなしって、まずくないの？
４．変数と固定ね・・。それ、ずいぶん混乱しているように見えるのだが？
（参考）
高校数学の質問スレPart397 rio2016.2ch.net/test/read.cgi/math/1458614514/744
744 名前：１３２人目の素数さん[sage] 投稿日：2017/06/04(日) 11:59:50.35 ID:DGr54TL5
1文字固定法について質問です
「C：y=(x-a)^2-2a^2+1が-1≦a≦1の範囲で動くとき、Ｃの動く領域を図示せよ。」
という問題なのですが、解答だとx=tと固定してtの範囲で場合分けをして最後に固定を解除して、としていたのですが
この「固定する」というのが感覚的にわからないでいます
普通に「(ⅰ）-1≦ｘ≦1のとき」・・・とかやったらダメなんですか？
高校数学の質問スレPart397 rio2016.2ch.net/test/read.cgi/math/1458614514/751
751 自分：１３２人目の素数さん[sage] 投稿日：2017/06/05(月) 09:54:46.61 ID:mhJSuW1/
(抜粋)
examist.j
- 194 名前：p/mathematics/tahensu-maxmin/yosenkessyou/
「1文字固定法（予選決勝法）」 04-06-17
(抜粋)
一旦他の文字を固定し, 1変数関数として最大・最小を考える {予選}
これで,実質的に文字が1つ消去される.
さらに,残った文字を変化させて,その最大・最小を考える{決勝}.
固定する文字と変化する文字の選択次第で, その後の難易度が変化する.
よって, できる限り, 簡単な式になるように, 選択する必要がある.
https://ameblo.jp/katekyo424/entry-12125178212.html
予選決勝法(一文字固定法)の紹介 2016-02-08
(引用終り) [] - [ここ壊れてます]
- 195 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/13(日) 06:12:48.67 ID:iUI9S5R1.net]
- >>174
ID:tPNHfbxoくん、どうも。スレ主です。
君は、例の”High level people”の名付け親かな？（＾＾
過去スレで、英語カキコで、”High level people”を連発する人がいるから、それを逆用して、（文系）High level peopleなどと揶揄するようにしたら、その人は居なくなった人が居たんだがね～（＾＾
で、いま、君が名付けた方の”High level people”から
「ネイティブじゃない感がアリアリと出てるけど。よく恥ずかしくないね。」（>>166）
「英文で書いてくる意味が全く分からん。しかもきたねー言葉で文法すら間違ってる。なにがしたいのやら。」（>>167）
とずばり言われてしまったんだ！（＾＾
笑える！ なので、君もピエロ仲間の一人だな
だがピエロが複数では識別に困るので、「英語くん」と名付けようと思う
どう？ 良い名前だろ？（＾＾
- 196 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/13(日) 06:14:15.21 ID:iUI9S5R1.net]
- >>179 訂正
その人は居なくなった人が居たんだがね～（＾＾
↓
その人は居なくなったんだがね～（＾＾
- 197 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 07:40:11.42 ID:Brqr4jOn.net]
- おっちゃんとかスレ主は、他のひとから見たらどうでもいい細かい
書き間違いの訂正入れるね。でも、もっと間違ってるところあるだろｗ
- 198 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 07:48:35.36 ID:Brqr4jOn.net]
- 訂正を入れるのは、読むひとが「訂正して読む」と想像できないとか
「ツッコミを入れられたくない」という気持ちの表れ。
でも、読んでるひとはそんな細かいところであんたらの知性を
判断してるんじゃなくて、もっとクリティカルなところで
「バカ」と見てるわけさ（爆
- 199 名前：１３２人目の素数さん [2017/08/13(日) 08:01:29.82 ID:VnwS7U3w.net]
- >>175
＞■決定番号が自然数にならない（決定番号∞理論）
＞がもし真であれば・・・
決定番号∞理論のポイントは
「決定番号が自然数でない」ではなく
「決定番号の上限としての∞が存在する」
∞が決定番号の場合、代表列との一致箇所は
最後の∞番目だけになり、その後が存在しない
つまり空けるべき箱が存在しなくなる
有限列の場合に起きることが
無限列にも起きる、とするには
「決定番号の値域の範囲」を
そういう形に設定せざるを得ない
しかしこの設定はペアノの公理に真っ向から反する
∞は上限であって∞＋１が存在しないから
- 200 名前：１３２人目の素数さん [2017/08/13(日) 08:08:11.59 ID:VnwS7U3w.net]
- >>183のつづき
>>1が「決定番号には上限値∞が存在する」という
「俺様自然数路線」で驀進しつづけるかぎり
「■命題AとBの取り違え 」とか
「非可測だから99/100は非自明」とか
いう話は全く出て来ようがない
むしろ、奴が
「決定番号には上限値∞が存在する」
に固執するとすればその理由は只一つ
奴が決定番号の確率分布関数を構成するには
列の末尾がどうしても必要だから
「現代確率論」とかいってるが、
要はただそれだけのことだろう
私の予想が正しければ、>>1はZFCどころかZFすら認めないことになる
無限公理でその存在を主張している集合には、上限がないからだｗ
- 201 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 08:43:49.04 ID:XXu84ofo.net]
- >>184
> >>1が「決定番号には上限値∞が存在する」という
> 「俺様自然数路線」で驀進しつづけるかぎり
> 「■命題AとBの取り違え 」とか
> 「非可測だから99/100は非自明」とか
> いう話は全く出て来ようがない
実際出てきてるじゃん。
理屈じゃないんだよスレ主は。
"確率の専門家さん"はまさに命題Bを扱ってたわけだし、¥氏の確率論に関する話もそう。
命題Bの他人の意見をとことん引用して、
時枝不成立を主張してるでしょ。
だ か ら 問題設定はきちんとしましょうねって言うとるのよ。
- 202 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 08:49:45.10 ID:XXu84ofo.net]
- まさかここまでとは。。。
恐れ入った。こりゃホンモノだ。
>>178
> １．高校数学の質問スレで、「1文字固定法」（下記）というのが出ていた
> ２．「・・最後に固定を解除して・・」と出てくるけど？
> ３．”fix ”しっぱなしって、まずくないの？
> ４．変数と固定ね・・。それ、ずいぶん混乱しているように見えるのだが？
- 203 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 08:53:07.49 ID:4R8Qz5Cf.net]
- >>184
そのレベルの馬鹿だぞ、>>1は
- 204 名前：１３２人目の素数さん [2017/08/13(日) 09:42:37.02 ID:VnwS7U3w.net]
- >>185
＞＞全く出て来ようがない
＞実際出てきてるじゃん。
「決定番号∞理論」からは出てきてない
唐突に言い掛かりとして出てくるだけ
だからいくら出して来たって無視していい
>>1の証明とは無関係だから
- 205 名前：１３２人目の素数さん [2017/08/13(日) 09:49:58.61 ID:VnwS7U3w.net]
- これが「決定番号∞理論」だｗ
１．どれだけ列をとっても、ほとんどすべて決定番号が∞
s1 ○○○・・・○○○|●|
s2 ○○○・・・○○○|●|
s3 ○○○・・・○○○|●|
s4 ○○○・・・○○○|●|
s5 ○○○・・・○○○|●|
s6 ○○○・・・○○○|●|
２．決定番号∞は最大値であってその先の番号はない
だからその先の箱を開けて同値類の代表列をとることはできない
３．「最大の決定番号」が存在しなかったら
決定番号別の確率分布関数が求まらない
なぜなら末尾から前方に向かって確率を計算するしかないから
- 206 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 09:55:18.71 ID:oMGTk7tv.net]
- >>188
君は>>1の証明にやたら興味関心があるようだが俺にはないな。
無意味なことばかり書いてくるからな。
あげく命題と解法を勘違いする始末>>178
君と>>1がいくら議論しても無駄だよ。
実際無駄だったろ？笑
- 207 名前：１３２人目の素数さん [2017/08/13(日) 09:58:17.57 ID:VnwS7U3w.net]
- し・か・し、「決定番号∞理論」には重大な問題がある
集合論における無限公理に反するからであるｗ
「決定番号∞理論」では「最大値が存在しない集合」は認められない
そのような集合が存在してしまうと、いかなる決定番号でも
その先が存在してしまうから、「先がないので同値類の代表列がとれない」
という必殺技が使えない
（「箱入り無数目」では、自然数全体の集合Nの要素に最大値が存在しない
という性質が決定的に効いているが、>>1は有限モデルの極限とかいう
方法でその性質を真正面から否定してしまった）
もちろん、無限公理を否定したっていい
無限集合を導入するのに、無限公理とは異なる公理を立てたっていい
しかし、それならそれで>>1は「必ず最大元が存在する無限集合」の
公理を具体的に示してみせなくてはならない
それでもやるというなら止めない やったんさいｗｗｗｗｗｗｗ
- 208 名前：１３２人目の素数さん [2017/08/13(日) 10:04:05.50 ID:VnwS7U3w.net]
- >>190
>>1に関心ないならここに来ないほうがいいよ
オレは>>1がどんだけidiotなのか興味があるね
>>1がいかなる理由で「予測できっこない」と吠えるのか
>>1は自分の理由をいかなる頓珍漢な屁理屈で正当化するのか
まあ、いいそうなことは>>189に書いちゃったけどな
前々から同様のことは>>1が繰り返し書いてるからな
要するに有限と無限の違いが分かってないから
有限でしか成立しないことを、平然と無限にも適用する
それがidiotってもんだよｗ
- 209 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/13(日) 10:11:59.46 ID:iUI9S5R1.net]
- >>189
ピエロくん、多少理解が進んだようだね
その図は、かなり正しい
だが、それは、ステップ６（証明後の補足）だ。
証明はステップ５で、現代確率論から反例の存在が示せる。
君は、現代確率論には、ほとんど全く入れないね。（＾＾
- 210 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/13(日) 10:19:18.24 ID:iUI9S5R1.net]
- >>18
- 211 名前：6
「固定」や"fix"は、時枝記事の中には出てこない
記事に出てこない用語を使う場合、現代数学でデフォルトで使われている場合はともかく
独自用語なら、定義すべきじゃないのか？
関数 y=f(x)
xを固定しますと、>>178 の高校数学の解法にあるそうだが、「・・最後に固定を解除して・・」と出てくるから、まあ許容できるけど
解除しないで、「固定します」「はい、解けました」って、見えるんだが？
そして繰返すが、用語「固定」や"fix"は、時枝記事の中には出てこないが、その数学的定義は何か？ []- [ここ壊れてます]
- 212 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 10:26:33.67 ID:oMGTk7tv.net]
- >>192
君はわかってるだろうが、>>189の絵でスレ主が反論するのは命題Bである。
命題Bでは各列のR^Nが確率的に変化し、結果的にdも変化する（確率的に、とは言わないが）。
スレ主の主張は、このdが∞であるということだ。
命題Aは各列のR^Nが確定している。
このときはスレ主でさえ∞は言えないし、言うつもりもないだろう。
命題Bで議論するかぎり話は平行線をたどる。
スレ主は屁理屈で不成立を主張し、実際99/100は非自明であるから。
- 213 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 10:27:28.32 ID:oMGTk7tv.net]
- >>194
fixの意味は解説済み。
読んでから質問しなさい。
- 214 名前：１３２人目の素数さん [2017/08/13(日) 11:17:22.48 ID:VnwS7U3w.net]
- >>195
＞君はわかってるだろうが、
君、わかってないなぁ
＞>>189の絵でスレ主が反論するのは命題B
じゃないよ
そもそもそのストーリー以前の話だよ
>>189の絵は●が一個だけで、その後ろの尻尾がないだろ？
尻尾がないと、そこから同値類の代表列はとれないんだよ
要は「有限だろうが無限だろうが必ず終端がある！」とかいう
無限公理完全否定の独善ルールで、ＡＣを否定することなく
選んだ列の同値類の代表列をとれない形にしている
確かにＡＣは否定しないが、より根本的な無限公理を否定してる
- 215 名前：１３２人目の素数さん [2017/08/13(日) 11:20:45.41 ID:RAsnrf+s.net]
- ＞証明はステップ５で、現代確率論から反例の存在が示せる。
あれ？いつステップ5が出てきたの？レス番号教えて？
- 216 名前：１３２人目の素数さん [2017/08/13(日) 11:23:11.66 ID:VnwS7U3w.net]
- >>193
＞その図は、かなり正しい
「終端だけが●」が正しいというんなら
>>1は自然数全体の集合Nすら誤解するidiotだなｗ
Nを正しく理解していたら>>18の図になる
つまり、R^Nの要素たる実数の無限列に終端はない
＞証明はステップ５で、現代確率論から反例の存在が示せる。
いや、>>1の「決定番号∞理論」が>>189の通りなら
「現代確率論」は全く必要としないｗ
反例とかいう以前に、ある筈の尻尾がない、という形で
同値類の代表列をとるカンニングができなくなるから
>>1は自分の証明すら理解できない馬鹿なのかね？ｗ
- 217 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 11:35:20.50 ID:oMGTk7tv.net]
- >>197
> ＞>>189の絵でスレ主が反論するのは命題B
> じゃないよ
>
> そもそもそのストーリー以前の話だよ
>
> >>189の絵は●が一個だけで、その後ろの尻尾がないだろ？
> 尻尾がないと、そこから同値類の代表列はとれないんだよ
ん？
言いたいことはわかるけど。
有限列と有限列の同値類を考え、その代表列を取ることは可能ですよ。
そこから∞の極限を考えるときに気をつけなければいけないだけ。
∞に飛ばしたときに有限値を取る確率が0というのがスレ主の主張で、
それを言うためにはそもそも各桁の数がある分布で選ばれる確率事象でなければならない。
ということはつまり、命題Ｂの『r∈R^Nはfixされていない』問題を考えていることになる。
（スレ主の極限の取り方がマズイというのが本質的だけどね）
サイコロの6^Nで考えたとき、k桁目以降で一致する確率がp_k≠0とすると、
k+1桁目以降で一致する確率は6×p_k。k→∞でp_k→∞。
矛盾するので決定番号がkとなる確率はp_k＝0。
よって有限値を取らない。
こんな論法をきみも何度か目にしたろ？
スレ主がこの論法を取るとき、6^Nで終端があるなどとは言ってないよ。
- 218 名前：１３２人目の素数さん [2017/08/13(日) 13:48:54.37 ID:BjC0xyI+.net]
- 時枝記事とか決定番号って何？
- 219 名前：１３２人目の素数さん [2017/08/13(日) 13:56:30.13 ID:VnwS7U3w.net]
- >>200
＞有限列と有限列の同値類を考え、その代表列を取ることは可能ですよ。
それはその通り
ただ選択列以外の他の列の決定番号が終端の位置にある場合
選択列の終端の箱の中身を当てたいわけだが
その場合、もは�
- 220 名前：竄ｻの後ろにはなにもないから
それだけでは、選択列の同値類すら確定できない
終端の箱を開ければもちろん同値類は分かるか
その場合、当てたい箱を終端の箱の手前の箱に変更するしかなく
しかも選択列の決定番号が終端位置なら万事休す
・・・そういうことですよ [] - [ここ壊れてます]
- 221 名前：１３２人目の素数さん [2017/08/13(日) 14:03:45.21 ID:VnwS7U3w.net]
- >>200
＞∞に飛ばしたときに有限値を取る確率が0というのがスレ主の主張で、
実はこのセリフが曲者
実際は、>>1は、数学を知ってるものが想定する
自然数ではなく、例えば
０，１，２，・・・，∞ー２，∞－１，∞
のようなものを想定している
＞それを言うためにはそもそも各桁の数が
＞ある分布で選ばれる確率事象でなければならない。
そう。まさに>>1は、∞を設定する理由として
「確率分布の設定」を挙げてくるわけだ
自然数の公理に真っ向から反してもｗ
>>1は、∞から、有限のときと同じやり方で
決定番号の確率を割り振りたいわけだ
それしかやり方知らないからｗ
で、その場合、前半部の「本来の自然数」
のところでは確率は０になってる、といいたいらしい
ここまで書けば、そもそも
＞ということはつまり、命題Ｂの
＞『r∈R^Nはfixされていない』問題
＞を考えていることになる。
とかいう方向とは全然関係なくて
「オレ様自然数理論」の話でしかない
と分る筈
- 222 名前：１３２人目の素数さん [2017/08/13(日) 14:07:44.67 ID:VnwS7U3w.net]
- >>200
＞（スレ主の極限の取り方がマズイというのが本質的だけどね）
「極限の取り方がマズい」とかいうレベルではなく
自然数Nとは全然違うものを、「これがオレのNだ」
といって持ってくるシロウト丸出しの態度が問題
これが教育を全く受けてない野蛮なidiotってヤツだよ
idiotというのは別に白痴ということでなく、本来は
まともな教育を受けてないヤツという意味
- 223 名前：１３２人目の素数さん [2017/08/13(日) 14:18:55.26 ID:RAsnrf+s.net]
- 決定番号∈N って定義にもかかわらず
決定番号＝∞ と言ってる時点で
最低限の基礎すらわかってないとしか言い様が無いでしょ
- 224 名前：１３２人目の素数さん [2017/08/13(日) 14:19:51.77 ID:VnwS7U3w.net]
- >>200
＞サイコロの6^Nで考えたとき、・・・こんな論法をきみも何度か目にしたろ？
＞スレ主がこの論法を取るとき、6^Nで終端があるなどとは言ってないよ。
言ってないが、>>1は確実に終端を設定しているｗ
箱の列の長さの上限値を∞として
記号数p(={0,1,･･･,p-1})
P(k)で、決定番号がkになる確率とすると
P(∞) (p-1)/p
P(∞-1) (p-1)/p^2
P(∞-2) (p-1)/p^3
･･･
P(2) 0
P(1) 0
P(0) 0
これが>>1の頭の中にある確率分布関数だろうｗ
ｐ→∞だったら、P（∞）→１だｗ
>>1の戦略は以下の2点につきる
・知ってることだけで理屈を練る
・知らないことは決して学ばない
分からないという屈辱に
15秒以上堪えられないからｗ
- 225 名前：１３２人目の素数さん [2017/08/13(日) 14:23:41.21 ID:VnwS7U3w.net]
- 今後、>>1がいいそうなこと
「おまえら公理馬鹿のいうNでも
俺様の０，１，２，・・・，∞ー２，∞－１，∞ でも
可算集合なんだから、全く”同じ”だろ」
R^N という場合、順序込みで考えたNでなくてはならない
そういう基本的なことは、教育を受けてない
野蛮人の>>1は決して理解できないｗ
- 226 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 14:27:05.43 ID:4R8Qz5Cf.net]
- >>201
数学セミナーの記事
実数列とそれが属する類のある代表元に対して決まる番号
- 227 名前：１３２人目の素数さん [2017/08/13(日) 14:36:07.40 ID:RAsnrf+s.net]
- コーシー列や極限は N の通常の（元の大小関係に基づく）順序を用いて定義される
勝手に順序を変えたら解析理論は無茶苦茶になる
無教養バカはそんなことすらわかってない
- 228 名前：１３２人目の素数さん [2017/08/13(日) 15:06:37.49 ID:RAsnrf+s.net]
- １．時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
- 229 名前：１３２人目の素数さん [2017/08/13(日) 15:06:52.73 ID:RAsnrf+s.net]
- ２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd(実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字
- 230 名前：１３２人目の素数さん [2017/08/13(日) 15:07:34.57 ID:RAsnrf+s.net]
- ３．つづき
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2，・・・，S^lOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， S^1～S^(k-l),S^(k+l)～SlOOの決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・.いま
D >= d(S^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s~k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(補足)
S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・：ここで^kは上付き添え字、(D+l)などは下付添え字
- 231 名前：１３２人目の素数さん [2017/08/13(日) 15:08:55.65 ID:RAsnrf+s.net]
- ったくテンプレに入れろよな
スレ立てすら満足にできんのか？
>>201
これが時枝記事です
- 232 名前：１３２人目の素数さん [2017/08/13(日) 15:11:42.00 ID:RAsnrf+s.net]
- 「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
- 233 名前：１３２人目の素数さん [2017/08/13(日) 15:12:05.38 ID:RAsnrf+s.net]
- 「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
- 234 名前：１３２人目の素数さん [2017/08/13(日) 15:13:19.80 ID:RAsnrf+s.net]
- 記事の”後半部分”と云われている箇所を追加しておきました
- 235 名前：１３２人目の素数さん [2017/08/13(日) 15:19:24.84 ID:XxcSa4Kb.net]
- 失せろや恥さらし
数学屋のつもりやろけど
全然あかんでｗｗｗ
- 236 名前：１３２人目の素数さん [2017/08/13(日) 15:56:38.76 ID:BjC0xyI+.net]
- >>212
>.この仮定が正しい確率は99/100
これはなんで？
むしろ0じゃないの？
- 237 名前：１３２人目の素数さん [2017/08/13(日) 16:01:59.23 ID:BjC0xyI+.net]
- 最初はd(S^k)が最大である確率は確かに1/100だろうけど
情報が増えてS^k以外を全部開けたら確率は0になっちゃわない？
- 238 名前：１３２人目の素数さん [2017/08/13(日) 16:03:30.98 ID:VnwS7U3w.net]
- >>218
以下参照
（100列ではなく6列の場合の説明 確率は5/6)
○ 代表元との不一致箇所
● 代表元との一致箇所
s1 ○●●●●●●●● ・・・
s2 ○○○○●●●●● ・・・
s3 ●●●●●●●●● ・・・
s4 ○○○●●●●●● ・・・
s5 ○○○○○●●●● ・・・
s6 ○○●●●●●●● ・・・
どの列も決定番号の右側に無限に●・・・が続く
決定番号が最大値(6)でない列（s5以外）を選んだ場合
(確率5/6)
→選んだ列(s5以外)の6番目の箱を開ける
（★ 代表元と一致するので予測成功）
s1 ○●●●●｜★｜●●● ・・・
s2 ○○○○●｜★｜●●● ・・・
s3 ●●●●●｜★｜●●● ・・・
s4 ○○○●●｜★｜●●● ・・・
__ －－－－－＋－＋－－－
s5 ○○○○○｜●｜●●● ・・・
__ －－－－－＋－＋－－－
s6 ○○●●●｜★｜●●● ・・・
決定番号が最大値(6)の列（s5）を選んだ場合
(確率1/6)
→s5の5番目（s5以外の列の決定番号の最大値）の箱を開ける
（☆ 代表元と不一致なので予測失敗）
s1 ○●●●｜●｜●●●● ・・・
s2 ○○○○｜●｜●●●● ・・・
s3 ●●●●｜●｜●●●● ・・・
s4 ○○○●｜●｜●●●● ・・・
__ －－－－＋－＋－－－－
s5 ○○○○｜☆｜●●●● ・・・
__ －－－－＋－＋－－－－
s6 ○○●●｜●｜●●●●・・・
- 239 名前：１３２人目の素数さん [2017/08/13(日) 16:07:41.12 ID:VnwS7U3w.net]
- >>219
開けるのは
・S_k以外の列の全箱
・S_kの番号Maxより先の全箱
Maxは
- 240 名前：S_k以外の列の決定番号の最大値
S_kの代表列をとるのに、
S_kの番号Maxより先の全箱の情報が必要
S_kの決定番号がMaxより大きい確率が1/100 [] - [ここ壊れてます]
- 241 名前：１３２人目の素数さん [2017/08/13(日) 16:10:14.27 ID:BjC0xyI+.net]
- >>220
1つ開けるごとにそこの決定番号が決まるので
あいや1つ開けてその決定番号が決まったらその時点でかな
あらかじめ選んでいた数列の決定番号がそれより大きくなる確率は0になりそうだけどな
- 242 名前：１３２人目の素数さん [2017/08/13(日) 16:11:07.10 ID:BjC0xyI+.net]
- >>222
>決定番号がそれより大きくなる
逆でした
小さくなる確率は0になっちゃうでしょ
- 243 名前：１３２人目の素数さん [2017/08/13(日) 16:14:55.93 ID:VnwS7U3w.net]
- >>222
＞1つ開けるごとにそこの決定番号が決まるので
1つ？「1列分」でしょ
＞あらかじめ選んでいた数列の決定番号が
＞それより大きくなる確率は0になりそうだけどな
根拠は？ないなら無意味だよ
- 244 名前：１３２人目の素数さん [2017/08/13(日) 16:17:28.51 ID:VnwS7U3w.net]
- >>223
＞あらかじめ選んでいた数列の決定番号が
＞それより小さくなる確率は0になっちゃうでしょ
根拠は？ないなら無意味だよ
- 245 名前：１３２人目の素数さん [2017/08/13(日) 16:19:40.55 ID:VnwS7U3w.net]
- >>222-223の主張は、100人がそれぞれ異なる列を選んだ場合、破たんする
どの人も自分が最大になる確率が１だというが、
実際にはその中の高々一人だけが最大値の列を選ぶ
- 246 名前：１３２人目の素数さん [2017/08/13(日) 16:24:06.48 ID:BjC0xyI+.net]
- 根拠も何もS^kの決定番号って自然数総てあり得るからですよ
それが特定の値（以下）になる確率は0じゃないかな
- 247 名前：１３２人目の素数さん [2017/08/13(日) 16:25:58.51 ID:BjC0xyI+.net]
- >>226
なんで選んだ100人が「自分が選んだ列が最大である確率は1」と主張しなくちゃ行けないの？
それはともかく
まだどれも開けてないときはどれも1/100でしょうね
- 248 名前：１３２人目の素数さん [2017/08/13(日) 16:28:19.49 ID:BjC0xyI+.net]
- 1個だけ開けたときそれが最大である確率は1と言わざるを得ないかなあ
確率というものの嫌らしいところね
- 249 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 16:29:18.02 ID:4R8Qz5Cf.net]
- 各類の代表元を(選択公理によって)これ！と決めたときにある特定の自然数になる
- 250 名前：１３２人目の素数さん [2017/08/13(日) 16:32:53.44 ID:BjC0xyI+.net]
- >>230
決めておいてその上でその数列が明らかになればその数値が分かる（情報を得る）ということでしょ？
その上でなんで
>>212
>.この仮定が正しい確率は99/100
って言うのか・・・
- 251 名前：１３２人目の素数さん [2017/08/13(日) 16:40:15.87 ID:RAsnrf+s.net]
- >>227
決定番号はその定義から自然数である。
自然数でありさえすれば（上限の有無とは無関係に）
>.この仮定が正しい確率は99/100
となる。
反論があればどうぞ。
- 252 名前：１３２人目の素数さん mailto:sage [2017/08/13(日) 16:46:25.52 ID:oMGTk7tv.net]
- >>223
＞あらかじめ選んでいた数列の決定番号が
＞それより小さくなる確率は0になっちゃうでしょ
このID:BjC0xyI+氏の主張こそ命題AをBと取り違えたことにより生じた誤解。
これでわかったろ。AとBを曖昧にしちゃダメってことが。
|
 |
