[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
553(1): 2023/08/15(火)17:02 ID:FbJnsNm1(15/19) AAS
誤りを認められない人っているけどおサルは病的だね
精神科受診をお勧めする
554: 2023/08/15(火)17:53 ID:5PK2SP90(2/2) AAS
>>541
お前との共通点は他者の意見を聞かない、数学板の書き込み数が多い
555: 2023/08/15(火)17:53 ID:wC56H15/(41/43) AAS
>>553 いわゆる自己愛性パーソナリティ障害だね 彼は
556: 2023/08/15(火)17:59 ID:wC56H15/(42/43) AAS
はっきりいって、１は数学に全く興味ない
大学１年レベルの数学が全然分かってないのがその証拠
彼が好きなのは計算技術としての「算数」であって
それ以上の論理的思考は彼が大嫌いなもの
数学書をチラ見するだけなのは
わかりやすく計算方法だけ記述した形になってないから
557(2): 2023/08/15(火)17:59 ID:TPe4RI1p(9/17) AAS
まず訂正
>>539 ミスタイプ
有限個のf(0),f(1),f(2),・・ の値だけでは、関数が一意に決まらない
↓
可算無限個のf(0),f(1),f(2),・・ の値だけでは、関数が一意に決まらない
さて
>>551
>定義域のどの点の関数値も決まっている。決まってなければ関数ではない。
>また決まってなければ出題者は箱に入れられない。
>箱入り無数目でできるのは箱の中に入れられた関数値を確率99/100以上で当てること。
省20
558: 2023/08/15(火)18:07 ID:wC56H15/(43/43) AAS
>>557
１の数学レベルは中卒程度
さて、１はこの期に及んで
「任意のxを指定すれば、Gabay-O'Connorの定理で、f(x)の値がわかる」
と誤解している
実際は
「ほとんどすべてのxについて、f(x)と、
Gabay-O'Connorの定理でその存在が保証される
代表元gのxでの値g(x)が一致する」
が正しい
559(1): 2023/08/15(火)19:01 ID:48JQStP9(1) AAS
Hardin-Taylorは図書室には見当たらなかった
560(7): 2023/08/15(火)20:08 ID:TPe4RI1p(10/17) AAS
>>599
では、代用で 検索キーワード
google book The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems Christopher S. Hardin , Alan D. Taylor
これで、下記google bookがヒット（後に Gabay で検索 13件）
私の結論：下記はあくまでHat Problemsの本で、「箱入り無数目」を正当化できるものにあらず！
外部ﾘﾝｸ[html]:books.google.co.jp
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems
Christopher S. Hardin, Alan D. Taylor
Springer Science & Business Media, 2013/10/17 - 109 ページ
Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and they both go free if at least one of them guesses correctly. While no communication is allowed once the hats have been placed, they will, however, be allowed to have a strategy session before being brought to the room. Is there a strategy ensuring their release? The answer turns out to be yes, and this is the simplest non-trivial example of a “hat problem.”
省2
561: 2023/08/15(火)20:08 ID:TPe4RI1p(11/17) AAS
つづき
The monograph progresses from topics requiring fewer prerequisites to those requiring more, with most of the text being accessible to any graduate student in mathematics. The broad range of readership includes researchers, postdocs, and graduate students in the fields of set theory, mathematical logic, and combinatorics. The hope is that this book will bring together mathematicians from different areas to think about set theory via a very broad array of coordinated inference problems.
目次
Chapter 1 Introduction 1
Chapter 2 The Finite Setting 10
Full Visibility 19
OneWay Visibility 29
Chapter 5 Dual Hat Problems Ideals and the Uncountable 48
Neutral and Anonymous Predictors 61
Chapter 7 The Topological Setting 70
省12
562: 2023/08/15(火)20:10 ID:TPe4RI1p(12/17) AAS
つづき
4)21 ページ
The proof of the Gabay-O'Connor theorem above naturally extends to the following more general form. (Recall the definition of product filter from page 4.) Theorem 3.2.3 (Gabay, O'Connor). Let I be an ideal on A, and suppose we have a ...
5)22 ページ
Intuitively, the strategy is for everyone to take it on faith that the (finite) group sum of the differences between the true coloring and the guesses provided by the Gabay-O'Connor theorem is the identity of the group.
6)24 ページ
... S0.h// D h.a/, as desired. ut For Gabay's extension of the hat problem in Sect.2.4, suppose there are countably many agents labeled by natural numbers and lined up in order so that everyone sees the hats of higher-numbered agents, ...
7)25 ページ
We derived Lenstra's theorem from the Gabay-O'Connor theorem, so Theorem 3.4.2 also shows us that some nontrivial version of the axiom of choice is needed to prove the Gabay-O'Connor theorem. However, the Gabay-O'Connor theorem, ...
省5
563: 2023/08/15(火)20:10 ID:TPe4RI1p(13/17) AAS
つづき
10)59 ページ
A Study of Generalized Hat Problems Christopher S. Hardin, Alan D. Taylor. the whole coloring correctly. This observation essentially originated with Gabay and O'Connor. 5.6. Open. Questions. First, as pointed out in Sect.
11)62 ページ
For any a>m, we have f #a D x#.n C a m/, and agent a will guess p.f#a/ D xnCam D fmCam D fa, so a guesses correctly. ut If the set of agents is the set of natural numbers, then Galvin's theorem is stronger than the Gabay-O'Connor ...
12)75 ページ
So, since f and hfiz0 agree on U0fz0g, guesses correctly at z1, a contradiction. ut. 7.3. Corollaries. The easy generalization of the Gabay-O'Connor theorem to the context of ideals that is described at the ...
13)106 ページ(Indexの部分らしい)
M/, 35 D E e, 45 Ebert, Todd, 1 EO, see parity relation Erd ̋os, Paul, 64 error set, 72 evading family, 45 evasion number, 45 F Feige, Uriel, 14 filter, 4 non-principal, 4 product, 4 proper, 4 G Gabay, Yuval, 7, 19, 22 Gabay-O'Connor ...
(引用終り)
省1
564: 2023/08/15(火)20:25 ID:TPe4RI1p(14/17) AAS
>>560 リンク修正
>>599
↓
>>559
565: 2023/08/15(火)20:47 ID:TPe4RI1p(15/17) AAS
>>560 追加
>これで、下記google bookがヒット（後に Gabay で検索 13件）
>私の結論：下記はあくまでHat Problemsの本で、「箱入り無数目」を正当化できるものにあらず！
１）私の暫定結論なので、リンクのgoogle book原文を見て下さい
２）それで不足ならば、図書館に申し入れて”書籍購入依頼”をお願いします
そうすれば、予算さえあれば、1ヶ月くらいで入ってくるでしょう
３）それを読んで、最終結論（ファイナルアンサー）をお願いします
566: 2023/08/15(火)21:12 ID:FbJnsNm1(16/19) AAS
>>557
>２）問題は、回答者がある箱、それは先頭を0番として、あるk番目の箱だが
kを固定したら時枝戦略にはなりません。
時枝戦略ではkは試行毎に変動します。
>ここで主張しているのは
>正則でない（つまり、連続でさえない）関数について
>k番目以外の箱の関数値 f(0),f(1),f(2),・・,f(k-1),f(k+1),・・（可算無限個）
>が分かっても、使った関数は決められない。従って、f(k)の値は決まらない
あなたの主張は>>539-540の方法で推測できないことであり、
そのことと時枝戦略で推測できることは何ら矛盾しません。
省4
567: 2023/08/15(火)21:17 ID:FbJnsNm1(17/19) AAS
誤 >>457
正 >>475
568(1): 2023/08/15(火)21:22 ID:FbJnsNm1(18/19) AAS
>>560
コピペご苦労
そのコピペに
there is a method of predicting the value f(a) of a function f mapping the reals to the reals, based only on knowledge of f's values on the open interval (a – 1, a)
とありますけど？
あなたこれが間違いだと主張してるんですよね？
じゃあ出版社に間違い指摘したらいかがです？
鼻で笑われるでしょうけどｗ
569(1): 2023/08/15(火)21:25 ID:FbJnsNm1(19/19) AAS
>３）それを読んで、最終結論（ファイナルアンサー）をお願いします
最終結論はぜひとも実名で公表をお願いしますｗ
570: 2023/08/15(火)21:42 ID:KgJA/oDu(9/9) AAS
ふん
571: 2023/08/15(火)21:51 ID:TPe4RI1p(16/17) AAS
>>569
>最終結論はぜひとも実名で公表をお願いしますｗ
スレ主です
別に、実名はいらないでしょ？
数学ではね。例えば、ニコラ・ブルバキの故事もあるよ
まあ、本人のお好きに
一案は、ＪＦＫにならって、ＯＴＫくらいかな？ （本人の確定は、してないけどね）
（Ｋが韻を踏んでいるしｗ）
外部ﾘﾝｸ:ja.wikipedia.org
ニコラ・ブルバキ（仏: Nicolas Bourbaki, ブールバキとも）は、架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。当初この数学者集団は秘密結社として活動し、ブルバキを一個人として活動させ続けた。日本で出版された38冊に及ぶ[1]数学原論や、定期的に開催されるセミネール・ブルバキ（英語版）で有名。
省2
572(3): 2023/08/15(火)23:48 ID:TPe4RI1p(17/17) AAS
>>568
>there is a method of predicting the value f(a) of a function f mapping the reals to the reals, based only on knowledge of f's values on the open interval (a – 1, a)
>とありますけど？
なるほど
ありがとう
これ、謎のプロ数学者氏が好きそうな話題かもねｗ
えーと>>560より、関連含め引用下記
This book deals with the question of how successfully one can predict the value of an arbitrary function at one or more points of its domain based on some knowledge of its values at other points.
Topics range from hat problems that are accessible to everyone willing to think hard, to some advanced topics in set theory and infinitary combinatorics.
For example, there is a method of predicting the value f(a) of a function f mapping the reals to the reals, based only on knowledge of f's values on the open interval (a – 1, a), and for every such function the prediction is incorrect only on a countable set that is nowhere dense.
省13
573: 2023/08/16(水)02:56 ID:eVupkbff(1/6) AAS
>>572
>４）もし、fが連続関数ならば、極限を使って、下からaに近づくようにして
> lim x→a {f(x)} とすれば、 f(x)→f(a)ですよね？
ダメです。
なぜなら
This book deals with the question of how successfully one can predict the value of an arbitrary function at one or more points of its domain based on some knowledge of its values at other points.
とある通り、対象が arbitrary function だから。
>５）「予測が正しくないのは、密度がどこも稠密でない可算集合の場合のみ」
> この意味は、開区間 (a – 1, a)の関数値の情報が、"稠密でない可算集合"つまり、離散値と解せられます
違います。
省10
574: 2023/08/16(水)04:47 ID:jftFGOeG(1/11) AAS
>>560
>あくまでHat Problemsの本で、「箱入り無数目」を正当化できるものにあらず！
ほんとエテ公🐒はアタマ悪いな
箱 →囚人 （関数の引数）
中身→帽子 （関数の値）
と置き換えれば、「箱入り無数目」は囚人の帽子問題(Hat Problems)なんだが
575: 2023/08/16(水)06:25 ID:rHtGeHMV(1/2) AAS
思い込み
576(3): 2023/08/16(水)06:52 ID:jftFGOeG(2/11) AAS
f,g∈[0,1)→R について あるa∈[0,1)が存在し、
a<=xなるすべてx∈[0,1)について
f(x)=g(x)であるとき、fとgは尻尾同値、と定義する
選択公理により、尻尾同値類から代表元が選べる
任意のf∈[0,1)→Rについて、その同値類の代表元frをとれば、あるd∈[0,1)が存在し、
d<=xなるすべてx∈[0,1)について、f(x)=fr(x)となる
このときdをfの決定数と定義する
さて、100個のf1，…，f100∈[0,1)→Rから、どれか一つfiを選び
他の99個の関数から得られた決定数の最大値をdmaxとする
さて、fiの決定数diが、dmaxより小さい確率は99/100である
省2
577(1): 2023/08/16(水)06:55 ID:jftFGOeG(3/11) AAS
>>576は、箱入り無数目のR^N(=N→R)を[0,1)→Rに置き換えただけである
ちなみに
NをN*(＝N∪{ω})としてはならないのと同様
[0,1)と[0,1]としてはならない
578: 2023/08/16(水)06:56 ID:jftFGOeG(4/11) AAS
>>577 一字訂正
>>576は、箱入り無数目のR^N(=N→R)を[0,1)→Rと置き換えただけである
ちなみに
NをN*(＝N∪{ω})としてはならないのと同様
[0,1)を[0,1]としてはならない
579: 2023/08/16(水)07:06 ID:jftFGOeG(5/11) AAS
ところで、
「選択公理を用いれば「箱入り無数目」は確率1-εで当てられる」
に対して
「いや、「箱入り無数目」は当たらない だから選択公理も採用しない」
というのは
「平行線公準によれば、直線ｌの外の一点を通る、ｌの平行線は一本」
に対して
「いや、実は少なくとも二本ある だから平行線公準も採用しない」
というのと同じで、どっちも無矛盾という意味では共存できる
580: 2023/08/16(水)07:07 ID:jftFGOeG(6/11) AAS
残念ながら、１は選択公理を認めると言い切ったので自爆死した
581(1): 2023/08/16(水)07:12 ID:eVupkbff(2/6) AAS
>>576
>fiの決定数diが、dmaxより小さい確率は99/100である
が言えるためには
>100個のf1，…，f100∈[0,1)→Rから、どれか一つfiを選び
の選び方がランダムである必要がありますね。
例えば「私はラッキー7が好きなのでf7を選ぶ」としてしまうと
>fiの決定数diが、dmaxより小さい確率は99/100である
は言えなくなります。
582: 2023/08/16(水)07:53 ID:jftFGOeG(7/11) AAS
>>581 そのとおり ランダムである必要がある
7を選ぶ とした場合、7が当たりなら確率１だが
不運にも外れだったら・・・確率０
そういうことです
583: 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/16(水)13:02 ID:VDPkTO11(1/3) AAS
>>572 追加
>>560より
外部ﾘﾝｸ[html]:books.google.co.jp
ここで、内部を検索で、キーワード predict
で、下記2件 ヒット
vii ページ
This book deals with the question of how successfully one can predict the value of an arbitrary function at one or more ... For example, there is a method of predicting the value f.a/ of a function f mapping the reals to the reals, ...
8 ページ
In Chap.7 we start to move further away from the hat problem metaphor and think instead of trying to predict a function's value at a point based on knowing (something about) its values on nearby points ...
そして 560-561より
省7
584: 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/16(水)13:03 ID:VDPkTO11(2/3) AAS
つづき
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
外挿（extrapolation）や補外とは、ある既知の数値データを基にして、そのデータの範囲の外側で予想される数値を求めること。またその手法を外挿法（英: extrapolation method）や補外法という。対義語は内挿や補間。
手法
当該数値データを、何らかの関数にあてはめ、数値データの無い範囲（外側）の値を推定する。最も簡単なものは、線形補間をデータ範囲の外側の点に対して適用する外挿（線形外挿、直線外挿）である。他にはリチャードソンの補外、エイトケンのΔ2乗加速法、ステフェンセン変換などがある[1]。
誤った使用例
外挿の信頼性はその予測信頼区間によって表示される。予測信頼区間は理論的にとりえない値を含む場合があり、このような場合に外挿結果をそのまま用いることは誤った結果を導く可能性がある。たとえば、有限の値しかとらない変数に対して無限大を定義域として含む関数（一次関数など）を選ぶ場合がそれに該当する[2]。
(引用終り)
以上
585: 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/16(水)13:51 ID:VDPkTO11(3/3) AAS
スレ主です
勝った！
ｗｗｗｗｗ
動画ﾘﾝｸ[YouTube]
「...勝った...」長澤まさみが最高すぎる。 おもしろCM 金魚虫コナーズ
K S
41,938 回視聴 2021/07/18
@user-um5kl5ew9f
1 年前
大賀の最後が好き。間髪入れず｢何に｣、悲壮な顔で｢そりゃ無防備やな｣の台詞がツボだわ
省4
586: 2023/08/16(水)15:17 ID:jftFGOeG(8/11) AAS
>勝った！
ついに●ったか
587: 2023/08/16(水)15:39 ID:eVupkbff(3/6) AAS
草
588: 2023/08/16(水)16:07 ID:jftFGOeG(9/11) AAS
クソ💩
589(1): 2023/08/16(水)18:40 ID:QsHsRrSq(1/2) AAS
観察
「名誉教授」のレスはいい加減
理由
・頭がおかしい
・名誉教授だからという上から目線
・プサヨなので攻めはつよいが守りは弱い
590(1): 2023/08/16(水)19:38 ID:eVupkbff(4/6) AAS
枢軸国vs連合国まとめ
枢軸国「未開封の列の決定番号は期待値でなければならないから開封済列の決定番号より必ず大きい」
連合国「未開封にそんな意味付けは無い。実際、確率論の本にそんなことは書かれてない。」
枢軸国「不連続関数の値を級数展開で特定できない」
連合国「箱入り無数目で予測できることの否定になってない」
枢軸国は総崩れで敗戦しました
有難うございました
591(2): 2023/08/16(水)20:55 ID:mCsbmoTJ(1/4) AAS
>>589
(引用開始)
観察
「名誉教授」のレスはいい加減
理由
・頭がおかしい
・名誉教授だからという上から目線
・プサヨなので攻めはつよいが守りは弱い
(引用終り)
１）”プサヨなので”というのが、いみふ
省19
592: 2023/08/16(水)21:01 ID:jftFGOeG(10/11) AAS
ニセ教授が無敵と思ってる🐎🦌🐒１ ご愁傷サマ
593: 2023/08/16(水)21:06 ID:QsHsRrSq(2/2) AAS
>>591
「名誉教授」を引き込めよ、スレが伸びるぞｗ
594: 2023/08/16(水)21:45 ID:eVupkbff(5/6) AAS
俺には不名誉教授にしか見えん
595: 2023/08/16(水)21:51 ID:jftFGOeG(11/11) AAS
まあ、専門が公理的集合論じゃないからね
専門違えば素人も同然 それが現代数学の現実
596(1): 2023/08/16(水)23:28 ID:eVupkbff(6/6) AAS
>>591
>>590に反論しないってことは降伏でいいですか？
では約束通り数学板から去って下さい 約束は守りましょう
597(1): 2023/08/16(水)23:38 ID:rHtGeHMV(2/2) AAS
>>596
>>では約束通り数学板から去って下さい 約束は守りましょう
誰がどこでした約束？
598: 2023/08/16(水)23:42 ID:mCsbmoTJ(2/4) AAS
>>572 追加
まず訂正
２）開区間 (a – 1, a)上の連続濃度の関数値 f(a-1)〜f(a)が知られている
↓
２）開区間 (a – 1, a)上の連続濃度の関数値 f(a-1)〜f(a')が知られている(但しa'<a)
<本題>
(引用開始)
For example, there is a method of predicting the value f(a) of a function f mapping the reals to the reals, based only on knowledge of f's values on the open interval (a – 1, a), and for every such function the prediction is incorrect only on a countable set that is nowhere dense.
ですね
＜google訳(一部手直し)＞
省6
599(8): 2023/08/16(水)23:43 ID:mCsbmoTJ(3/4) AAS
つづき
さて、もし時枝「箱入り無数目」に長期を適用するのならば
箱には、f(a-1)〜f(a')とf(a)とを、可算無限個選んで入れることになる（f(a)は必須）
箱には、自然数Nで付番するとして
φ：n → x | x∈(a – 1, a)
ｆ：x → f(x) | f(x)∈R
となる
つまり、「箱入り無数目」は ｆ*φ：n →f(x) なる合成関数になっている
これは、定義域がn∈Ｎ で自然数なのです
そして、時枝「箱入り無数目」では
省9
600(3): 2023/08/16(水)23:56 ID:mCsbmoTJ(4/4) AAS
>>597
>>>では約束通り数学板から去って下さい 約束は守りましょう
>誰がどこでした約束？
ご苦労さまです
スレ主です
お答えします
私が約束しました
日本のプロ数学者で、「箱入り無数目」を認める人が出れば
数学板から去ると
（一応、日本の大学で数学の専門家で数学を教えている人を想定しています）
省15
601: 2023/08/17(木)00:00 ID:2qfs5wme(1/5) AAS
>>599 タイポ訂正
さて、もし時枝「箱入り無数目」に長期を適用するのならば
↓
さて、もし時枝「箱入り無数目」に上記を適用するのならば
602(1): 2023/08/17(木)00:13 ID:GvofdgS7(1/28) AAS
>>599
が、箱入り無数目不成立の根拠になってないという自覚はある？
603: 2023/08/17(木)00:17 ID:GvofdgS7(2/28) AAS
>>599
早く不成立の根拠を示してくれませんか？
示せないならとっとと降伏して数学板から去って下さい
604(1): 2023/08/17(木)06:50 ID:1XlfUs26(1/60) AAS
>>599
いつだれがどこで
「(a-1,a)でのfの値によるf(a)の推定を箱入り無数目に使ってる」
とホラ吹いたんだい？
今あんたがここでいってるだけだろ？
で、そうじゃないからって
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems
Christopher S. Hardin, Alan D. Taylor
Springer Science & Business Media, 2013/10/17
は、「箱入り無数目」と全く無関係、とはいえないだろ
省1
605: 2023/08/17(木)07:00 ID:1XlfUs26(2/60) AAS
>>600
＞日本のプロ数学者で、「箱入り無数目」を認める人が出れば数学板から去る
じゃ、嘉田勝さんに聞いてみたら？
The Mathematics of Coordinated InferenceのBibliography
に名前が出てくる日本人の一人だから
他に出てくるのは、加茂静夫さんとか江田勝哉さんとか
でもお二方とももう名誉教授だから現役なのは嘉田さんだけかな
606: 2023/08/17(木)07:04 ID:1XlfUs26(3/60) AAS
>>600
＞日本のプロ数学者に頼みにいくと こんこんと30分、
＞”「箱入り無数目」なんか成立しません”
＞とお説教をされて、帰ってくることになる
それ、あんたが勝手にそう妄想してるだけでしょ？
「プロ数学者」だと分野違いの人を含むから
集合論、特に無限組合せ論、の研究者に尋ねてね
まちがっても代数幾何とか多変数複素関数論が専門の人に尋ねたらダメだよ
集合論のことなんてまず理解してないから、トンチンカンなことばっかりいう
それが現代数学の現実だから
607(1): 2023/08/17(木)07:11 ID:1XlfUs26(4/60) AAS
>>600
＞”「箱入り無数目」の問題文の数当て不可”というプロ数学者
ダメダメ だって彼、専攻が多変数複素関数論でしょ？
あの人、問題を誤解してるから意味ない おミソね
だからさ、どうしても「違う」ことを正当化したいんだったら
嘉田勝さんから「違う」という言葉をもらってきてよ
まあ、絶対無理だけどね
多変数複素関数論の人が何言ってもダメよ
代数幾何の人が「無限のスーパーレッスン」とかいう本書いたら
省2
608(1): 2023/08/17(木)07:14 ID:1XlfUs26(5/60) AAS
The Mathematics of Coordinated Inference ざっと見たけど
「箱入り無数目」そのものは出てこないね
まあ、Gabay-O'Connorの定理から容易に出てくる系(Corollary)だから
わざわざ載せなかっただけだね
Gabay-O'Connorの定理を認めない（つまり、選択公理を認めない）っていうんなら
そういう態度はありだよ 別に無矛盾らしいから
609(3): 2023/08/17(木)07:41 ID:43UpJy3d(1/10) AAS
>>608
>>まあ、Gabay-O'Connorの定理から容易に出てくる系(Corollary)だから
なるほど、ここの議論はどこかの
「系3.12は容易だから」という議論のコピーを意図しているわけだね
610(1): 2023/08/17(木)07:54 ID:1XlfUs26(6/60) AAS
>>609
実際、容易だということは学部生でもわかる
Gabay-O'Connorの定理を認めるなら
いかなる実数無限列についても自分が属する有限相違同値類の代表列が存在する
したがって自然数を値とする決定番号が存在する ここまでは自明だね
実数無限列１００列があれば、当然その決定番号１００個が存在する
１００個だろうが何個だろうが有限個であれば、その中で最大の自然数が存在する
そして、他の決定番号より大きい決定番号であるものはたかだか１個であることが
全順序集合の定義から導かれる これまた自明
611(2): 2023/08/17(木)07:54 ID:2qfs5wme(2/5) AAS
スレ主です
マルチレス失礼しますｗ
>>609
なるほど
謎のプロ数学者さん
ご苦労さまです
>>607
> 嘉田勝さんから「違う」という言葉をもらってきてよ
それ逆
嘉田勝さんでもだれでも良い
省3
612(3): 2023/08/17(木)07:55 ID:2qfs5wme(3/5) AAS
つづき
>>604
>いつだれがどこで
>「(a-1,a)でのfの値によるf(a)の推定を箱入り無数目に使ってる」
>とホラ吹いたんだい？
出ました、サイコパス流>>5の詭弁ディベート
"(a-1,a)でのfの値による"は、おれが言い出したわけじゃない
それを持ち出したのは、箱入り無数目（時枝天動説）賛成派じゃんｗｗｗ
>>602
>>>599
省4
613(1): 2023/08/17(木)07:58 ID:2qfs5wme(4/5) AAS
>>610
>Gabay-O'Connorの定理を認めるなら
んで、Gabay-O'Connorの定理を使った確率空間書いてみな
んで、きちんと確率計算で、確率99/100を導け
できないなら、ギャップあるってことですよ、数学ではねｗｗｗｗｗ
614: 2023/08/17(木)08:00 ID:1XlfUs26(7/60) AAS
時枝正氏は
「確率変数の無限族に対する”強い”独立性の下では選択公理は否定されるのでは？」
と予想しているようだ
実際、Gabay-O'Connorの定理が選択公理と同値か否かは未解決問題である
infinite hat problemは、ただのpuzzleではなく、無限組合せ論を通じて
巨大基数にもつながっている
615(1): 2023/08/17(木)08:07 ID:1XlfUs26(8/60) AAS
>>611
>> 嘉田勝さんから「違う」という言葉をもらってきてよ
> 嘉田勝さんでもだれでも良い
> 大学の数学科教員に”箱入り無数目ただし”と、ホームページに書いて貰え
> それで決着すると、公言しているんだよ
「箱入り無数目は間違ってる」と言い出したのは誰か？ 君だろう？
それを正当化したいのは誰か？ 君だろう？
だったら、君が「その主張は正しい」とその筋の専門家からお墨付きをもらいなよ
なぜ我々が他人である君のために動かなくてはならないのかね？
君は自分が王様で我々は家来だと、勘違いしてるのではないかね？
省6
616: 2023/08/17(木)08:08 ID:GvofdgS7(3/28) AAS
>>609
君消えてくれないかな？
いつもトンチンカンなことしか言わなくて目障りなんだわ
617: 2023/08/17(木)08:12 ID:GvofdgS7(4/28) AAS
>>611
>大学の数学科教員に”箱入り無数目ただし”と、ホームページに書いて貰え
Hart教授が自身のホームページに書いてるよ
>それで決着すると、公言しているんだよｗ
はい、決着したので数学板から退場してね、約束は守ろうな
618: 2023/08/17(木)08:12 ID:1XlfUs26(9/60) AAS
>>612
>"(a-1,a)でのfの値による"は、おれが言い出したわけじゃない
>それを持ち出したのは、箱入り無数目（時枝天動説）賛成派じゃん
なんか記憶がすり替わってるな
誰も、箱入り無数目で"(a-1,a)でのfの値によるf(a)の予測”を使ってるとはいってない
” ”内は、R^Nの場合の一般化の一つだし、状況が異なる
君はとにかく「当たりっこない」という直感にしがみつきたいらしいが
それは「Gabay-O'Connorの定理なんて成り立たない 選択公理なんて成り立たない」
というのと同じ
別に選択公理を否定しても無矛盾な体系は構築できる
省3
619: 2023/08/17(木)08:14 ID:1XlfUs26(10/60) AAS
１も毛六氏も淋しい「かまってちゃん」なんだろう
他人からかまってもらうためなら、間違ってることも平気でいう
まあ、間違ってるという認識もないようだけど
620: 2023/08/17(木)08:20 ID:GvofdgS7(5/28) AAS
>>612
>箱入り無数目（時枝天動説）
出たあああああ おサルさんの得意技レッテル貼り
数学板なんだから間違ってると思うなら数学的根拠示せばよいだけなのになんでそんなに必死なの？まるで○○〇やん
621: 2023/08/17(木)08:26 ID:GvofdgS7(6/28) AAS
>>612
>>が、箱入り無数目不成立の根拠になってないという自覚はある？
>出ました、サイコパス流>>5の詭弁ディベートｗｗｗ
詭弁？ディベート？
何を言ってるのかな？
まさか>>599が箱入り無数目不成立の根拠になってると思ってる？
622(1): 2023/08/17(木)08:32 ID:GvofdgS7(7/28) AAS
>>615
その通りだね
箱入り無数目は証明が公表されている確立された定理
よって異を唱える側に証明責任がある
何を勘違いしてるのかおサルは
623: 2023/08/17(木)08:37 ID:1XlfUs26(11/60) AAS
１は「独立なんだから当たりっこない」と思ってる
しかし「任意有限個の部分集合での独立性」と「無限個の独立性」は違う
Gabay-O'Connorの定理は
「有限個の要素を除いた全部」
の情報が得られることを前提している
もし「任意有限個」の情報だけしか得られないなら
有限相違同値類が特定できないから代表元も得られない
そういう「繊細」な違いが分からん「粗雑」な人には数学は分からんよ
624: 2023/08/17(木)08:39 ID:GvofdgS7(8/28) AAS
おサルさんは自分が球持ちって自覚ある？
最初に肯定派（時枝先生）が証明を示した
次に証明の間違いを示す義務があるのは否定派だよ？
いま球持ちは否定派だよ？分かる？おサルさん
625: 2023/08/17(木)08:41 ID:1XlfUs26(12/60) AAS
>>622
そもそも１はGabay-O'Connorの定理、すなわち
「有限相違同値類の代表元の存在」
が理解できてないと思う
彼は「決定番号の分布ガー」としか言わない
しかも彼の決定番号の理解は、有限列の場合（つまり最後の箱が存在する場合）に基づいている
だから「決定番号が自然数となる確率は０」とか明らかに間違ったことを繰り返し言い続ける
このことは、実は彼のいう「不正則分布」と矛盾するのだが、それすら気づかない
626: 2023/08/17(木)08:51 ID:1XlfUs26(13/60) AAS
＞＞624
１は自分の直感そのまま口にしてるだけだから
「証明」とかいっても無駄だよ
線形代数の正則行列も理解できない人だよ
線形代数なんて別に難しいこと何もいってないけどね
それでも理解できないって要するに論理がわかってないのよ
そして論理を分かろうとすら思わないみたい
１にとって分かる＝直感できる、ってことだから
要するに小学生の算数の理解と同じなのよ
算数は論理じゃなく直感だから
省6
627: 2023/08/17(木)08:53 ID:1XlfUs26(14/60) AAS
まあ、論理に興味ない「直感の人」は
学問なんか興味持たずに
直感が通用することやればいいのよ
スポーツとか音楽とかアートとか
まあ、でも１はそっちもダメっぽいけど
直感もチャチっぽい
628(3): 2023/08/17(木)10:02 ID:43UpJy3d(2/10) AAS
その論理がでたらめなところに問題がある
そもそもどこかに書いてあるから正しいというのは
もっての外
629: 2023/08/17(木)10:07 ID:1XlfUs26(15/60) AAS
AA省
630: 2023/08/17(木)10:15 ID:43UpJy3d(3/10) AAS
自分が書いたものならまだしも
631(3): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/17(木)10:19 ID:QZ6M9wyq(1/15) AAS
>>628
どうもです
謎のプロ数学者さん
ありがとうございます
スレ主です
>その論理がでたらめなところに問題がある
>そもそもどこかに書いてあるから正しいというのは
>もっての外
ありがとうございます
お蔭様で
省1
632: 2023/08/17(木)10:20 ID:1XlfUs26(16/60) AAS
AA省
633: 2023/08/17(木)10:22 ID:1XlfUs26(17/60) AAS
AA省
634(2): 2023/08/17(木)10:23 ID:43UpJy3d(4/10) AAS
繰り返し無定義用語の羅列しかできないのは
オリジナリティーが0だからだと思っている
635: 2023/08/17(木)10:26 ID:1XlfUs26(18/60) AAS
>>634
定義が無定義用語に見えるのは
日本語の論理的読解力が０だから
「思う」すら要らない 明確な事実
636: 2023/08/17(木)10:26 ID:1XlfUs26(19/60) AAS
AA省
637(1): 2023/08/17(木)10:28 ID:1XlfUs26(20/60) AAS
AA省
638: 2023/08/17(木)10:33 ID:43UpJy3d(5/10) AAS
>>7635
他人の尻馬に乗ることにしか興味のない者の
文章など読むに値しない
639(2): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/17(木)11:05 ID:QZ6M9wyq(2/15) AAS
>>631
>ありがとうございます
>お蔭様で
>終わったようですねｗ
では、”時枝「箱入り無数目」ただし”（別名 時枝天動説）は、下記
スレタイ 箱入り無数目を語る部屋8
2chｽﾚ:math
へ 移します
そちらへ
まとめを書いていきます
省2
640(1): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/17(木)11:07 ID:QZ6M9wyq(3/15) AAS
下記は物理系ですが
”研究では若い人が絶対に強い”は、数学でも同じでしょう
外部ﾘﾝｸ:gendai.media
現代ビジネス
2023.08.12
「ありえない」と言われた「透明な半導体」生みの親が語る「日本の若者よ下剋上を目指せ」
細野秀雄東工大教授インタビュー
リケラボ
東京工業大学の細野秀雄栄誉教授・特命教授といえば、
テレビやスマホのディスプレイにもはや欠かせない素材となった「透明な半導体」の実現
省7
641(1): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/17(木)11:08 ID:QZ6M9wyq(4/15) AAS
つづき
―アイデアを考えるためには、やはり文献を読み込んだりするのでしょうか。
細野：文献を丹念に読み込んで、現状の研究で抜けている穴を狙っていく人もいるようですが、私は違います。少なくとも私の場合、発想は自分の頭の中からしか出てこない。だから教科書を読むときも、書いてある内容に対して、自分なりに考え直しています。教科書にはこう書いてあるけれど、自分だったらこうしてみようといった感じです。電子の動きというのは、あらゆる現象のベースとなるものであり、しかもトンネル効果などという非日常的な動きもする。これは面白くて、いくらでも研究テーマが出てくるのではないでしょうか。
―研究者人生で追究できるテーマが4つぐらいだとすれば、30代から何かに取り組み始める必要がありそうです。
細野：だから研究では若い人が絶対的に有利なのです。若い人と我々のような年代の者が、仮に10年かけて勝負するとしたら、まちがいなく若い人が勝ちます。若い人には、前の世代の成果をぶっ壊していくぐらいの気概を持ってほしい。新しい学問を吸収する能力も、若い人のほうが圧倒的に高いではないですか。例えば私は携帯電話から始めてなんとかスマホも使えるようになりましたが、若い人は最初からスマホを自由自在に使いこなせるでしょう。データサイエンスなども若い世代には当たり前にわかる世界だけれど、我々の年代にとってはそう簡単ではありません。
(引用終り)
以上
642(2): 2023/08/17(木)11:09 ID:1XlfUs26(21/60) AAS
>>639
まとめにはQx1〜4のどれがどう誤りか
もしくはどれも正しく、したがって降参か
明確に記すこと
643(1): 2023/08/17(木)11:11 ID:1XlfUs26(22/60) AAS
>>640-641
そういうのは科学技術板？に書きな
644(2): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/17(木)11:16 ID:QZ6M9wyq(5/15) AAS
>>642-643
ふふふｗｗｗ
君は
なぜ私が ”スレ主”なのかが
分かっていないｗｗｗ
645: 2023/08/17(木)11:24 ID:1XlfUs26(23/60) AAS
>>644 ついに●ったか
646: 2023/08/17(木)11:25 ID:1XlfUs26(24/60) AAS
1はスレ主ではない
647: 2023/08/17(木)12:08 ID:2T+DqTTz(1/8) AAS
>>642
ふん
648: 2023/08/17(木)13:05 ID:GvofdgS7(9/28) AAS
>>628
>その論理がでたらめなところに問題がある
記事のどこがどうでたらめなのか具体的に示せと言ってるのに一向に出さないでおいて何を言ってるんだ？
頭おかしいのか？なら精神科行け
649: 2023/08/17(木)13:07 ID:GvofdgS7(10/28) AAS
>>631
>終わったようですねｗ
爺の頭と爺に依存するおサルがなｗ
650: 2023/08/17(木)13:14 ID:GvofdgS7(11/28) AAS
>>634
>繰り返し無定義用語の羅列しかできないのは
あなたの言う無定義用語を列挙願います。
相手に分かるように具体的に言わないならチンピラの言いがかりと見做します。
651: 2023/08/17(木)13:17 ID:GvofdgS7(12/28) AAS
>>639
>”時枝「箱入り無数目」ただし”（別名 時枝天動説）
天動説？
証明のどこがどう間違ってるか何も示さず不成立を妄信おサルさんの独善説こそ天動説では？
652: 2023/08/17(木)13:19 ID:GvofdgS7(13/28) AAS
>>644
スレ立てたからだろ？
それだけで何か特権でもあるかのごとく妄想してるの？
上下前次1-新書関写板覧索設栞歴
あと 350 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s