How does comp explain interference?

[Jason Resch]

One question that comes to my mind is how computationalism might lead to the phenomenon of interference.  How is it that infinite programs going through a state can interfere?

Might interference be something local to the geography of this particular universe, or is it something comp predicts to be global for all physics for all observers?

Jason

[Bruno Marchal]

That's the most important question, of all.

To be sure, even just that is still open.

In case interference are not extract from comp, it would mean that the
quantum is a geographical phenomenon, or that the SWE is non linear.

But the quantum is so deep, and is somehow connected to linearity and
symmetries which are even deeper, so that I doubt that physics might
be "not quantum", and I estimate that comp, and the whole of physics,
would lost interest in case that interference feature was not a
consequence of comp.

But then, eventually, when the math are done, the fact is that we get
exactly what we need to have interference, and I hope I will be able
to explain enough of this on the FOAR list, soon or a bit later.

In a nutshell:

Physics = measure on the relative consistent extensions (by UDA), and
this is given mainly by the three points of view:

Bp & p, Bp & Dt, Bp & Dt & p

Comp will be translated in arithmetic by the restriction of p to the
sigma_1 sentences,

then the logic associated to the three hypostases get indeed "quantum-
like", by having a quantization formula:

p -> []<>p,

with []p given by the hypostases mentioned just above. You might try
to search "LASE" in the archive, as I have call it here (for Little
Abstract Schroedinger Equation).

This makes the corresponding logic obeying "a quantum logic", and it
suggests both the linearity and the symmetries, and ... the existence
of interferences. But some work remains to be done to verify this in
all details, and to conclude that we have a quantum computer in our
comp neighborhoods.

There is a work by Rawling and Selesnick which suggest we can extract
a quantum NOR from "p -> []<>p", but it uses the necessitation rule,
and we lost it in comp, so it is not clear how we can use it.

Bruno



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