- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Bruno Marchal <marchal.domain.name.hidden>

Date: Wed, 28 Jan 2009 20:58:38 +0100

Hi again Günther,

*>
*

*> Again a question for Bruno ;-)
*

*>
*

*> There are certain arguments (Deutsch, Wallace, Greaves) that propose
*

*> that they can derive probabilites (and the Born rule) from decision
*

*> theory - although I am not convinced (see for instance Price 2008 -
*

*> http://arxiv.org/abs/0802.1390).
*

Careful: they derive the Born rule from decision theory AND Everett QM

= the SWE+comp, mainly).

(but the UDA tells us that with comp we have to derive also QM

*>
*

*>
*

*> Criticism notwithstanding, I think that Deutsch Et Al have made
*

*> interesting inroads into the problem of probability and am optimistic
*

*> that it will be solved.
*

I think so too.

*> Everett is at least not worse off than other
*

*> intrepretations concerning probability.
*

I share with Everett and deWitt the opinion that the SWE provides its

own internal interpretation. Indeed, I believe Arithmetic provides its

own internal many interpretations.

*>
*

*>
*

*> But I have a question concerning the UDA: here, we don't even have
*

*> intuitive concepts of wave interference, decoherence etc anymore,
*

*> which
*

*> can account for different branch weights.
*

The UDA provides an intuition on the weights branch: its terribly

subtle redundancy on the computations. So the first "intuitive weight"

is just the measure on the computations going through your state. But

this is a priori purely additive. So this means that either a

quantized (digital) version of a UD will win the "measure battles"

among universal dovetailers, or that we are forgetting to take a data

into account. And indeed we forget that we have to take into account

the measure *from the point of view of the machine*. This lead to the

*intensional* variants of the logics of self-reference G and G*, which

leads to the material hypostases (for the probability), which leads to

a quantum Goldblatt -like arithmetical interpretation of quantum logic.

The question is: will this give rise to a sufficiently symmetrical

base, like in QM?

The material hypostases multiplies themselves into an infinity of

weaker variants, giving rise to "arithmetical projection" surrounded

by linear and symmetrical structure, but this is not in my theses. I

am still hoping for finding sufficiently rich "Temperly Lieb Algebra

so that I get a notion of space or universal braiding ...

*>
*

*>
*

*> In a sense, I don't see how a computation could be "cancelled" by
*

*> another one.
*

Tricky problem! Sure.

*> Do you have intuitions of how to derive the Born rule from
*

*> the measure of all computations?
*

By the arithmetical quantum logic. We should derive the SWE and the

projection rules.

Don't expect anything easy here.

*> Why should some consistent histories be
*

*> more probable than others?
*

Because there are more numerous, and handle better the coupling with

noise and perverse arithmetical histories (white rabbits). If not,

well, we will *have* reason to doubt comp.

*> (there is of course the Quantum Logic and
*

*> Gleason's theorem connection which we have discussed shortly)
*

Yes. Exactly. We have today just that sign. It is the last thing I

got, in 1994.

*> - but I
*

*> don't see any _intuitive_ connection, of why there should by histories
*

*> with different probabilities?
*

The intuition is the redundancy of the UD's work, and the way

histories have to be measure *from the point of view" of the machine.

In AUDA: the "material pov", which by UDA is given by a probability or

credibility measure on the consistant extensions, is given by Bp & Dt

(and their variants B^n d & D^m t, n least of equal to m). With p

sigma_1 ("comp" in the language of the machine), this gives rise to B

logics without necessitation rule, it is enough to get an arithmetical

quantization).

Our intuition is lost here, of course. But we could have expected

this, no?

Best,

Bruno

http://iridia.ulb.ac.be/~marchal/

--~--~---------~--~----~------------~-------~--~----~

You received this message because you are subscribed to the Google Groups "Everything List" group.

To post to this group, send email to everything-list.domain.name.hidden

To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden

For more options, visit this group at http://groups.google.com/group/everything-list?hl=en

-~----------~----~----~----~------~----~------~--~---

Received on Wed Jan 28 2009 - 14:58:52 PST

Date: Wed, 28 Jan 2009 20:58:38 +0100

Hi again Günther,

Careful: they derive the Born rule from decision theory AND Everett QM

= the SWE+comp, mainly).

(but the UDA tells us that with comp we have to derive also QM

I think so too.

I share with Everett and deWitt the opinion that the SWE provides its

own internal interpretation. Indeed, I believe Arithmetic provides its

own internal many interpretations.

The UDA provides an intuition on the weights branch: its terribly

subtle redundancy on the computations. So the first "intuitive weight"

is just the measure on the computations going through your state. But

this is a priori purely additive. So this means that either a

quantized (digital) version of a UD will win the "measure battles"

among universal dovetailers, or that we are forgetting to take a data

into account. And indeed we forget that we have to take into account

the measure *from the point of view of the machine*. This lead to the

*intensional* variants of the logics of self-reference G and G*, which

leads to the material hypostases (for the probability), which leads to

a quantum Goldblatt -like arithmetical interpretation of quantum logic.

The question is: will this give rise to a sufficiently symmetrical

base, like in QM?

The material hypostases multiplies themselves into an infinity of

weaker variants, giving rise to "arithmetical projection" surrounded

by linear and symmetrical structure, but this is not in my theses. I

am still hoping for finding sufficiently rich "Temperly Lieb Algebra

so that I get a notion of space or universal braiding ...

Tricky problem! Sure.

By the arithmetical quantum logic. We should derive the SWE and the

projection rules.

Don't expect anything easy here.

Because there are more numerous, and handle better the coupling with

noise and perverse arithmetical histories (white rabbits). If not,

well, we will *have* reason to doubt comp.

Yes. Exactly. We have today just that sign. It is the last thing I

got, in 1994.

The intuition is the redundancy of the UD's work, and the way

histories have to be measure *from the point of view" of the machine.

In AUDA: the "material pov", which by UDA is given by a probability or

credibility measure on the consistant extensions, is given by Bp & Dt

(and their variants B^n d & D^m t, n least of equal to m). With p

sigma_1 ("comp" in the language of the machine), this gives rise to B

logics without necessitation rule, it is enough to get an arithmetical

quantization).

Our intuition is lost here, of course. But we could have expected

this, no?

Best,

Bruno

http://iridia.ulb.ac.be/~marchal/

--~--~---------~--~----~------------~-------~--~----~

You received this message because you are subscribed to the Google Groups "Everything List" group.

To post to this group, send email to everything-list.domain.name.hidden

To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden

For more options, visit this group at http://groups.google.com/group/everything-list?hl=en

-~----------~----~----~----~------~----~------~--~---

Received on Wed Jan 28 2009 - 14:58:52 PST

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:15 PST
*