On 28 Feb 2015, at 00:34, meekerdb wrote:
On 2/27/2015 1:53 AM, Bruno Marchal wrote:
Only because it assumes the Born rule applies to give a
probability interpretation to the density matrix. But
Everettista's either ignore the need for the Born rule or they
suppose it can be derived from the SWE (although all attempts have
fallen short).
Gleason's theorem (or simpler: Destouches-Février, or Finkelstein
(simplified in Selesnick's book) + the comp FPI + the SWE explains
the Born rule.
I don't think so. FPI doesn't imply a measure; indeterminancy=/
=probability.
It must justify the one we "see". That's the point of reasoning
backward.
Gleason't theorem only shows that a measure must be the Born rule in
order to be a consistent probability measure. But it's not so clear
how FPI implies some measure satisfying Kolmogorov's axioms.
Well, it does in the simple iterated duplication.
And if comp is true, and there is no approximately locally computable
measure, then there is no such measure in nature too.
But the theorems of the material hypostases theories (S4Grz1, ...)
suggest we do have a calculus of uncertainty. To find the measure, we
must find good semantics for them. We must progress in the art to
listen to the universal machine. It is hard work. I guess for the next
generations.
Bruno
Brent
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.