- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
390 ：１３２人目の素数さん[]：2020/02/14(金) 01:15:21.09 ID:KhbHkail - 選択公理を仮定 ⇒ 選択関数が存在する ⇒ 代表系が存在する ⇒ どの実数列の決定番号も自然数
ここで各実数列の決定番号の値は不明だが、それでも「100列の決定番号の集合の単独最大元はたかだか一つ」が成立することに注意すれば、選択公理 ⇒ 時枝定理 が言えることが分かる。
時枝戦略にとって選択関数はただ存在するだけで必要十分。具体的にどんな関数かは不問。
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
392 ：１３２人目の素数さん[]：2020/02/14(金) 01:51:34.73 ID:KhbHkail - >各実数列の決定番号の値は不明
は、我々には不明という意味ね。我々は代表系の存在しか分かってないから。
「各類から代表を選び，代表系を袋に蓄えておく.」が時枝戦略の手順なので
戦略の実行者は具体的な値を知ることができる設定。
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
393 ：１３２人目の素数さん[]：2020/02/14(金) 01:55:07.91 ID:KhbHkail - >>391
>記事にある数当てまでするとすれば、選択函数の値まで知ることが必要と思います。
数当てする人は知ることができる設定ですよ。
「各類から代表を選び，代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.」
ですから。
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
394 ：１３２人目の素数さん[]：2020/02/14(金) 02:04:54.03 ID:KhbHkail - この数当てする人って、数列の無限項すべてを見通せるとか、商射影 R^N→ R^N/〜の切断を決定できるとか、人智を超えた能力を持っているのですｗ
だから我々の直観と異なる結果になっても実は不思議じゃないのです。数学が分かる人にとっては。
数学がダメな直観頼みな人は拒絶反応を示しますけどねｗ 実際このスレにも一人いますｗ
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
410 ：１３２人目の素数さん[]：2020/02/14(金) 19:06:47.13 ID:KhbHkail - >>395
>数学へぼは、直感で不正解が浮かぶ。確率論を知らない人は、時枝読んで騙される
確率論は無関係ですね。The Riddle は確率を使ってませんので。
確率論をもって時枝不成立などと世迷言を言う輩に数学は無理ですね。時枝＝The Riddle+小学校の確率 ですから。
まあ騙されるなどと豪語するからには証明のギャップを示す自信があるのでしょうね。早く示して下さい。待ち草臥れましたよ？
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
411 ：１３２人目の素数さん[]：2020/02/14(金) 19:12:02.68 ID:KhbHkail - >>395
>時枝読んで騙される
と豪語するのに証明のギャップを示さないということは
「証明のギャップなんてクソくらえ、数学は直観がすべてだ」
と言いたいんですかね？あなたらしいですね（＾＾；
そんなあなたに数学は無理ですね、諦めてスレ閉じましょう（＾＾
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
416 ：１３２人目の素数さん[]：2020/02/14(金) 19:47:51.98 ID:KhbHkail - コンピュータ上にはNすら実装できない訳だが
|