現代数学の系譜工学物理雑談古典ガロア理論も読む46

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

479: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/22(水) 19:16:31.41 ID:mEHYOxL2

>>478 つづき

そのために、Taylor先生達の本と論文から、下記関連事項を３つ引用する。

(>>44-45より)
https://pdfs.semanticscholar.org/8514/a9f8b30546ea81739b9409132673276713d3.pdf
[成書]The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems Hardin, Christopher S., Taylor, Alan D. November 26, 2012
(抜粋)
P109
Bibliography
[HT08b] Christopher S. Hardin and Alan D. Taylor. A peculiar connection between the axiom of choice and predicting the future. American Mathematical Monthly, 115(2):91{96, February 2008.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.365.7027&rep=rep1&type=pdf
[HT09] Christopher S. Hardin and Alan D. Taylor. Limit-like predictability for discontinuous functions. Proceedings of the AMS, 137:3123{3128, 2009.
http://www.jointmathematicsmeetings.org/proc/2009-137-09/S0002-9939-09-09877-3/S0002-9939-09-09877-3.pdf
(引用終り)（注：PDFのURLは、私が付与した）

（[HT08b](2008)が下記１）項関連、[HT09]（2009）が下記２）項関連、[成書]（2012）が３）項関連で、時間順です。）

（注：[HT08b] は、https://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008
で 引用されており、かれの”Here’s a puzzle”の元ネタと思われる。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/479

480: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/22(水) 19:17:55.55 ID:mEHYOxL2

>>479 つづき

１）
さて、まず、[HT08b] より
(抜粋)
P91
1. INTRODUCTION.
We often model systems that change over time as functions from the real numbers R (or a subinterval of R) into some set S of states, and it is often our goal to predict the behavior of these systems.
Generally, this requires rules governing their behavior, such as a set of differential equations or the assumption that the system (as a function) is analytic.
With no such assumptions, the system could be an arbitrary function, and the values of arbitrary functions are notoriously hard to predict.
After all, if someone proposed a strategy for predicting the values of an arbitrary function based on its past values, a reasonable response might be,
“That is impossible. Given any strategy for predicting the values of an arbitrary function, one could just define a function that diagonalizes against it: whatever the strategy predicts, define the function to be something else.”
This argument, however, makes an appeal to induction:
to diagonalize against the proposed strategy at a point t, we must have already defined our function for all s < t in order to determine what the strategy would predict at t.

In fact, the lack of well-orderedness in the reals can be exploited to produce a very counterintuitive result: there is a strategy for predicting the values of an arbitrary function, based on its previous values, that is almost always correct.
Specifically, given the values of a function on an interval (?∞, t), the strategy produces a guess for the values of the function on [t,∞), and at all but countably many t, there is an ε > 0 such that the prediction is valid on [t, t + ε).
Noting that any countable set of reals has measure 0, we can restate this informally: at almost every instant t, the strateg predicts some “ε-glimpse” of the future.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/480

481: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/22(水) 19:18:43.01 ID:mEHYOxL2

>>480 つづき

Nevertheless, we choose this presentation because we find it the most interesting, as well as pedagogically useful.
For instance, “predicting the present” is a very natural way to think of the problem of guessing the value of f (t) based on f |(?∞, t).

2. THE μ-STRATEGY.
(詳細は略すので、原文ご参照。ここに引用するには、数学記号が複雑過ぎるので。)

P92
3. PREDICTING THE PRESENT.
(詳細は略すので、原文ご参照。ここに引用するには、数学記号が複雑過ぎるので。)

Corollary 3.4. If T = R and ∇ is <, then W0 is countable, has measure 0, and is nowhere dense.

What Corollary 3.4 tells us is that, if we model the universe as a function from the real numbers into some set of states, then the μ-strategy will correctly predict the present from the past on a set of full measure.
(In the following section, we show that, on a set of full measure, it correctly predicts some of the future as well.)
Note that these results concerning T = R are also valid when T is any interval of reals.
One needs to be cautious about interpreting this as meaning that the μ-strategy is correct with probability 1.
For a fixed true scenario, if one randomly selects an instant t in the interval [0,1] (or in R, under a suitable probability distribution), then
Corollary 3.4 does tell us that the μ-strategy will be correct at t with probability 1.
However, if one fixes the instant t, and randomly selects a true scenario, then the probability that the μ-strategy is correct at t under that scenario might be 0 or might not even exist, depending on how one defines the notion of a random scenario.

P95
W = {t ∈ R | the μ-strategy does not guess well at t }.
Theorem 5.1. The set W is countable, has measure 0, and is nowhere dense.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/481

483: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/22(水) 19:19:42.88 ID:mEHYOxL2

>>482 つづき

２）
次に[HT09] より
(抜粋)
P3126
The derivation of this from our main result uses the upward topology on α in which, as we mentioned, the scattered sets are the finite subsets of α.
A known result that we extend here is Theorem 5.1 from [5] in which the present is predicted from an “infinitesimal” piece of the past, and the predictor is correct except on a countable set that is nowhere dense.
In terms of our framework here, we have the topology on R in which the basic open sets are half-open intervals (w, x]
(so f ～x g if f and g agree on (w, x) for some w < x).
It is known that the scattered sets here are countable and nowhere dense.
The exact characterization of the error sets in this example (as scattered sets) was absent in [5].

[5] C. Hardin and A. Taylor, A peculiar connection between the axiom of choice and predicting the future, American Mathematical Monthly 115 (2008),

（一部仮訳）
ここで拡張した既知の結果は、[5]からの定理5.1であり、ここでは、過去の「無限小」の部分から予測され、予測は正しいとは言えない。

この例における誤差集合の正確な特徴付け（分散集合として）は[5]にはなかった。
(引用終り)

＜まとめ２＞
Taylor氏らは、[HT08b] の結論を否定している。
”予測は正しいとは言えない”＆
”この例における誤差集合の正確な特徴付け（分散集合として）は[5]にはなかった”
という。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/483

485: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/22(水) 19:20:59.14 ID:mEHYOxL2

>>484 つづき

＜結論＞
１．以上より、[HT08b]（XOR’S HAMMERのパズル元ネタ）は、著者自身の手（[HT09]と[成書]と）で、否定されている。
　”The exact characterization of the error sets in this example (as scattered sets) was absent in [HT08b].”
２．元々、[HT08b]中で
　「これをμ戦略が確率1で正しいと解釈することには注意が必要です。
　　固定されたfixed true シナリオの場合、区間[0,1]（またはRにおいて、適切な確率分布の下で）において瞬間tをランダムに選択すると、
　　推論3.4は、μ戦略がtで確率1で正しいことを教えてくれる。
　　しかし、瞬間tを固定してランダムにfixed true シナリオを選択すると、そのシナリオの下でμ戦略が正しい確率は0であるか、または存在しないかもしれません
　　ランダムなシナリオの概念をどのように定義するかによって異なります。」と注意を入れていて、完全に嵌まっている訳では無かったが
　　しかし、その”1. INTRODUCTION”には、思わせぶりなことが書いてあり、ミスリードだろう。

３．XOR’S HAMMERは、勿論、きちんと[HT08b]中の注意書きは読んでいて、意識してあくまで、”Here’s a puzzle”と断っていることを注意しておく。

４．なお、XOR’S HAMMERのパズルに嵌まるのは、[HT08b]でのTaylor氏らの嵌まり方を見ると、素人衆がハマルのも、これは無理は無い面もある。

５．しかし、ハマッたままで、”固定！”とか勝手に叫ぶと、時枝でも同じく嵌まりの図だろう。
　「何を固定するかで、確率が１になったり、０になったり、はたまた、存在しないかもしれない
　　ランダムなシナリオの概念をどのように定義するかによって異なる。
　　これが、[HT08b]の結論である！」（上記）をしっかり味わうように！！

以上

http://rio2016.5ch.net/test/read.cgi/math/1510442940/485

489: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/22(水) 19:38:54.99 ID:mEHYOxL2

>>485 補足２

上記を見れば、私が、下記”「XOR’S HAMMERのHere’s a puzzle」が、Taylor氏の”A Study of Generalized Hat Problems ”にあるというウソ”を、見抜いて根拠ある発言をしていることが知れるだろう

対して、サイコパスは、「みさかいなく反射的にウソをついている」（きちんとTaylor氏の本を確認していない）ことが明白だ！

＜参考引用＞
>>222 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/17(金)
(抜粋)

一人サイコパスがいる。これは罵倒ではなく、事実だ
かれは、２回明白なウソをついた

一つは、「XOR’S HAMMERのHere’s a puzzle」が、Taylor氏の”A Study of Generalized Hat Problems ”にあるというウソ（引用２）

サイコパスは、自分のウソに自分が騙されるようだ（＾＾
これでは、厳密な論理が求められる数学には向かない性格だろう（＾＾

（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日（>>1）

（引用２）
スレ45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/582
582 返信：１３２人目の素数さん[sage] 投稿日：2017/11/08(水) 06:08:45.65 ID:bFycbFFu [1/5]
>>577
>これまっとうな教科書（テキスト）になってますか？

既出　おまえバカなの？

The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition
by Hardin, Christopher S., Taylor, Alan D. (2013) Hardcover
Springer Verlag

https://pdfs.semanticscholar.org/8514/a9f8b30546ea81739b9409132673276713d3.pdf
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1510442940/489

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 7.556s*