On 07 Dec 2013, at 17:37, John Clark wrote:
On Sat, Dec 7, 2013 Bruno Marchal <[email protected]> wrote:
> Comp-I = Comp-Immortality.
I know what a bull is and I know what shit is so I know what
bullshit is. I know what immortality is but I don't know what comp
is so I don't know what comp-Immortality is.
Fair enough.
Comp is the belief (hope, assumption, theory) that you can survive
when saying yes to a doctor who proposed to you a digital computer
brain transplant.
(to use computer science, I add the classical Church thesis. This
entails that computations are arithmetical objects (indeed sigma_1
arithmetical).
Universal machine cannot know which universal machine bears them, but
they can know that below their substitution level, there can only be
an indetermination among infinities of competition between infinitely
machines (due to the first person invariance for delayed
reconstitution (step 2!) .
Of course to get this, you should put your shoes in the first person
picture, and stay in it for awhile, to finish the step 3, as here we
use step seven and eight.
Universal machine cannot distinguish "physical implementation" from
any diophantine or computable approximation or histories. Comp
immortality just takes into account the FPI on the whole sigma_1
complete arithmetical reality.
This is testable, notably by looking if that FPI on a sigma_1 complete
set provides a first person plural quantum computer.
At first sight, from a formal logical view point, it seems it might.
Bruno
John K Clark
--
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 [email protected].
To post to this group, send email to [email protected].
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
