On 22 Jan 2017, at 20:38, Brent Meeker wrote:
On 1/22/2017 7:26 AM, Bruno Marchal wrote:
The physical reality is what emerges in the limit of a competition
between infinities of universal numbers operating below our
substitution level.
But what does that mean? How do they "compete" and what are they
competing for. What does "emerge" mean?
This is explained in step 7 already. Imagine that you want to evaluate
if an apple will hit the ground when falling. You are in the state S
just at the moment you let the apple free. What happens next is
determined by all computations going through your state S. The
probability that the apple hits the grounds is given (roughly) by the
measure of the histories/computation-seen-from-the-1p where the apple
hits the ground dividec by the measure on all computations (the
measure one which we have shown to be quantum logical). I identify
here computation with the universal machine which execute that
computation. By the extreme redundancy of the work of the UD in
arithmetic, there will be an infinity, and they compete in the sense
of the first person indeterminacy, a bit like in the WM duplication,
except that the multiplication is by aleph_zero, or 2^aleph_0, instead
of 2.
IT *is* more complex than that, but I want give the basic idea. The
lath are difficult, and only the "yes/no" logic is given. The other
probabilities needs the equiavent of Gleason theorem, which is assured
if one of the S4GRZ1, or X1* or Z1* logic is linear enough, say. It
emerges in the sense that all there is are 0, s(0), ..., structured by
the + and * laws, and the self-referential logic which are justified
by the + and * laws, as shown by Gödel, Löb & Co.
Did this help?
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.