[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋19 http://rio2016.5ch.net/test/read.cgi/math/1717503315/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
611: １３２人目の素数さん [sage] 2024/06/27(木) 18:03:20.55 ID:KlfLR39y >>609 ri=xiにすればいいだけ 前も恒等写像でだめだっていったよね あと結論は確率が99/100以上でしょ http://rio2016.5ch.net/test/read.cgi/math/1717503315/611
612: １３２人目の素数さん [sage] 2024/06/27(木) 18:12:37.41 ID:iXt7AHXe >>611 ＞ri=xiにすればいいだけ 実現できないなので却下 ＞あと結論は確率が99/100以上でしょ 単独最大の決定番号を持つ列が存在しない場合は100列全部があたりになるから http://rio2016.5ch.net/test/read.cgi/math/1717503315/612
613: １３２人目の素数さん [] 2024/06/27(木) 18:13:35.82 ID:vY6JAYSv >>610 おまえの独善なところ http://rio2016.5ch.net/test/read.cgi/math/1717503315/613
614: １３２人目の素数さん [sage] 2024/06/27(木) 18:19:23.45 ID:KlfLR39y >>612 実現できないとは？ 記事には確率99/100って書いてなかった？ 記事とは違う主張をしてるの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/614
615: １３２人目の素数さん [sage] 2024/06/27(木) 18:20:04.87 ID:KlfLR39y >>613 何か問題があったの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/615
616: １３２人目の素数さん [sage] 2024/06/27(木) 18:25:28.39 ID:iXt7AHXe ＞＞614 ＞実現できないとは？ 選択公理だけでは完全なテレパシーは実現不能 代表がとれることから、不完全なテレパシーが実現できる ＞記事には確率99/100って書いてなかった？ 正しくは「少なくとも確率99/100」 長ったらしいから省略してるだけ 馬鹿じゃないならそこは補える http://rio2016.5ch.net/test/read.cgi/math/1717503315/616
617: １３２人目の素数さん [sage] 2024/06/27(木) 18:33:55.71 ID:KlfLR39y >>616 選択公理とri=xiにすれば上の命題が成り立つことになんの関係があるの？ 全く関係ないよね http://rio2016.5ch.net/test/read.cgi/math/1717503315/617
618: １３２人目の素数さん [sage] 2024/06/27(木) 18:35:25.22 ID:KlfLR39y >>616 だから、命題の結論を確率99/100以上に書き換えるとどういう形になるの？ ちょっと補ってみてよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/618
619: １３２人目の素数さん [] 2024/06/27(木) 19:25:15.94 ID:vY6JAYSv >>613 おまえの独善という問題があった http://rio2016.5ch.net/test/read.cgi/math/1717503315/619
620: １３２人目の素数さん [sage] 2024/06/27(木) 19:27:01.00 ID:KlfLR39y >>619 それってお前の独善ですよね 何かデータとかあるんすか？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/620
621: １３２人目の素数さん [] 2024/06/27(木) 19:46:56.51 ID:vY6JAYSv >>620 ∀が先頭だとカンニングと言ったのはおまえ 独善じゃないと言うならどの本にそんなことが書かれてるか示せ http://rio2016.5ch.net/test/read.cgi/math/1717503315/621
622: １３２人目の素数さん [sage] 2024/06/27(木) 19:52:13.29 ID:iXt7AHXe >>617 ＞ri=xiにすれば上の命題が成り立つ 底抜けの🐎🦌 http://rio2016.5ch.net/test/read.cgi/math/1717503315/622
623: １３２人目の素数さん [sage] 2024/06/27(木) 19:59:03.92 ID:KlfLR39y >>621 お前が自分でどっかのpdf貼ってたじゃん http://rio2016.5ch.net/test/read.cgi/math/1717503315/623
624: １３２人目の素数さん [sage] 2024/06/27(木) 20:01:37.15 ID:KlfLR39y ∀と∃を適切な順序で並べるだけなのに、なんでできないんだ？ εδからやり直せよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/624
625: １３２人目の素数さん [] 2024/06/27(木) 20:16:48.73 ID:vY6JAYSv >>623 はぁ？ おまえ気でも触れたか？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/625
626: １３２人目の素数さん [] 2024/06/27(木) 20:17:31.22 ID:vY6JAYSv いいから独善じゃないエビデンス示せや 示せないならスレから出てけ http://rio2016.5ch.net/test/read.cgi/math/1717503315/626
627: １３２人目の素数さん [] 2024/06/27(木) 20:18:28.18 ID:vY6JAYSv >>624 いや、おまえの式大間違いだから おまえがやり直せ http://rio2016.5ch.net/test/read.cgi/math/1717503315/627
628: １３２人目の素数さん [sage] 2024/06/27(木) 20:20:35.77 ID:KlfLR39y >>627 正しく書くとどうなるかお前が書けばいいじゃん http://rio2016.5ch.net/test/read.cgi/math/1717503315/628
629: １３２人目の素数さん [] 2024/06/27(木) 21:19:45.70 ID:vY6JAYSv すでに書いた http://rio2016.5ch.net/test/read.cgi/math/1717503315/629
630: １３２人目の素数さん [] 2024/06/27(木) 21:20:22.65 ID:vY6JAYSv エビデンスまだ？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/630
631: １３２人目の素数さん [sage] 2024/06/27(木) 21:24:50.65 ID:KlfLR39y >>630 お前が自分でpdf貼ってただろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/631
632: １３２人目の素数さん [sage] 2024/06/27(木) 21:25:29.01 ID:KlfLR39y >>629 幻覚がでてるよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/632
633: １３２人目の素数さん [] 2024/06/27(木) 22:54:53.76 ID:vY6JAYSv >>631 エビデンス無いのね？ じゃ失せな http://rio2016.5ch.net/test/read.cgi/math/1717503315/633
634: １３２人目の素数さん [sage] 2024/06/27(木) 23:07:46.61 ID:KlfLR39y >>633 お前が手を動かして確認してないだけだろ 連続と一様連続の違いを考えるだけ http://rio2016.5ch.net/test/read.cgi/math/1717503315/634
635: １３２人目の素数さん [] 2024/06/27(木) 23:38:38.73 ID:vY6JAYSv 何の話してんだよ基地外 エビデンス出せないなら失せろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/635
636: １３２人目の素数さん [sage] 2024/06/27(木) 23:51:00.67 ID:8TqXwMIz なんで連続と一様連続の違いをわざわざ説明しないといけないの バカなんじゃないの http://rio2016.5ch.net/test/read.cgi/math/1717503315/636
637: １３２人目の素数さん [] 2024/06/28(金) 00:35:57.06 ID:eSo63Yr2 何の話してんだよ基地外 エビデンス出せないなら失せろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/637
638: １３２人目の素数さん [sage] 2024/06/28(金) 00:41:38.90 ID:08c/s9Se 彼は連続と一様連続の違いがわからないらしい http://rio2016.5ch.net/test/read.cgi/math/1717503315/638
639: １３２人目の素数さん [] 2024/06/28(金) 01:25:49.73 ID:eSo63Yr2 何の話してんだよ基地外 エビデンス出せないなら失せろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/639
640: １３２人目の素数さん [sage] 2024/06/28(金) 08:08:40.50 ID:8zdPbndD 彼は連続と一様連続の違いが分からないらしい もう21世紀だというのに∀と∃の順序によって変数の依存関係を表すという概念にたどり着けてないようだ http://rio2016.5ch.net/test/read.cgi/math/1717503315/640
641: １３２人目の素数さん [] 2024/06/28(金) 09:21:43.71 ID:eSo63Yr2 何の話してんだよ基地外 エビデンス出せないなら失せろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/641
642: １３２人目の素数さん [] 2024/06/28(金) 09:23:44.28 ID:eSo63Yr2 >∀と∃の順序によって変数の依存関係を表す 必ず依存しなければならないと誤解して独善定義しちゃったのか これだからバカに数学は無理なんだよなあ http://rio2016.5ch.net/test/read.cgi/math/1717503315/642
643: １３２人目の素数さん [sage] 2024/06/28(金) 17:21:23.14 ID:8zdPbndD ＞必ず依存しなければならない 誰がそんなこと言ってるの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/643
644: １３２人目の素数さん [sage] 2024/06/28(金) 17:30:24.73 ID:8zdPbndD >>642 お前が示すべきことは全く依存してないってことだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/644
645: １３２人目の素数さん [] 2024/06/28(金) 18:46:20.37 ID:eSo63Yr2 依存しないことはすでに示した 理解できないおまえがバカなだけ http://rio2016.5ch.net/test/read.cgi/math/1717503315/645
646: １３２人目の素数さん [sage] 2024/06/28(金) 18:49:53.79 ID:8zdPbndD 依存しないなら∀は内側に移動できるだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/646
647: １３２人目の素数さん [] 2024/06/28(金) 18:55:34.26 ID:eSo63Yr2 エビデンスまだ？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/647
648: １３２人目の素数さん [] 2024/06/28(金) 19:10:15.23 ID:eSo63Yr2 >>646 移動できない 閉じたままにする箱の中身の予想値が実際値に依存しない 理解できないおまえがバカなだけ http://rio2016.5ch.net/test/read.cgi/math/1717503315/648
649: １３２人目の素数さん [] 2024/06/28(金) 19:10:51.78 ID:eSo63Yr2 エビデンスはよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/649
650: １３２人目の素数さん [sage] 2024/06/28(金) 19:17:50.93 ID:8zdPbndD >>648 なんで中身見てないのに移動できないの？ 依存してないなら移動できるだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/650
651: １３２人目の素数さん [] 2024/06/28(金) 19:27:31.97 ID:eSo63Yr2 >>650 閉じたままにする箱をどう決めると思ってる？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/651
652: １３２人目の素数さん [] 2024/06/28(金) 19:28:31.75 ID:eSo63Yr2 いいから早くエビデンス出せよ 出せないなら失せろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/652
653: １３２人目の素数さん [sage] 2024/06/28(金) 19:28:40.44 ID:8zdPbndD >>651 何の関係があるの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/653
654: １３２人目の素数さん [sage] 2024/06/28(金) 19:30:55.34 ID:8zdPbndD お前が反例を挙げればいいだろ このカンニングの定式化で直観と合わない例を出せば解決する http://rio2016.5ch.net/test/read.cgi/math/1717503315/654
655: １３２人目の素数さん [] 2024/06/28(金) 20:13:42.81 ID:eSo63Yr2 >>653 分からんの？ じゃあ箱入り無数目が分かる訳ない 失せな http://rio2016.5ch.net/test/read.cgi/math/1717503315/655
656: １３２人目の素数さん [] 2024/06/28(金) 20:14:18.90 ID:eSo63Yr2 エビデンスはよ出せ 出せんなら失せな http://rio2016.5ch.net/test/read.cgi/math/1717503315/656
657: １３２人目の素数さん [sage] 2024/06/28(金) 20:18:54.36 ID:8zdPbndD 連続と一様連続が違うことにエビデンスが必要ってなんなのこいつ 定義の論理式からして違うだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/657
658: １３２人目の素数さん [sage] 2024/06/28(金) 20:20:19.45 ID:8zdPbndD >>655 お前は閉じたままにする箱をその中身を見て選んでたの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/658
659: １３２人目の素数さん [] 2024/06/28(金) 20:58:59.13 ID:eSo63Yr2 >>657 日本語分からんのか？ 「∀が先頭だとカンニングしている」のエビデンスだ http://rio2016.5ch.net/test/read.cgi/math/1717503315/659
660: １３２人目の素数さん [] 2024/06/28(金) 20:59:38.97 ID:eSo63Yr2 >>658 やはり答えられんのか おまえには無理だ 失せろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/660
661: １３２人目の素数さん [sage] 2024/06/28(金) 21:47:11.38 ID:8zdPbndD >>659 これいつになったら読むの？ 157 １３２人目の素数さん sage 2024/06/11(火) 19:38:07.14 ID:+82XMG1Z 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 なんでこれがわからないんだ？ 意味がわからん http://rio2016.5ch.net/test/read.cgi/math/1717503315/661
662: １３２人目の素数さん [] 2024/06/28(金) 22:09:12.40 ID:eSo63Yr2 なんでそれを説明できないんだ？ 意味がわからん http://rio2016.5ch.net/test/read.cgi/math/1717503315/662
663: １３２人目の素数さん [sage] 2024/06/28(金) 22:10:53.04 ID:8zdPbndD お前が読んでないだけだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/663
664: １３２人目の素数さん [] 2024/06/28(金) 22:32:20.20 ID:eSo63Yr2 読む？なにを？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/664
665: １３２人目の素数さん [sage] 2024/06/29(土) 01:43:48.63 ID:XeV0p/V1 >>664 これいつになったら読むの？ 157 １３２人目の素数さん sage 2024/06/11(火) 19:38:07.14 ID:+82XMG1Z 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 なんでこれがわからないんだ？ 意味がわからん http://rio2016.5ch.net/test/read.cgi/math/1717503315/665
666: １３２人目の素数さん [sage] 2024/06/29(土) 08:03:28.68 ID:FovP2BtJ 無限列100本中、箱入り無数目戦略でのはずれはたかだか1本、というためには 100本全部の決定番号が必要だから、100本全部知る必要がある しかし、ただゲームをやるだけだったら、回答者は100本全部知る必要がない 回答者が当たる確率がすくなくとも99/100というのは、出題者がわかってればいい （おしまい） http://rio2016.5ch.net/test/read.cgi/math/1717503315/666
667: １３２人目の素数さん [] 2024/06/29(土) 09:32:41.84 ID:95ZoQlW/ >>665 ああ、読むって君の独善定義をってこと？ 意味あるの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/667
668: １３２人目の素数さん [] 2024/06/29(土) 11:15:38.26 ID:95ZoQlW/ 定義：R^N上の二項関係〜 ∀s,s'∈R^N.s〜s'⇔(∃n0∈N.∀n∈N.n≧n0⇒s(n)=s'(n)) 定理1：〜は同値関係である。 証明 〜は反射律・対称律・推移律を満たす。 〜をしっぽ同値関係と呼ぶ。 定理2：代表選択関数の存在 ∃f:R^N→R^N.∀s,s'∈R^N.(s〜f(s))&(s〜s'⇒f(s)=f(s')) 証明 選択公理のステートメントにおける「空でない集合の空でない族」をしっぽ同値類に適用すればよい。 定理3：決定番号関数の存在 ∃d:R^N→N.∀s
∈R^N,n∈N.n≧d(s)⇒s(n)=f(s)(n) 証明 定理2よりs〜f(s)であるからsとf(s)はある項から先が一致する。そのうち最小の項番号をd(s)とすればよい。 定理4：箱入り無数目 ∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di) 証明 D1,...,D100とjを以下のように定義する。 ・Di:=max({d(s1),...,d(s100)}-{d(si)}) ・{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。 このとき、i≠j⇒Di≧d(si)であるから、i≠j⇒si(Di)=f(si)(Di)が成立つ。 補足 定理2よりsi&
#x301c;s⇒f(si)=f(s)であるから、siの任意有限個の項を知らなくてもf(si)(Di)を知ることができる。 定理4の系 定理4においてi∈{1,...,100}をランダム選択したときP(si(Di)=f(si)(Di))≧99/100。 証明 定理4より|{i∈{1,...,100}|si(Di)=f(si)(Di)}|≧99。 http://rio2016.5ch.net/test/read.cgi/math/1717503315/668
669: １３２人目の素数さん [sage] 2024/06/29(土) 19:54:55.22 ID:XeV0p/V1 >>667 読んでないなら内容に文句言わないでくれる http://rio2016.5ch.net/test/read.cgi/math/1717503315/669
670: １３２人目の素数さん [] 2024/06/29(土) 20:55:21.96 ID:95ZoQlW/ 読んだ結果で無価値な独善定義だと言ってんだよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/670
671: １３２人目の素数さん [sage] 2024/06/29(土) 20:57:42.25 ID:XeV0p/V1 >>670 そう思う理由が説明できないなら文句言うな http://rio2016.5ch.net/test/read.cgi/math/1717503315/671
672: １３２人目の素数さん [sage] 2024/06/29(土) 20:58:45.22 ID:FovP2BtJ >>668 箱入り無数目 完全勝利！ http://rio2016.5ch.net/test/read.cgi/math/1717503315/672
673: １３２人目の素数さん [] 2024/06/29(土) 23:52:06.10 ID:95ZoQlW/ >>671 独善でないエビデンスを示せないなら去れ http://rio2016.5ch.net/test/read.cgi/math/1717503315/673
674: １３２人目の素数さん [sage] 2024/06/30(日) 00:10:32.01 ID:wRNO3LCO >>673 勝手に定義して何が悪いの？ お前何様のつもり？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/674
675: １３２人目の素数さん [] 2024/06/30(日) 01:21:02.12 ID:vKKNOeaC 勝手に定義したことを白状したｗ http://rio2016.5ch.net/test/read.cgi/math/1717503315/675
676: １３２人目の素数さん [sage] 2024/06/30(日) 01:36:24.04 ID:wRNO3LCO 何か問題があるの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/676
677: １３２人目の素数さん [sage] 2024/06/30(日) 03:01:13.50 ID:wRNO3LCO 何かのゲームが与えられたときに、その攻略法とは何であるかを勝手に定義せずに、これこれが攻略法であるって主張するのが君たちのやり方なわけ？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/677
678: １３２人目の素数さん [sage] 2024/06/30(日) 05:09:10.82 ID:vYIv2kZ8 >>677 >>668で箱を(D1~D100のうち)１つ選んでその候補f(si)(Di)を提示してます その際箱の中身si(Di)は全く見ていません したがって反論の余地はゼロ http://rio2016.5ch.net/test/read.cgi/math/1717503315/678
679: １３２人目の素数さん [sage] 2024/06/30(日) 05:19:01.61 ID:wRNO3LCO >>678 だから攻略法であることをどう定義しているの？ エビデンスは？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/679
680: １３２人目の素数さん [sage] 2024/06/30(日) 05:39:39.64 ID:vYIv2kZ8 ＞攻略法であることをどう定義しているの？ 箱を１つ選んでその中身を提示する方法 確率的な方法だから、必ずしも的中する必要はない ＞エビデンスは？ 実際１００通りの選び方のうち外れるのはたかだか１通りと証明されている それが少なくとも確率1-1/100である証拠 君に反論の余地はまったくないね 実際何も反論できてない 選択公理が分からないから駄々こねてるだけ みっともないよ 選択公理を理解しなよ 君にそれ以外の選択肢ないし http://rio2016.5ch
.net/test/read.cgi/math/1717503315/680
681: １３２人目の素数さん [sage] 2024/06/30(日) 05:44:42.68 ID:wRNO3LCO 選択公理の話なんてしてないんですけど http://rio2016.5ch.net/test/read.cgi/math/1717503315/681
682: １３２人目の素数さん [sage] 2024/06/30(日) 05:46:07.22 ID:vYIv2kZ8 選択公理の話しかしてないんですが http://rio2016.5ch.net/test/read.cgi/math/1717503315/682
683: １３２人目の素数さん [sage] 2024/06/30(日) 05:48:12.20 ID:wRNO3LCO >>680 > ＞攻略法であることをどう定義しているの？ > 箱を１つ選んでその中身を提示する方法 > 確率的な方法だから、必ずしも的中する必要はない これを論理式で書くとか、定理のステートメントとして表現しろって言ってるの > ＞エビデンスは？ > 実際１００通りの選び方のうち外れるのはたかだか１通りと証明されている > それが少なくとも確率1-1/100である証拠 そんなことは聞いてない。的はずれな回答するのはやめろ http://rio20
16.5ch.net/test/read.cgi/math/1717503315/683
684: １３２人目の素数さん [sage] 2024/06/30(日) 05:48:40.90 ID:wRNO3LCO >>682 じゃあ関係ないことに文句言うなよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/684
685: １３２人目の素数さん [sage] 2024/06/30(日) 05:52:52.34 ID:wRNO3LCO ∀x∈ℝ^ℕが先頭についてる定式化がどれくらい適切なのかの話をしてるのに選択公理とかどうでもいい話で割り込んで来るなよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/685
686: １３２人目の素数さん [] 2024/06/30(日) 08:03:54.68 ID:vKKNOeaC >>679 >だから攻略法であることをどう定義しているの？ i≠j⇒si(Di)=f(si)(Di) 100通りのiのうち1通り以外ではsi(Di)=f(si)(Di)が成立する よって、iをランダム選択して「si列のDi番目の箱の中身はf(si)(Di)」と回答すれば、確率99/100以上で的中する これが箱入り無数目の攻略法 理解できんかった？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/686
687: １３２人目の素数さん [sage] 2024/06/30(日) 08:07:08.93 ID:vYIv2kZ8 >>683 >> 箱を１つ選んでその中身を提示する方法 >> 確率的な方法だから、必ずしも的中する必要はない >これを論理式で書くとか、定理のステートメントとして表現しろって言ってるの >>668の定理４がそうだよ 理解しろっつーの >> 実際１００通りの選び方のうち外れるのはたかだか１通りと証明されている >> それが少なくとも確率1-1/100である証拠 >そんなことは聞いてない。 君が答えを勘違いしてるだけ これが
答え 理解しろっつーの >的はずれな回答するのはやめろ 的は射抜いた 理解しろっつーの http://rio2016.5ch.net/test/read.cgi/math/1717503315/687
688: １３２人目の素数さん [] 2024/06/30(日) 08:09:21.68 ID:vYIv2kZ8 >>685 ＞∀x∈ℝ^ℕが先頭についてる定式化がどれくらい適切なのか 間違った妄想をいくらさけんでも適切にはならん（バッサリ） ＞選択公理とかどうでもいい話 選択公理が核心 それ以外は全てどうでもいい話（バッサリ） http://rio2016.5ch.net/test/read.cgi/math/1717503315/688
689: １３２人目の素数さん [] 2024/06/30(日) 08:09:26.61 ID:vKKNOeaC >>679 >エビデンスは？ 証明は検証可能だからエビデンス不要 文句があるなら証明の誤りを指摘すればよい http://rio2016.5ch.net/test/read.cgi/math/1717503315/689
690: １３２人目の素数さん [] 2024/06/30(日) 08:15:44.29 ID:vYIv2kZ8 ＞定理4：箱入り無数目 ＞∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di) ＞証明 ＞D1,...,D100とjを以下のように定義する。 ＞・Di:=max({d(s1),...,d(s100)}-{d(si)}) ＞・{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。 ＞このとき、i≠j⇒Di≧d(si)であるから、i≠j⇒si(Di)=f(si)(Di)が成立つ。 んー、いかんなあ これだと、全てがmax(…)だとi≠jとなるiが存在しなくなるｗ jはi≠
jのときDj＞Diとなるようなもの、であるので 存在しないか唯一存在するかのいずれか 存在しなければ、どの列を選んでもsi(Di)=f(si)(Di) 存在しても、i≠jならsi(Di)=f(si)(Di) そういうこと http://rio2016.5ch.net/test/read.cgi/math/1717503315/690
691: １３２人目の素数さん [sage] 2024/06/30(日) 08:21:56.47 ID:vYIv2kZ8 ∀s1,...,s100∈R^N.∃D1,...,D100∈N,∀i∈{1,...,100}.Di≦di⇒si(Di)=f(si)(Di) D1,...,D100とjを以下のように定義する。 ・Di:=max({d(s1),...,d(s100)}-{d(si)}) Di>diとなるようなsiは100列中たかだか1つ http://rio2016.5ch.net/test/read.cgi/math/1717503315/691
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 311 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s