On 10 Jan 2014, at 22:57, meekerdb wrote:
On 1/10/2014 1:34 AM, LizR wrote:
On 10 January 2014 22:27, Bruno Marchal <marc...@ulb.ac.be> wrote:
I don't think that there can be a single or multiple processor
computing "the state of the universe". In fact there is no such
universe. The universe is an appearance emerging, from below the
substitution level, on all computations
going through our current state. A single computation can hardly do
that a priori, although this is not excluded, but this would lead
to a newtonian-like type of reality. Everett confirms that such a
computation cannot be unique, which is the default stance in the
comp theory, although we cannot avoid at this stage some possible
conspiracy by numbers leading to a unique computable reality.
Surely a single computer could run the UD, at least until it wore
out?
As I understand it the multiverse, the world, is the complete output
of the UD.
?
The UD has no output. I guess you think to the trace of the UD, UD*,
which from the first person perspective is "entirely given", by the 1p
delay invariance.
In effect the UD must "finish" in order to have computed the world,
UD* is entirely given in the tiny sigma_1 block arithmetical reality.
which of course is an uncomputable output.
It is not an output. The trace is computable. Only the FPI on that set
of computations is not computable.
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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
