現代数学の系譜11 ガロア理論を読む33 [無断転載禁止]©2ch.net

**現代数学の系譜11 ガロア理論を読む** · 2017/05/27(土) 13:51:04.26

**現代数学の系譜11 ガロア理論を読む** · 2017/06/03(土) 23:10:20.88

>>660
どうも。スレ主です。

キーワード：コーシー分布期待値が収束しない

で、ちょっと検索してみておくれ

そう単純な話ではないと分かるだろう

なお、過去スレ26 に、関連の議論があるよ

**１３２人目の素数さん** · 2017/06/03(土) 23:34:29.06

>>663
期待値って何の期待値？
まさか決定番号が上に有界でないから決定番号の期待値が定まらないとか言わないよね？
そんなものこの戦略には不必要ってわかる？
この戦略で必要なのは、ある列の決定番号が他の全ての列のそれより大きいという事象
の確からしさが、全ての列について同様であることだけだよ？

**１３２人目の素数さん** · 2017/06/03(土) 23:40:03.80

>>656
> 身の程を知らぬ奴には責苦を
> 身の程を知る者には慈悲を

そういう態度ならこちらとしては嬉しいが。。。
おっちゃんは身の程を知っている人間だ。ただ勘違いが多いだけｗ

**１３２人目の素数さん** · 2017/06/03(土) 23:43:38.24

>>660
> 理由はどの決定番号についても同様の確からしさだから

>>664
> この戦略で必要なのは、ある列の決定番号が他の全ての列のそれより大きいという事象
> の確からしさが、全ての列について同様であることだけだよ？

確率空間を誤解している輩が可測性を持ち出して反論してきそうなので、あらかじめ補足しておきます。

記事の標本空間はΩ_s＝{s}×K, s∈R^N, K={1,2,...,100}であり、同様に確からしいのは
100面サイコロの出る目i (i＝1,2,...100)、つまりP(i)＝1/100 (i＝1,2,...,100)です。
R^Nはsと決まっていますから、i列目の決定番号d_iはiの関数であり可測です。
いかなるsに対しても100個のdのうちMax{d}は1つ以上存在します。
1つのみ存在するときに勝つ確率はたった1つのMAXを選ばない確率に等しく99/100。
2つ以上存在するときに勝つ確率は1。
よっていかなるsに対しても勝つ確率は99/100以上ということになります。

記事の問題設定では決定番号dは有限個の箱のラベルiの関数なので可測です。
一方標本空間をR^N×Kに取ったときは決定番号dはR^N×Kの関数となり、
勝つ事象Eの可測性が言えないことに注意を払う必要が出てきます。

「非可測ゆえに確率は語れない」で終わってもよいのですが、、
いかなるs∈R^Nに対しても確率99/100以上で勝てるならばP(E)≧99/100だろう、
と思うのが（普通の）人間の直感だと私は思います。

スレ28ではその直感を裏切らない考察がなされています。
（http://rio2016.2ch.net/test/read.cgi/math/1483314290/25）
25の一部訂正⇒（http://rio2016.2ch.net/test/read.cgi/math/1483314290/51）
（http://rio2016.2ch.net/test/read.cgi/math/1483314290/52）

**１３２人目の素数さん** · 2017/06/03(土) 23:45:51.88

>>666
> 記事の問題設定では決定番号dは有限個の箱のラベルiの関数なので可測です。

⇒記事の問題設定では決定番号dは有限個の"列"のラベルiの関数なので可測です。

修正です。失礼しました。

**１３２人目の素数さん** · 2017/06/04(日) 07:11:48.92

>>657
４　Y
>>661

　　　　　　　　　　　　　　,,,,,,,,,,,,,,,,,,,,
　　　　　　　　　　　　／": : : : : : : : ＼
　　　　　　　　　　　/-─-,,,_: : : : : : : : :＼
　　　　　　　　　　/　　　　　'''-,,,: : : : : : : :i
　　　　　　　　　 /、　　　　　　/: : : : : : : : i　　　　　＿＿＿＿＿＿＿＿
　　　　　　　　　r-、 ,,,,,,,,,,、　/: : : : : : : : : :i　　　／
　　　　　　　　　L_,　,　　、　＼: : : : : : : : :i　　／　若いと云われたら
　　　　　　　　 /●) (●>　　　|: :__,=-、: /　＜　　　負けかなと思ってる
　　　　　　　　l ｲ　 '-　　　　　|:/　tbﾉﾉ　　　　＼
　　　　　　　　l ,`-=-'＼　　　　 `l ι';/　　　　　＼　もっしゅっしゅメイト（YOSHIKIと同い年？・男性）
　　　　　　　　ヽﾄｪ-ｪｪ-:）　　　　-r'　　　　　　　　　￣￣￣￣￣￣￣￣
　　　　　　　　　ヾ＝-'　　　　　／ /
　　　　　＿＿＿_ヽ::::...　　　／ ::::|
　　／￣　::::::::::::::l　`──''''　　 :::|

**１３２人目の素数さん** · 2017/06/04(日) 07:18:41.46

>>666
いい番号だ　メタル好きが好みそうな・・・

何番かは忘れたが、１００人がそれぞれ別の列を選んだら
最大値を選んだ奴以外は当たるだろ、という指摘があったので
それが一番わかりやすいと思う
（注：ただし最大値が二人以上の場合は貴方の指摘通り皆当たる）

ということでスレッド主は「当たるわけがねぇ！」というなら
やっぱり選択公理を否定するしかない
ま、サタニストになるのに比べたら全然大したことないが・・・

それでは今日のナンバー

Emperor - I Am The Black Wizards
https://www.youtube.com/watch?v=ZsQs4RZNiIg

**１３２人目の素数さん** · 2017/06/04(日) 08:06:32.67

>>669
> 何番かは忘れたが、１００人がそれぞれ別の列を選んだら
> 最大値を選んだ奴以外は当たるだろ、という指摘があったので
> それが一番わかりやすいと思う

海外サイトでは100個の数列と100人の数学者がいて99人は数を当てられる、という設定で紹介されてますよね。

**現代数学の系譜11 ガロア理論を読む** · 2017/06/04(日) 08:20:30.74

>>664 >>666-667
どうも。スレ主です。

期待値は、下記コーシー分布記載の意味。まあ、普通には平均値と言ったりする
この話は、過去スレ26で書いたけど

コーシー分布を代表として、さまざまな、裾の重い分布（下記）があり、大数の法則が成立しないケース（下記）がある
時枝解法を、多数繰り返したとき、99/100が大数の法則として、成立しない確率分布になっているのではないか？　ここは数学理論として要検証事項だろう

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%86%E5%B8%83
コーシー分布
(抜粋)
期待値が定義されない理由
確率分布が確率密度関数f(x)を持つ場合、その期待値は以下のように与えられる。
∫(-∞ ～ ∞) xf(x)dx．（注；-∞ ～ ∞の積分を表す）
標準コーシー分布の場合は、
・・・（省略）
となるが、この極限はどのような値でも取り、 R_{1}=R_{2}の関係を保って無限大になるときは0に、 R_{1}=2R_{2}の関係を保って無限大になるときは log(1/4)/πになるなど、2重極限のとしての収束値は存在しない。このため、期待値は存在しない。

大数の強法則など、期待値に関する確率論のさまざまな結果は、このようなケースでは成立しない。

https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83
裾の重い分布
(抜粋)
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的などがある。

https://ja.wikipedia.org/wiki/%E5%A4%A7%E6%95%B0%E3%81%AE%E6%B3%95%E5%89%87
大数の法則
(抜粋)
大数の法則が成立しないケース
大数の法則は期待値の存在を前提としている。そのため、期待値の存在しない場合に大数の法則を適用することは適切ではない。例えば安定分布において特性指数が α ≦ 1 の場合、期待値は存在しないことから、大数の法則は成立しない。(例：コーシー分布)

**１３２人目の素数さん** · 2017/06/04(日) 08:43:09.47

>>671
それは反論になってない何度も言われてるでしょ？
繰り返すなよ

**１３２人目の素数さん** · 2017/06/04(日) 08:47:12.79

>>666
> R^Nはsと決まっていますから、i列目の決定番号d_iはiの関数であり可測です。

スレ主はこの意味が理解できないの？
d(i)＝d_i。これが記事におけるdの分布。
d_iは定数だよ。sが決まってるんだから。
裾は重くないよ。iは有限で1から100までしか取らないから。

コーシー分布だの裾が

**１３２人目の素数さん** · 2017/06/04(日) 08:47:31.43

おっちゃんです。
そういえば、一番数学で大事なのは論理ではなく、アイディアだね。
経験談だが、研究でこれで行けるだろうというような定理の方針が中々使えないのだからね。
せっかく示したというのに、挫折。
これを生かせないようでは無意味だったということに終わる。
現在はこれを生かすアイディアを模索中だよ。
意味ある論理は、アイディアと比べたら二の次。

**１３２人目の素数さん** · 2017/06/04(日) 08:47:38.78

コーシー分布だの裾が重いだの全然関係ないよ

**現代数学の系譜11 ガロア理論を読む** · 2017/06/04(日) 08:49:17.55

>>666-667
どうも。スレ主です。

あなたたち、スレ28の失敗の一つは、まとめがないことだな http://rio2016.2ch.net/test/read.cgi/math/1483314290/
スレ28で、数学ソクラテスメソッドをやった。共同研究としてはありだろう。だが、まとめがない

もう一つの失敗は、匿名の名無しさん同士の議論に終始した。外から見て、ぱっと見なにがなにかわけわからん。当事者は分かっているとしても
仮にでも、固定名を付けて、議論したら、ずっと見やすかったろう。が、それは、いまさら言っても仕方がないが

ともかく、スレ28のまとめかレビュー作成をお薦めしますよ（ベストは数学の証明として完成させることだが、それは無理として次善策で）。大人の作法としてね
”まとめ”は、ビジネスでは、レビュー【 review 】と言ったりすることもあるけど（下記）

http://e-words.jp/w/%E3%83%AC%E3%83%93%E3%83%A5%E3%83%BC.html
レビューとは - IT用語辞典

**１３２人目の素数さん** · 2017/06/04(日) 08:57:08.34

>>676
まとめがない、ハンドルがない、そんなことしか言えんのかw

**現代数学の系譜11 ガロア理論を読む** · 2017/06/04(日) 09:08:20.56

>>670
>海外サイトでは100個の数列と100人の数学者がいて99人は数を当てられる、という設定で紹介されてますよね。

どうも。スレ主です。情報ありがとう
類似の話題は、過去スレで出た記憶あり。どこか面倒なので、探さないが、代用下記。こんな感じだったと思う
時枝問題と似ているようでも、違うと思うよ
http://000013.blogspot.jp/2010/12/99.html
[パズル] 99人の囚人 2010年12月18日
(抜粋)
この問題は、職場の先輩のブログ: にゃんたこす！徒然草。の99人の囚人問題編(数学パズル)という記事に載っていたものです。
http://yamanity.blog.ocn.ne.jp/nyantacos/2010/03/post_c8c7.html （注：リンク切れだったが）

問題
９９人の囚人がいます。彼らの頭に１～１００までのナンバーカードが貼りつけられた帽子をランダムにかぶせます。
他人の帽子は見ることができても、自分の帽子は見ることができません。
帽子の数は全部で１００なので、一つ使われずに余ります。
そのナンバーは囚人達にはわからないようにしておきます。
この状況で、囚人たちに一斉に自分のナンバーを宣言させて、全員が正解だったら釈放するという賭けをします。
囚人たちには帽子をかぶせられる前に相談タイムが設けられています。
どういう戦略を取れば、助かる確率を最も高くできるでしょうか？

以下では、ヒントと答えを書きます。

**現代数学の系譜11 ガロア理論を読む** · 2017/06/04(日) 09:10:04.72

>>678 関連

直接関係ないが、類似ヒットしたので貼る（＾＾
http://logicpuzzle.seesaa.net/
2012年08月05日 100人の囚人と50個の箱パズル（難）論理パズルで楽しく脳トレ
(抜粋)
Quoraという質問サイトで、「What is the hardest logic puzzle ever?」という質問に対して寄せられた問題の一つです。→問題の転載元サイト
http://www.quora.com/What-is-the-hardest-logic-puzzle-ever
【問題】
100人の囚人がいます。
事前に作戦を相談することができますが、ゲームが始まると互いにコミュニケーションは取れません。
各囚人には固有の名前が付けられています（1から100までの番号でいいでしょう）。

看守が部屋に1から100までの番号がついた100個の箱を用意し、それぞれの箱には囚人の名前が書かれた紙が1枚ずつ入っています。
それぞれの箱には囚人一人の名前が入っていて、また囚人のそれぞれの名前はただ一つの箱に入っています。つまり囚人の名前と箱は1対1に対応しています。トリックはありません。
看守は無作為に囚人の名前を箱に配分しています。

囚人たちは一人ずつ部屋に入ります。ゲーム中には互いにコミュニケーションが取れないので、順番はわかりません。部屋に入ると100個の箱のうち、50個の箱を開けて中を確認します。そして紙に書かれた名前を見て、箱をすべて閉じて最初の状態に戻し、部屋を出ていきます。

すべての囚人が50個の箱のどれかに自分の名前を見つけることができれば、囚人たちは釈放されます。しかし一人でも自分の名前が見つけられなければ、他の囚人の論理パズルでもありがちな設定の通り、囚人たちは処刑されます。

そこで、囚人たちが生き残る確率が高くなるように、30％以上の確率で生き残れる作戦を見つけてください。（問題終わり）

**現代数学の系譜11 ガロア理論を読む** · 2017/06/04(日) 09:14:28.14

>>677
>まとめがない、ハンドルがない、そんなことしか言えんのかw

大事なことだよ。社会人なら分かるはず
１．ハンドルがない：二人が議論して、錯綜している。分かり易くすべき。分かり易さは大切だぜ
２．まとめがない：まとめがない報告書は、上司から突き返されるだろうね

学生さんは、教員から見て、ある意味お客様だから、汚い字で読みにくいレポートでもなんとか読んでくれるだろう（が、心象は悪いとしても）
だが、社会人のレポートなら、ゴミ箱行きだな

**現代数学の系譜11 ガロア理論を読む** · 2017/06/04(日) 09:17:46.03

>>674
おっちゃん、どうも、スレ主です。

>そういえば、一番数学で大事なのは論理ではなく、アイディアだね。

それは、数学以外でも同じだが
数学は、アイディアが軽視されがちだね。日本の数学教育の欠点かもな（＾＾

**１３２人目の素数さん** · 2017/06/04(日) 09:20:20.35

>>676,678-681
論点を逸らさず、>>670に反論しろよｗ

**１３２人目の素数さん** · 2017/06/04(日) 09:25:15.05

>>681
知識云々は、挫折して示した定理を生かすための模索でやっている。
何の研究かはいわないけど、本当にこれは難しいよ。
何かいい方法ってあるのかね。

**１３２人目の素数さん** · 2017/06/04(日) 09:36:09.69

>>680
> だが、社会人のレポートなら、ゴミ箱行きだな

貴方は社会人だから話の論点をずらし、直接的な回答を避けてはぐらかし、無関係なコピペで誤魔化すわけだ。
p(i)=d_i (i＝1,2,...,100, d_iは定数）という至って簡単な有限の分布に対して
貴方は社会人だから"裾が重い"と馬鹿を言い続けるのか？
俺だったらお前みたいな自称社会人は雇わないな。

**１３２人目の素数さん** · 2017/06/04(日) 10:14:23.33

スレ主さん
時枝戦略には決定番号の期待値は不必要
このことを認めますか？YESかNOで答えて下さい

**１３２人目の素数さん** · 2017/06/04(日) 11:17:31.24

スレ主みたいな馬鹿は無視でいいだろ。数学板なんだから。

**１３２人目の素数さん** · 2017/06/04(日) 11:27:42.74

ばか

**１３２人目の素数さん** · 2017/06/04(日) 12:19:01.49

>>680
まあ、数学でも公式の場だと最初に大雑把なまとめは必要になるわな。
まとめがなくても済むような内容が本物。それこそ値打ちあり。

**１３２人目の素数さん** · 2017/06/04(日) 12:23:27.52

>>688
スレ28はおっちゃんやスレ主が読めるように易しく書かれていなくてごめんね。

**１３２人目の素数さん** · 2017/06/04(日) 12:31:00.71

>>689
数学でも論文だと最初に大雑把なまとめなどは必要になる。
>>688の「公式の場」というのはこのような意味で書いたんだけど。

**１３２人目の素数さん** · 2017/06/04(日) 13:08:07.56

>>669
懐かしいけど、すっかり毒が抜けてしまった

**１３２人目の素数さん** · 2017/06/04(日) 14:53:13.58

1.袋の中に沢山のカードが入っています。
2.どのカードにも1つのユニークな自然数が書かれていて、あらゆる自然数が揃っているとします。
3.袋の中を見ないで1枚カードを取ると、あらゆる自然数から無作為に一つの自然数を選択したことになります。
4.100人で1枚ずつカードを取り、一番大きい自然数を取った人が勝つゲームをすることになりました。
5.ゲームに参加した私が勝つ確率はいくらでしょうか？
6.またその確率を求めるのに、取る自然数の期待値を求める必要はあるでしょうか？

**１３２人目の素数さん** · 2017/06/04(日) 15:18:55.49

最低限必要な論理も欠けているスレ主とおっちゃんが
「数学は論理じゃない、アイディアだ」と語り合ってるのも
シュールというか、コントだな。

**１３２人目の素数さん** · 2017/06/04(日) 15:28:01.64

論理を持ち合わせてないひとのアイディアに価値はない。
アイディアを強調するのは、せいぜい「自分の考えたこと
なんだから、他人の考えたことよりも大事」という
トンデモにありがちな自己中心。本物のアイディアは
論理の中からしか生まれてこない。

**１３２人目の素数さん** · 2017/06/04(日) 15:29:04.41

スレ主はアイデアよりも論理よりも前に倫理だろｗ
話を逸らすな、はぐらかすな、ごまかすな

**１３２人目の素数さん** · 2017/06/04(日) 15:30:54.90

スレ主はアホして逃げ回るサル山の猿にしか見えない

**１３２人目の素数さん** · 2017/06/04(日) 15:50:40.54

>>693
>最低限必要な論理も欠けているスレ主とおっちゃん
私のことをそういうなw

>論理を持ち合わせてないひとのアイディアに価値はない。
物理の論理は解析の論理より厳密ではない。
しかし、物理学者の営みから偏微分方程式などのアイディアは生まれる。
解析のアイディアの中には物理的営みから生まれることがある。
そうでなくても、運がよければ些細な営みがアイディアになることがある。
必ずしも論理を持ち合わせていない人のアイディアに価値がないとは限らない。

**１３２人目の素数さん** · 2017/06/04(日) 15:57:35.18

>>676
選択公理を認める限り、無限列から”しっぽの同値類”の代表元への関数は存在する
無限列と代表元の比較から決定番号も求まる
１００列ある場合には、１００人の数学者がそれぞれ違う列を選べば
決定番号が最大値となる１人を除く９９人は確実にそれぞれの箱の中身を当てられる　
全てこのスレッドでまとめられた（記事を読めば人間であれば誰でも分かることだが）

スレッド主は
「無限列から”しっぽの同値類”の代表元への関数を具体的に示せ」
と絶叫し続けているようだが、選択公理を全くご存じないらしい

スレッド主の「当たりっこない」という主張は、必然的に選択公理の否定を導く
ただそれだけでは元の記事の「選択公理に基づけは、確率１－εで当てられる」
の対偶でしかない

スレッド主こそ「当たりっこない」というなら、その結論を導けるような
「無限類の強力な独立性」の”新公理”を示すべきだろう
それには測度論だけでは不十分であり、集合論の理解が必要だろう

**１３２人目の素数さん** · 2017/06/04(日) 16:00:38.23

>>694
>本物のアイディアは論理の中からしか生まれてこない。
あと、ここ日本語になっていない。果たしてここでいう「論理」とはどういう意味だ？
論理より直観が先だ。どこまで先の展開が読めるか。そういう直観だよ。
よく間違えていたけど天才とされる研究者も過去にいただろ。

**１３２人目の素数さん** · 2017/06/04(日) 16:05:02.04

>>691
これまたいい番号だ　数学的に、だが
http://www.geocities.jp/ikuro_kotaro/koramu/bell.htm

実のところEmperorはリアルタイムでは聞いてないのだが
単純にいいバンドだと思っている
Black Metalが好きな人にとっては大いに不満だろう、と思うが

Emperor - Inno A Satana
https://www.youtube.com/watch?v=E2-YwnfRC1Y

**１３２人目の素数さん** · 2017/06/04(日) 16:14:51.23

>>683
＞挫折して示した定理

上記は日本語の文章として間違ってる

ある言明を証明しようとしたが挫折した、というなら
その言明は定理ではない　あくまで”予想”にすぎない

**１３２人目の素数さん** · 2017/06/04(日) 16:15:11.48

>>699
なぜ、それが必要なのか？なぜ、そう考えるべきなのか？
というのは全部論理だよ。「自分で思いついて、惚れたから」
というのは、論理にならない。理由があって必然的に出て
きたものが役に立たないということはないだろう。
「自分」に拘って、ゴミの使い道を考えても、詮無い。
ただ、「役に立たない」ということを認識できているなら
まだましな方だろう。

**１３２人目の素数さん** · 2017/06/04(日) 16:19:30.08

>論理より直観が先だ。どこまで先の展開が読めるか。そういう直観だよ。

将棋や囲碁でもそんなことが言われたことがあったが、今や100％論理
で動いているAIに全く歯が立たないけどな。
直観だの読みだの言っても、自惚れに過ぎなかったというわけ。

**１３２人目の素数さん** · 2017/06/04(日) 16:21:33.08

>>689
工学屋は「関数とは計算手続きのことだ」とナイーブに狂信しているから
「箱入り無数目」記事のように「選択公理によって・・・なる関数が存在する」
という証明が理解できない　選択公理を知らないからだが、知ったとしても
「そんな公理は間違ってる」と云いだすだけだったりする
文章の書き方の問題ではなく、そもそも信仰してる宗教が異なるのである（マジ）

**１３２人目の素数さん** · 2017/06/04(日) 16:40:28.31

>>680
＞まとめがない報告書は、上司から突き返されるだろうね

ここで起きている状況は以下の通り

「とある社員が規定に基づき作成した文書を、上司が
　「おれはこんな規定認めんぞ！」といって突き返した」

典型的なコンプライアンス違反事例なので
上司が上記の態度をとり続けるならば
ブラック企業でない限り解雇されます

このスレッドは典型的なブラック企業のようですが・・・

**１３２人目の素数さん** · 2017/06/04(日) 16:44:07.57

>>701
>ある言明を証明しようとしたが挫折した
その意味ではなく、まだ公表はしていないが、既に定理自体は示せた。
最初は或ること(ここではいわない)にその定理の活用が出来ると考えていたが、
結局この活用法が今のところまだ見い出せなくて挫折した状態である。
有力な定理になるだろうと思ったが、意外にそうではないことが分かり挫折した状態である。
そういう意味で書いた。

>>702
>なぜ、それが必要なのか？なぜ、そう考えるべきなのか？
>というのは全部論理だよ。
これは、論理というより哲学だな。
海外の国の中にはそういうことを日常茶飯事でしているところがあって、
数学に限らず日常生活でも使える考え方だ。

>>703
将棋で羽生とAIとの対局はしたのかい？
それで羽生がAIに負けたのかい？

**１３２人目の素数さん** · 2017/06/04(日) 16:48:14.91

スレ主さんの根拠って、論破され済みの
・確率の専門家さんが後段に書かれている時枝氏の確率論に対する認識を批判した
・決定番号の分布は裾が重いから期待値が収束しない
・サイコロの目は確率1/6でしか当てられないから矛盾である
以外に何かある？

**１３２人目の素数さん** · 2017/06/04(日) 16:50:52.07

「箱入り無数目」はアルゴリズム的な解釈もできると思う。
問題の設定では、s∈R^N全く任意の元としている。（そうした方が一般的で単純だから。）
これは実数Rの扱いとも似ている。ちなみに佐藤幹夫なんかは、実際には代数的な操作
が必要で大事だけど、Rだのバナッハ空間だのは思い込みで、理論がそれらの
上に乗っかっているとは限らないんじゃね？みたいに言ってる。それはさておき
sが自然数nの「函数」として具体的に与えられている場合を考えてみると
出題者は「しっぽ」によって、函数の正体を見破られてしまう
有限の範囲では攪乱できても無限の彼方ではそれができない、ということと符合している。
選択公理だって数学者の必要から生まれてきたわけで
バナッハ=タルスキの定理も読んでみたが、だから不自然だとは思わなかった。

**１３２人目の素数さん** · 2017/06/04(日) 16:56:11.96

>>706
＞まだ公表はしていないが、既に定理自体は示せた。

自称”定理”ということですね

＞最初は或ること(ここではいわない)にその定理の活用が出来ると考えていたが、
＞結局この活用法が今のところまだ見い出せなくて挫折した状態である。

１行目と２行目がつながらない　２行目が
「実は活用するには前提条件を緩和する必要があるため挫折した」
ならわかるが

**１３２人目の素数さん** · 2017/06/04(日) 17:02:14.40

>>707
「アルゴリズム的な解釈」の意味が不明

＞sが自然数nの「函数」として具体的に与えられている場合を考えてみると
＞出題者は「しっぽ」によって、函数の正体を見破られてしまう
＞有限の範囲では攪乱できても無限の彼方ではそれができない、
＞ということと符合している。

あなたの”幻聴”と符号しても意味がない

**１３２人目の素数さん** · 2017/06/04(日) 17:04:53.53

>>710
誤　>>707
正　>>708

数学板に限らず、schizophrenicな人は少なくない

**１３２人目の素数さん** · 2017/06/04(日) 17:08:35.84

>将棋で羽生とAIとの対局はしたのかい？
羽生自身は対戦してないが、羽生を負かして名人になった
佐藤天彦元名人が、今年2連敗してプロ対ソフト戦は終わっている。
他にもあらゆる状況証拠から、羽生もどんなプロ棋士も
もうソフトには勝てない。対局しても1%勝てないという
ように告白してる若手棋士もいる。だから、「羽生の直観」
にしても、人間の自惚れだったってこと。

**１３２人目の素数さん** · 2017/06/04(日) 17:08:49.68

>>709
>自称”定理”ということですね
まあ、知らない人にとってはそんな感じになるな。

>１行目と２行目がつながらない
いや、或る集合Aと或る集合Bとの間に関数で全単射を与えることは出来た。
その定理で幾何的な対応を与えることは出来る。
これが活用法を見い出そうと考えている定理の内容だが、
まだ活路は見い出せず挫折している状態だと。そういうこと。
最初の方針で貫徹するには、次はとても大変なことをする必要がある。