暇つぶし2chat MATH
- 暇つぶし2ch750:132人目の素数さん
18/12/31 08:11:45.64 h9L92WO7.net
スレ主 オウンゴールの軌跡
1.「決定番号∞」
2.「(無限個は)十分大きな「有限」個」
2度あることは3度ある
スレ主は反省する能力がないサル

751:132人目の素数さん
18/12/31 08:15:40.07 h9L92WO7.net
ぶっちゃけスレ主の>>678に対する>>685の指摘は
望月新一のABC予想の証明に関するショルツの指摘
同様の決定的なものであるから、安易な反論は無意味

752:132人目の素数さん
18/12/31 08:17:11.85 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。

753:132人目の素数さん
18/12/31 08:17:12.64 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。

754:132人目の素数さん
18/12/31 08:18:33.52 h9L92WO7.net
>>691
>おっちゃんです。
おっちゃんはもうここでスレ主の相手しなくていいぞ
スレ主はおっちゃんよりもはるかにバカだと露見したから
無限が十分大きな有限と同じとかほざく時点で
数学的には十分池沼レベル もはや人間失格のサル

755:132人目の素数さん
18/12/31 08:24:02.29 83/Nq/vP.net
>>700
それでは、スレ主の相手頼む。

756:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:24:18.77 PWZHndJJ.net
>>679
> 5)同値類の代表元の存在
> が必要
はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが)
”1)選択公理、2)数列しっぽの同値類、3)同値類の代表元の存在、4)決定番号、5)決定番号が自然数”
とします
なお、5)決定番号が自然数は自明だが、念のため追加しただけ

757:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:25:09.63 PWZHndJJ.net
>>684
>無限に近い巨大な数って何? 答え辛かったら例でもいいよ
はい、有限の範囲で、貴方の知っている(あるいは考え得る)大きな数を頭に浮かべてください
その数+1で結構です

758:132人目の素数さん
18/12/31 08:27:35.78 83/Nq/vP.net
>>699 訂正出来ると思うが、>>700は「>>700(私)」ではなく、「>>699」宛て。 それじゃ、おっちゃん少し寝る。



760:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:27:51.21 PWZHndJJ.net
>>681 >>685-686 >>695
>(なお、当然だが、反例は一つで良い(定理の証明は全てを尽くす必要があるが))
> (以上は、>>644-645に記述の数学ロジックの通りです)
反例は、時枝記事そのものではないが、ピエロが「時枝記事は成り立つと主張する数学の論理(数学ロジック)」の反例を一つ構成しました
反例は一つでいい
時枝記事を擁護する「時枝記事は成り立つと主張する数学の論理(数学ロジック)」は、破綻しています

761:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:28:47.50 PWZHndJJ.net
>>682 >>688
>>e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
>D=m の場合、開けるべき箱が無いんだが。。。
そうですね。ご指摘の通りですね
では、こうしましょう
部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
つづく

762:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:29:58.61 PWZHndJJ.net
>>673の改訂版)
3)さて、本論
反例を構成する。(なお、当然だが、反例は一つで良い(定理の証明は全てを尽くす必要があるが))
a)時枝記事(詳しくは>>21及び、記号などは>>644ご参照)において、箱の数を、十分大きな*)「有限」個の場合を考える。
 (*):例えば無限に近い巨大な数と思って貰えば分り易いだろう
  例えば、有限の範囲で、貴方の知っている(あるいは考え得る)大きな数を頭に浮かべてください。その数+1で結構です)
b)箱の数 L=100mとする。 ここにmは、前述のように十分大きな正整数とする。
c) L=100m個の箱を、100列のm個の箱の列に並び変える。
 m個の長さの数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
 決定番号dは、1<= d <=m の値を取る。
c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える。
d)100列の決定番号の大小比較から、100列中のあるk列で
 決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない
 D >= d^k である確率は、99/100となる。
e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。
f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω={1,・・・,100} と取れることを意味する。
g)標本空間 Ω={1,・・・,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。
 これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。
 時枝記事の解法が成立する。
(以上は、>>644-645に記述の数学ロジックの通りです)
以上です。

763:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:30:55.69 PWZHndJJ.net
>>690
ありがとう
>>687
>もしかして>>678が反例のつもりなの?
Yes
正確には、修正版>>706 を見て下さい
ピエロちゃん( ID:h9L92WO7 )が、正確に反応していると思うが、これ反例です。
殆ど自明だが、後で説明します

764:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 08:32:56.05 PWZHndJJ.net
>>693
おっちゃん、どうも、スレ主です。
私スレ主的には、時枝記事こそ、”しようもない”
(個人的には、もう終わっていて、数学としては殆どゴミだと)
で、根拠(出典)のある”コピペ”こそが
後から見て意味があることだよと
ここで、議論されていることは、あくまで”名無し”(=素数さん)の発言であって、
後から見てあまり意味があることとは思っていないんだよね
ただ、ピエロちゃんが、面白いから、からかっているだけ(^^;

765:132人目の素数さん
18/12/31 08:39:12.23 h9L92WO7.net
>>701
>”1)選択公理、2)数列しっぽの同値類、3)同値類の代表元の存在、4)決定番号、5)決定番号が自然数”
>とします
4)、5)は要らない。3)から導けるから

766:132人目の素数さん
18/12/31 08:41:42.71 h9L92WO7.net
>>705
>>D=m の場合、開けるべき箱が無いんだが。。。
>では、こうしましょう
>部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
ダメだな そういう姑息な修正では全然対応できない

767:132人目の素数さん
18/12/31 08:42:15.36 ZD4X8HMF.net
時枝記事の「しっぽの同値類」は無限列で定義されているわけで
有限列ではどうやって定義すんの?
そのことから書かないと。

768:132人目の素数さん
18/12/31 08:46:14.88 h9L92WO7.net
>>707
>ID:h9L92WO7 が、正確に反応していると思うが
だったらL=100mとかいう間違った設定を否定しろ
無限は十分大きな有限じゃないぞw
>これ反例です。
全然違う これこそ自明
>後で説明します
間違った前提による偽反例の説明なんか聞くだけ無駄だがな
スレ主は自分の「無限=十分大きな「有限」」の誤りが
本当に理解できないほどの池沼なのか?

769:132人目の素数さん
18/12/31 08:52:54.89 h9L92WO7.net
>>708
数学板の読者諸氏にとってここのスレ主は全く”しようもない”
(数学的には、もう終わっていて、数学としては全くゴミ)
誰が言ったか分からん英語の掲示板の
根拠不明な文章の”コピペ”のどこが
どれほど意味があるのかw
ここの書き込みは議論ではない
スレ主に対する教育
まあ、実際は無知無能なスレ主をおちょくってるだけだがねw
それにしても無限を理解しないバカでも入れる大学ってあるんだな?
いったいどこだよ 国立大学じゃないことは確かだがな

770:132人目の素数さん
18/12/31 08:58:23.48 h9L92WO7.net
スレ主の「反例」はどうせ
「確率1で決定番号は自然数でない」
とかいう馬鹿丸出しの主張だろうw
し・か・し、上記の主張はそもそも
「同値類の代表元は、
 同値類の任意の元と
 しっぽの同値関係にある」
という性質と思いっきり矛盾する
しっぽの同値関係にあるということは
ある有限桁(当然自然数で位置が示せる!)から
先の尻尾が一致するということ
スレ主は�


771:梹}記事をロクに読まず、当然理解もしていない 実にお粗末極まりない



772:132人目の素数さん
18/12/31 09:10:37.55 h9L92WO7.net
スレ主は>>706の改竄版ではなく以下の正式版に対する反例を提示すべし
a)時枝記事(詳しくは>>21及び、記号などは>>644ご参照)において、
 箱の数を、無限個と考える。
c)無限個の箱を、100列の無限箱の列に並び変える。
 無限長の数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
 決定番号dは、1<= d の値を取る。
d)100列の決定番号の大小比較から、100列中のあるk列で
 決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない
 D >= d^k である確率は、99/100となる。
e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。
f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω={1,・・・,100} と取れることを意味する。
g)標本空間 Ω={1,・・・,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。
 これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。
 時枝記事の解法が成立する。

773:132人目の素数さん
18/12/31 09:14:35.07 h9L92WO7.net
ぶっちゃけスレ主の>>706に対する>>715の指摘は
望月新一のABC予想の証明に関するショルツの指摘
同様の決定的なものであるから、安易な反論は無意味

774:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 12:48:01.38 PWZHndJJ.net
>>711
>時枝記事の「しっぽの同値類」は無限列で定義されているわけで
>有限列ではどうやって定義すんの?
はい
(>>21より)
( 特に時枝記事アスキー版 スレ47 スレリンク(math板:18番)-25 )
(時枝記事より)
同値関係を使う.
実数列の集合 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番目から先一致する.
 ↓
(時枝記事の有限版(mを2015より十分大きく取っておくとする))
同値関係を使う.
実数列の集合 R^mを考える.
s = (s1,s2,s3 ,・・・,sm ),s'=(s'1, s'2, s'3,・・・,sm )∈R^mは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s ~ s'と定義しよう(いわば時枝記事の有限版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
以上

775:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 12:51:11.41 PWZHndJJ.net
>>715
必死に言い訳をするピエロちゃん ップ(^^
>箱の数を、無限個と考える。
無限個で無ければならない理由は??
実際、時枝記事の”ふしぎな戦略”において、
お説(>>709)のように、時枝記事は”1)選択公理、2)数列しっぽの同値類”で成り立っている
既に、確認したように、貴方がすがっていた「選択公理」は、無限集合に限定されず、「選択公理」でできることは有限集合でも同じことは可能だ
”数列しっぽの同値類”は、上記(>>717)のように、有限長数列でも可能だ
また、同値類から導かれる代表元と決定番号もまた、有限長数列でも可能だ
なので、有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
というより、何よりも、反例は一つで良い。
有限長の数列ではあるけれども、そこに反例が存在するならば
「無限」という要素を加えて、”無限長ゆえに成り立つ”ということを、改めて証明すべき
ところで、時枝記事を読む限り
時枝記事前半の”ふしぎな戦略”の説明において、無限長で無ければならない数学的要素は、一つも無い
(繰返すが、時枝記事は”1)選択公理、2)数列しっぽの同値類”で成り立っている)
全て、有限長数列でも可能な数学的要素のみしか使われていない
(これについては、例えば、時枝記事アスキー版 スレ47ご参照 スレリンク(math板:18番)-25 )
有限で、唯一の不具合は、有限の場合、「D=m の場合、開けるべき箱が無い」(>>682)ということだが
”c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える”とすること(>>706)で、この不具合は回避できる
どうぞ、”数列が無限長で無ければならない理由”を説明してください
というより、”数列が無限長で無ければならない理由”が説明できない以上、それは数学ではない!!
そして、”数列が無限長で無ければならない理由”を説明する過程で、
貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
以上

776:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 12:52:25.66 PWZHndJJ.net
まあ、昨日まで、「有限」でも良いと言っていたピエロ
今日は、必死に「無限に限定します」と宗旨替えの図だ(^^;

777:132人目の素数さん
18/12/31 13:21:28.66 omflZ2LR.net
問題を勝手に作り変えて威張られてもなあ

778:132人目の素数さん
18/12/31 13:31:18.28 y4r2VQPB.net
>>702
>はい、有限の範囲で、貴方の知っている(あるいは考え得る)大きな数を頭に浮かべてください
ちなみにスレ主の考え得る大きな数って何?

779:132人目の素数さん
18/12/31 13:40:47.85 ZD4X8HMF.net
昨日の循環小数を使った選択公理不要のバージョンは面白いと思ったぞ。
あと有限小数で残りがすべて0の無限個の箱のバージョンで、「0の箱を当てる」
というバージョンでも成立する。
誰も「有限個の箱で成立する」とは言ってない。そんなことも読み取れない工学バカ。

780:132人目の素数さん
18/12/31 13:47:58.51 h9L92WO7.net
>>718
>>箱の数を、無限個と考える。
>無限個で無ければならない理由は??
時枝記事にそう書いてある
>有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
それを証明してごらん、スレ主よw
スレ主が"Arbitrary large number" Theory、つまり
「任意の有限個で成り立つなら、無限個で成り立つ」
とかいう俺様理論を提唱しているらしいことは
以前からわかっているが、そんなものは数学では
全く認められていない
無限列における尻尾の同値類では、同値な2列の場合、
どの箇所から一致するとしてもそこから先必ず
無限一致列がとれる
これは任意長の有限列では決して成り立たない性質である
時枝論法はそもそも無限個の箱を使う前提なのだから
0)箱が無限個
なんてことはわざわざ書かない
>有限長の数列ではあるけれども、そこに反例が存在するならば
>「無限」という要素を加えて、”無限長ゆえに成り立つ”
>ということを、改めて証明すべき
何言ってんだ?このバカスレ主w
そもそも無限長が前提なのだから
「有限長の数列ではあるけれども」
といった瞬間にそれは反例でなくなる
”無限長ゆえに成り立つ”ことは
決定番号がいくつであってもその次の箱が存在する、
という性質から明らか
こんな自明なことに気づけないスレ主は正真正銘の池沼w

781:132人目の素数さん
18/12/31 13:49:46.60 ZD4X8HMF.net
時枝戦略が成立するのは無限に一致している箱の同値類が取れるからだよ。
有限個だと最後のひと箱だけ一致しているのを「同値類」と強弁して
その一個前が「当てられないだろう」とスレ主は言うつもりだろw
やっぱり工学バカは「有限と無限の区別が付いてなかった」んだなぁw

782:132人目の素数さん
18/12/31 13:54:28.66 y4r2VQPB.net
>>705
>部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
わろた
自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人
代表系を定める権利は回答者にあるのだから、出題者は予め回答者から代表系を入手して
それに合うように出題する必要があるよね?そうでないと限定した範囲をはみ出るよ?
「どんな実数を入れるかはまったく自由」じゃないよね?
それ時枝問題ちゃいまっせ?あなたは一体何を主張したいの?
まあ箱の数が有限の時点で既に時枝問題じゃないんだがw

783:132人目の素数さん
18/12/31 14:08:15.15 y4r2VQPB.net
>>704
>「時枝記事は成り立つと主張する数学の論理(数学ロジック)」は、破綻しています
え?↑が主張したいことなの?
で、「時枝記事は成り立つと主張する数学の論理(数学ロジック)」ってなに?
>>644-645に記述の数学ロジックの通りです
と言われてもわからん。だって>>644-645って絨毯爆撃浴びて木っ端微塵にされたじゃん。
ちゃんと「時枝記事は成り立つと主張する数学の論理(数学ロジック)」とは何者かを
示しなさいな。それせずに「それが破綻してる」と主張してもナンセンスだよ。

784:132人目の素数さん
18/12/31 14:10:27.64 h9L92WO7.net
>>718
>時枝記事を読む限り
>時枝記事前半の”ふしぎな戦略”の説明において、
>無限長で無ければならない数学的要素は、一つも無い
「無限長で無ければならない数学的要素」なら
>>682が真っ先に指摘したぞ
貴様も後で述べてる↓これだ
>有限で、唯一の不具合は、有限の場合、
>「D=m の場合、開けるべき箱が無い」(>>682)
>ということだが
ところで
>簡単のために、部分集合として、
>決定番号が、1<= d <=(m-1)の場合を考える
>とすること(>>706)で、この不具合は回避できる
箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかw
貴様、また自爆か?
不具合回避でせっかくの反例を潰してしまったようだなwww
ギャハハハハハハ!!!

785:132人目の素数さん
18/12/31 14:11:24.75 y4r2VQPB.net
>>708
>で、根拠(出典)のある”コピペ”こそが
>後から見て意味があることだよと
少なくともスレ主には無意味だよね?
だってコピペした内容を理解してないんだから

786:132人目の素数さん
18/12/31 14:16:23.42 h9L92WO7.net
>>725
>自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人
しかもそのおかげでせっかくの反例を潰してしまったw
>>727でも書いた通り
「箱がm個だが、一致開始箇所は、m-1番目まで」
と限定した時点で
「m番目の箱を見ればm-1番目の箱が予測できる」
という必勝パターンができてしまったw
確率99/100じゃなく1
しかも他の列を見ることなく位置はm-1と指定できる
反例を示すつもりで必勝ゲームを作ってしまった
とことんおバカなスレ主のピエロっぷりwww
2018年の大晦日に十分楽しませてもらったぞ�


787:I



788:132人目の素数さん
18/12/31 14:21:56.08 h9L92WO7.net
「決定番号∞」がミッドウェイ海戦なら
今回の「1<= d <=(m-1)の場合を考える」は
大和の沖縄特攻作戦に喩えられる暴挙だろう
それにしても自分で反例を完全に潰すとは・・・ププッ
バカもここまでくるとアッパレだなwwwwwww

789:132人目の素数さん
18/12/31 14:29:58.48 h9L92WO7.net
>>718
>どうぞ、”数列が無限長で無ければならない理由”を説明してください
>というより、”数列が無限長で無ければならない理由”が説明できない以上、
>それは数学ではない!!
スレ主の壮烈な自爆wを見た後では、この文章は
「ボクちゃん、無限が理解できないの
 無限が有限とどう違うか説明ちて?
 じゃないと、無限なんて数学とは認めないゾ!」
と駄々こねてるようにしか見えないwww
>そして、”数列が無限長で無ければならない理由”を説明する過程で、
>貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
「数列が有限長でも同じ」と言い張る過程で
確率1で予測が成功する必勝ゲームを作ってしまった
哀れなスレ主の冥福を祈る (-||-)

790:132人目の素数さん
18/12/31 14:40:05.22 h9L92WO7.net
スレ主の
「簡単のために、部分集合として、
 決定番号が、1<= d <=(m-1)の場合を考える
 とすることで、この不具合は回避できる」
による「反例なし必勝ゲーム」
(m番目の箱を見ればm-1番目の箱が予測できる)
という完全自爆の後では 何をいっても
「ピエロちゃん えらいねー、
 おサルなのに 沢山カキコして
 
 今日も、ピエロおどり頼むよ
 ホイ、ホイ、ホイ
 踊れ! ピエロ(^^」
とコピペで済ませられるってもんだwwwwwww

791:132人目の素数さん
18/12/31 14:44:49.60 y4r2VQPB.net
>>706
「箱の数が有限だと時枝解放は成立しない」に対する反例ってこと?
で、
>c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える
↑の怪しげな宣言は何?
問題を変えましたという宣言?
いやいやw 試合の途中で勝手にゴールの位置変えちゃダメでしょw

792:132人目の素数さん
18/12/31 14:57:37.22 h9L92WO7.net
>>733
「有限列の場合時枝戦略が成功しない」という反例を作るつもりが
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
と列を限定したために、時枝戦略以上の必勝戦略(m番目の箱を開けるだけで
m-1番目の箱の中身が確率1であたる)をつくってしまう完全自爆w
ルール変えてしかもオウンゴール 
スレ主ってここまでバカだと思わなかったよwwwwwww

793:132人目の素数さん
18/12/31 15:05:41.25 y4r2VQPB.net
>>718
>そして、”数列が無限長で無ければならない理由”を説明する過程で、
>貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう
わろたw
己の主張の証明を他人(しかもその主張を認めない側)に丸投げしちゃったよこの人w
なに?さんざん気を持たせといて結局何一つ示せてないじゃん、アホくさ~

794:132人目の素数さん
18/12/31 15:08:37.71 h9L92WO7.net
>>735
>己の主張の証明を他人に丸投げしちゃったよこの人w
しかも丸投げしたものが、己の主張の完全否定w
スレ主がいかに安易に
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
といって、その後どうなるか一度も考えなかったことがバレバレ
自爆提案を敵に丸なけする究極のバカ それがスレ主wwwwwww

795:132人目の素数さん
18/12/31 15:09:08.37 y4r2VQPB.net
>>718
>”無限長ゆえに成り立つ”ということを、改めて証明すべき
無限の場合は既に証明されてます。時枝記事を読んでください。

796:132人目の素数さん
18/12/31 15:16:36.84 h9L92WO7.net
>>737
ついでにいうとスレ主の愚劣改変案のような
1)決定番号に上限Dがある
2)D+1番目の箱がある
という状況では
「D+1番目を開ければ、D番目が分かる」
とかいう必勝戦略が実現できるが
1)が満たされない、つまり
無限列で決定番号に上限がない場合は、
時枝記事の戦略によるしかないだろう

797:132人目の素数さん
18/12/31 15:19:06.90 y4r2VQPB.net
>>718
>有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう
客室数が有限個のホテルでは「満室でももう1人泊められる」が破綻してるが、
客室数が無限個のホテルでは破綻してないんだけど、何か?

798:132人目の素数さん
18/12/31 15:30:00.93 y4r2VQPB.net
ん~ どうもスレ主という人物は「無限とは何か」が壊滅的にわかってないようだ
古代ギリシャ人の方が遥かに無限を理解してるぞw

799:132人目の素数さん
18/12/31 15:33:19.15 h9L92WO7.net
ID:y4r2VQPBさん
以下の文章を読んでいただき
感想をお願いします
---
>簡単のために、部分集合として、
>決定番号が、1<= d <=(m-1)の場合を考える
>とすること(>>706)で、この不具合は回避できる
箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかw

800:132人目の素数さん
18/12/31 15:57:57.54 y4r2VQPB.net
>>741
>箱はm個だが決定番号mの列は想定しない、ということなら
>m番目の箱を見れば、m-1番目の箱も予測できる
確かにその通りだと思います

801:132人目の素数さん
18/12/31 16:05:45.73 h9L92WO7.net
>>742
どうもすみません
自明なことをわざわざご確認いただきまして


802: スレ主が「反例!反例!」と騒ぐんで 姑息な改変案を確認したら・・・ 反例どころか完全に予測可能! スレ主は自分の改変案で予測不能かどうか 一度もチェックしてないってことですね いやほんと考えることが嫌いなバカなんですね スレ主は



803:132人目の素数さん
18/12/31 17:38:43.97 jfNleUVx.net
数学板のコテを集めてランク付けしようぜwwwww
スレリンク(math板)

804:132人目の素数さん
18/12/31 17:41:35.20 h9L92WO7.net
>>744
スレ主 安定の最底辺だな

805:
18/12/31 17:46:30.87 I8bqvQKd.net
>>745
私も参加することにしました、狂人枠で

806:132人目の素数さん
18/12/31 18:04:48.28 h9L92WO7.net
>>718で自爆死したスレ主は故人枠だなw

807:132人目の素数さん
18/12/31 22:10:57.21 1cUs/ABC.net
スレ主に間違いを指摘したら
スレ主が理解できた場合
「それでいい。ありがとう」
スレ主が理解できなかった場合
Wikipediaなどのコピペ大量書き込み
スレ主がどうしようもなくなった場合
「必死に言い訳をするピエロちゃん ップ(^^ 」
2018年はスレ主の馬鹿っぷりととともに終わります
スレ主以外のみなさま良いお年を~~

808:132人目の素数さん
19/01/01 07:21:28.57 hTB7MY8/.net
スレ主は撃沈でいいのかな?
取りあえず敗北宣言してスレ削除してくんない?
ガキじゃないんだから後始末ちゃんとしようね

809:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:06:31.03 5JqLTK2h.net
まず、ご挨拶
皆様、明けましておめでとうございます。
本年もよろしくお願いいたします。m(_ _)m

810:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:07:07.90 5JqLTK2h.net
>>721
>>はい、有限の範囲で、貴方の知っている(あるいは考え得る)大きな数を頭に浮かべてください
>ちなみにスレ主の考え得る大きな数って何?
私の知っているのは、
“巨大数” URLリンク(ja.wikipedia.org)
くらいですね

811:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:07:48.33 5JqLTK2h.net
>>725
>代表系を定める権利は回答者にあるのだから
それだめですよ。代表系の決め方はすでに時枝記事に書かれています。それ前提です。全く違う数理を採用することは不可。もちろん、ある同値類内で、代表rを別の元r’ にすることは、回答者の自由でしょうが。
一方、「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができるということです。
そして、反例は一つで良い。「有限」の場合に反例が構築できるなら、数理として、時枝記事はもう一度見直されるべきですよね。

812:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:08:20.30 5JqLTK2h.net
>>726
>「時枝記事は成り立つと主張する数学の論理(数学ロジック)」とは何者かを示しなさいな。
それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。
そして、>>706に“(以上は、>>644-645に記述の数学ロジックの通りです)”と纏めています

813:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:09:01.78 5JqLTK2h.net
>>706
おっと、リンク間違っているね
リンク訂正
>>673の改訂版)

>>678の改訂版)

814:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:10:09.46 5JqLTK2h.net
>>737
>>”無限長ゆえに成り立つ”ということを、改めて証明すべき
>無限の場合は既に証明されてます。時枝記事を読んでください。
はい
その(証明)(カッコ付き)は、「無限」でなくともそのまま成立します。
「有限」の場合でも“部分集合として、決定番号が、1<= d <=(m-1)”(>>706)とすることでOKですね

815:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:10:36.74 5JqLTK2h.net
>>746
C++さん、お元気そうでなによりです(^^

816:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:11:16.56 5JqLTK2h.net
さて本題
>>718-719の補足:
1)>>706を時枝記事の有限モデルと名付けよう。(有限数列のしっぽの同値類は>>717に定義の通り)
2)これは、反例です(>>707の通りです。殆ど自明だが、後で説明します)
3)さらに補足すると、決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100) が与えられたとしよう。
 その場合、有限モデルで、m+α(“プラスアルファ”と読む(^^。α>=1の整数)と取ることで、このような決定番号をカバーする有限モデルを、構築することができる。
4)なお、>>706でピエロの“g)標本空間 Ω={1,・・・,100}


817:”が正当化されるのは、「決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100)」が与えられからであり、そのような場合は、必ずこのような決定番号をカバーする有限モデルを構築することができる。(上述3)の通り。) 5)繰返すが、時枝記事前半の”ふしぎな戦略”の説明では、無限長で無ければならない数学的要素は一つも無い。従って、有限モデルを構築することができる。時枝記事に書かれている”ふしぎな戦略”には、必ずそれをカバーする有限モデルを構築することができる。 以上



818:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:13:20.52 5JqLTK2h.net
<有限モデルの反例について>
下記のように誤解して頂けると、ありがたい(^^
(時枝記事が、“全く理解できてない”ってことが、露呈するので(^^; )
(そのうち説明しますが、上記>>757の2)(>>707)の通りです。殆ど自明だが、後で説明します。自得する人も多いと思おうので、時間をおいてじっくりやります)
>>727 >>729 >>732 >>734 >>741 >>743
「箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかw」
>>742
>>741より)
>箱はm個だが決定番号mの列は想定しない、ということなら
>m番目の箱を見れば、m-1番目の箱も予測できる
確かにその通りだと思います

819:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:13:55.14 5JqLTK2h.net
 
あと、このスレはもうすぐ512KBオーバーになるので、新スレを準備しておきます
間に合えば、このスレにも新スレ立てたと書きます

820:132人目の素数さん
19/01/01 11:03:36.66 hHuoOtTW.net
>>758
>下記のように誤解して頂けると、ありがたい(^^
誤解でもなんでもない
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^^

821:132人目の素数さん
19/01/01 11:04:28.59 BXYtbc9n.net
1年ぶりくらいに覗いてみたらまだ時枝の話してて盛大に吹いたwww
スレ主さんが元気そうでなによりだよ

822:132人目の素数さん
19/01/01 11:06:38.15 hHuoOtTW.net
>>758
>そのうち説明しますが
スレ主が自爆したことは説明の必要ありませんが
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^^

823:132人目の素数さん
19/01/01 11:08:45.76 hHuoOtTW.net
>殆ど自明だが、
スレ主が自爆したことは「殆ど」ではなく「全く」自明です
>後で説明します。
自爆の説明は不要です スレ主が軽率なのは皆先刻承知です
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^

824:132人目の素数さん
19/01/01 11:09:55.15 hHuoOtTW.net
>自得する人も多い
スレ主自身がまず自得しましょう
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^^

825:132人目の素数さん
19/01/01 11:16:46.24 hHuoOtTW.net
>時間をおいてじっくり
自爆を理解するまで書き込まなくていいぞ!
負け犬ピエロのスレ主wwwwwww

826:132人目の素数さん
19/01/01 11:21:24.59 hHuoOtTW.net
>>759
>新スレを準備しておきます
必要ないって
負け犬ピエロのスレ主の泣言スレなんかwwwwwww

827:132人目の素数さん
19/01/01 11:29:46.89 hHuoOtTW.net
>>752
>「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができる
同値関係の定義も、決定番号の定義も上記の通り
しかし、有限個の場合、決定番号Dが最後尾なら
時枝戦略の以下の手続きが実現できない
3.第k列のD+1 番目から先の箱だけを開ける。
s~k_D+1,s~k_D+2,s~k_D+3,・・・
 を見て代表r=r(s~k)が取り出せる。
で、上記3.が可能となるよう、
末尾が決定番号とならない形
に改変すると、末尾を見ることで
末尾の直前の箱が100%予測可能w
100%予測可能じゃ反「反例」だなw

828:132人目の素数さん
19/01/01 11:35:20.52 hHuoOtTW.net
>>726
>「時枝記事は成り立つと主張する数学の論理(数学ロジック)」とは何者かを示しなさいな。
>それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。
時枝記事に「無限」と書いてあるなら
「有限」を持ち出すスレ主がルール違反の犯罪者
しかも、それで末端が決定番号にならないよう改変したら
100%予測の自爆  スレ主は自ら敗北したんだよ
言い逃れのしようもないな 

829:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch