19/01/01 10:06:31.03 5JqLTK2h.net
まず、ご挨拶
皆様、明けましておめでとうございます。
本年もよろしくお願いいたします。ｍ（＿ ＿）ｍ
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）とすることでＯＫですね
815:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:10:36.74 5JqLTK2h.net
>>746
C++さん、お元気そうでなによりです（＾＾
816:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:11:16.56 5JqLTK2h.net
さて本題
>>718-719の補足：
１）>>706を時枝記事の有限モデルと名付けよう。（有限数列のしっぽの同値類は>>717に定義の通り）
２）これは、反例です（>>707の通りです。殆ど自明だが、後で説明します）
３）さらに補足すると、決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100) が与えられたとしよう。
その場合、有限モデルで、ｍ＋α（“プラスアルファ”と読む（＾＾。α>=1の整数）と取ることで、このような決定番号をカバーする有限モデルを、構築することができる。
４）なお、>>706でピエロの“g)標本空間 Ω＝{1,･･･,100}
817:”が正当化されるのは、「決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100)」が与えられからであり、そのような場合は、必ずこのような決定番号をカバーする有限モデルを構築することができる。（上述３）の通り。） ５）繰返すが、時枝記事前半の”ふしぎな戦略”の説明では、無限長で無ければならない数学的要素は一つも無い。従って、有限モデルを構築することができる。時枝記事に書かれている”ふしぎな戦略”には、必ずそれをカバーする有限モデルを構築することができる。 以上
818:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:13:20.52 5JqLTK2h.net
＜有限モデルの反例について＞
下記のように誤解して頂けると、ありがたい（＾＾
（時枝記事が、“全く理解できてない”ってことが、露呈するので（＾＾； ）
（そのうち説明しますが、上記>>757の２）(>>707)の通りです。殆ど自明だが、後で説明します。自得する人も多いと思おうので、時間をおいてじっくりやります）
>>727 >>729 >>732 >>734 >>741 >>743
「箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかｗ」
>>742
（>>741より）
＞箱はm個だが決定番号mの列は想定しない、ということなら
＞m番目の箱を見れば、m-1番目の箱も予測できる
確かにその通りだと思います
819:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/01 10:13:55.14 5JqLTK2h.net
あと、このスレはもうすぐ512ＫＢオーバーになるので、新スレを準備しておきます
間に合えば、このスレにも新スレ立てたと書きます
820:１３２人目の素数さん
19/01/01 11:03:36.66 hHuoOtTW.net
>>758
>下記のように誤解して頂けると、ありがたい（＾＾
誤解でもなんでもない
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾
821:１３２人目の素数さん
19/01/01 11:04:28.59 BXYtbc9n.net
1年ぶりくらいに覗いてみたらまだ時枝の話してて盛大に吹いたwww
スレ主さんが元気そうでなによりだよ
822:１３２人目の素数さん
19/01/01 11:06:38.15 hHuoOtTW.net
>>758
>そのうち説明しますが
スレ主が自爆したことは説明の必要ありませんが
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾
823:１３２人目の素数さん
19/01/01 11:08:45.76 hHuoOtTW.net
>殆ど自明だが、
スレ主が自爆したことは「殆ど」ではなく「全く」自明です
>後で説明します。
自爆の説明は不要です スレ主が軽率なのは皆先刻承知です
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾
824:１３２人目の素数さん
19/01/01 11:09:55.15 hHuoOtTW.net
>自得する人も多い
スレ主自身がまず自得しましょう
じゃ、これをコピペするか
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾
825:１３２人目の素数さん
19/01/01 11:16:46.24 hHuoOtTW.net
>時間をおいてじっくり
自爆を理解するまで書き込まなくていいぞ！
負け犬ピエロのスレ主ｗｗｗｗｗｗｗ
826:１３２人目の素数さん
19/01/01 11:21:24.59 hHuoOtTW.net
>>759
>新スレを準備しておきます
必要ないって
負け犬ピエロのスレ主の泣言スレなんかｗｗｗｗｗｗｗ
827:１３２人目の素数さん
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)が取り出せる。
で、上記３．が可能となるよう、
末尾が決定番号とならない形
に改変すると、末尾を見ることで
末尾の直前の箱が１００％予測可能ｗ
１００％予測可能じゃ反「反例」だなｗ
828:１３２人目の素数さん
19/01/01 11:35:20.52 hHuoOtTW.net
>>726
>「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを示しなさいな。
>それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。
時枝記事に「無限」と書いてあるなら
「有限」を持ち出すスレ主がルール違反の犯罪者
しかも、それで末端が決定番号にならないよう改変したら
１００％予測の自爆 スレ主は自ら敗北したんだよ
言い逃れのしようもないな
829:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています