405:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:25:43 Di2gg/DV.net
>>376 つづき
さて、上記から見ると、オイラー定数γのうち、後半の -ln(n) 部分は初等関数なので、比較的素性は分かっているとして
調和数 Hn について、初等的かつ簡単な考察をしてみる
1.いま、γが有理数か無理数かの問題なので、Hnの小数部分に注目する
FR(x)=x-[x] という関数を考えよう。
[x]は、いわいる階段関数で、実数xに対し、xを超えない最大整数とする(ガウス記号)で、x 正として FR(x)=x-[x] は小数部分を表す
2.FR(Hn)=Hn-[Hn] は、その式の形から、n有限で有理数であって、分子/分母 の形になることは自明
分母に着目すると、単純に通分して、1*2*3・・・n となるが、一方 オイラー積を考えると
近似としては、分母は Πpi とできるだろう(素数の積で、 i=1~m ここに、piはn以下の素数の全て)
3.いずれにせよ、nが大きくなると、分母に来る素数piも増えて、FR(Hn)は循環小数として、周期がどんどん長くなる
n→∞では、周期も無限大になり、無理数になると予想される
その出自から、有限次数の代数方�
406:ョの根なるとも思えないから、おそらくは超越数 4.同様に、後半のFR(ln(n))=ln(n)-[ln(n)] を考察すると、任意 n>=2で超越数なので(下記 リンデマン) n→∞でも、超越数になると予想される 5.そうすると、オイラー定数γは、全く出自の違う 2つの数 FR(Hn)-FR(ln(n)) が n→∞で、超越数t1-超越数t2 となると予想される 直感的に、t1-t2 が有理数となるとすれば、t1とt2との間に、何か特別な関係があるはずと予想される 逆に、t1とt2との間に、特別な関係がないと予想されるならば、普通は超越数になるだろうと予想される 6.あるHnのn→∞の極限の値が、Riemann Hypothesisと等価だというから、数学的には Hnが 数学的に深い存在でしょう ということは、FR(Hn)-FR(ln(n)) が有理数であるという証明は、簡単に済むとは思えないのです(^^; もし、γが 有理数にしろ、無理数にしろ、はっきりするとすれば、調和数 Hnの深い研究から出てくる気がする 7.なので、γを直接狙わずに、調和数 Hnの方から攻めた方が、 論文ネタも多くあるだろうし、結果として、遠回りに見えて近道かもしれないと思う今日この頃(^^; つづく
407:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:26:06 Di2gg/DV.net
>>377
つづき
(参考)
URLリンク(ja.wikipedia.org)
オイラー積
(抜粋)
式に形式的に s=1 を代入すると
ζ (1)= 1/{(1- 1/2)(1- 1/3)(1- 1/5)(1- 1/7)・・・ }
ここで左辺は調和級数であり、正の無限大に発散するので右辺も同様に発散すると考えられる。このことから素数の個数は有限ではないことが導かれる
URLリンク(ja.wikipedia.org)
超越数
初等関数の特殊値が超越数となる例
・代数的数 α≠0,1 に対する、log α (リンデマン)
(引用終り)
以上
408:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:29:32 Di2gg/DV.net
>>376 タイポ訂正
Σ(n)<=H_n+exp(H_n)lnH_n, (5)
↓
σ(n)<=H_n+exp(H_n)lnH_n, (5)
まあ、原文見てください(^^;
409:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/13 18:02:42.81 Di2gg/DV.net
>>377 補足
おれだったら、研究するなら、最低でも下記は読み込むけどね
(2013年なので、これでは足りないけどね)
URLリンク(arxiv.org)
EULER’S CONSTANT: EULER’S WORK AND MODERN DEVELOPMENTS
JEFFREY C. LAGARIAS Date: October 10, 2013.
(抜粋)
Abstract. This paper has two parts. The first part surveys Euler’s work on the constant γ = 0.57721... bearing his name, together with some of his related work on the
gamma function, values of the zeta function, and divergent series. The second part
describes various mathematical developments involving Euler’s constant, as well as
another constant, the Euler-Gompertz constant. These developments include connections with arithmetic functions and the Riemann hypothesis, and with sieve methods,
random permutations, and random matrix products. It also includes recent results on
Diophantine approximation and transcendence related to Euler’s constant.
Contents
1. Introduction 2
2. Euler’s work 4
2.1. Background 4
2.2. Harmonic series and Euler’s constant 5
2.3. The gamma function 11
2.4. Zeta values 13
2.5. Summing divergent series: the Euler-Gompertz constant 22
2.6. Euler-Mascheroni constant; Euler’s approach to research 27
3. Mathematical Developments 28
3.1. Euler’s constant and the gamma function 28
3.2. Euler’s constant and the zeta function 32
3.3. Euler’s constant and prime numbers 35
3.4. Euler’s constant and arithmetic functions 3
410:6 3.5. Euler’s constant and sieve methods: the Dickman function 39 3.6. Euler’s constant and sieve methods: the Buchstab function 42 3.7. Euler’s constant and the Riemann hypothesis 44 3.8. Generalized Euler constants and the Riemann hypothesis 46 3.9. Euler’s constant and extreme values of ζ(1 + it) and L(1, χ?d) 48 3.10. Euler’s constant and random permutations: cycle structure 51 略 4. Concluding remarks 77
411:132人目の素数さん
20/02/13 20:43:48.76 v2TIc5o5.net
バカ>>372に反論できず
反論できないということは敗北を認めたということなので、約束守ってスレ閉鎖して下さい
412:132人目の素数さん
20/02/13 21:20:24.66 li72tyeH.net
選択公理を使わずに
第3者が箱の中を覗いて100列の代表元を作った場合
時枝解法を実行すると、解答者は結局
その第3者が箱の中身と一致させた番号の箱を
99/100の確率で選ぶことになって
「当てられるのは当たり前となる」
という理屈は理解できましたか?
413:132人目の素数さん
20/02/13 21:30:03.21 li72tyeH.net
もう一点。
代表元を作ってくれる第3者がいないとき
あなたの言う"フルパワー"の選択公理は必要である。
なぜならば、100列に分けた中に
もし代表元が予め選ばれていない同値類に属する元があったら
解法は実行できないから。
したがって「どんなR^Nの元を出題されても解法が実行できる」
と言うためには、R^N/~のすべての同値類から
代表元が予め選ばれていることが必要。
414:132人目の素数さん
20/02/13 23:37:36.04 3fZQkZti.net
選択公理を試行として使うことはできない
415:132人目の素数さん
20/02/13 23:38:44.33 3fZQkZti.net
間違えた
選択関数を試行として使うことはできない
416:132人目の素数さん
20/02/14 00:05:24.83 8cT1yPek.net
>選択関数を試行として使うことはできない
試行は100列の中からランダムに1列選ぶことであり、選択函数は使っていません。
選択函数は単なる存在ではなく、値を知ることができると仮定されています。
417:132人目の素数さん
20/02/14 00:27:48 8cT1yPek.net
「選択函数は存在するが、値を知ることはできない」
と仮定しても、時枝解法は成立しない。
418:132人目の素数さん
20/02/14 00:54:38.14 Ktcqg9G/.net
選択関数を使って値を知るという事が試行になるんじゃないの?
しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
419:132人目の素数さん
20/02/14 01:15:10.30 8cT1yPek.net
>>388
何か当てずっぽうで適当なこと言ってないですか?
「箱入り無数目」の時枝記事は読まれました?
読んでないなら読まれてから発言してください。
試行は出題された無限列を100列に分けてランダムに1列選ぶことであって
選択公理は一切関係ありません。
>しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
意味不明なので、記事を読まれた上で詳しく自論を説明してください。
420:132人目の素数さん
20/02/14 01:15:21.09 KhbHkail.net
選択公理を仮定 ⇒ 選択関数が存在する ⇒ 代表系が存在する ⇒ どの実数列の決定番号も自然数
ここで各実数列の決定番号の値は不明だが、それでも「100列の決定番号の集合の単独最大元はたかだか一つ」が成立することに注意すれば、選択公理 ⇒ 時枝定理 が言えることが分かる。
時枝戦略にとって選択関数はただ存在するだけで必要十分。具体的にどんな関数かは不問。
421:132人目の素数さん
20/02/14 01:39:46.71 8cT1yPek.net
>試行は出題された無限列を100列に分けてランダムに1列選ぶことであって
>選択公理は一切関係ありません。
失礼。決定番号100本をΩとするなら、関係ありますね。
ちょっと混乱してきました。
記事にある数当てまでするとすれば、選択函数の値まで知ることが必要と思います。
422:132人目の素数さん
20/02/14 01:51:34.73 KhbHkail.net
>各実数列の決定番号の値は不明
は、我々には不明という意味ね。我々は代表系の存在しか分かってないから。
「各類から代表を選び,代表系を袋に蓄えておく.」が時枝戦略の手順なので
戦略の実行者は具体的な値を知ることができる設定。
423:132人目の素数さん
20/02/14 01:55:07.91 KhbHkail.net
>>391
>記事にある数当てまでするとすれば、選択函数の値まで知ることが必要と思います。
数当てする人は知ることができる設定ですよ。
「各類から代表を選び,代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/~の切断を選んだことになる.」
ですから。
424:132人目の素数さん
20/02/14 02:04:54.03 KhbHkail.net
この数当てする人って、数列の無限項すべてを見通せるとか、商射影 R^N→ R^N/~の切断を決定できるとか、人智を超えた能力を持っているのですw
だから我々の直観と異なる結果になっても実は不思議じゃないのです。数学が分かる人にとっては。
数学がダメな直観頼みな人は拒絶反応を示しますけどねw 実際このスレにも一人いますw
425:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:35:04.18 lUy1Die6.net
>>394
>この数当てする人って、数列の無限項すべてを見通せるとか、商射影 R^N→ R^N/~の切断を決定できるとか、人智を超えた能力を持っているのですw
正しい
選択公理とか、グロタン宇宙を作るとか、望月宇宙を作るとか、現実を超えた世界の話で、それが数学の力でしょ
>だから我々の直観と異なる結果になっても実は不思議じゃないのです。数学が分かる人にとっては。
正しい
そういう正しいパラドックスもある
>数学がダメな直観頼みな人は拒絶反応を示しますけどねw 実際このスレにも一人いますw
間違っている
将棋でも囲碁でも、トッププロは直感でソフト推奨の正解手が浮かぶ
へぼは、直感で、へぼ筋が浮かぶ
数学も同じ。レベルが上がれば、直感で正解が浮かぶ
数学へぼは、直感で不正解が浮かぶ。確率論を知らない人は、時枝読んで騙される
426:132人目の素数さん
20/02/14 07:36:20.07 HsY58hvJ.net
お早うございま~す!
皆様さわやかな💗バレンタイン💖の
朝をお迎えでしょうか?
え?普通?それは良かった!(´∇`*)
変態は二日酔いで~す(││Д│)ゲッ!
昨日のお誕生日のシャンパン2杯で
悪酔いしましたー!
来年こそは勝利のバレンタインに向けて心機一転、出直しまーす!
そこでまず、気がつきましたが、
名前が「変態」ってまずいです...
なぜ「変態」だの「ゲイ野郎」だの
身覚えのない捨て台詞を吐かれてしまったのか...?遡ってみて、たぶん、
ガルちゃんスレのキティ仲間の
虹女ちゃんが数板にくっついて来て、
出張嵐を敢行なさってらした時の
変態書き込みが名無しの仕業?って
ドン引きされちゃったのかな?って。。。
「変態」の異名を賜った理由がそれなら、全然勘違いですよ~だ。
虹女ちゃんのホモへの興味がどこから湧くのかは永遠の謎でしょうが、
名無しは*常連喪女スレ*参加者必修の
ホモビ(ホモAV)講座も受講してないぐらいのもぐりだから、あんな変態用語駆使しようが無いんです...
虹女ちゃんと名無しのホモ学での実力差は、ホモ学修士とホモ大学不合格ぐらいの差なんです...
なので、「変態」(←ホモ博士・プロホモ研究者並み)なんて、とんでもござらんので「気持ち悪い絵文字使い」で
「キ文字」に改名します。
きもじ、しめじっぽい。来年こそ明るい💝バレンタイン💗の朝を迎えるぞ~!
お騒がせしました。。。@きもじ@でしたー。。。
427:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:44:49.11 lUy1Die6.net
>>389-390
時枝における選択公理の役割については、賛成する
つまり、下記のSergiu HartのPDFで、時枝と類似のことを扱っている
GAME1が、選択公理を使う場合
GAME2が、選択公理を使わない場合
どちらも、ロジックは同じと、Sergiu Hartは言っている
これが正しいとすると、
1.フルパワー選択公理は必ずしも必要がないこと
2.フルパワー選択公理を使わないGAME2には、非可測集合は関係しないから、この点で時枝記事の後半の非可測議論は外れです
(参考)
URLリンク(www.ma.huji.ac.il)
Sergiu Hart
Some nice puzzles:
100 C
428:ards Choice Games ← これが問題のPDF http://www.ma.huji.ac.il/hart/puzzle/choice.html (引用終り)
429:132人目の素数さん
20/02/14 07:45:02.01 HsY58hvJ.net
>>396
↑訂正します。
>ホモ大学 誤
ホモ女学院大学 正
(女子大でした。。。)
430:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:45:41.15 lUy1Die6.net
>>396
どうも。スレ主です。
レスありがとう(^^;
431:132人目の素数さん
20/02/14 07:50:36.36 HsY58hvJ.net
主様、お早うございましたー。
今年も🌺奥様💐と
良い💖バレンタインデー💗です様に。。。
🌺パートナー💗の方に恵まれてらして
羨ましぃ。。。
きもじも来年は主様みたいに
💗カップリング💞出来る様に頑張りまーす!
432:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:52:10.48 lUy1Die6.net
>>377 補足
(引用開始)
5.そうすると、オイラー定数γは、全く出自の違う 2つの数 FR(Hn)-FR(ln(n)) が
n→∞で、超越数t1-超越数t2 となると予想される
(引用終り)
ちょっと気付いたので補足しておく
lim n→∞ FR(Hn) が、収束するかどうかが、非自明
つまり、調和数Hnは、発散級数で n→∞になる
FR(Hn)はその小数部分を取り出したものだが、これが収束するかどうかが、非自明です
でも、n→∞ で、n有限で長い循環小数(=有理数)で、”循環周期が無限大になる”ことに限れば、証明できると思う
433:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:53:33.61 lUy1Die6.net
>>401 タイポ訂正
つまり、調和数Hnは、発散級数で n→∞になる
↓
つまり、調和数Hnは、発散級数で n→∞ Hn→∞ になる
434:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:54:32.55 lUy1Die6.net
>>400
はい、ご健闘をお祈りします(^^
435:132人目の素数さん
20/02/14 09:58:02 frNPW5Ql.net
>>389
>何か当てずっぽうで適当なこと言ってないですか?
お前が名
436:132人目の素数さん
20/02/14 13:00:56 Xeh8yllg.net
動画リンク
URLリンク(youtu.be)
ファイル名
令和のコペルニクス.mp4
六角アミダって有りそうで無いので自作しました。
437:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 14:39:21.58 TWX3ywPC.net
>>405
どうもスレ主です。
ありがとう
見た
意味わからんかったなw(^^;
0.25倍速で繰り返し見たよ(゜ロ゜;
438:132人目の素数さん
20/02/14 15:52:05.06 qY/rwOYr.net
>>406
ソースコードはこちら。
URLリンク(yahoo.jp)
439:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 16:11:52.83 TWX3ywPC.net
>>407
どうもスレ主です。
ご苦労様です。
440:132人目の素数さん
20/02/14 18:43:46 Xeh8yllg.net
>>1
>いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
高校数学から少し難しくなる理由の一つとして、私は無限や収束の概念のように、
完全には可視化することができないコンセプトが入ってくることがあげられると思います。
そんなときにコンピュータを使うことができると、無限を理解する手助けになると思います。
URLリンク(mywarstory.tokyo)
数学の世界はコンピューターの世界だと思う。ユークリッド幾何学なんてのは現実世界に存在しないから。
441:132人目の素数さん
20/02/14 19:06:47 KhbHkail.net
>>395
>数学へぼは、直感で不正解が浮かぶ。確率論を知らない人は、時枝読んで騙される
確率論は無関係ですね。The Riddle は確率を使ってませんので。
確率論をもって時枝不成立などと世迷言を言う輩に数学は無理ですね。時枝=The Riddle+小学校の確率 ですから。
まあ騙されるなどと豪語するからには証明のギャップを示す自信があるのでしょうね。早く示して下さい。待ち草臥れましたよ?
442:132人目の素数さん
20/02/14 19:12:02 KhbHkail.net
>>395
>時枝読んで騙される
と豪語するのに証明のギャップを示さないということは
「証明のギャップなんてクソくらえ、数学は直観がすべてだ」
と言いたいんですかね?あなたらしいですね(^^;
そんなあなたに数学は無理ですね、諦めてスレ閉じましょう(^^
443:132人目の素数さん
20/02/14 19:15:41 Xeh8yllg.net
>>395
>将棋でも囲碁でも、トッププロは直感でソフト推奨の正解手が浮かぶ
すると現在のコンピューター囲碁の、トッププロを超える棋力は「直感」?
444:132人目の素数さん
20/02/14 19:38:09 8cT1yPek.net
「無限列があれば見通せる、選択函数があればその値を知ることができる」
が
445:解答者の設定だというのは>>392->>394さんのおっしゃる通りですね。
446:132人目の素数さん
20/02/14 19:41:34 8cT1yPek.net
>>404
試行は100列からランダムに1列選ぶこと。
アタリ(単独最大決定番号を持たない)ハズレ(単独最大決定番号を持つ)は選択函数に依存するが
試行の度に選択函数(同じことだが代表系)を変えるわけではない。
>しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
意味不明なので、テキトーでないなら説明して下さい。
447:132人目の素数さん
20/02/14 19:45:00 Ktcqg9G/.net
>>409
アルゴリズムで解けない問題とかあるじゃん
448:132人目の素数さん
20/02/14 19:47:51 KhbHkail.net
コンピュータ上にはNすら実装できない訳だが
449:132人目の素数さん
20/02/14 19:52:24 Ktcqg9G/.net
>>414
お前がいみふw
450:132人目の素数さん
20/02/14 19:57:58 8cT1yPek.net
直感なんてタネを明かせば神秘性などない。
人類が進化の過程で身に付けてきた(間違うこともあるが)
効率よく答えに到達する「速い思考」でしょう。
ヒューリスティックという言葉もある。
一方で、数学は計算・論理で裏付けられた「遅い思考」に重点があることは確か。
451:132人目の素数さん
20/02/14 20:00:58 8cT1yPek.net
>>417
説明できないんですね? 了解しました。
452:132人目の素数さん
20/02/14 20:06:01 Ktcqg9G/.net
↑カッコツケンナ
453:132人目の素数さん
20/02/14 22:03:35.39 dnVoJYSz.net
ID:Ktcqg9G/ って中卒DQNだろ
数学板書くな いや 読むな
中卒DQNの貴様には全然理解できねぇから
ギャハハハハハハ(嘲笑)
454:132人目の素数さん
20/02/14 22:07:18.37 dnVoJYSz.net
>選択関数を試行として使うことはできない
中卒DQNが分けも分からず試行とかいうなよ
ギャハハハハハハ(嘲笑)
455:132人目の素数さん
20/02/14 22:11:30.67 dnVoJYSz.net
ID:Ktcqg9G/ ってこんなん↓だろ
URLリンク(www.youtube.com)
456:132人目の素数さん
20/02/14 22:49:30.72 dnVoJYSz.net
選択公理抜きの問題
10進自然数 100個から1個を選ぶ
他の99個の自然数の最大桁数+1をDとすると
選んだ自然数の桁の最大桁数がD以上である確率は1/100以下
457:132人目の素数さん
20/02/14 23:03:27.57 Ktcqg9G/.net
キャラ変えてやがるキメー
458:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 23:23:49.85 lUy1Die6.net
(>>110より)
URLリンク(www.kurims.kyoto-u.ac.jp)
平成19年度(第29回)数学入門公開講座テキスト(京都大学数理解析研究所,平成19年7月30日~8月2日開催)
R = T 定理の仕組みとその応用
安田 正大
この講座では, Fermat 予想の証明のために Wiles, Taylor-Wiles が確立した R = T 定理に関する最近の
発展と応用についてお話します.
この原稿は数学の専門家でない方を対象にして書かれており, 内容の正確さよりも, 大体の感じをつかん
でもらうことを目標としています. 読者に難解な印象を与えないようにするために, 専門家向けの文章では
許されないようなあいまいな表現の仕方をあえてしている部分があります.
1. Fermat 予想
19. 謝辞
草稿段階の本原稿に目を通してくださり, たくさんの有益な助言を下さいました山下剛さんに感謝いたし
ます.19
(引用終り)
これ、読んでみたけど、結構面白かった
お薦めです(^^
459:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 23:27:39.07 lUy1Die6.net
>>425
ID:Ktcqg9G/さん、どうも。スレ主です。
ご参考に、>>2-4を読んでおいてね
サイコパスにご注意ください
460:132人目の素数さん
20/02/15 00:05:53 wkbeXV+N.net
>>423
かっこe💗
461:132人目の素数さん
20/02/15 00:06:46 wkbeXV+N.net
>>425
ほんとに✨DQN✨だったんですか?
462:132人目の素数さん
20/02/15 00:07:41 wkbeXV+N.net
って、すう板にいるわけないか。
463:132人目の素数さん
20/02/15 00:09:08 wkbeXV+N.net
なりぷっ様はめ~とん君役だったんですか...?
464:132人目の素数さん
20/02/15 00:10:10 wkbeXV+N.net
喪女が1人2役のおじさん役。。。
465:132人目の素数さん
20/02/15 00:16:00 wkbeXV+N.net
Σ(´Д`;)ハッ!
まさか、DQNも?
1人3役、笑笑のお局様まで、4役、、、
まさか、主様まで...
─
466:ガロア座の怪人─ 支配人、ヒロイン、敵役... 全て...なりぷっ様がお1人で...? ❓
467:132人目の素数さん
20/02/15 00:18:54 LSP2yZ16.net
反例まだ~?
☆ チン マチクタビレタ~
マチクタビレタ~
☆ チン 〃 ∧_∧
ヽ___\(\・∀・)
\_/ ⊂ ⊂_)
/ ̄ ̄ ̄ ̄ ̄ /|
| ̄ ̄ ̄ ̄ ̄ ̄| |
| 愛媛みかん |/
 ̄ ̄ ̄ ̄ ̄ ̄
468:132人目の素数さん
20/02/15 00:19:15 LSP2yZ16.net
証明のギャップまだ~?
☆ チン マチクタビレタ~
マチクタビレタ~
☆ チン 〃 ∧_∧
ヽ___\(\・∀・)
\_/ ⊂ ⊂_)
/ ̄ ̄ ̄ ̄ ̄ /|
| ̄ ̄ ̄ ̄ ̄ ̄| |
| 愛媛みかん |/
 ̄ ̄ ̄ ̄ ̄ ̄
469:132人目の素数さん
20/02/15 00:36:09 A11V8WdY.net
º º
\ \
(Д ;)
470:132人目の素数さん
20/02/15 00:36:31 A11V8WdY.net
マタズレタ...
471:132人目の素数さん
20/02/15 00:44:11 A11V8WdY.net
お休みなさーいっ!ピュッΣΣ Σ ΞΞ┃
472:132人目の素数さん
20/02/15 01:15:59 LSP2yZ16.net
>>397
>1.フルパワー選択公理は必ずしも必要がないこと
単にgame2は選択関数が構成可能な設定だから選択公理不要なだけ
>2.フルパワー選択公理を使わないGAME2には、非可測集合は関係しないから、この点で時枝記事の後半の非可測議論は外れです
二重に間違ってる。
時枝記事はgame1類似なので選択公理は必要、そのため非可測集合ができる。
しかし時枝戦略の確率は単に100個の(重複を許す)自然数から単独最大元を引かない確率なので非可測性は無関係。よって自称確率論の専門家の指摘は当たらない。
記事後半の「選択公理や非可測集合を経由したからお手つき, と片付けるのは,面白くないように思う.」が外れというのは同意だが、二重の間違いで結果的に一致しただけ。裏の裏は表。
473:132人目の素数さん
20/02/15 01:18:33 LSP2yZ16.net
そんなことより早く反例なり証明のギャップなり提示してもらえませんかね?
提示できないなら約束守ってスレ閉じましょうね
サイコパスだから約束は守れない?
474:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/15 06:09:19 tI+VIYb9.net
>>439
同じことを言っていると思うが
>>397で言っていることは
時枝戦略の成立 or 不成立と、フルパワー選択公理の使用 or 不使用 とは無関係ということ
∵ フルパワー選択公理を使わないGAME2が、可算選択公理の下で成立するとすれば、可算選択公理→フルパワー選択公理に変えたGAME1も同様に成立するだろうから
逆に、時枝戦略の成立 or 不成立は、GAME2で考えても同様だってこと。GAME2が不成立なら、GAME1も不成立だろう
だから、時枝氏が記事で書いている、「選択公理や非可測集合を経由したからお手つき, と片付けるのは,面白くないように思う.」は、数学的に無意味
475:132人目の素数さん
20/02/15 09:07:40.85 evPrm7Qa.net
GAME2は箱の中身を確率変数とした場合、
独立同分布といえないんじゃね?
なんか瀬田は何も考えてないよな
だいたい選択公理抜きっていいたいなら
>>424でいいじゃん アホか
476:132人目の素数さん
20/02/15 09:09:22.93 evPrm7Qa.net
>ガロア座
ガロアもグロタンディクも
瀬田みたいなどシロウトに
わけもわからず持ち上げられて
いい迷惑だよな
477:132人目の素数さん
20/02/15 09:12:32.37 evPrm7Qa.net
>GAME2が不成立なら、GAME1も不成立だろう
GAME2は成立するよ 代表元が選べるからね
え?瀬田はGAME2も否定すんの?
じゃ、もしかして>>424も否定すんの?
478:132人目の素数さん
20/02/15 09:15:39.73 evPrm7Qa.net
ところでセタは瀬田でいいの?
ほかにも世田・畝田・勢田・勢多とかいろいろあるけど
479:132人目の素数さん
20/02/15 09:21:38.49 evPrm7Qa.net
>>439
>時枝戦略の確率は単に100個の(重複を許す)自然数から
>単独最大元を引かない確率なので非可測性は無関係。
その通り
>>440
>早く反例なり証明のギャップなり提示してもらえませんかね?
ほんと
あのPrussですらThe Riddleは否定しなかったのにな
瀬田はPrussのNon-conglomerabilityが全然理解できなかったんだな
「箱入り無数目」は箱の中身を確率変数とする場合、
数列の場合分けの仕方でいくらでも確率の値が変わる
そこがパラドックスの源泉だということも理解せずに
●●の一つ覚えで、自分勝手な分割の仕方を
唯一無二の方法と妄想して自分だけが正しいと絶叫
ホント、迷惑な●違いだな 瀬田は
480:132人目の素数さん
20/02/15 09:23:40.28 A11V8WdY.net
SETA様ってかっこいい響き�
481:ナすね シータっぽいw
482:132人目の素数さん
20/02/15 09:28:15.84 evPrm7Qa.net
時枝の「箱入り無数目」で悩ましいのは
毎回、箱の中身を入れ替える場合でも
100人がそれぞれ違う列を選ぶ場合には
99人が当たってしまう点
Prussも確率は計算できないといってるが
その結果100人の確率の対称性が成り立たない
という主張に至っている
100人が100人とも同じ確率になる、といってしまったら
「箱入り無数目」の結論を認めざるを得なくなるから
483:132人目の素数さん
20/02/15 09:28:34.26 A11V8WdY.net
でもほんとは 格好良いSETA
じゃないかも知れない...
484:132人目の素数さん
20/02/15 09:34:14.16 evPrm7Qa.net
>>447
Seta…SET A…集合A
♪じれったい じれったい
いくつにみえても 私誰でも
じれったい じれったい
私は私よ 関係ないわ
特別じゃない どこにもいるわ
私 集合A
URLリンク(www.youtube.com)
※諸般の事情で唄ってるのは中森明菜ではありませんw
485:132人目の素数さん
20/02/15 09:38:24.37 A11V8WdY.net
>>450
なりぷっ様、劇団四季でリトルマーメイドやって欲しかった。。。
えもきは前に品川住みだったんです。。。
大井町が最寄りターミナルでリトルマーメイドをままちんと「観たいね~♪」っていって通りすぎてました。。。
女優さんとか、声優さんとか、天職だったんじゃ。。。?( *´艸`)
486:132人目の素数さん
20/02/15 09:42:29.30 A11V8WdY.net
えもきも🌈ガロア座🌈みたいな
1人7役くらいこなせる劇場支配人で
脚本家兼監督兼俳優ってやってみたいw
487:マーラ様( ̄ー ̄)
20/02/15 09:44:12.66 evPrm7Qa.net
なりぷっ、て誰だ?
我は第六天魔王 Mara Papiyas
数学テロリスト 集合A <<<<<<< 数学板の第六天魔王
URLリンク(www.youtube.com)
488:132人目の素数さん
20/02/15 09:46:17.93 A11V8WdY.net
主様の(仮)名がSETA様で良かったです♪
変なお名前つけられちゃってたらイメージダウン⤵しちゃいますもんね。。。
*SETA*様、格好良いです!♪♪
489:132人目の素数さん
20/02/15 09:47:13.73 A11V8WdY.net
>>453
ぷっちゃま可愛e💗
( *´艸`)♪
490:132人目の素数さん
20/02/15 09:48:28.61 A11V8WdY.net
>>453
あ、じゃあえもはルシファーで~す♪
w
491:132人目の素数さん
20/02/15 09:49:16.92 j5WhwZjA.net
>>442
いや、game1で、独立同分布の確率変数で、反例出せば良い
そうすれば、game2も潰れるよ
492:132人目の素数さん
20/02/15 09:54:31.20 zLcVy9s0.net
>>448
毎回箱の中身を入れ替える出題をN回行うことと
N人が一斉に出題することは等価ですね。
100列の分け方は共通として
1題ごとにランダムに1列選ぶ
設定と
N題すべてに共通の1列をランダムに選ぶ
設定が考えられる。
後者の勝率99/100は言えないとして、前者は言えるんじゃないですか?
493:132人目の素数さん
20/02/15 09:55:45.74 evPrm7Qa.net
「集合A」君の数学と書けて
日向坂 齊藤京子の料理と解く
その心は・・・
URLリンク(www.youtube.com)
494:マーラ様☆(・ω<)
20/02/15 10:02:33.34 evPrm7Qa.net
>>458
100人が同じ100列の中からそれぞれ異なる列を選ぶのがポイント
そこはずすと「99人当たる」とは言えない
495:132人目の素数さん
20/02/15 10:03:19.13 A11V8WdY.net
料理グチャグチャ...
他人事ト思エナィ... 。 ゜(。つД`)。
496:132人目の素数さん
20/02/15 10:06:33.59 A11V8WdY.net
「日向坂」ぐぐったら
↓
「日向坂 可愛いくない」
「日向坂 ブスばっかり」
「日向坂 性格悪い」
・・・
汗)これは...?
497:132人目の素数さん
20/02/15 10:08:20.38 evPrm7Qa.net
>>4
498:61 集合A君の当スレでのトンデモ発言の後の読者諸氏の叫び =齊藤京子の料理破壊工作wの後の宮田愛萌の叫び 「ちょっと!何やってんですか!」
499:132人目の素数さん
20/02/15 10:09:01.80 A11V8WdY.net
(ちょっと嬉しい。。。
( *>艸<)プププッ!)
ねっ!?なりぷっ様!?
500:132人目の素数さん
20/02/15 10:12:09.13 evPrm7Qa.net
>>462
可愛いコもおるで~
しかも大阪のコやで~ 信じられへんw
URLリンク(www.youtube.com)
501:132人目の素数さん
20/02/15 10:12:33.18 A11V8WdY.net
>>463
なりぷっ様はお料理ダメ女でも
**マッスー女子**だから
格好良くってセーフ!!!
ですね。。。
良かったですね...一芸に秀でる才に恵まれて。。。ウラヤマシィ...
502:132人目の素数さん
20/02/15 10:14:58.42 A11V8WdY.net
>>465
(なりぷっ様)推しがズレてる理由が
解りましたよ。。。
。。。( ´_ゝ`)ソリャ ズレルワケダワ...
503:132人目の素数さん
20/02/15 10:17:58.80 A11V8WdY.net
また微(妙)少女を...
(...っw!((😆))
ごっめんなさ~いっ!)
504:132人目の素数さん
20/02/15 10:18:58.78 evPrm7Qa.net
ん?私が日向坂で一番推してるのは実はこのコだが
URLリンク(www.youtube.com)
505:132人目の素数さん
20/02/15 10:20:01.36 A11V8WdY.net
なりぷっ様がおじさんだったら
(幸せになれそう。。。)って思えたご趣味でした。。。w
506:132人目の素数さん
20/02/15 10:21:27.33 A11V8WdY.net
>>469
「ひなのヲタおじさん」キャラ、、、
王道ですね♪
507:132人目の素数さん
20/02/15 10:22:26.26 evPrm7Qa.net
>>468
えー、Seventeenのモデルもやってる小坂がビミョー?
じゃ、君がいう美少女ってどんなんよ?
508:132人目の素数さん
20/02/15 10:24:02.95 A11V8WdY.net
Σ(´Д`;)ハッ!
劇場のお邪魔しちゃってゴメンナサィ...
509:132人目の素数さん
20/02/15 10:24:44.78 A11V8WdY.net
>>472
(美少女に興味)ないです。
510:132人目の素数さん
20/02/15 10:27:29.79 evPrm7Qa.net
>>474
いや、君が美少女に興味あるかどうかなんてどうでもええがな
君が考える美少女ってどんなんか例あげて示せいうとる
さっさとやらんかい ワレw
511:132人目の素数さん
20/02/15 10:30:39.40 A11V8WdY.net
なぜ大阪弁に。。。?
しいていうなら、、、🤔
って前にもう2例あげました。。。
ホマキと上戸彩ちゃんくらいかな?って。
512:132人目の素数さん
20/02/15 10:33:08.96 A11V8WdY.net
えもは🐈子猫ちゃんに
💘キュンッ!派です😊
513:132人目の素数さん
20/02/15 10:34:23.75 A11V8WdY.net
prettymenに💘って意味です♪
514:132人目の素数さん
20/02/15 10:38:38.12 A11V8WdY.net
なりぷっ様はやっぱり、ショルツ様みたいな方が理想MANなんですか?
515:132人目の素数さん
20/02/15 10:41:55.10 A11V8WdY.net
ショルツ様はもうお子様もいらっしゃるから、もっち様はいかがでしょうか...
516:132人目の素数さん
20/02/15 10:44:15.42 A11V8WdY.net
(再び)Σ(´Д`;)ハッ!
。。。すす、すう板じゃ
なくなってる。。。❓チャット...
517:132人目の素数さん
20/02/15 10:46:36.76 A11V8WdY.net
えもはなりぷっ様が
**もっち夫人**になられたいなら
応援してます...!
キモチダケデ モウシワケナス。。。
518:悪魔
20/02/15 10:50:56.10 A11V8WdY.net
板違い嵐失礼しました~!
519:132人目の素数さん
20/02/15 10:53:03.89 evPrm7Qa.net
>>476
あ、思い出したw そんなんいうてたな
個人的には、デビュー時の小坂は堀北真希の進化版
だと思ったんだが、違うのか
520:132人目の素数さん
20/02/15 10:54:31.84 A11V8WdY.net
>>484
(全然違う!)
521:お邪魔
20/02/15 10:59:40.29 A11V8WdY.net
(個人的にチャットでやれよ!って
キレられちゃうし、大概にしといて
ランチ買いに行ってきますね...(汗
522:お邪魔虫
20/02/15 11:04:41.79 A11V8WdY.net
なりぷっ様、関西弁だと主様と合うかも?ですね♪
では、みなさま
ぜひぜひ素敵な
523:土曜日ランチ お召し上がりください♪ お騒がせいたしました。 失礼いたします。。。
524:マーラ様☆(・ω<)
20/02/15 11:13:08.98 evPrm7Qa.net
>>485
そうなんだぁ
なにがどう違うのか全然わからんがw
>>486
集合Aの数学破壊発言に比べたら全然問題ねぇよw
>>487
>関西弁だと・・・合うかも?
それは絶対ねぇわ!
数学テロリストはこの世から抹殺( ̄ー ̄)
525:132人目の素数さん
20/02/15 11:19:02.67 zLcVy9s0.net
シュールなスレになったなw
526:132人目の素数さん
20/02/15 11:23:25.88 evPrm7Qa.net
今日のネタ
URLリンク(headlines.yahoo.co.jp)
>官邸は『女性天皇』の実現についての議論をする気はさらさらない
いよいよ、日本にも革命が起きるな
>政府内で「安定的な皇位継承の対策案」について、議論を見送る
>つまり、女性・女系天皇の是非について、国会では話し合わない
国会が無視しても、国民が無視しない
これで、日本革命が起きる
>「今話し合わないのであれば、
> 女性天皇の実現の可能性は
> 限りなくゼロに近くなった」
正しくは「合法的に女性天皇が実現する可能性がなくなった」
これで、日本革命が起きる
>『国論を二分する議論は避けたいから』
>今の時点では
>“次の天皇には愛子さまがふさわしいのか”
>“秋篠宮家からは天皇を出さないのか”
>を問うことになる
二分はない
大多数の国民は
「次の天皇は愛子様しかない」
「A宮家のクソガキに天皇なんかムリ」
と思ってる
(続く)
527:132人目の素数さん
20/02/15 11:32:14 evPrm7Qa.net
>「眞子さまのご結婚が揺れていることの影響は大きい。
> 今後、愛子さまのご結婚相手が現れたら、
> その人物について問題が生じないとは言い切れない。
> “女性皇族には結婚リスクがある”と、
> 制度を話し合うべき政治家が感じてしまった」
”男性皇族には結婚リスクがない”
と思う政治家は男尊女卑のアナクロ爺婆
そもそもマコの件でケチがついたのはA宮家
マコはダメんずとケッコンしたがってる
カコはダンス三昧
別にいいよ みんな好きなことやる権利がある
しかし皇族として認められるかどうかは別問題
それは男女無関係だな
あそこの挙動不審の小僧は何やらかすか分からん
天皇とかいう以前に人間としてヤバいレベル
528:132人目の素数さん
20/02/15 11:37:20 evPrm7Qa.net
>「雅子さまは皇后であるご自分以上に重圧がかかる天皇の立場に、
> 愛子さまがつくことに、動揺があってもおかしくありません。
> 皇后のお立場としては皇統の安定的な継承をいちばんにお考えでしょうが、
> 1人の母親としては複雑な思いをお持ちではないでしょうか」
そういう感情があることは当然だが
自分自身、当時の皇太子との結婚を受け入れたのだから
娘が皇太子、そして天皇になることも受け入れるだろう
>総理は、天皇皇后両陛下の意向を感じ取り、
>“女性・女系天皇の議論は先送りにできる”
>と舵を切った
それは国民の意向を無視する判断
これで日本革命が起きる 必ず!!!
529:132人目の素数さん
20/02/15 11:42:16 evPrm7Qa.net
>世論調査では、国民の約8割が女性天皇の容認に賛成だ。
>そうした多くの国民は、今回の「棚上げ論」に納得できるのだろうか。
納得するわけない 政府に対する不満はこれで必ず爆発する
日本革命は起きる 必ず!!!
URLリンク(www.youtube.com)
530:132人目の素数さん
20/02/15 12:05:11.75 LSP2yZ16.net
>>441
>同じことを言っていると思うが
まったく違います。
> >>397で言っていることは
>時枝戦略の成立 or 不成立と、フルパワー選択公理の使用 or 不使用 とは無関係ということ
時枝戦略の成立には選択公理が必須です。否定するなら選択関数を例示して下さい。
>∵ フルパワー選択公理を使わないGAME2が、可算選択公理の下で成立するとすれば、可算選択公理→フルパワー選択公理に変えたGAME1も同様に成立するだろうから
game2では可算選択公理なんて不要です。選択関数を構成可能なので。記事に書かれてますよ?よく読みましょうね。
> 逆に、時枝戦略の成立 or 不成立は、GAME2で考えても同様だってこと。GAME2が不成立なら、GAME1も不成立だろう
game2で考えても同様ではないですね、時枝戦略≠game2なので。
またgame1もgame2も時枝戦略も成立です。
> だから、時枝氏が記事で書いている、「選択公理や非可測集合を経由したからお手つき, と片付けるのは,面白くないように思う.」は、数学的に無意味
結論だけは同意。しかし理由は以下の通りでまったく違うがw
時枝戦略で考えている確率には列の決定番号を与える関数 d:R^N→N が可測である必要がないから。ここを自称確率論の専門家は誤解している。
531:132人目の素数さん
20/02/15 12:26:51.65 evPrm7Qa.net
>>494
>時枝戦略で考えている確率には
>列の決定番号を与える関数 d:R^N→N が
>可測である必要がないから。
Prussの例では選択公理はでてこない
連続体仮説は使っているが
これはむしろ可測性を保つため
Prussの論文が読めたなら、そこに書いてあるのは
[0,1]内の実数内に整列順序<<をつけたうえで
その整列順序でa<<bとなる集合の測度の計算
だと分かる筈(分かってないなら論文が読めてない)
任意の実数bについて、a<<bとなるaは可算個
したがって、その全体は零集合であり
a<<bとなる実数全体の集合の測度は1
その場合、a>>bなる集合の測度1となるが
逆にaを基準にして測度を求めた場合
全く同様の考えにより0になる
つまり、上記の場合逐次積分の方法が通用しない
Prussの例を理解したなら、むしろ否定されてるのは
Set A君のナイーブな逐次積分計算の方法だと分かる
(分かってないならPrussの論文が全然読めてない)
532:132人目の素数さん
20/02/15 12:28:22.51 LSP2yZ16.net
>>448
>Prussも確率は計算できないといってるが
>その結果100人の確率の対称性が成り立たない
>という主張に至っている
The Modification 成立には100列の確率の対称性なんて不要ですけどね。
100列のいずれかをランダムに選んだときの確率なので、ランダム(一様分布)という対称性だけで十分。
The Riddle を認めたら The Modification も認めざるを得ない。The Riddle+小学校の確率=The Modification なので。
恐らく Pruss は The Riddle を読まずに The Modification を否定し、その後 The Riddle によって自分の間違いに気付いたが認めるのが嫌で負け惜しみを言ってるだけでしょう。
533:132人目の素数さん
20/02/15 12:29:26.82 LSP2yZ16.net
>>448
>Prussも確率は計算できないといってるが
>その結果100人の確率の対称性が成り立たない
>という主張に至っている
The Modification 成立には100列の確率の対称性なんて不要ですけどね。
100列のいずれかをランダムに選んだときの確率なので、ランダム(一様分布)という対称性だけで十分。
The Riddle を認めたら The Modification も認めざるを得ない。The Riddle+小学校の確率=The Modification なので。
恐らく Pruss は The Riddle を読まずに The Modification を否定し、その後 The Riddle によって自分の間違いに気付いたが認めるのが嫌で負け惜しみを言ってるだけでしょう。
534:132人目の素数さん
20/02/15 12:36:09.04 LSP2yZ16.net
>>457
>いや、game1で、独立同分布の確率変数で、反例出せば良い
では出して下さい
535:132人目の素数さん
20/02/15 12:39:00.84 evPrm7Qa.net
>>497-498
対称性が必要となるのは、箱の中身を確率変数とする場合
The Modificationでは、箱の中身は定数だから、必要ない
Prussの例でも、100個の[0,1]内の実数について
100番目の数が、整列順序での単独最大値をとる確率を
計算する場合、同様の問題が発生する
対称性を前提するなら、1番目だろうが100番目だろうがたかだか1/100
しかし、Prussはそれは測度論的には正当化できないというだろう
そういう Prussも、全て確率1だというわけにはいかない
なぜなら、100人がそれぞれ異なる数を選んだ場合、
単独最大値を選ぶ人はたかだか1人だから
536:132人目の素数さん
20/02/15 12:49:36 evPrm7Qa.net
>>496-497
PrussはSet A君と違ってトンデモではない
1.Prussの主張では、そもそもSet A君の計算方法が真っ先に否定されている
2.Prussは対称性が無条件に成立しないといってるだけ
論文読めば書いてある
537:132人目の素数さん
20/02/15 12:54:20 evPrm7Qa.net
もしこのスレの議論で、一つだけ利益があったとすれば
それはPrussの論文が読めたことだろう
そしてこのスレで一番の馬鹿は、
そのPrussに真っ先に否定されてることも読み取れず
Pruss先生は正しい!と何べんも絶叫して自爆し続けた
Set Aだろう
538:132人目の素数さん
20/02/15 13:00:56 LSP2yZ16.net
>>495
>(分かってないならPrussの論文が全然読めてない)
読んでないけど、それが何?
mathoverflowの悲惨過ぎる発言
539:読んだら論文読む気なんて起きない
540:132人目の素数さん
20/02/15 13:05:54 LSP2yZ16.net
>>501
>もしこのスレの議論で、一つだけ利益があったとすれば
>それはPrussの論文が読めたことだろう
Prussがどんな論文書いたか知らないけどmathoverflowでは負け惜しみでオカルト発言してたけどね
541:132人目の素数さん
20/02/15 13:08:44 LSP2yZ16.net
ID:j5WhwZjA
game1の反例よろしく
逃げないでね、誰かさんみたいに っぷ
542:132人目の素数さん
20/02/15 13:35:36.07 9oHUBXa3.net
nanda
jienka
543:132人目の素数さん
20/02/15 14:33:33 evPrm7Qa.net
>>502
もったいない
PrussがそこでSet Aの計算を完全に否定してるのに
544:132人目の素数さん
20/02/15 14:39:47 evPrm7Qa.net
>>503
別にPrussは、The Riddleを否定してないしする必要もない
そんなこといったらPrussが自分の論文内で
a<<bかつb<<aとなるa,b
なんて示す必要ないし、示してない
そもそも、a<<bとなる確率もb<<aとなる確率も1なんて
馬鹿なことはいってないし、むしろ真っ先に否定してるからw
545:132人目の素数さん
20/02/15 14:41:21 evPrm7Qa.net
Set A=っぷ だとしたら最高にキモチワルイな
要するに明らかにトンデモな発言して
それを自分で否定してる変態腹話術じゃん
正真正銘の●違いなの?
546:132人目の素数さん
20/02/15 15:21:51 LSP2yZ16.net
>>507
>別にPrussは、The Riddleを否定してないしする必要もない
PrussがThe Riddleを否定してるなんて一言も言ってないけど。
Prussが否定してるのは The Modification。
回答者が選択する列kや選択関数を出題者が”予想”できれば反例を作れるとのことだw
しかし”予想”の具体的方法には触れずじまいw
547:132人目の素数さん
20/02/15 15:26:32 evPrm7Qa.net
URLリンク(kakuyomu.jp)
この小説は面白いが、唯一つまらない点がある
「(愛子の)夫は「たまたま」旧皇族の出身者だった。
戦後の臣籍降下で皇族の地位を離れた11の宮家のうちの1つの男系男子だった。」
男系継承に固執する思想にこの著者も飲み込まれてる
「たまたま」と書けば逃げられると思ってる時点で負けている
548:132人目の素数さん
20/02/15 15:35:01.80 evPrm7Qa.net
>>511
A宮の**息子の行方不明&皇族離脱の件はもっと面白くできた
どうせなら
「いきなり**ホテルで遺体で発見」
でもよかったくらいだ
しかもその後、外国人女性が出産した男の子が
A宮の**息子の子だといいだしてひと騒動
DNA検査では明らかに父親は日本人だと判明するも
皇室からは男性皇族のDNAサンプルが提供されず
ついに真相は明らかにされなかった・・・という展開希望w
549:132人目の素数さん
20/02/15 15:38:32.44 LSP2yZ16.net
ID:j5WhwZjA
game1の反例よろしく
逃げないでね、誰かさんみたいに っぷ
550:132人目の素数さん
20/02/15 15:42:35.80 A11V8WdY.net
UU様の事を非道くいわないでください。。。
551:132人目の素数さん
20/02/15 15:46:28.75 ww+nfsPC.net
ID:LSP2yZ16
なにいってんのかわかんね
選択公理ぐらい正しく勉強しとけよw
552:132人目の素数さん
20/02/15 15:48:53.54 evPrm7Qa.net
>>513
誰?
ああ、あのまっすぐ立てない**息子のことか
553:132人目の素数さん
20/02/15 15:50:46.51 LSP2yZ16.net
>>514
どうした?唐突にw
主張は具体的にお願いしますね、詐欺師の自演でなければ
っぷ
554:132人目の素数さん
20/02/15 15:52:32.75 A11V8WdY.net
出処が怪しいデマを信じちゃうんですか?
555:132人目の素数さん
20/02/15 15:53:06.62 evPrm7Qa.net
>>514
>なにいってんのかわかんね
パラリラパラリラ
URLリンク(www.youtube.com)
556:132人目の素数さん
20/02/15 15:54:04.22 A11V8WdY.net
Uちゃんが可哀想すぎます。
557:132人目の素数さん
20/02/15 15:54:49.16 evPrm7Qa.net
>>517
まっすぐ立てないのはTVのニュース映像で放送されてました
TV局も困っただろうな
558:132人目の素数さん
20/02/15 15:56:02.29 evPrm7Qa.net
>>519
ま、父母は選べないからな
あんなスケベの父親と、ヒステリの母親なんて・・・
559:132人目の素数さん
20/02/15 15:56:25.57 A11V8WdY.net
>>520
ないです。だれもそんなの
書いてませんでした。ネットでも。
560:132人目の素数さん
20/02/15 15:57:09.06 A11V8WdY.net
妃殿下のことを悪く仰らないで。
561:132人目の素数さん
20/02/15 15:58:22 A11V8WdY.net
変なデマを信じないであげてください。
(;ω;`*)
562:132人目の素数さん
20/02/15 16:00:44 A11V8WdY.net
ネットのデマが非道くてみてられない。。。 ゜ 。(つд⊂)。
563:132人目の素数さん
20/02/15 16:02:20 A11V8WdY.net
Uちゃんと佳子さまが可哀想だよ
。゜*。 ゜。*゜ 。゜(ノД`)゜。
564:132人目の素数さん
20/02/15 16:04:29 evPrm7Qa.net
>>522
おまえがネットでだまされてんじゃんwwwwwww
565:132人目の素数さん
20/02/15 16:06:01 A11V8WdY.net
ばか姉が変な男に騙されちゃってるせいで!非道すぎ...!
マコッピを嫌いになってもUちゃんのことはキライにならないであげてください。。。お願いします。。。
゜(。´Д⊂)。
566:132人目の素数さん
20/02/15 16:06:20 evPrm7Qa.net
>>523
妃殿下?誰のこと?
ああ、キツネ目のヒステリBBAのキコか?
妃殿下っつーより非電化だな、ありゃ
567:132人目の素数さん
20/02/15 16:07:11 A11V8WdY.net
>>527
騙されてません!と思ってます。
568:132人目の素数さん
20/02/15 16:08:08 A11V8WdY.net
>>529
電撃住人さんだったんですか?
569:132人目の素数さん
20/02/15 16:09:19 A11V8WdY.net
どうしてそんなにUちゃん家がキライなんですか?
570:132人目の素数さん
20/02/15 16:09:33 ww+nfsPC.net
ID:LSP2yZ16 = ID:evPrm7Qa = ネカマ
( ´,_ゝ`)
571:132人目の素数さん
20/02/15 16:11:42 A11V8WdY.net
>>533
かわいい💗
572:132人目の素数さん
20/02/15 16:12:05 evPrm7Qa.net
>>528
>ばか姉
ダメんず好きは母親に似たんだねw
ま、でも母親はそのおかげで皇室に潜り込めた
ドスケベなA宮に感謝しなくちゃw
マコは別に皇族でいたいわけじゃないんだろ
ただKKは甲斐性なさそうだけどな
ダンス好きの妹みたいになんか特技身に着けたほうがいいぞ
573:132人目の素数さん
20/02/15 16:15:46 evPrm7Qa.net
>>532
そもそもアーヤ(A宮)がクソガキだってのは
同世代の人間にとっては周知の事実
キコもアーヤが手つけた♀の一人で、
キコの親父が文句つけたんで止む無く結婚
ま、でも実際はキコのほうが誘ったんだろうな
♀ってコワいなw
574:132人目の素数さん
20/02/15 16:18:11 evPrm7Qa.net
>>533
ないないw
俺はID:LSP2yZ16でもネカマでもないよ
ID:LSP2yZ16=ネカマ の可能性は否定できないが、
個人的にはないと思うな 接点ないし
575:132人目の素数さん
20/02/15 16:19:45 A11V8WdY.net
め~さんは、えもに「変態!」とか
「ダメんず好き」っていわれましたよね?
ダ・メ・人・間・な・ん・か
好・き・な・わ・け・な・い
だろ!
です。
576:132人目の素数さん
20/02/15 16:22:48 A11V8WdY.net
め~のヒトを見る目はなってない!
えもは変態じゃないし、ダメんず好きでもないんだから!
。。。そんなめ~が信じちゃったデマって。。。( ´_ゝ`)=3信ジルワケネ~ダロ。
577:132人目の素数さん
20/02/15 16:24:18 A11V8WdY.net
ぜ~んぶハズレで~す♪
( *´艸`)ププッ...
578:132人目の素数さん
20/02/15 16:27:34 evPrm7Qa.net
第三者的感想
ナルちゃん:育ちのいい坊ちゃん ただし酒好きらしい
マサコさま:ガチなエリート 皇室に入ってなかったら
今頃外務省のトップになってた
アイコさま:いかんせん容貌が父親に似すぎた
母親に似たらよかったんだが
・・・その一点を除けばいい子に育った
ヒゲ :典型的なバカボン 女好き ほうぼうに愛人がいるらしい
キツネ目 :表裏ありそうな女 ヒステリはもともとなのか
それとも夫が愛人つくりまくりな甲斐性なしだからか
マコ :ごつい 世間知らずだから下らん男に引っかかる
カコ :自分の趣味に生きる女 ある意味
579:一番賢い **息子 :どうみても** こんなのに天皇はつとまらない オトナになったら絶対なんかやらかしそう
580:132人目の素数さん
20/02/15 16:27:53 A11V8WdY.net
*直感*を信じる男、め~くん。。。
ダメダネ~!(ノд`*)σダめ~とん君。。。
581:132人目の素数さん
20/02/15 16:31:07 A11V8WdY.net
岡潔さまも数学以外は不思議ちゃん連発で不思議エピソードの宝庫なんですよね?。。。
め~さんも数学以外は。。。🤔
582:132人目の素数さん
20/02/15 16:33:26 evPrm7Qa.net
>>542
別に信じてはいないw
自分の直感を疑わないのは、おまえのほうだろ?
583:132人目の素数さん
20/02/15 16:34:52 A11V8WdY.net
め~さまが雅子様好きってのは分かりました。。。
才職兼美のキャリアですもんね。。。
東大、ハーバードだし。。。
でも、、、文系ですが?それは?
584:132人目の素数さん
20/02/15 16:34:57 evPrm7Qa.net
>>543
オカキヨシは数学以外は完全な変人だね
日本のタイヒミュラー(注:完全な侮蔑語)
585:132人目の素数さん
20/02/15 16:35:49 A11V8WdY.net
>>544
直感は常に私を間違わせ続けて来ましたが、何か?
586:132人目の素数さん
20/02/15 16:36:39 A11V8WdY.net
あ、今は感情で言ってますから。
間違いじゃないです。😤
587:132人目の素数さん
20/02/15 16:39:43 evPrm7Qa.net
>>545
好きなわけではない
ただいろいろ自由に生きられなかったんだろうなあ、とは思う
588:132人目の素数さん
20/02/15 16:39:53 A11V8WdY.net
>>546
きよぴッピの不思議ちゃんエピソードがラブリー💗です。。。
589:132人目の素数さん
20/02/15 16:40:37 A11V8WdY.net
>>549
良かったですね。女性に生まれなくて
590:132人目の素数さん
20/02/15 16:42:03 evPrm7Qa.net
>>547
じゃ、A宮の**息子を無暗に信頼するのも疑ったほうがいいぞ
591:132人目の素数さん
20/02/15 16:43:05 evPrm7Qa.net
>>550
俺は嫌い 完全な●違いだからな
数学者がみんなそういう●違いだと思われたくないし 実際全然違う
592:132人目の素数さん
20/02/15 16:43:25 A11V8WdY.net
め~さんはガロアっぽいですね...
フラレたショックでやけっぱち*とかには充分気をつけてくださいね。
593:132人目の素数さん
20/02/15 16:44:27 A11V8WdY.net
>>553
ペレリマン。。。
594:132人目の素数さん
20/02/15 16:45:14 evPrm7Qa.net
志村五郎氏のエピソードはよく聞くが
あれはもしかしたらアンドレ・ヴェイユを
気取ったつもりかもな
アンドレ・ヴェイユも生意気な天才だったから
595:132人目の素数さん
20/02/15 16:47:19 A11V8WdY.net
ペっちゃんさん(5*才?)は
ママがお年寄りになりすぎた事に気づいて、最近ようやく、妹さんご夫婦のお世話になりに、お宅に転がり込んで住み着いちゃってるそうです。。。
596:132人目の素数さん
20/02/15 16:48:36 A11V8WdY.net
もっち様をキティよばわりする人まで。。。
597:132人目の素数さん
20/02/15 16:48:43 evPrm7Qa.net
ペレリマンは世間的に見れば明らかに変人だが
言動はそれほど奇抜ではないので気にならない
オカキヨシは云うことがいちいち狂ってる
志村五郎は云うことがムカつくwが狂ってはいない
598:132人目の素数さん
20/02/15 16:52:09 A11V8WdY.net
ハッ!Σ(´Д`;)すう板に狂気の59連投...
。。。お夕飯を買いに行ってきます...
。。。失礼します。。。(汗
599:132人目の素数さん
20/02/15 16:52:54 A11V8WdY.net
>>559
w
600:132人目の素数さん
20/02/15 17:01:29.15 evPrm7Qa.net
>狂気の**連投
そもそも5chに書いてる時点で世間的には立派な●違い
書き込みの数で大騒ぎするのはそもそも自分が分かってないw
601:132人目の素数さん
20/02/15 17:06:00.41 evPrm7Qa.net
世間の人の8割が「次の天皇は愛子様」と答える真意
「家の財産は子供が継ぐだろ
なんで甥っ子が出てくるんだ?
財産ネコババしたいのか?」
世間の人に、反動派の狂信的男系継承絶対堅持の発想は受け入れられない
特に竹田恒泰のような正真正銘の変質者が云ってることは信頼されない
あんなのが明治天皇の孫の孫だっていうんだから
世襲がいかに無意味かわかろうってもんだw
602:132人目の素数さん
20/02/15 17:08:12.26 evPrm7Qa.net
そもそも明治天皇って何が偉いのかわからんがw
番組のMCも一度竹田に直接尋ねればいいのに
「明治天皇は具体的には何をした人ですか?」
また竹田が発●するんだろうな
TVに竹田を出す理由って、実は発●芸が目当てだって
もっぱらの噂だからなwww
603:132人目の素数さん
20/02/15 17:27:20.59 LSP2yZ16.net
>>533
やはり詐欺師の自演だったw
IDは変えられても頭の悪さは変えられずw
バカ過ぎw
604:132人目の素数さん
20/02/15 17:49:17.40 evPrm7Qa.net
>>565
ここのところ、とみに「敵」のレベルが下がりまくってるね
もともとこんなもんだったのかもしれんけどね
605:132人目の素数さん
20/02/15 19:10:28.95 ww+nfsPC.net
↑
このセンテンスめちゃくちゃ面白いな
だからどうした感はんぱない
606:132人目の素数さん
20/02/15 20:15:22 UsNq34ct.net
>>567
同意
607:132人目の素数さん
20/02/15 20:15:27 UsNq34ct.net
>>567
同意
608:132人目の素数さん
20/02/15 20:42:42 evPrm7Qa.net
>>567
それ・・・スレ立てたSet Aに云えよw
609:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/15 21:43:34.50 tI+VIYb9.net
>>570
見てるよ
>>567
同意
おサルは、ばいきんまんだね
自分以外は敵
さすがサイコパス(>>2)
URLリンク(ja.wikipedia.org)
ばいきんまん
ばいきんまんが登場することになったのは、やなせたかしが『アンパンマンに“何か”が足りない』と思い悩んでいた頃、やなせの友人だったいずみたくが演出したミュージカル「怪傑アンパンマン」が上演された時に、その観客の様子を観察していたやなせが「悪役が必要だ」と思い至ったことによる[1]。
自身の顔を分け与える自己犠牲のアンパンマンに対して、ばいきんまんは自己の欲求を満たそうとするはたらきを担っている。
610:132人目の素数さん
20/02/15 21:52:15 LSP2yZ16.net
>>571
反例なり証明のギャップなり未だですか?
出せないならスレ閉鎖しましょう
サイコパスだから約束も守れませんか?
611:132人目の素数さん
20/02/15 22:16:11 zLcVy9s0.net
>自己犠牲
ワラタ。自分のためにスレ立てしてるのにチャットでスレ消費されてるバカw
新しく来たひとに気を使ったり、おべんちゃら言ったりしても
誰もこいつと話したいと思うひとはいないし、友達もいないw
612:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/15 22:22:53 tI+VIYb9.net
>>498
>>いや、game1で、独立同分布の確率変数で、反例出せば良い
>では出して下さい
1.Sergiu Hart氏自身が、有限の場合に、game1,game2とも、iid(独立同分布)で戦略不成立(つまり、確率論の結論通り)を、Remarkとしてきっちり書いている
2.game1 選択公理使用, game2 選択公理不使用(A similar result, but now without using the Axiom of Choice )
だから、Sergiu Hart氏の戦略の成立不成立と、選択公理使用不使用とは、無関係
3.結局、選択公理は、いかにもバナッハ=タルスキー類似みたいに見せるお飾りにすぎない(>>22)
4.だから、Hart氏の戦略の不成立としても、選択公理の否定にはならない
追記
1.なお、良く知られた事実だが、選択公理以外に、決定性公理 ADがある。決定性公理 ADから、可算選択公理が従う
2.同値類の族から代表を選ぶとき、必須の代表は、実際に使われる有限の代表に過ぎないから、決定性公理 ADの代用で、Sergiu Hart氏の戦略は実行可能
なお、決定性公理 ADでは、”実数の任意の部分集合について「ルベーグ可測である」”ので、非可測集合はないといこと
(
613:参考) http://www.ma.huji.ac.il/hart/index.html#puzzle Sergiu Hart Some nice puzzles: 100 Cards Choice Games ← これが問題のPDF http://www.ma.huji.ac.il/hart/puzzle/choice.html (引用開始) P2 Remark. When the number of boxes is finite Player 1 can guarantee a win with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively. (引用終り) https://ja.wikipedia.org/wiki/%E6%B1%BA%E5%AE%9A%E6%80%A7%E5%85%AC%E7%90%86 (抜粋) 決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」 https://www.jstage.jst.go.jp/article/sugaku1947/29/1/29_1_53/_pdf 決定性公理に関する最近までの諸結果について -無限ゲームの理論- 法政大学 田中尚夫 数学1977 (抜粋) AD(決定性公理)から選択公理は否定されたが,次に述べる 弱い形の選択公理がADから導かれる WAC(A):Aの空でない部分集合達の可算族は選択関数をもつ
614:132人目の素数さん
20/02/15 22:27:54 evPrm7Qa.net
>>571
私のことなら細菌というより寄生虫ですねw
サナダムシは人の脳ミソが大好物
Set Aはだいぶ脳ミソ食われてもうスッカスカw
URLリンク(ja.wikipedia.org)
615:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/15 22:32:14 tI+VIYb9.net
>>573
>>自己犠牲
>ワラタ。自分のためにスレ立てしてるのにチャットでスレ消費されてるバカw
意味分かんねーが、おサルを ”ばいきんまん”に模したから
私スレ主を、”アンパンマン”に模してくれたのかい?
そこまでは、考えていませんけど
なので、”自己犠牲”なんて、毛頭考えていません。自己満足と言われるのは、当たっていても(^^
>新しく来たひとに気を使ったり、おべんちゃら言ったりしても
>誰もこいつと話したいと思うひとはいないし、友達もいないw
うーん
これも、意味わからん
所詮、みなさん、”名無し”さんでしょ?
”友達もいない”とか言われも、”名無し”さんの友達って? 明日はID変わっているしね
この5chをリアル界と同じに捉えているのかな??
私が考えているのは
やはり、人が多い方が、数学的には正しい情報が得られるだろうということだけなんだけどね
おサルは、反面だが(^^;
616:132人目の素数さん
20/02/15 22:32:58 evPrm7Qa.net
>>574
>有限の場合に、game1,game2とも、戦略不成立
Set A君はいまだに不成立の理由が理解できないみたいだね
有限の場合、決定番号が指し示す箱が、
列の最後尾だったら、その先の尻尾がないから
尻尾から代表元が得られない
無限の場合、列の最後尾の箱がないから
決定番号がいくつであっても、その先の尻尾がある
つまり戦略不成立になる場合はまったく生じない
こんな自明なことが理解できないなんて
Set A君はやっぱりサナダムシに脳ミソ食われまくって
頭蓋骨の中がスッカスカみたいだねwww
617:132人目の素数さん
20/02/15 22:37:38 evPrm7Qa.net
>>574
>戦略の成立不成立と、選択公理使用不使用とは、無関係
有限/無限と戦略の不成立/成立が直結してる
ちなみに確率計算の不能性は、選択公理が直接の原因ではない
Prussの論文の例は、選択公理が出てこないからね
ついでにいうとPrussの論文は、Set Aの**の一つ覚えの計算を否定してる
それが彼の論文の根本の主張だから
618:132人目の素数さん
20/02/15 22:40:06 evPrm7Qa.net
>>576
>所詮、みなさん、”名無し”さんでしょ?
Set Aも本名じゃないだろ?
大阪大学工学部**工学科 ****年卒業の誰某って名乗れる?
名乗れないだろ?こんな板でトンデモな間違いばっか書いててw
619:132人目の素数さん
20/02/15 22:44:17 ZIDpMTAA.net
>>574
それは反例になっていないです
だいたい有
620:理数の循環節が独立同分布のはずがないでしょ もっと単純化すれば(いわばgame3) 箱が可算無限個あって有限数列全体の集合をAとする 有限数列を1つAからえらんで可算無限個の箱の先頭から順に入れていく 時枝戦略で空の箱を当てる
621:132人目の素数さん
20/02/15 22:44:24 evPrm7Qa.net
>>576
>人が多い方が、数学的には正しい情報が得られるだろう
何も考えず、自分では計算一つせず、
ただ専門用語に脊髄反射して無暗に検索し
検索結果の文章をつまみ食いして妄想してるだけの
某二流大学工学部卒の筋肉土方のSet Aは
人から何をきいても
「それは俺様の直感に反するから間違ってる!」
と発●するだけで、何も学べてないじゃんw
622:132人目の素数さん
20/02/15 22:49:38 evPrm7Qa.net
>同値類の族から代表を選ぶとき、必須の代表は、
>実際に使われる有限の代表に過ぎないから、
>決定性公理 ADの代用で、Sergiu Hart氏の戦略は実行可能
やっぱ、Set Aって正真正銘の馬鹿だな
いかなる実数無限列も箱の中身に入り得るし
実数無限列の尻尾の同値類の数は非可算無限個だから
非可算決定公理は必要
決定性公理では無理 ほんとSet Aって馬鹿だな
脳味噌ないんじゃね?
623:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/15 23:12:20.49 tI+VIYb9.net
メモ
これ(下記)の付録が分り易い
連続体仮説の解説がいいね
URLリンク(tokyo-metro-u.repo.nii.ac.jp)
PDF URLリンク(tokyo-metro-u.repo.nii.ac.jp)
完全二分AND-OR 木に対する最適乱択アルゴリズムの特徴づけと木転置グラフの構造について
アイテムタイプ 学位論文 / Thesis or Dissertation
言語 日本語
著者 小川 孝典
著者(ヨミ) オガワ コウスケ
著者別名 Ogawa Kousuke
抄録 計算複雑さの理論の一分野として, AND-OR 木の研究がある.
我々は, randomized complexity を達成する乱択アルゴリズムを最適乱択アルゴ
リズムとよび, i-セット(i 2 f0; 1g) に対してコスト期待値が一定の乱択アルゴリズ
ムをEi-乱択アルゴリズムと定義する. 本論文では, 連結閉集合上の乱択アルゴリズ
ムについて, i-セットに対して最適であることとEi であることが同値であることを
証明する. これは, 鈴木-中村[SuNa] の結果の双対的な結果とみなすことができる.
また, 真理値割り当てからなる集合にグラフの構造を入れ、木の高さに関する構造
定理を示す.
付録として, 無限組み合わせ論におけるdiamond principle に関連したhitting
principle についての考察を加える. hitting principle をP へ持ち上げ, P に
おけるdiamond principle との関連づけを与える.
内容記述 首都大学東京, 2013-03-25, 修士(理学)
ページ 1 - 50
発行年 2013-03-25
624:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/15 23:16:31.53 tI+VIYb9.net
>>580
>それは反例になっていないです
反例ですよ
∵ 現代数学の確率論では、確率変数の族Xi は、有限族の限らず、無限族でも成立ちますからね
Hart氏は、気付きのヒントを書いているのです
全部ネタバレしたら、パズルとしての面白みがないでしょ(^^
625:132人目の素数さん
20/02/15 23:27:14.01 evPrm7Qa.net
>>584
>確率変数の族Xi は、有限族の限らず、無限族でも成立ちますからね
Set Aはやっぱり正真正銘の馬鹿だなw
有限列に最後の箱があっても、無限列には最後の箱はない
こんな根本的なことも分からんSet Aは正真正銘の馬鹿w
626:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 00:07:02.03 3HCL8TTE.net
>>580
>だいたい有理数の循環節が独立同分布のはずがないでしょ
有理数を使うgame2 について解説しておくと
URLリンク(www.ma.huji.ac.il)
Choice Games November 4, 2013 Written by Sergiu Hart
(抜粋)
A similar result, but now without using the Axiom of Choice.
Consider the following two-person game game2:
・ Player 1 chooses a rational number in the interval [0, 1] and writes down
its infinite decimal expansion 0.x1x2...xn..., with all xn ∈ {0, 1,..., 9}.
・ Player 2 asks (in some order) what are the digits xn except one, say xi ;
then he writes down a digit ξ ∈ {0, 1,..., 9}.
・ If xi = ξ then Player 2 wins, and if xi ≠ ξ then Player 1 wins.
By choosing i arbitrarily and ξ uniformly in {0, 1,..., 9}, Player 2 can guarantee a win with probability 1/10.
However, we have:
Theorem 2 For every ε > 0 Player 2 has a mixed strategy in game2 guaranteeing him a win with probability at least 1 - ε.
Proof. The proof is the same as for Theorem 1, except that here we do not use the Axiom of Choice.
Because there are only countably many sequences
x ∈ {0,..., 9}^N that Player 1 may choose (namely, those x that become eventually
periodic), we can order them-say x
(1), x(2),..., x(m)
,...-and then choose in each equivalence class the element with minimal index (thus F(x) = x(m) iff m
is the minimal natural number such that x ~ x (m)).
(引用終り)
つまり、game2は
1.Player 1は、区間 [0, 1]の10進の有理数を1つ選ぶ
2.Player 2は、10進の有理数各桁の数字1つ(xi)を除いて、見て良い
3.xi は、普通は的中率 probability 1/10だが、Game1と同じ戦略で、”1 - ε”にできるという
つづく
627:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 00:07:28.02 3HCL8TTE.net
>>586
つづき
さて、Hart氏のRemarkが、反例になっていることの説明下記
1.有理数は、後半の無限の循環節(以下循環節と略す)と前半の有限の非循環節(以下非循環節と略す)に分けられる
(有限小数は、循環節が全て0と考える)
2.時枝記事にならって、有理数のシッポの数列を知る
その部分が、まだ循環節の中と思えるなら、循環パターンから、知った数の1つ前の未知の数の推測が可能(循環パターンが的中に役立つ情報になる)
3.しかし、すでに循環節の外(非循環節)と分かれば、シッポの数列の情報は無意味
4.game2の場合では、時枝記事の手法(シッポのみを開ける)だけではなく、
ルール通り、xiより先頭側の1からxi-1までを知ることで、xiが循環節の内か外かをかなり確実に判断できるだろう
5.問題は、xiが循環節の内か外かの境界に存在する場合だが、これは循環節の外として扱えば良い
6.上記の考察から、
循環節の内なら、同値類の代表との比較は無意味で、算数の問題にすぎない
循環節の外なら、game1と同じであり、かつ有限の非循環節の話で、Hart氏のRemarkの通り(独立同分布で的中率は1/10)の反例になります
QED
game2の方が、反例の意味が分かり易いと思うな(^^;
game1は、循環節が無いケース、つまり無理数パターンと思えば、分り易いだろう
以上
628:132人目の素数さん
20/02/16 00:
629:39:44.24 ID:JL9/7puy.net
630:132人目の素数さん
20/02/16 00:58:33.94 +0BaO7jP.net
>>574
>2.game1 選択公理使用, game2 選択公理不使用(A similar result, but now without using the Axiom of Choice )
> だから、Sergiu Hart氏の戦略の成立不成立と、選択公理使用不使用とは、無関係
いいえ。
game1の成立には選択公理が必須です。
game2は選択関数が構成可能だから選択公理は不要。
>3.結局、選択公理は、いかにもバナッハ=タルスキー類似みたいに見せるお飾りにすぎない(>>22)
いいえ。game1では必須です。
>4.だから、Hart氏の戦略の不成立としても、選択公理の否定にはならない
いいえ。game1の仮定は選択公理だけなので、game1を不成立とするには選択公理を否定するしかありません。
>追記
>1.なお、良く知られた事実だが、選択公理以外に、決定性公理 ADがある。決定性公理 ADから、可算選択公理が従う
R^N/~は非可算集合なので選択公理が必須。
>2.同値類の族から代表を選ぶとき、必須の代表は、実際に使われる有限の代表に過ぎないから、決定性公理 ADの代用で、Sergiu Hart氏の戦略は実行可能
いいえ。回答者には事前にどんな数列が出題されるのか分からないので選択公理が必須です。
> なお、決定性公理 ADでは、”実数の任意の部分集合について「ルベーグ可測である」”ので、非可測集合はないといこと
いいえ。game1では選択公理が必須なので非可測集合ができます。
但しgame1の確率は「100個の(重複を許す)自然数の集合から単独最大元を引かない確率」なので非可測性は問題になりません。
まったく分かってませんね。game1を否定したいならgame1を正しく理解することから始めましょう。
631:132人目の素数さん
20/02/16 01:08:45.32 JL9/7puy.net
ゴミ共、一生やってろ
632:132人目の素数さん
20/02/16 01:10:43.77 +0BaO7jP.net
>>584
>反例ですよ
はあ? >>574は間違いだらけだし、それ以前にそもそも反例の体をなしてない。頭大丈夫?
>∵ 現代数学の確率論では、確率変数の族Xi は、有限族の限らず、無限族でも成立ちますからね
ちょっと何言ってるか分かりません(富沢風)
>Hart氏は、気付きのヒントを書いているのです
>全部ネタバレしたら、パズルとしての面白みがないでしょ(^^
また妄想ですか。
633:132人目の素数さん
20/02/16 01:16:33.73 +0BaO7jP.net
>>587
ああ、箱が有限個の場合が反例と言っていたのかw あまりにバカ発言なので気付かなかったw
時枝問題にしろgame1にしろThe modificationにしろ箱は無限個なので却下w
634:132人目の素数さん
20/02/16 01:49:18.08 +0BaO7jP.net
>>587
おまえは「時枝戦略を使わなければ当たらないことがある」と言ってるに過ぎないんだが、それで何を示した気になってるの?
頭大丈夫?
635:132人目の素数さん
20/02/16 08:08:12 e/25rw+d.net
game2では、そもそもSet Aがいう独立同分布iidが言えないわけだが
有限小数に限定したgame3でも同様
game3では、そもそも有限小数全体が1つの同値類であり
その代表元として全ての桁が0な小数がとれる
「箱入り無数目」の戦略では0となる箱が当てられる
636:132人目の素数さん
20/02/16 08:12:02 e/25rw+d.net
>>587
>循環節の内なら、同値類の代表との比較は無意味で、算数の問題にすぎない
無意味ではない 循環節を知ること=代表を知ること、だから
有限小数全体によるgame3の場合には、
すでに同値類の代表が分かってるから
「中身が0の箱を当てる」と明確に言える
637:132人目の素数さん
20/02/16 08:15:43 e/25rw+d.net
>>587
>後半の無限の循環節(以下循環節と略す)と
>前半の有限の非循環節(以下非循環節と略す)
Set Aは言葉の使い方が粗雑 精神が粗雑な野蛮人なんだな
「半分」じゃないだろ、
前部の非循環節は有限で
後部の循環節は無限
これを「前半」「後半」と呼ぶのが馬鹿
ああ、言い訳はするな 絶対にするな
おまえが間違ってる それだけ認めろ 受け入れろ
638:132人目の素数さん
20/02/16 08:15:49 JL9/7puy.net
ゴミ共、一生やってろ
639:132人目の素数さん
20/02/16 08:21:47 e/25rw+d.net
Set A自爆の軌跡
1.「箱入り無数目」戦略は有限列なら失敗するが、無限列なら成功
→無限列でもほとんど全ての列の決定番号は∞で”最後の箱”だから失敗と主張
→無限列R^Nと定義されており、∞は自然数Nの要素でないと指摘され反論できずw
2.「箱入り無数目」はThe Riddleの改変で、The Riddleでは100人中99人は成功
→「箱入り無数目」が失敗するから、The Riddleも100人全員失敗と主張
→そもそも決定番号が単独最大になる列はたかだか1つと指摘され反論できずw
640:132人目の素数さん
20/02/16 08:36:05 JL9/7puy.net
ID:e/25rw+d
↑
貴様も基地外なんだよ
自覚がないんか
さっさと板から消えろ
641:132人目の素数さん
20/02/16 09:12:50 e/25rw+d.net
Set A 新たな腹話術の習得中…
642:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/16 09:33:42 3HCL8TTE.net
>>599
(引用開始)
ID:e/25rw+d
↑
貴様も基地外なんだよ
自覚がないんか
さっさと板から消えろ
(引用終り)
どうも。スレ主です。
よくぞ言ってくれました (^_^)v
ありがとうございます
643:132人目の素数さん
20/02/16 09:48:53.48
644: ID:e/25rw+d.net
645:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 09:50:44.76 3HCL8TTE.net
>>587 補足
> 1.有理数は、後半の無限の循環節(以下循環節と略す)と前半の有限の非循環節(以下非循環節と略す)に分けられる
> (有限小数は、循環節が全て0と考える)
1.ここ、単純なモデルで、有理数を簡単に、非循環節と循環節に分けた
2.しかし、例えば循環節で長さ3で ・・・123 123・・・として(この場合を正則とする)
例えば、・・・133 123・・・ と、一見循環節の中に、イレギュラーに”133”などがあると
「・・・133」の部分は、非循環節になる
3.そういう非正則な場合を考えると
>>587の単純なモデルで論じられない例外的な場合があります
4.確率計算なので、近似としては、取り敢ず >>587で扱うという作戦もありかも
ただ 数学としては、こういう例外をきちんと処理したいところでは、あります
646:132人目の素数さん
20/02/16 09:51:22.17 e/25rw+d.net
Set Aの腹話術がバレる理由
1.自分を決して攻撃しない
こういう見え透いたところが馬鹿
2.腹話術の人形を必ず褒める
こういう見え透いたところが馬鹿
まず自分を真っ先に馬鹿・アホ・●チガイと罵るのが基本
そしてその相手を「おまえこそ●チガイじゃ」と罵り返すのが基本
いかにケンカを演出するかが腹話術
自分のコピーを増やすのは腹話術でもなんでもない
647:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 10:17:36.60 3HCL8TTE.net
>>587 補足2
> さて、Hart氏のRemarkが、反例になっていることの説明下記
> 1.有理数は、後半の無限の循環節(以下循環節と略す)と前半の有限の非循環節(以下非循環節と略す)に分けられる
> (有限小数は、循環節が全て0と考える)
1.game2の場合は、区間 [0, 1]の10進の有理数を使う(>>586)
2.数当ては、当てようとするxiを、循環節内に入るように、iを十分に大きく取れば良い。
循環節内に、iが入れば、数当て成功
非循環節内なら、数当て不成功(というか、iid(独立同分布)の確率論通り)
3.別の見方をすると、
Player 1(出題者)が、長い有限小数をランダム数列を利用して作り、後ろに任意の循環小数のシッポを付ければ、同じことになる
Player 2(回答者)は、出題者が考えた長さよりも大きな数 "i"を、選べば、勝てることになる
これは、故事の矛盾(ホコとタテ)に似ている
4.game1でも似た話で、xiの "i"を、問題の列の決定番号dより大きく選ぶことができれば、勝てるという話で、本当にそれが可能かどうか?
それが、>>22 >>211の<時枝記事の可算無限数列の数当て定理 ”もどき”>不成立の話です(それは不可能)
(参考)
URLリンク(www7a.biglobe.ne.jp)
知識の泉
【故事成語(こじせいご)】
矛盾
【由 来】
楚(そ)の国に矛(ほこ)と盾(たて)を売り歩く者がいた。その者が
自分の矛(ほこ)と盾(たて)とをほめて、「私の矛(ほこ)はどんな
固い盾(たて)でも突き通す。」「私の盾(たて)は、堅固でどんな矛
(ほこ)でも突き通せない」といって自慢(じまん)した。そこで、ある
人が、「おまえの矛(ほこ)でおまえの盾(たて)を突いたらどうなる
のか。」とたずねた。すると、この売り手は答えられなかったという
ことから、この語ができた。
(韓非子 かんぴし)
648:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 10:53:26.37 3HCL8TTE.net
>>605 補足3
> 2.数当ては、当てようとするxiを、循環節内に入るように、iを十分に大きく取れば良い。
> 循環節内に、iが入れば、数当て成功
1.「iを十分に大きく取れば良い」のだが、問題は相手(=数列)が無限大であること
つまり、無限大に対して、有限でいくら大きく取ったといっても
有限 i/∞ =0 つまり、可算無限数列で先頭の有限部分 1からi の部分は、簡単に言えば 全体から見て 所詮無限小部分にすぎない
要するに、分母に無限大が来る話については、騙されないように注意がいるのだ
2.似た話が、game1でもある
い
649:ま、game1の 2つの可算無限長数列 X =(x1,x2,x3・・・)と Y =(y1,y2,y3・・・)とで、 時枝さんの決定番号(>>291)を、dxとdy として もし、dxとdy とが、いずれも1から有限m以下で 一様分布をしていると仮定すれば P(dx>dy) =1/2 となる (ここに P(dx>dy) は、dx>dyとなる確率を表わす) ところが、有限m→∞とするとどうなるか? 極限としては、lim m→∞ P(dx>dy) =1/2 は言えるだろう しかし、極限の枠を外して、一般には、1∞/2∞ =∞/∞ の不定形になってしまい 素朴な P(dx>dy) =1/2 は言えない 3.ここらが、 Sergiu Hart氏(>>574)や、時枝記事(>>35)やのトリックのタネだろう 以上
650:132人目の素数さん
20/02/16 11:16:08.11 2U0bQ8PM.net
>>605
> 長い有限小数をランダム数列を利用して作り
出題者は自分で(非循環節を)有限の長さで打ち切ってそれより後ろの
残りの無限個の箱の数字を全て決める(循環節)わけ
> 後ろに任意の循環小数のシッポを付ければ
これが極限をとっている無限長の部分(つまり循環節)であって
>>211
> L→∞の極限では、L=n(有限)は前半に相当します
これは成り立たない
>>606
> 有限m→∞とするとどうなるか?
これも同様の間違い
全部の箱に数字を入れてしまうとスレ主は上のように間違えるから
>>580
> もっと単純化すれば(いわばgame3)
> 箱が可算無限個あって有限数列全体の集合をAとする
> 有限数列を1つAからえらんで可算無限個の箱の先頭から順に入れていく
> 時枝戦略で空の箱を当てる
この設定を与えたのだけれどね
651:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 11:47:01.67 3HCL8TTE.net
>>607
(引用開始)
>>580
> もっと単純化すれば(いわばgame3)
> 箱が可算無限個あって有限数列全体の集合をAとする
> 有限数列を1つAからえらんで可算無限個の箱の先頭から順に入れていく
> 時枝戦略で空の箱を当てる
この設定を与えたのだけれどね
(引用終り)
それ、実質Sergiu Hart氏 (>>574)の game2と同じでしょ
game2 の有理数で、循環節部分を、全部空=実質的には全部0 としても同じ
つまり、xiの”i”を十分大きく取れって、i+1 以降の数を知って、それらが全て空(又は0)ならば、xiは空(又は0)と推測できて
次に、xiより先頭側のi-1 以前の数を知れば、確かに、xiは空(又は0)と確信が持てる
でも、それって、同値類とか関係ないよね
単なる算数問題
だから、時枝さんの戦略は、同値類を使ったトリックなのです
652:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 11:48:16.93 3HCL8TTE.net
>>608 タイポ訂正
つまり、xiの”i”を十分大きく取れって、i+1 以降の数を知って、それらが全て空(又は0)ならば、xiは空(又は0)と推測できて
↓
つまり、xiの”i”を十分大きく取れて、i+1 以降の数を知って、それらが全て空(又は0)ならば、xiは空(又は0)と推測できて
653:132人目の素数さん
20/02/16 11:50:41.82 e/25rw+d.net
>>607
game3
「箱が可算無限個あって有限数列全体の集合をAとする
有限数列を1つAからえらんで可算無限個の箱の先頭から順に入れていく
時枝戦略で空の箱を当てる」
選択公理の箇所を外した残りはそうなるね
>>605
>数当ては、当てようとするxiを、循環節内に入るように、
>iを十分に大きく取れば良い。
game3の場合は
「数当ては、当てようとするxiを、空の箱の範囲内に入るように、
iを十分に大きく取れば良い。」
となる
>xiの "i"を、問題の列の決定番号dより大きく選ぶことができれば、
>勝てるという話で、
game3の場合、決定番号dを
「空でない最後の箱の次の箱の位置」
(つまり、空である最初の箱の位置)
と読めばいい
>本当にそれが可能かどうか?
Set Aの計算ではあらかじめ決めたiより
選んだ列の決定番号dが上回る確率が1
となるが、その計算では矛盾する
というのは、Prussも論文で書いている
(正しくは、1920年代に連続体仮説の前提つきで
ポーランドの数学者シェルピンスキーが示した結果
を引用している。なお、連続体仮説より弱い公理でも
順序交換で値が変わる関数の存在が導けることが
明らかになっている)
「積分の順序交換で値が等しくなる」という公理を
ZFCに追加しても無矛盾であることも示されているが
その場合には連続体仮説は成立しなくなる
654:132人目の素数さん
20/02/16 11:56:33.47 e/25rw+d.net
ところで、(R^N)^nについて
「n列の決定番号dの最大値がm」
となる場合毎に場合分けすると
ほぼどのmについても
「2列以上がmになる確率が1」
となるので、上記の場合分けに基づく計算では
99/100となる100列を選ぶ確率は0となり
当たる確率が1だと云えてしまうw
655:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 11:56:41.72 3HCL8TTE.net
>>608 補足
game3とか、
656:Sergiu Hart氏 (>>574)の game2とか、 結局は、有限数列の話に還元されている そうして、game3とか game2とかは、 本質の有限数列の外で 空(又は0)の部分を、当てる話になっている これ、時枝さんのトリックのタネですね(>>606)
657:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 12:10:34.35 3HCL8TTE.net
>>605
(引用開始)
【故事成語(こじせいご)】
矛盾
【由 来】
ある人が、「おまえの矛(ほこ)でおまえの盾(たて)を突いたらどうなる
のか。」とたずねた。すると、この売り手は答えられなかったという
(引用終り)
要するに
Player 1(出題者)は、貴方の考える以上の、長い有限小数をランダム数列を作りますと
言い
Player 2(回答者)は、貴方の考える以上の、大きな数"i"を考えますと
言う
そういう競争で、勝ち負けが決まる
”矛盾”そっくり