On 15 Jan 2014, at 20:40, meekerdb wrote:
On 1/15/2014 12:34 AM, Bruno Marchal wrote:
And the answer is "yes, he would know that, but not immediately".
So it would not change the indeterminacy, as he will not
immediately see that he is in a simulation, but, unless you
intervene repeatedly on the simulation, or unless you manipulate
directly his mind, he can see that he is in a simulation by
comparing the comp physics ("in his head") and the physics in the
simulation.
The simulation is locally finite, and the comp-physics is
necessarily infinite (it emerges from the 1p indeterminacy on the
whole UD*), so, soon or later, he will bet that he is in a
simulation (or that comp is wrong).
But if it is sufficiently large he won't find it is finite.
Hmm... OK. But he will soon or later. We are talking "in principle",
assuming the emulated person has all the time ...
Also, I don't understand why finding his world is finite
Finite or computable (Recursively enumerable).
would imply comp is wrong. In a finite world it seems it would be
even easier to be sure of saying "yes" to the doctor.
I don't know how you can know that the universe if finite. But comp
makes it non finite (and non computable), so if you have a good reason
to believe that the universe is finite, you have a good reason to
believe that comp is wrong, and to say "no" to the doctor. That *is*
counter-intuitive, but follow from step 7 and 8.
I think you equivocate on "comp"; sometimes it means that an
artificial brain is possible other times it means that plus the
whole UDA.
Comp is where UDA is valid. By comp, according to the degree of
understanding of the UD-Argument or the person I am speaking to, just
means the hypothesis, or its logical consequences.
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.