[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 2ch.scのread.cgiへ]
Update time : 04/11 09:46 / Filesize : 523 KB / Number-of Response : 835
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました



1 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 10:45:05.23 ID:JTc4r8fR.net]
このスレは、皆さまのご尽力で、伝統あるガロアすれは、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^
最近、AIと数学の関係が気になって、その関係の記事を集めています〜(^^
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを(^^

なお、
小学レベルとバカプロ固定
サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」)
(参考)blog.goo.ne.jp/grzt9u2b/e/

741 名前:132人目の素数さん [2018/12/31(月) 07:14:23.27 ID:y4r2VQPB.net]
添削たーいむ

742 名前:132人目の素数さん [2018/12/31(月) 07:17:44.67 ID:h9L92WO7.net]
>>678
>a)時枝記事において、箱の数を、十分大きな*)「有限」個の場合を考える。
> (*):例えば無限に近い巨大な数と思って貰えば分り易いだろう)

まず、ここでアウトね
箱の数は無限個でなくてはならない
有限個だとした時点で、時枝記事の設定を否定したことになる

>b)箱の数 L=100mとする。 ここにmは、前述のように十分大きな正整数とする。

全然ダメ 上記のmは存在しない
箱の数は無限個 スレ主に無限が理解できないなら
この時点でスレ主はここから消えるしかない

>L=100m個の箱を、100列のm個の箱の列に並び変える。
>m個の長さの数列の しっぽの同値類を考えることができ、
>決定番号dを決めることができる。
>決定番号dは、1<= d <=m の値を取る。

全然ダメ 上記のmは存在しない
1つの無限列を100の無限列に並び変える
無限長の数列の尻尾の同値類を考えることができ
決定番号dが決まる
決定番号は1以上の任意の自然数(上限値は存在しない)

743 名前:132人目の素数さん [2018/12/31(月) 07:19:44.34 ID:y4r2VQPB.net]
>>678
>e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
D=m の場合、開けるべき箱が無いんだが。。。

744 名前:132人目の素数さん [2018/12/31(月) 07:20:45.28 ID:y4r2VQPB.net]
>>678
で?反例はいつ提示されるの?

745 名前:132人目の素数さん [2018/12/31(月) 07:23:55.32 ID:y4r2VQPB.net]
>>678
>例えば無限に近い巨大な数と思って貰えば分り易いだろう
無限に近い巨大な数って何? 答え辛かったら例でもいいよ

746 名前:132人目の素数さん [2018/12/31(月) 07:24:31.22 ID:h9L92WO7.net]
>>678を時枝記事の正しい設定に変更

a)時枝記事において、箱の数を、可算無限個と考える。
b)箱は 自然数で番号づけできる
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となる。 時枝記事の解法が成立する。

747 名前:132人目の素数さん [2018/12/31(月) 07:30:20.35 ID:h9L92WO7.net]
>>682
>D=m の場合、開けるべき箱が無いんだが。。。

>>678によるスレ主の姑息な改竄は
>>685で修正したので上記のmは無くなった

スレ主は>>665の「有限桁だけ0でない小数(有限小数) 」を見て
勝手に箱の数を有限個としてよいと誤解したようだが、
有限小数の長さの上限値は存在しないから、
当然無限列(有限小数の終わりの次の桁以降0が無限に続く)
を扱わなければならない つまり箱の数は無限個

748 名前:132人目の素数さん [2018/12/31(月) 07:47:23.79 ID:y4r2VQPB.net]
反例ってまだ提示されてないよね?
もしかして>>678が反例のつもりなの?
だとしたら反例という言葉の意味を知らないのかな?
あるいは時枝解法とは別の何かに対する反例を書いたの?

何が何やらサッパリですわ

749 名前:132人目の素数さん [2018/12/31(月) 07:48:34.59 ID:h9L92WO7.net]
>>683
>反例はいつ提示されるの?

間違った設定での間違った反例は無意味

スレ主がこの期に及んで、時枝記事の肝心な前提である
「箱は無限個」を全然受け入れてない、という事実が明らか
になった。
これは「決定番号∞」と同様の誤りである

おそらくスレ主は
「m番目の箱



750 名前:ノはもはや次の箱がない!これが反例だ!」
と高らかに宣言するのだろうが、読者は皆失笑するだろう
箱は無限個であって、上記のm番目の箱は存在しないのだから

無限を理解せず、有限個に改竄するスレ主は
数学を理解する能力が根本的に欠如している
と言わざるを得ない
[]
[ここ壊れてます]

751 名前:132人目の素数さん mailto:sage [2018/12/31(月) 07:49:13.12 ID:av0tGtzM.net]
>無限に近い巨大な数
で笑ってしまった。どんな巨大数でも無限に比べれば0に等しい。
そんなのは数学の常識。
やっぱり工学バカには日常用語としての「無数・無限」(巨大数 だが数学上は有限)
と数学上の「無限」の区別がついてないんじゃないかなぁw

752 名前:132人目の素数さん [2018/12/31(月) 07:49:48.21 ID:y4r2VQPB.net]
>>678
スレ主さん、しばらく留守にするから>>687への回答書いといてね

753 名前:132人目の素数さん mailto:sage [2018/12/31(月) 07:58:17.32 ID:83/Nq/vP.net]
おっちゃんです。
AIとか関係ない持ち出して、やたらめったらコピペするのやめろ。
何が何だか話が分からなくなるだろ。

754 名前:132人目の素数さん [2018/12/31(月) 08:00:26.90 ID:h9L92WO7.net]
>>689
>>無限に近い巨大な数
>で笑ってしまった。

「arbitrarily large」を可能無限と誤解する
スレ主なら大いにあり得ること

スレ主は自分が無限も理解できない
一番のピエロであることを全然理解してない
だからこそ3年もピエロを演じ続けられるわけだが

しかしもうピエロの自爆芸にも飽きた

755 名前:132人目の素数さん mailto:sage [2018/12/31(月) 08:02:22.81 ID:83/Nq/vP.net]
全く、スレ主のコピペはしようもない。
大半がスレ主のコピペで埋め尽くされているような感じじゃないか。

756 名前:132人目の素数さん [2018/12/31(月) 08:08:53.07 ID:h9L92WO7.net]
スレ主はどうやら
「任意長の有限列で成り立つ」事柄は
「無限列で成り立つ」と誤解してるらしい

もちろんそんなことはない
有限列には必ず終端があるが
無限列には終端は存在しない
この質的な違いが重要

スレ主の怪しげな”極限”(?)論法は全く通用しない

それにしても延々と選択公理について述べたのは
なんのつもりだったんだろうか?
正直、スレ主が
>箱の数を、十分大きな「有限」個の場合を考える。
と書いてきたのを読んで、ズッコケた

757 名前:132人目の素数さん [2018/12/31(月) 08:11:45.64 ID:h9L92WO7.net]
スレ主 オウンゴールの軌跡

1.「決定番号∞」
2.「(無限個は)十分大きな「有限」個」

2度あることは3度ある
スレ主は反省する能力がないサル

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

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



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

761 名前:132人目の素数さん [2018/12/31(月) 08:18:33.52 ID:h9L92WO7.net]
>>691
>おっちゃんです。

おっちゃんはもうここでスレ主の相手しなくていいぞ
スレ主はおっちゃんよりもはるかにバカだと露見したから

無限が十分大きな有限と同じとかほざく時点で
数学的には十分池沼レベル もはや人間失格のサル

762 名前:132人目の素数さん mailto:sage [2018/12/31(月) 08:24:02.29 ID:83/Nq/vP.net]
>>700
それでは、スレ主の相手頼む。

763 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:24:18.77 ID:PWZHndJJ.net]
>>679
> 5)同値類の代表元の存在
> が必要

はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが)
”1)選択公理、2)数列しっぽの同値類、3)同値類の代表元の存在、4)決定番号、5)決定番号が自然数”
とします

なお、5)決定番号が自然数は自明だが、念のため追加しただけ

764 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:25:09.63 ID:PWZHndJJ.net]
>>684
>無限に近い巨大な数って何? 答え辛かったら例でもいいよ

はい、有限の範囲で、貴方の知っている(あるいは考え得る)大きな数を頭に浮かべてください
その数+1で結構です

765 名前:132人目の素数さん mailto:sage [2018/12/31(月) 08:27:35.78 ID:83/Nq/vP.net]
>>699
訂正出来ると思うが、>>700は「>>700(私)」ではなく、「>>699」宛て。
それじゃ、おっちゃん少し寝る。 []
[ここ壊れてます]

767 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:27:51.21 ID:PWZHndJJ.net]
>>681 >>685-686 >>695
>(なお、当然だが、反例は一つで良い(定理の証明は全てを尽くす必要があるが))
> (以上は、>>644-645に記述の数学ロジックの通りです)

反例は、時枝記事そのものではないが、ピエロが「時枝記事は成り立つと主張する数学の論理(数学ロジック)」の反例を一つ構成しました
反例は一つでいい
時枝記事を擁護する「時枝記事は成り立つと主張する数学の論理(数学ロジック)」は、破綻しています

768 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:28:47.50 ID:PWZHndJJ.net]
>>682 >>688
>>e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
>D=m の場合、開けるべき箱が無いんだが。。。

そうですね。ご指摘の通りですね
では、こうしましょう
部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。

つづく

769 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:29:58.61 ID: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に記述の数学ロジックの通りです)
以上です。



770 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:30:55.69 ID:PWZHndJJ.net]
>>690
ありがとう
>>687
>もしかして>>678が反例のつもりなの?

Yes

正確には、修正版>>706 を見て下さい
ピエロちゃん( ID:h9L92WO7 )が、正確に反応していると思うが、これ反例です。
殆ど自明だが、後で説明します

771 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:32:56.05 ID:PWZHndJJ.net]
>>691>>693
おっちゃん、どうも、スレ主です。

私スレ主的には、時枝記事こそ、”しようもない”
(個人的には、もう終わっていて、数学としては殆どゴミだと)

で、根拠(出典)のある”コピペ”こそが
後から見て意味があることだよと

ここで、議論されていることは、あくまで”名無し”(=素数さん)の発言であって、
後から見てあまり意味があることとは思っていないんだよね

ただ、ピエロちゃんが、面白いから、からかっているだけ(^^;

772 名前:132人目の素数さん [2018/12/31(月) 08:39:12.23 ID:h9L92WO7.net]
>>701
>”1)選択公理、2)数列しっぽの同値類、3)同値類の代表元の存在、4)決定番号、5)決定番号が自然数”
>とします

4)、5)は要らない。3)から導けるから

773 名前:132人目の素数さん [2018/12/31(月) 08:41:42.71 ID:h9L92WO7.net]
>>705
>>D=m の場合、開けるべき箱が無いんだが。。。
>では、こうしましょう
>部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。

ダメだな そういう姑息な修正では全然対応できない

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

775 名前:132人目の素数さん [2018/12/31(月) 08:46:14.88 ID:h9L92WO7.net]
>>707
>ID:h9L92WO7 が、正確に反応していると思うが

だったらL=100mとかいう間違った設定を否定しろ
無限は十分大きな有限じゃないぞw

>これ反例です。

全然違う これこそ自明

>後で説明します

間違った前提による偽反例の説明なんか聞くだけ無駄だがな
スレ主は自分の「無限=十分大きな「有限」」の誤りが
本当に理解できないほどの池沼なのか?

776 名前:132人目の素数さん [2018/12/31(月) 08:52:54.89 ID:h9L92WO7.net]
>>708
数学板の読者諸氏にとってここのスレ主は全く”しようもない”
(数学的には、もう終わっていて、数学としては全くゴミ)

誰が言ったか分からん英語の掲示板の
根拠不明な文章の”コピペ”のどこが
どれほど意味があるのかw

ここの書き込みは議論ではない
スレ主に対する教育

まあ、実際は無知無能なスレ主をおちょくってるだけだがねw
それにしても無限を理解しないバカでも入れる大学ってあるんだな?
いったいどこだよ 国立大学じゃないことは確かだがな

777 名前:132人目の素数さん [2018/12/31(月) 08:58:23.48 ID:h9L92WO7.net]
スレ主の「反例」はどうせ
「確率1で決定番号は自然数でない」
とかいう馬鹿丸出しの主張だろうw

し・か・し、上記の主張はそもそも
「同値類の代表元は、
 同値類の任意の元と
 しっぽの同値関係にある」
という性質と思いっきり矛盾する

しっぽの同値関係にあるということは
ある有限桁(当然自然数で位置が示せる!)から
先の尻尾が一致するということ

スレ主は時枝記事をロクに読まず、当然理解もしていない
実にお粗末極まりない

778 名前:132人目の素数さん [2018/12/31(月) 09:10:37.55 ID: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となる。
 時枝記事の解法が成立する。

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



780 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 12:48:01.38 ID:PWZHndJJ.net]
>>711
>時枝記事の「しっぽの同値類」は無限列で定義されているわけで
>有限列ではどうやって定義すんの?

はい
(>>21より)
( 特に時枝記事アスキー版 スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/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番目から先一致する.

以上

781 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 12:51:11.41 ID:PWZHndJJ.net]
>>715
必死に言い訳をするピエロちゃん ップ(^^

>箱の数を、無限個と考える。

無限個で無ければならない理由は??

実際、時枝記事の”ふしぎな戦略”において、
お説(>>709)のように、時枝記事は”1)選択公理、2)数列しっぽの同値類”で成り立っている

既に、確認したように、貴方がすがっていた「選択公理」は、無限集合に限定されず、「選択公理」でできることは有限集合でも同じことは可能だ
”数列しっぽの同値類”は、上記(>>717)のように、有限長数列でも可能だ
また、同値類から導かれる代表元と決定番号もまた、有限長数列でも可能だ

なので、有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう

というより、何よりも、反例は一つで良い。

有限長の数列ではあるけれども、そこに反例が存在するならば
「無限」という要素を加えて、”無限長ゆえに成り立つ”ということを、改めて証明すべき

ところで、時枝記事を読む限り
時枝記事前半の”ふしぎな戦略”の説明において、無限長で無ければならない数学的要素は、一つも無い
(繰返すが、時枝記事は”1)選択公理、2)数列しっぽの同値類”で成り立っている)

全て、有限長数列でも可能な数学的要素のみしか使われていない
(これについては、例えば、時枝記事アスキー版 スレ47ご参照 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25 )

有限で、唯一の不具合は、有限の場合、「D=m の場合、開けるべき箱が無い」(>>682)ということだが
”c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える”とすること(>>706)で、この不具合は回避できる

どうぞ、”数列が無限長で無ければならない理由”を説明してください
というより、”数列が無限長で無ければならない理由”が説明できない以上、それは数学ではない!!

そして、”数列が無限長で無ければならない理由”を説明する過程で、
貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう

以上

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

783 名前:132人目の素数さん mailto:sage [2018/12/31(月) 13:21:28.66 ID:omflZ2LR.net]
問題を勝手に作り変えて威張られてもなあ

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

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

786 名前:132人目の素数さん [2018/12/31(月) 13:47:58.51 ID:h9L92WO7.net]
>>718
>>箱の数を、無限個と考える。
>無限個で無ければならない理由は??

時枝記事にそう書いてある

>有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう



787 名前:サれを証明してごらん、スレ主よw

スレ主が"Arbitrary large number" Theory、つまり
「任意の有限個で成り立つなら、無限個で成り立つ」
とかいう俺様理論を提唱しているらしいことは
以前からわかっているが、そんなものは数学では
全く認められていない

無限列における尻尾の同値類では、同値な2列の場合、
どの箇所から一致するとしてもそこから先必ず
無限一致列がとれる

これは任意長の有限列では決して成り立たない性質である

時枝論法はそもそも無限個の箱を使う前提なのだから
0)箱が無限個
なんてことはわざわざ書かない

>有限長の数列ではあるけれども、そこに反例が存在するならば
>「無限」という要素を加えて、”無限長ゆえに成り立つ”
>ということを、改めて証明すべき

何言ってんだ?このバカスレ主w

そもそも無限長が前提なのだから
「有限長の数列ではあるけれども」
といった瞬間にそれは反例でなくなる

”無限長ゆえに成り立つ”ことは
決定番号がいくつであってもその次の箱が存在する、
という性質から明らか

こんな自明なことに気づけないスレ主は正真正銘の池沼w
[]
[ここ壊れてます]

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

789 名前:132人目の素数さん [2018/12/31(月) 13:54:28.66 ID:y4r2VQPB.net]
>>705
>部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。
わろた
自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人

代表系を定める権利は回答者にあるのだから、出題者は予め回答者から代表系を入手して
それに合うように出題する必要があるよね?そうでないと限定した範囲をはみ出るよ?
「どんな実数を入れるかはまったく自由」じゃないよね?
それ時枝問題ちゃいまっせ?あなたは一体何を主張したいの?

まあ箱の数が有限の時点で既に時枝問題じゃないんだがw



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

791 名前:132人目の素数さん [2018/12/31(月) 14:10:27.64 ID: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
ギャハハハハハハ!!!

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

793 名前:132人目の素数さん [2018/12/31(月) 14:16:23.42 ID:h9L92WO7.net]
>>725
>自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人

しかもそのおかげでせっかくの反例を潰してしまったw

>>727でも書いた通り
「箱がm個だが、一致開始箇所は、m−1番目まで」
と限定した時点で
「m番目の箱を見ればm−1番目の箱が予測できる」
という必勝パターンができてしまったw

確率99/100じゃなく1
しかも他の列を見ることなく位置はm−1と指定できる

反例を示すつもりで必勝ゲームを作ってしまった
とことんおバカなスレ主のピエロっぷりwww
2018年の大晦日に十分楽しませてもらったぞ

794 名前:I []
[ここ壊れてます]

795 名前:132人目の素数さん [2018/12/31(月) 14:21:56.08 ID:h9L92WO7.net]
「決定番号∞」がミッドウェイ海戦なら
今回の「1<= d <=(m-1)の場合を考える」は
大和の沖縄特攻作戦に喩えられる暴挙だろう

それにしても自分で反例を完全に潰すとは・・・ププッ
バカもここまでくるとアッパレだなwwwwwww

796 名前:132人目の素数さん [2018/12/31(月) 14:29:58.48 ID:h9L92WO7.net]
>>718
>どうぞ、”数列が無限長で無ければならない理由”を説明してください
>というより、”数列が無限長で無ければならない理由”が説明できない以上、
>それは数学ではない!!

スレ主の壮烈な自爆wを見た後では、この文章は
「ボクちゃん、無限が理解できないの
 無限が有限とどう違うか説明ちて?
 じゃないと、無限なんて数学とは認めないゾ!」
と駄々こねてるようにしか見えないwww

>そして、”数列が無限長で無ければならない理由”を説明する過程で、
>貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう

「数列が有限長でも同じ」と言い張る過程で
確率1で予測が成功する必勝ゲームを作ってしまった
哀れなスレ主の冥福を祈る (-||-)

797 名前:132人目の素数さん [2018/12/31(月) 14:40:05.22 ID:h9L92WO7.net]
スレ主の
「簡単のために、部分集合として、
 決定番号が、1<= d <=(m-1)の場合を考える
 とすることで、この不具合は回避できる」
による「反例なし必勝ゲーム」
(m番目の箱を見ればm-1番目の箱が予測できる)
という完全自爆の後では 何をいっても

「ピエロちゃん えらいねー、
 おサルなのに 沢山カキコして
 
 今日も、ピエロおどり頼むよ
 ホイ、ホイ、ホイ
 踊れ! ピエロ(^^」

とコピペで済ませられるってもんだwwwwwww

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

799 名前:132人目の素数さん [2018/12/31(月) 14:57:37.22 ID:h9L92WO7.net]
>>733
「有限列の場合時枝戦略が成功しない」という反例を作るつもりが
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
と列を限定したために、時枝戦略以上の必勝戦略(m番目の箱を開けるだけで
m-1番目の箱の中身が確率1であたる)をつくってしまう完全自爆w

ルール変えてしかもオウンゴール 
スレ主ってここまでバカだと思わなかったよwwwwwww



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

801 名前:132人目の素数さん [2018/12/31(月) 15:08:37.71 ID:h9L92WO7.net]
>>735
>己の主張の証明を他人に丸投げしちゃったよこの人w

しかも丸投げしたものが、己の主張の完全否定w

スレ主がいかに安易に
「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」
といって、その後どうなるか一度も考えなかったことがバレバレ

自爆提案を敵に丸なけする究極のバカ それがスレ主wwwwwww

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

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

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

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

806 名前:132人目の素数さん [2018/12/31(月) 15:33:19.15 ID:h9L92WO7.net]
ID:y4r2VQPBさん

以下の文章を読んでいただき
感想をお願いします

---
>簡単のために、部分集合として、
>決定番号が、1<= d <=(m-1)の場合を考える
>とすること(>>706)で、この不具合は回避できる

箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる

なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する

なんだ反例にならんじゃないかw

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

808 名前:132人目の素数さん [2018/12/31(月) 16:05:45.73 ID:h9L92WO7.net]
>>742
どうもすみません
自明なことをわざわざご確認いただきまして

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

いやほんと考えることが嫌いなバカなんですね スレ主は

809 名前:132人目の素数さん mailto:sage [2018/12/31(月) 17:38:43.97 ID:jfNleUVx.net]
数学板のコテを集めてランク付けしようぜwwwww
https://rio2016.5ch.net/test/read.cgi/math/1546228012/



810 名前:132人目の素数さん [2018/12/31(月) 17:41:35.20 ID:h9L92WO7.net]
>>744
スレ主 安定の最底辺だな

811 名前: mailto:sage [2018/12/31(月) 17:46:30.87 ID:I8bqvQKd.net]
>>745
私も参加することにしました、狂人枠で

812 名前:132人目の素数さん [2018/12/31(月) 18:04:48.28 ID:h9L92WO7.net]
>>718で自爆死したスレ主は故人枠だなw

813 名前:132人目の素数さん mailto:sage [2018/12/31(月) 22:10:57.21 ID:1cUs/ABC.net]
スレ主に間違いを指摘したら

スレ主が理解できた場合
「それでいい。ありがとう」

スレ主が理解できなかった場合
Wikipediaなどのコピペ大量書き込み

スレ主がどうしようもなくなった場合
「必死に言い訳をするピエロちゃん ップ(^^ 」

2018年はスレ主の馬鹿っぷりととともに終わります
スレ主以外のみなさま良いお年を〜〜

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

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

816 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:07:07.90 ID:5JqLTK2h.net]
>>721
>>はい、有限の範囲で、貴方の知っている(あるいは考え得る)大きな数を頭に浮かべてください
>ちなみにスレ主の考え得る大きな数って何?

私の知っているのは、
“巨大数” https://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E6%95%B0
くらいですね

817 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:07:48.33 ID:5JqLTK2h.net]
>>725
>代表系を定める権利は回答者にあるのだから

それだめですよ。代表系の決め方はすでに時枝記事に書かれています。それ前提です。全く違う数理を採用することは不可。もちろん、ある同値類内で、代表rを別の元r’ にすることは、回答者の自由でしょうが。
一方、「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができるということです。
そして、反例は一つで良い。「有限」の場合に反例が構築できるなら、数理として、時枝記事はもう一度見直されるべきですよね。

818 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:08:20.30 ID:5JqLTK2h.net]
>>726
>「時枝記事は成り立つと主張する数学の論理(数学ロジック)」とは何者かを示しなさいな。

それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。
そして、>>706に“(以上は、>>644-645に記述の数学ロジックの通りです)”と纏めています

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

>>678の改訂版)



820 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:10:09.46 ID:5JqLTK2h.net]
>>737
>>”無限長ゆえに成り立つ”ということを、改めて証明すべき
>無限の場合は既に証明されてます。時枝記事を読んでください。

はい
その(証明)(カッコ付き)は、「無限」でなくともそのまま成立します。
「有限」の場合でも“部分集合として、決定番号が、1<= d <=(m-1)”(>>706)とすることでOKですね

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

822 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:11:16.56 ID: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}”が正当化されるのは、「決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100)」が与えられからであり、そのような場合は、必ずこのような決定番号をカバーする有限モデルを構築することができる。(上述3)の通り。)
5)繰返すが、時枝記事前半の”ふしぎな戦略”の説明では、無限長で無ければならない数学的要素は一つも無い。従って、有限モデルを構築することができる。時枝記事に書かれている”ふしぎな戦略”には、必ずそれをカバーする有限モデルを構築することができる。
以上

823 名前:現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:13:20.52 ID: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番目の箱も予測できる
確かにその通りだと思います

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

825 名前:132人目の素数さん [2019/01/01(火) 11:03:36.66 ID:hHuoOtTW.net]
>>758
>下記のように誤解して頂けると、ありがたい(^^

誤解でもなんでもない

じゃ、これをコピペするか

スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして

今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^^

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

827 名前:132人目の素数さん [2019/01/01(火) 11:06:38.15 ID:hHuoOtTW.net]
>>758
>そのうち説明しますが
スレ主が自爆したことは説明の必要ありませんが

じゃ、これをコピペするか

スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして

今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^^

828 名前:132人目の素数さん [2019/01/01(火) 11:08:45.76 ID:hHuoOtTW.net]
>殆ど自明だが、
スレ主が自爆したことは「殆ど」ではなく「全く」自明です
>後で説明します。
自爆の説明は不要です スレ主が軽率なのは皆先刻承知です

じゃ、これをコピペするか

スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして

今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^

829 名前:132人目の素数さん [2019/01/01(火) 11:09:55.15 ID:hHuoOtTW.net]
>自得する人も多い
スレ主自身がまず自得しましょう

じゃ、これをコピペするか

スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして

今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ! ピエロ(^^



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

831 名前:132人目の素数さん [2019/01/01(火) 11:21:24.59 ID:hHuoOtTW.net]
>>759
>新スレを準備しておきます
必要ないって
負け犬ピエロのスレ主の泣言スレなんかwwwwwww

832 名前:132人目の素数さん [2019/01/01(火) 11:29:46.89 ID: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

833 名前:132人目の素数さん [2019/01/01(火) 11:35:20.52 ID:hHuoOtTW.net]
>>726
>「時枝記事は成り立つと主張する数学の論理(数学ロジック)」とは何者かを示しなさいな。
>それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。

時枝記事に「無限」と書いてあるなら
「有限」を持ち出すスレ主がルール違反の犯罪者

しかも、それで末端が決定番号にならないよう改変したら
100%予測の自爆  スレ主は自ら敗北したんだよ
言い逃れのしようもないな 

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






[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧](;´Д`)<523KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef