[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋4 http://rio2016.5ch.net/test/read.cgi/math/1666352731/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
908: １３２人目の素数さん [] 2022/11/07(月) 01:46:16.84 ID:WoK78tgd >>907 最初の1回だけの試行は非可測で0以上として2回目以降と合計で99/100以上になるんじゃないかな http://rio2016.5ch.net/test/read.cgi/math/1666352731/908
909: １３２人目の素数さん [] 2022/11/07(月) 02:03:49.97 ID:WoK78tgd >>905 24時間連続で書き込み続けなきゃいけないの？ http://rio2016.5ch.net/test/read.cgi/math/1666352731/909
910: １３２人目の素数さん [sage] 2022/11/07(月) 02:25:59.25 ID:e0OEzaz4 >>908 この観点から記述すると、1回目だけの試行は非可測だろうな。ただし、 「 "lim[n→∞] (n回目までの勝利回数) / n ≧ 99/100" が確率 1 で発生する 」 のであって、時枝記事はこれを主張していることになるので、 どのみち時枝記事は正しい。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/910
911: １３２人目の素数さん [sage] 2022/11/07(月) 02:57:51.57 ID:e0OEzaz4 >>910 これ、「1回目だけの試行は非可測」と書いたが、それも事象の捉え方によって 可測・非可測が変わってしまうな。ちゃんと確率空間を設定しないと説明しきれん。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/911
912: １３２人目の素数さん [sage] 2022/11/07(月) 03:01:13.38 ID:e0OEzaz4 出題者が s∈[0,1]^N を出題するごとに、 回答者はこの s に対して時枝戦術を可算無限回テストすることにする。 具体的には、回答者は i＝(i_1,i_2,…)∈{1,2,…,100}^N をランダムに選び、 n回目のテストでは番号 i_n に対する時枝戦術を実行することにする。 よって、この i＝(i_1,i_2,…) には回答者の可算無限回分の行動が 全て記述されていることになり、回答者は i＝(i_1,i_2,…)に沿った 時枝戦術を機械的に実行することになる。 以下では、i＝(i_1,i_2,…)∈{1,2,…,100}^N のことを「回答者の行動予定表」 と呼ぶことにする。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/912
913: １３２人目の素数さん [sage] 2022/11/07(月) 03:01:40.05 ID:e0OEzaz4 この状況を記述する確率空間を以下で定義する。>>293の確率空間 (I,G,η) を取り、 これを可算無限個用意して直積確率空間を作る。それを (I^N,G_N,η_N) と置く。 この確率空間は、i＝(i_1,i_2,…)∈I^N＝{1,2,…,100}^N を一様分布に従って ランダムに選ぶ操作を実現する確率空間である。 >>291の確率空間([0,1]^N, F_N, μ_N)と上記の(I^N, G_N, η_N)の積空間を、 ここでは (Ω,F,P) と書くことにする。この確率空間の完備化を(Ω,F_w,P_w)と書く。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/913
914: １３２人目の素数さん [sage] 2022/11/07(月) 03:03:06.79 ID:e0OEzaz4 出題者が実数列 s∈[0,1]^N を選び、回答者が行動予定表 i∈I^N を選んだとき、 n回目までの時枝テストが終わった時点での回答者の勝利回数を S_n(s,i) と置く。そして、 A ＝ { (s,i)∈Ω｜liminf[n→∞] S_n(s,i) / n ≧ 99/100 } と置く。実は、A∈F_w かつ P_w(A) ＝ 1 が成り立つことが言える。すなわち、 P_w.a.e.(s,i)∈Ω s.t. liminf[n→∞] S_n(s,i) / n ≧ 99/100 が成り立つ。これは、 ・ 出題者が実数列 s∈[0,1]^N をランダムに選び、 回答者が行動予定表 i∈I^N をランダムに選ぶとき、 確率 1 で liminf[n→∞] S_n(s,i) / n ≧ 99/100 が発生する という意味である。すなわち、時枝記事を別の表現方法で記述したものになっている。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/914
915: １３２人目の素数さん [sage] 2022/11/07(月) 03:04:22.34 ID:e0OEzaz4 次に、s∈[0,1]^N と 1≦k≦100 に対して、 出題 s のもとで回答者が番号 k での時枝戦術を実行して 回答者が勝つときに f(s,k)：＝1 と置き、回答者が負けるときに f(s,k)：＝0 と置く。 このとき、i∈I^N に対して S_n(s,i)＝Σ[k＝1〜n] f(s,i_k) が成り立つことに注意せよ。 A_1：＝{ (s,i)∈Ω｜f(s,i_1)＝1 } と置くと、この A_1 は「回答者が1回目の時枝テストで勝利する」という事象になっている。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/915
916: １３２人目の素数さん [sage] 2022/11/07(月) 03:05:03.00 ID:e0OEzaz4 任意の s∈[0,1]^N に対して、A_1 の s における断面 (A_1)_s は (I^N,G_N,η_N)において可測である。 実際、(A_1)_s ＝ { i∈I^N｜f(s,i_1)＝1 } ＝ { i_1∈I｜f(s,i_1)＝1 } × I^N である。C_1：＝ { i_1∈I｜f(s,i_1)＝1 } と置くと、C_1∈pow(I)＝G である。 特に C_1×I^N ∈ G_N である。よって、(A_1)_s は可測である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/916
917: １３２人目の素数さん [sage] 2022/11/07(月) 03:10:41.73 ID:e0OEzaz4 一方で、A_1 そのものは非可測である。実際、g：([0,1]^N×I)×I^N → [0,1]^N×I^N (＝Ω) を g( (s,i_1), (i_2,i_3,…) )：＝ ( s, (i_1,i_2,i_3,…) ) と定義し、さらに B：＝{(s,i_1)∈[0,1]^N×I｜f(s,i_1)＝1} と置く。すると、A_1 ＝ g(B×I^N) と表せる。 B は確率空間 ([0,1]^N×I, F_N×G, μ_N×η)の完備化の中で非可測(スレの中盤で証明したとおり) なので、A_1 ＝ g(B×I^N) は確率空間 (Ω,F_w,P_w) の中で非可測であることが示せる。 証明の概略だけ書くと、もし A_1 が可測なら、g^{-1}(A_1) も可測、すなわち B×I^N は可測。 よって、η_N.a.e.i∈I^N に対して、B×I^N の i での断面 (B×I^N)_i は可測。 (B×I^N)_i＝B なので、B は可測となって矛盾。よって、A_1 は非可測。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/917
918: １３２人目の素数さん [sage] 2022/11/07(月) 03:13:42.55 ID:e0OEzaz4 よって、A_1 は非可測だが、s∈[0,1]^N ごとに、A_1 の s における断面 (A_1)_s は可測である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/918
919: １３２人目の素数さん [] 2022/11/07(月) 07:49:49.31 ID:K/UclYxR ところで、100個の有理数の小数展開から桁を１つ選んで当てる件は 有理数の選出確率分布を可測関数とすれば、計算可能 しかし、ブルシットせたぼんは一度もやろうとしない 自分の主張が否定されるのがイヤなんだろう チキンな野郎だｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/919
920: １３２人目の素数さん [] 2022/11/07(月) 07:50:43.55 ID:K/UclYxR ブルシットせたぼんは、ひろゆきと同じで、ただ議論に勝ちたいだけ 真実とかどうでもいいサイコパス http://rio2016.5ch.net/test/read.cgi/math/1666352731/920
921: １３２人目の素数さん [sage] 2022/11/07(月) 07:56:02.34 ID:K/UclYxR >>919 無限列についても 「各箱の確率分布は独立」 とかいう設定を止めて、例えば 「かならずある箇所から先が０になる列」 だけに限りしかも０でない項が先に現れるほど 出現確率が小さくなるようにうまく設定すれば 列の出現確率分布も決定番号の分布も可測にできる その場合には、1がやらかした計算でも 箱入り無数目の結論に沿う値が出る 自然なのは箱入り無数目のほうであって 1の直感ではないことが分かる筈 http://rio2016.5ch.net/test/read.cgi/math/1666352731/921
922: １３２人目の素数さん [] 2022/11/07(月) 19:55:04.95 ID:WoK78tgd >>921 そのように出題者が実数列を設定してくれたらいつでも時枝戦略が有効って事なんでしょ それ出題者が箱の中の実数を自由に設定してないじゃないか http://rio2016.5ch.net/test/read.cgi/math/1666352731/922
923: １３２人目の素数さん [] 2022/11/07(月) 19:59:31.20 ID:K/UclYxR >>922 いや、有効であることが計算でもわかる、ということ それだけ http://rio2016.5ch.net/test/read.cgi/math/1666352731/923
924: １３２人目の素数さん [] 2022/11/07(月) 20:49:35.03 ID:K/UclYxR スレ埋葬します http://rio2016.5ch.net/test/read.cgi/math/1666352731/924
925: １３２人目の素数さん [sage] 2022/11/07(月) 20:50:28.65 ID:K/UclYxR 海行かば http://rio2016.5ch.net/test/read.cgi/math/1666352731/925
926: １３２人目の素数さん [sage] 2022/11/07(月) 20:51:00.81 ID:K/UclYxR 水漬くかばね http://rio2016.5ch.net/test/read.cgi/math/1666352731/926
927: １３２人目の素数さん [sage] 2022/11/07(月) 20:51:16.44 ID:K/UclYxR 山行かば http://rio2016.5ch.net/test/read.cgi/math/1666352731/927
928: １３２人目の素数さん [sage] 2022/11/07(月) 20:51:52.99 ID:K/UclYxR 草生すかばね http://rio2016.5ch.net/test/read.cgi/math/1666352731/928
929: １３２人目の素数さん [sage] 2022/11/07(月) 20:52:28.89 ID:K/UclYxR おお 君の屁にこそ死なめ http://rio2016.5ch.net/test/read.cgi/math/1666352731/929
930: １３２人目の素数さん [sage] 2022/11/07(月) 20:52:56.07 ID:K/UclYxR 顧みはせじ http://rio2016.5ch.net/test/read.cgi/math/1666352731/930
931: １３２人目の素数さん [sage] 2022/11/07(月) 20:53:20.64 ID:K/UclYxR なんか歌詞違った？ｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/931
932: １３２人目の素数さん [sage] 2022/11/07(月) 20:59:56.81 ID:K/UclYxR あんまり大きな声では言えないが http://rio2016.5ch.net/test/read.cgi/math/1666352731/932
933: １３２人目の素数さん [sage] 2022/11/07(月) 21:00:19.15 ID:K/UclYxR 時枝正さんはボクより年下だった http://rio2016.5ch.net/test/read.cgi/math/1666352731/933
934: １３２人目の素数さん [sage] 2022/11/07(月) 21:00:51.25 ID:K/UclYxR あたりまえだが http://rio2016.5ch.net/test/read.cgi/math/1666352731/934
935: １３２人目の素数さん [sage] 2022/11/07(月) 21:00:57.08 ID:K/UclYxR あたりまえだが http://rio2016.5ch.net/test/read.cgi/math/1666352731/935
936: １３２人目の素数さん [sage] 2022/11/07(月) 21:01:26.80 ID:K/UclYxR 望月新一氏もボクより年下 http://rio2016.5ch.net/test/read.cgi/math/1666352731/936
937: １３２人目の素数さん [sage] 2022/11/07(月) 21:04:36.35 ID:K/UclYxR 玉川安騎男もボクより年下 http://rio2016.5ch.net/test/read.cgi/math/1666352731/937
938: １３２人目の素数さん [sage] 2022/11/07(月) 21:05:21.23 ID:K/UclYxR 加藤文元もボクより年下 http://rio2016.5ch.net/test/read.cgi/math/1666352731/938
939: １３２人目の素数さん [sage] 2022/11/07(月) 21:06:55.95 ID:K/UclYxR だからどうってこともないけどｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/939
940: １３２人目の素数さん [sage] 2022/11/07(月) 21:09:41.42 ID:K/UclYxR ということで http://rio2016.5ch.net/test/read.cgi/math/1666352731/940
941: １３２人目の素数さん [sage] 2022/11/08(火) 08:15:25.56 ID:+tJNUyFp 日曜日のID:nNTYWkJtですが、「選択公理を超える仮定が必要」とは勘違いでした。 解法をアルゴリムとして考えたので、「選択函数φに対してφ(a)の値が計算できるとは限らない」 ということがひっかかったんですね。 が、「選択公理だけ」で成立することが分かりました。m(__)m 選択函数φ、出題列A、100列への分割、そしてどの列iを選ぶかを決めれば どの箱を残すかは自動的に決まっている。 i=1〜100に応じて100個の箱が定まる。 この中でハズレ箱=中身が代表列と一致しない箱 は高々1個。 これはただの論理。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/941
942: １３２人目の素数さん [sage] 2022/11/08(火) 08:19:58.38 ID:+tJNUyFp セタぼんの疑問1 「選択公理と言いながら、解法には100個の値しか使ってないじゃないか」 答え 出題列Aが定まってからはその通り。しかし、出題者が R^Nの任意の元を出題しうるなら、解法を保証するためには R^N/〜のフルの選択公理が必要。 セタぼんの疑問2 「勝率99/100という確率計算が怪しい。」 答え 確かに確率はどういう試行に対するかによって変わってくる。 が、列の選び方100通り、したがって残す箱の100通り の中で、ハズレは1つしかない（ここまではただの論理） ので、試行または「確率空間」を適切に設定すれば 勝率99/100が出て来るのはあまりにも当然。 これが分からないのは、それ以前の論理が分かってないと言わざるを得ない。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/942
943: １３２人目の素数さん [sage] 2022/11/08(火) 08:30:51.53 ID:+tJNUyFp >列の選び方100通り、したがって残す箱の100通り 定まった一つの出題列Aに対してということね。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/943
944: １３２人目の素数さん [sage] 2022/11/08(火) 17:31:34.49 ID:+tJNUyFp 「選択公理だけ」で成立するメカニズムはあるが 「箱の中身をぴたりと当てる」ためには φ(a)の値を知ることは絶対に必要。 従ってそれを認めなければ、解法は不成立。 「中身が代表列と一致する箱がある」くらいしか言えない。 その位置の特定には決定番号の入手が必要であり それにもφ(a)の値は必要。 そもそも「選択函数の値の利用」というのは 選択公理の使い方として極めて異例なのでは？ http://rio2016.5ch.net/test/read.cgi/math/1666352731/944
945: １３２人目の素数さん [sage] 2022/11/08(火) 17:41:30.42 ID:+tJNUyFp なので、どちらかというと不成立に傾いている。 セタぼんとは違う理由だが。 そもそもセタぼんが阿呆でなければ こんなに長く続いている話であるわけがない。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/945
946: １３２人目の素数さん [] 2022/11/08(火) 17:46:28.72 ID:+tJNUyFp 上げときます。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/946
947: １３２人目の素数さん [sage] 2022/11/08(火) 17:47:35.71 ID:+tJNUyFp >>937 玉川氏ってイメージとしてはもっと年配かと思ってた。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/947
948: １３２人目の素数さん [sage] 2022/11/08(火) 17:52:54.54 ID:+tJNUyFp もっちー日記に「玉虫色判定」なる言葉があって 「これって玉川氏への皮肉じゃね？」みたいに言うひとがいて笑ったが その後に論文が通ったことを見ると 意外にこの京都人顔負けの暗喩がグサリと効いたのかもねｗ 冗談だけど。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/948
949: １３２人目の素数さん [sage] 2022/11/08(火) 18:42:10.51 ID:+hPdl9m3 >>944 ＞φ(a)の値を知ることは絶対に必要。 人間にとって、「知る」という概念は本質的に 「構成的な手続きによってそこに到達する」というニュアンスを含んでいるので、 「実際に値を知ることは絶対に必要」 という考え方は、最終的には「構成的な手続きがなければインチキだ」 ということになってしまう。 この場合、実はφ(a)よりも前の段階で "インチキ" が発生している。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/949
950: １３２人目の素数さん [sage] 2022/11/08(火) 18:44:58.50 ID:+hPdl9m3 例えば、回答者が1つの箱を開けたときに、その中身の実数が 「チャイティンの定数(ここではαと書く)」 だったとする(出題者は任意の実数を出題できるというルールなので、αを出題することは可能)。 この場合、回答者は α の値をどうやって "知る" のか？ 時枝ゲームの前提として、回答者は無限個の箱の中身を "知る" 能力を既に備えている。 よって、αを無限小数展開したときの各桁を、回答者は全て "知る" ことができる。 しかし、α の各桁を列挙するアルゴリズムは存在しない(計算不可能)ことが知られている。 それにも関わらず、回答者は α の各桁を "知る" 能力が既に備わっていることになる。 つまり、時枝ゲームの前提の時点で、回答者は チューリングマシンの能力を本質的に超越した能力が付与されていることになる。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/950
951: １３２人目の素数さん [sage] 2022/11/08(火) 18:52:12.54 ID:+hPdl9m3 これはつまり、チューリングマシンの能力を超えた何らかの神託機械が、 予め回答者に付与されているということを意味する。 すると、この話題に関しては次の2つの立場に分かれる。 (1) チューリングマシンの能力を超えた神託機械を付与している時点でインチキだ。 (2) どうせ信託機械を付与するのなら、 選択関数 φ に a を適用したときの値 φ(a) を自動的に出力してくれるような、 別の神託機械を追加で付与しておけばいい。 (2)の立場の場合、それで問題は解決する。 (1)の立場の場合、時枝ゲームの前提から認めないことになる。 「時枝記事の前提から認めない」という立場は、それはそれでアリだが、しかし元も子もないので、 そうなると残った立場は(2)であり、この場合、問題は解決する。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/951
952: １３２人目の素数さん [sage] 2022/11/08(火) 19:12:00.23 ID:+tJNUyFp >>950-951 なるほどね。久々にあんたの輝きを見た気がするよ 笑 http://rio2016.5ch.net/test/read.cgi/math/1666352731/952
953: １３２人目の素数さん [] 2022/11/09(水) 03:19:03.06 ID:BEgCTkq7 φが構成的でないから現実世界の人間はφ(a)の値を知らない。 そもそも現実世界の人間は可算個の箱を用意する時点で挫折する。 箱入り無数目はあくまで数学の問題。 数学的にはφが存在するならφ(a)は何等かの値に定まっておりそれで十分。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/953
954: １３２人目の素数さん [] 2022/11/09(水) 06:00:23.73 ID:KNLaRzNx 100個の有理数の無限小数展開の問題なら、選択公理の問題に全く悩まされずに済む http://rio2016.5ch.net/test/read.cgi/math/1666352731/954
955: １３２人目の素数さん [] 2022/11/09(水) 06:01:24.37 ID:KNLaRzNx 代表を１つに定めて変化させないのは必要 http://rio2016.5ch.net/test/read.cgi/math/1666352731/955
956: １３２人目の素数さん [] 2022/11/09(水) 06:06:06.07 ID:KNLaRzNx ちなみに箱が離散的ではなく連続的に配置された関数版もあり で、連続関数に制限したとしても、９９個の決定番号の最大値Dに対して D+ε以上を全部開ける（ε>0）とすれば問題ない （連続性からf(D)の値を推定する方法をこれで排除できる） ちなみに解析関数に制限するのはNG ベキ級数展開されたらわかっちゃうからｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/956
957: １３２人目の素数さん [] 2022/11/09(水) 06:07:10.20 ID:KNLaRzNx 1はグダグダいってるが そもそも決定番号が分かってないから 問題外 http://rio2016.5ch.net/test/read.cgi/math/1666352731/957
958: １３２人目の素数さん [] 2022/11/09(水) 06:10:14.70 ID:KNLaRzNx 決定番号は∞にならない 勝手にNをN∪{N}とコンパクト化するのはNG（嘲） http://rio2016.5ch.net/test/read.cgi/math/1666352731/958
959: １３２人目の素数さん [] 2022/11/09(水) 06:13:50.25 ID:KNLaRzNx >>949 ＞人間にとって、「知る」という概念は ＞本質的に「構成的な手続きによってそこに到達する」という ＞ニュアンスを含んでいるので、 その言い訳では、１００個の有理数の無限小数展開の問題は排除できない 完全に構成的に代表が選べるから （注：無限列だから、循環節か否か判断できない、とかいうのはNG それ言い出すとそもそも無限列扱えないｗ） http://rio2016.5ch.net/test/read.cgi/math/1666352731/959
960: １３２人目の素数さん [] 2022/11/09(水) 06:15:40.72 ID:KNLaRzNx >>944 ＞「選択函数の値の利用」というのは ＞選択公理の使い方として極めて異例なのでは？ 異例だからダメ、とはいえない http://rio2016.5ch.net/test/read.cgi/math/1666352731/960
961: １３２人目の素数さん [] 2022/11/09(水) 12:39:01.20 ID:DZgSW3Qq >>944 選択関数が存在する以上、定義域の任意の元に対する関数値は定まっている。(そうでなければ選択関数が存在するとは言えない) その値を使って何が悪いと？ http://rio2016.5ch.net/test/read.cgi/math/1666352731/961
962: １３２人目の素数さん [sage] 2022/11/09(水) 22:13:26.34 ID:v4oHq1u9 >>944 ＞「選択函数の値の利用」というのは ＞選択公理の使い方として極めて異例なのでは？ 極めて異例？ どういうこと？ 「任意の実数列{a_n}について、○○」という言明で {a_n}は選択関数で a_nは選択関数の値なんだけど http://rio2016.5ch.net/test/read.cgi/math/1666352731/962
963: １３２人目の素数さん [sage] 2022/11/11(金) 23:01:10.69 ID:y1xng6Rh 解法は成立してるし、出題列が定数であれば「自明」 とは初期の頃から言われている通り。 でも、1か月程前に考えているとふと「ん？」というスポットに入った。 それだけのことです。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/963
964: １３２人目の素数さん [sage] 2022/11/11(金) 23:36:28.01 ID:y1xng6Rh セタぼんはどうせ将棋もヘボなんだろう。 AIに将棋を教えて貰っていると、人間の思考なんて 穴だらけだというのは分かる。 読んでると思っても読めてない。 仮に1手で3種類の有力変化があるとして 2手で9通り=大体10通りと考えて 16手程度の変化でも1億に達してしまう。 だから、読み切れるわけがない。 「名人は最善手を読んでるから、省略できるんだ」 という説はあったが、それも只の伝説だった。 つまり人間というのは本来論理的思考が 得意なわけではない。ダニエル・カーネマンの 『ファスト&スロー』という本にも書いてあるが。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/964
965: １３２人目の素数さん [sage] 2022/11/12(土) 09:49:58.78 ID:r4QYDURa >>964 そもそも将棋の駒の動かし方も知らなそうｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/965
966: １３２人目の素数さん [sage] 2022/11/12(土) 09:51:00.20 ID:r4QYDURa AIとか性懲りもなく書き続ける時点で 数学のこと何もわかってない白痴とわかる http://rio2016.5ch.net/test/read.cgi/math/1666352731/966
967: １３２人目の素数さん [sage] 2022/11/12(土) 09:51:42.15 ID:r4QYDURa 数学の何たるかを分かってたら そもそもAIの話なんか絶対しない 無意味だから http://rio2016.5ch.net/test/read.cgi/math/1666352731/967
968: １３２人目の素数さん [sage] 2022/11/12(土) 09:52:16.69 ID:r4QYDURa ヒトが理解するために行う学問で AIによる証明とかやっても無意味 http://rio2016.5ch.net/test/read.cgi/math/1666352731/968
969: １３２人目の素数さん [sage] 2022/11/12(土) 09:52:55.33 ID:r4QYDURa AIにやらせる意味があるのは なんでできるか理解する必要がないものｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/969
970: １３２人目の素数さん [sage] 2022/11/12(土) 09:53:35.20 ID:r4QYDURa 例えば人がなぜ自転車に乗れるか理解する必要はない だからAIにやらせる意味がある http://rio2016.5ch.net/test/read.cgi/math/1666352731/970
971: １３２人目の素数さん [sage] 2022/11/12(土) 09:55:00.95 ID:r4QYDURa リーマン予想はもし成り立つとすればなぜ成り立つのか理解したいもの だからAIが訳の分からん大量の推論の結果証明に成功したとしても その証明がヒトが読めるものでなければ意味がない http://rio2016.5ch.net/test/read.cgi/math/1666352731/971
972: １３２人目の素数さん [sage] 2022/11/12(土) 09:56:23.47 ID:r4QYDURa 四色定理の証明に拒否反応を示す数学者が多々いたのは その証明が理解する意味があると思えるものでなかったからだろう http://rio2016.5ch.net/test/read.cgi/math/1666352731/972
973: １３２人目の素数さん [sage] 2022/11/12(土) 09:57:28.38 ID:r4QYDURa 将棋は、人がAIに勝てなくなったら 児戯としてはともかく 競技としては廃れそうな気がする 馬鹿馬鹿しいから http://rio2016.5ch.net/test/read.cgi/math/1666352731/973
974: １３２人目の素数さん [sage] 2022/11/12(土) 09:58:12.56 ID:r4QYDURa という意味で、数学板でAIの話をするのは大体馬鹿素人ｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/974
975: １３２人目の素数さん [sage] 2022/11/12(土) 09:58:58.67 ID:r4QYDURa 素人は数学でオチコボレたから、 数学者に嫉妬し憎悪してる サルってみっともないなｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/975
976: １３２人目の素数さん [sage] 2022/11/12(土) 10:08:47.30 ID:UdSkMxqW 現状AIに数学が出来るとは言ってないよ。 でも将来の可能性としてはある。 「リーマン予想の証明は意味があるが 四色問題の計算機を使った証明に意味がない」 などは偏見も甚だしい。 将棋は人間がAIに勝てなくなっても 今のところ全然廃れていない。 なぜか女性ファンが増えていたりする。 謎である。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/976
977: １３２人目の素数さん [sage] 2022/11/12(土) 10:10:16.98 ID:UdSkMxqW よく「数学者への嫉妬」とか言うけど あんたは数学者のつもりなのかい？ http://rio2016.5ch.net/test/read.cgi/math/1666352731/977
978: １３２人目の素数さん [sage] 2022/11/12(土) 10:12:03.21 ID:UdSkMxqW デュドネによる数学者の定義 「自明でない定理の証明を公表したひと」 ここでいう「自明でない」とは 数学者が認める「真に価値がある」くらいの意味。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/978
979: １３２人目の素数さん [] 2022/11/12(土) 13:53:17.35 ID:Wt6BYOwg >>973 チェスはとっくの昔に勝てなくなってるが廃れてない http://rio2016.5ch.net/test/read.cgi/math/1666352731/979
980: １３２人目の素数さん [] 2022/11/12(土) 18:02:46.48 ID:r4QYDURa >>976 「四色問題の計算機を使った証明に意味がない」は君の誤読 ただ、複雑性を計算機の馬鹿力でねじ伏せる証明が数学者の興味を惹かないのは事実 http://rio2016.5ch.net/test/read.cgi/math/1666352731/980
981: １３２人目の素数さん [] 2022/11/12(土) 18:02:46.49 ID:r4QYDURa >>976 「四色問題の計算機を使った証明に意味がない」は君の誤読 ただ、複雑性を計算機の馬鹿力でねじ伏せる証明が数学者の興味を惹かないのは事実 http://rio2016.5ch.net/test/read.cgi/math/1666352731/981
982: １３２人目の素数さん [] 2022/11/12(土) 18:04:26.56 ID:r4QYDURa >>977 ボクは数学者ではない ここでいう数学者とは 数学の専門雑誌（ただし捕食学術誌を除く）に論文を掲載した人 を指す http://rio2016.5ch.net/test/read.cgi/math/1666352731/982
983: １３２人目の素数さん [] 2022/11/12(土) 18:05:49.08 ID:r4QYDURa >>978 その定義だと「自明でない」の意味が不明確なので >>982で明確に定義した 頭使えよ http://rio2016.5ch.net/test/read.cgi/math/1666352731/983
984: １３２人目の素数さん [] 2022/11/12(土) 18:06:14.75 ID:r4QYDURa >>979 おまえの中ではなｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/984
985: １３２人目の素数さん [] 2022/11/12(土) 18:07:36.72 ID:r4QYDURa >>976 ＞なぜか女性ファンが増えていたりする。 それは棋士ファンであって将棋ファンではない http://rio2016.5ch.net/test/read.cgi/math/1666352731/985
986: １３２人目の素数さん [] 2022/11/12(土) 20:22:16.94 ID:Wt6BYOwg >>984 1997年、ディープ・ブルーが再度ガルリ・カスパロフと対戦し、ようやく初めて世界チャンピオンに勝利を収め、コンピュータチェスの歴史に残る大きな節目（あるいは人類の意味の歴史の一こま）として大々的に報道された。 2006年10月に統一世界チャンピオンとなったクラムニクとディープ・フリッツとの6ゲームマッチが、2006年11月25日から12月5日までボンで行なわれ、ディープ・フリッツが2勝4引き分けでマッチに勝った 2018年現在、世界全体でルールを知る人は推定約7億人とされ、もっとも広く親しまれているゲームのひとつである。世界チェス連盟 (FIDE) 所属の登録競技者数は2018年現在で36万人である[14]。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/986
987: １３２人目の素数さん [] 2022/11/12(土) 20:25:31.45 ID:Wt6BYOwg >>984 世界チェス連盟 (FIDE) 登録競技者数36万人 はおまえの中では廃れてることになってるらしいなｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/987
988: １３２人目の素数さん [] 2022/11/12(土) 20:26:42.12 ID:Wt6BYOwg >>984 そうやってすぐ発狂するから簡単に論破される 覚えとけｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/988
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 14 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s